Authorization operators
authorized-by
(authorized-by k)(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
(row-enforced t c r)(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
(is-principal s)(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
(typeof-principal s)(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.