qtil

advanced-security/qtil-swift 0.0.3

Module Fn0

A module to represent a “Function” with 0 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.Fn

Modules

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.
ToLookup	Use the output of this function as a lookup to values that exist in the provided unary tuple predicate.

Parameters

R		InfiniteStringableType
base		fn