Skip to main content
Last updated

Unclassified operators

where

pact
(where field f obj)
pact
(where field f obj)
  • takes field: string
  • takes f: a -> bool
  • takes obj: object
  • produces bool

utility for use in filter and select applying f to field in obj

Supported in either invariants or properties.

typeof

pact
(typeof a)
pact
(typeof a)
  • takes a: a
  • produces string

return the type of a as a string

Supported in either invariants or properties.