Pact Language Reference
latest
Concepts
Syntax
Built-in Functions
Pact Language Reference
Docs
»
Pact Language Reference
Edit on GitHub
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
Read the Docs
v: latest
Versions
latest
Downloads
pdf
htmlzip
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.