Module Fn4
A module to represent a “Function” with 4 arguments, and a result.
In qtil speak:
- a “Function” (FnX) is a predicate with a bindingset[] on all of its arguments, and a result
- a “Tuple” (TupleX) is a predicate with finite arguments and no result
- a “Relation” (RelX) is a predicate with finite arguments and a finite result
- a “Property” (PropX) is a predicate with a bindingset[] on all arguments no result
Import path
import qtil.fn.generated.FnModules
| Apply | Apply this function to all tuples in the provided tuple predicate. |
| Compose | Take a predicate to map the output of this function according to the mapper. |
| Filter | Filter this function to only produce an output when the output satisfies the given property. |
| If | Filter this function to only produce an output when the inputs satisfy the given property. |
| ToLookup | Use the output of this function as a lookup to values that exist in the provided unary tuple predicate. |
| ToRelation | Apply this function to all tuples in the provided tuple predicate in order to build a relation between the input tuples and the function result. |