Function operators

identity

(identity a)

(identity a)

• takes a: a
• produces a
• where a is of type table or string

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.