Pact Language Reference¶

Contents:

DEPRECATED Pact Smart Contract Language Reference
Rest API
Concepts
Syntax
- Literals
  - Strings
  - Symbols
  - Integers
  - Decimals
  - Booleans
  - Lists
  - Objects
  - Bindings
  - Lambdas
- Type specifiers
- Dereference operator
  - What can be typed
- Special forms
  - Docs and Metadata
  - bless
  - defun
  - defcap
  - defconst
  - defpact
  - defschema
  - deftable
  - let
  - let*
  - cond;
  - step
  - step-with-rollback
  - use
  - interface
  - module
  - implements
- Expressions
Time formats
- Default format and JSON serialization
- Examples
Built-in Functions
- General
  - CHARSET_ASCII
  - CHARSET_LATIN1
  - at
  - base64-decode
  - base64-encode
  - bind
  - chain-data
  - compose
  - concat
  - constantly
  - contains
  - continue
  - define-namespace
  - describe-namespace
  - distinct
  - drop
  - enforce
  - enforce-one
  - enforce-pact-version
  - enumerate
  - filter
  - fold
  - format
  - hash
  - identity
  - if
  - int-to-str
  - is-charset
  - length
  - list
  - list-modules
  - make-list
  - map
  - namespace
  - pact-id
  - pact-version
  - public-chain-data
  - read-decimal
  - read-integer
  - read-msg
  - read-string
  - remove
  - resume
  - reverse
  - sort
  - str-to-int
  - str-to-list
  - take
  - try
  - tx-hash
  - typeof
  - where
  - yield
  - zip
- Database
  - create-table
  - describe-keyset
  - describe-module
  - describe-table
  - fold-db
  - insert
  - keylog
  - keys
  - read
  - select
  - txids
  - txlog
  - update
  - with-default-read
  - with-read
  - write
- Time
  - add-time
  - days
  - diff-time
  - format-time
  - hours
  - minutes
  - parse-time
  - time
- Operators
  - !=
  - & {#&}
  - *
  - +
  - -
  - /
  - <
  - <=
  - =
  - >
  - >=
  - ^
  - abs
  - and
  - and? {#and?}
  - ceiling
  - dec
  - exp
  - floor
  - ln
  - log
  - mod
  - not
  - not? {#not?}
  - or
  - or? {#or?}
  - round
  - shift
  - sqrt
  - xor
  - | {#|}
  - ~ {#~}
- Keysets
- Capabilities
- SPV
  - verify-spv
- Commitments
  - decrypt-cc20p1305
  - validate-keypair
- Guards
- Zk
- REPL-only functions
  - begin-tx
  - bench
  - commit-tx
  - continue-pact
  - env-chain-data
  - env-data
  - env-dynref
  - env-enable-repl-natives
  - env-entity
  - env-events
  - env-exec-config
  - env-gas
  - env-gaslimit
  - env-gaslog
  - env-gasmodel
  - env-gasprice
  - env-gasrate
  - env-hash
  - env-keys
  - env-namespace-policy
  - env-sigs
  - env-simulate-onchain
  - expect
  - expect-failure
  - expect-that
  - format-address
  - load
  - mock-spv
  - pact-state
  - print
  - rollback-tx
  - sig-keyset
  - test-capability
  - typecheck
  - verify
  - with-applied-env
The Pact Property Checking System
Property and Invariant Functions
- Numerical operators
  - +
  - -
  - *
  - /
  - ^
  - log
  - -
  - sqrt
  - ln
  - exp
  - abs
  - round
  - ceiling
  - floor
  - dec
  - mod
- Bitwise operators
  - &
  - |
  - xor
  - shift
  - ~
- Logical operators
  - >
  - <
  - >=
  - <=
  - =
  - !=
  - and
  - or
  - not
  - when
  - and?
  - or?
  - hash
- Object operators
  - at
  - +
  - drop
  - take
  - length
- List operators
  - at
  - length
  - contains
  - enumerate
  - reverse
  - sort
  - drop
  - take
  - make-list
  - map
  - filter
  - distinct
  - fold
  - hash
- String operators
  - length
  - +
  - str-to-int
  - take
  - drop
  - hash
  - hash
- Temporal operators
  - add-time
- Quantification operators
  - forall
  - exists
  - column-of
- Transactional operators
- Database operators
- Authorization operators
- Function operators
- Other operators
  - where
  - typeof