Skip to main content
Cookie Consent
This notification concerns the cookie policy requirement to ask users for their consent to use Google Analytics or other tracking tools for better optimizations/performances.
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.