Skip to content

Library index

This page is computed from the engine when the docs are written. A function added to yen appears here without a docs edit.

agent, allowed, asOf, derive, diffData, eval, grant, history, is, jsonSafe, maybe, mkFlake, narrow, opt, stage, validAt, without

Modules get the same lib, plus predicates and queries bound to the fleet:

all, cascade, declaredIn, floor, graph, has, holds, labels, nearest, not, same, schema, scopesOf, within

LibraryFunctions
yen.lib.reduceentries, list, merge, one, set
yen.lib.graphscycles, fromEdges, layers, nodesOf, paths, reach, reachers, sccs, shortest, topo, transpose, uniq'
yen.lib.datalogfacts, judge, proof, stable, wfs, why, whyNot
yen.lib.krnappendo, conde, conj, cons, disj, distinctfd, dom, eq, facto, fail, fdBound, fresh, freshNamed, fromList, infd, label, lefd, ltfd, maxOf, maximize, membero, minOf, neq, neqfd, nil, plusfd, project, propagator, run, runAll, runAllFuel, runC, runFuel, succeed, toList, unify, var, walkStar
yen.lib.rdfntriples, shacl, share, triples
yen.lib.programdryRun, opErrors, render, toModule, validate
yen.lib.grantsallowed, grant, narrow
yen.lib.changeset

Queries of an eval result: r = yen.lib.eval module

Section titled “Queries of an eval result: r = yen.lib.eval module”

active, agent, ask, check, context, data, declaredIn, errors, explain, facts, flake, floor, graph, impact, labels, queries, reduced, root, schema, scopes, undefined

Contribute Community Sponsor