Guards

capability  -> bool → guard

Creates a guard that will enforce that CAPABILITY is acquired.

capability  -> bool → guard

Creates a guard that will enforce that CAPABILITY is acquired and that the currently-executing defpact is operational.

name string → guard

Defines a guard by NAME that enforces the current module admin predicate.

name string → guard

Defines a guard predicate by NAME that captures the results of 'pact-id'. At enforcement time, the success condition is that at that time 'pact-id' must return the same value. In effect this ensures that the guard will only succeed within the multi-transaction identified by the pact id.

guard guard → string

Create a principal which unambiguously identifies GUARD.

closure  -> bool → guard

Defines a custom guard CLOSURE whose arguments are strictly evaluated at definition time, to be supplied to indicated function at enforcement time.

principal string → bool

Tell whether PRINCIPAL string conforms to the principal format without proving validity.

keyset-ref string → guard

Creates a guard for the keyset registered as KEYSET-REF with 'define-keyset'. Concrete keysets are themselves guard types; this function is specifically to store references alongside other guards in the database, etc.

principal string → string

Return the protocol type of a given PRINCIPAL value. If input value is not a principal type, then the empty string is returned.

guard guard principal string → bool

Validate that PRINCIPAL unambiguously identifies GUARD.