Anoma.CairoResource.Action (Anoma v0.29.0)

I am an action in shielded resource machine.

Summary

Types

t()

Functions

from_noun(list)

Callback implementation for Noun.Nounable.Kind.from_noun/1.

verify(action)
verify_compliance_hash(compliance_proofs)

Types

Link to this type

t()

@type t() :: %Anoma.CairoResource.Action{
  compliance_proofs: [Anoma.CairoResource.ProofRecord.t()],
  logic_proofs: [Anoma.CairoResource.ProofRecord.t()]
}

Functions

Link to this function

from_noun(list)

@spec from_noun(Noun.t()) :: {:ok, t()} | :error

Callback implementation for Noun.Nounable.Kind.from_noun/1.

Link to this function

verify(action)

@spec verify(t()) :: boolean()
Link to this function

verify_compliance_hash(compliance_proofs)

@spec verify_compliance_hash([Anoma.CairoResource.ProofRecord.t()]) :: boolean()