(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.
(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.
(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.
(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.
(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.
(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.
cljdoc builds & hosts documentation for Clojure/Script libraries
Ctrl+k | Jump to recent docs |
← | Move to previous article |
→ | Move to next article |
Ctrl+/ | Jump to the search field |