Function operators
identity
(identity a)(identity a)- takes
a: a - produces a
- where a is of type
tableorstring
identity returns its argument unchanged
Supported in either invariants or properties.
constantly
(constantly a)(constantly a)- takes
a: a - takes
b: b - produces a
constantly returns its first argument, ignoring the second
Supported in either invariants or properties.
compose
(compose f g)(compose f g)- takes
f: a -> b - takes
g: b -> c - produces c
compose two functions
Supported in either invariants or properties.