Skip to main content
Last updated

Function operators

identity

pact
(identity a)
pact
(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

pact
(constantly a)
pact
(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

pact
(compose f g)
pact
(compose f g)
  • takes f: a -> b
  • takes g: b -> c
  • produces c

compose two functions

Supported in either invariants or properties.