Anoma.TransparentResource.Action (Anoma v0.29.0)

Summary

Types

t()

Functions

commitments(action)
delta(action)
from_noun(arg1)
nullified_resources(self)
nullifiers(action)
precis(action)
resources(self)
verify_correspondence(action)

Types

Link to this type

t()

@type t() :: %Anoma.TransparentResource.Action{
  app_data: binary(),
  commitments: MapSet.t(binary()),
  nullifiers: MapSet.t(binary()),
  proofs: MapSet.t(Anoma.TransparentResource.LogicProof.t())
}

Functions

Link to this function

commitments(action)

@spec commitments(t()) :: MapSet.t(Anoma.TransparentResource.Resource.commitment())
Link to this function

delta(action)

@spec delta(t()) :: Anoma.TransparentResource.Delta.t()
Link to this function

from_noun(arg1)

@spec from_noun(Noun.t()) :: {:ok, t()} | :error
Link to this function

nullified_resources(self)

@spec nullified_resources(t()) :: MapSet.t(Anoma.TransparentResource.Resource.t())
Link to this function

nullifiers(action)

@spec nullifiers(t()) :: MapSet.t(Anoma.TransparentResource.Resource.nullifier())
Link to this function

precis(action)

@spec precis(t()) :: %{
  nullified: Anoma.TransparentResource.Delta.t(),
  committed: Anoma.TransparentResource.Delta.t()
}
Link to this function

resources(self)

@spec resources(t()) :: MapSet.t(Anoma.TransparentResource.Resource.t())
Link to this function

verify_correspondence(action)

@spec verify_correspondence(t()) :: true | {:error, String.t()}