Liking cljdoc? Tell your friends :D

eva.query.datalog.evaluable


batched-pred-fn->Evaluableclj

(batched-pred-fn->Evaluable f)

Assumes that f returns a truthy/falsy value for each call. This produces an Evaluable implementation that returns each group of terms passed in for which f returns a truthy value.

Assumes that f returns a truthy/falsy value for each call. This produces
an Evaluable implementation that returns each group of terms passed in for which
f returns a truthy value.
sourceraw docstring

batched-scalar-bind-fn->Evaluableclj

(batched-scalar-bind-fn->Evaluable f args-count)
source

coll-bind-fn->Evaluableclj

(coll-bind-fn->Evaluable f args-count)

Assumes that f returns a collection of results for each call. This produces an Evaluable implementation that unifies in turn each item of this collection with the last term of each group of terms passed in.

Assumes that f returns a collection of results for each call. This produces
an Evaluable implementation that unifies in turn each item of this collection with
the last term of each group of terms passed in.
sourceraw docstring

handling-fcljmacro

(handling-f & body)
source

pred-fn->Evaluableclj

(pred-fn->Evaluable f)

Assumes that f returns a truthy/falsy value for each call. This produces an Evaluable implementation that returns each group of terms passed in for which f returns a truthy value.

Assumes that f returns a truthy/falsy value for each call. This produces
an Evaluable implementation that returns each group of terms passed in for which
f returns a truthy value.
sourceraw docstring

relation-bind-fn->Evaluableclj

(relation-bind-fn->Evaluable f args-count)

Assumes that f returns a collection of relations for each call. This produces an Evaluable implementation that unifies in turn each relation with the final =(- terms-count args-count)= terms of each group of terms passed in.

Assumes that f returns a collection of relations for each call. This produces
an Evaluable implementation that unifies in turn each relation with the final
=(- terms-count args-count)= terms of each group of terms passed in.
sourceraw docstring

scalar-bind-fn->Evaluableclj

(scalar-bind-fn->Evaluable f args-count)

Assumes that f returns a single scalar value for each call. This produces an Evaluable implementation that unified this return value with the final term of each group of terms passed in.

Assumes that f returns a single scalar value for each call. This produces
an Evaluable implementation that unified this return value with the final term
of each group of terms passed in.
sourceraw docstring

tuple-bind-fn->Evaluableclj

(tuple-bind-fn->Evaluable f args-count)

Assumes that f returns a collection of results for each call. This produces an Evaluable implementation that unifies that collection with the final =(- terms-count args-count)= terms of each group of terms passed in.

Assumes that f returns a collection of results for each call. This produces an
Evaluable implementation that unifies that collection with the final
=(- terms-count args-count)= terms of each group of terms passed in.
sourceraw docstring

cljdoc is a website building & hosting documentation for Clojure/Script libraries

× close