Skip to main content
Last updated

Property and invariant functions

This part of the documentation describes functions that are available in properties and invariants, though not necessarily in executable Pact code. All of these functions are available in properties, but only a subset are available in invariants. As a general rule:

  • Invariants describe the shape of data.
  • Properties describe the shape of data, function inputs and outputs, and database interactions.

The documentation for each function also indicates whether the function available only as a property or as a property and an invariant.