Pact Language Reference

Contents:

• Concepts
  • Execution Modes
    • Contract Definition
    • Transaction Execution
    • Queries and Local Execution
  • Database Interaction
    • Atomic execution
    • Key-Row Model
    • Schema-less
    • No Nulls
    • Versioned History
    • Back-ends
  • Keysets and Authorization
    • Keyset definition
    • Keyset Predicates
    • Key rotation
    • Module Table Guards
    • Row-level keysets
  • Computational Model
    • Turing-Incomplete
    • Variables
    • Data Types
    • Performance
    • Control Flow
    • Functional Concepts
    • LISP
    • Message Data
  • Confidentiality
    • Entities
    • Disjoint Databases
    • Pacts
• Syntax
  • Literals
    • Strings
    • Symbols
    • Integers
    • Decimals
    • Booleans
    • Lists
    • Objects
    • Bindings
  • Special forms
    • defun
    • defconst
    • defpact
    • let
    • let*
    • step
    • step-with-rollback
    • use
    • module
  • Expressions
    • Atoms
    • S-expressions
    • References
• Built-in Functions
  • General
    • at
    • bind
    • compose
    • drop
    • enforce
    • filter
    • fold
    • format
    • if
    • is-bool
    • is-decimal
    • is-integer
    • is-string
    • is-time
    • length
    • list
    • map
    • pact-txid
    • read-decimal
    • read-integer
    • read-msg
    • remove
    • take
    • typeof
  • Database
    • create-table
    • describe-keyset
    • describe-module
    • describe-table
    • insert
    • keys
    • read
    • txids
    • txlog
    • update
    • with-default-read
    • with-read
    • write
  • Time
    • add-time
    • days
    • diff-time
    • hours
    • minutes
    • parse-time
    • time
  • Operators
    • !=
    • *
    • +
    • -
    • /
    • <
    • <=
    • =
    • >
    • >=
    • ^
    • abs
    • and
    • ceiling
    • exp
    • floor
    • ln
    • log
    • mod
    • not
    • or
    • round
    • sqrt
  • KeySets
    • define-keyset
    • keys-2
    • keys-all
    • keys-any
    • read-keyset
    • with-keyset
  • REPL-only functions
    • begin-tx
    • bench
    • commit-tx
    • env-data
    • env-entity
    • env-keys
    • env-step
    • expect
    • expect-failure
    • load
    • rollback-tx