Skip to main content

Module ast

Module ast 

Source
Expand description

Query AST and parsing from EDN forms (map and vector shapes).

Structs§

Aggregate
An aggregate find element.
Pattern
A data pattern with up to five positions (added binds on history views).
Query
A parsed query.
RuleDef
One rule definition.

Enums§

BindTarget
A binding target: a variable or the blank.
Binding
A function clause output binding.
Clause
A :where clause.
FindElem
One element of a find specification.
FindSpec
The shape of :find.
InSpec
One :in binding.
Term
A term in a pattern or call position.

Constants§

DEFAULT_SRC
Default database source name.

Functions§

clause_vars
Variables bound by a clause (produced, not merely consumed).
parse_clause
Parses one :where clause.
parse_query
Parses a query from its EDN map form or vector form.
parse_rules
Parses a rule set from its EDN form: [[(name head…) clause…]…].

Type Aliases§

Var
A logic variable (?name).