Authorization operators
authorized-by
pact
(authorized-by k) pact
(authorized-by k)- takes
k:string - produces
bool
Whether the named keyset/guard is satisfied by the executing transaction
Supported in properties only.
row-enforced
pact
(row-enforced t c r) pact
(row-enforced t c r)- takes
t: a - takes
c: b - takes
r:string - produces
bool - where a is of type
tableorstring - where b is of type
columnorstring
Whether the keyset in the row is enforced by the function under analysis
Supported in properties only.
is-principal
pact
(is-principal s) pact
(is-principal s)- takes
s:string - produces
bool
Whether s conforms to the principal format without proving validity.
Supported in either invariants or properties.
typeof-principal
pact
(typeof-principal s) pact
(typeof-principal s)- takes
s:string - produces
string
Return the protocol type of the given s value. If input value is not a
principal type, then the empty string is returned.
Supported in either invariants or properties.