Anoma.RM.Transparent.ProvingSystem.RLPS.Instance (Anoma v0.31.0)

I am the instance module for the resource logic proving system of the TRM.

My main purpose is to define a proper structure to represent the kind of arguments to be fed into a delta unit computation and the appropriate API to transform to and from Nockma nouns.

Public API

I have the following public functionality

from_noun/1
to_noun/1

Summary

Types

t()

Functions

from_noun(list)

to_noun(instance)

Types

t()

@type t() :: %Anoma.RM.Transparent.ProvingSystem.RLPS.Instance{
  app_data: [{binary(), boolean()}],
  consumed: [integer()],
  created: [integer()],
  flag: boolean(),
  tag: integer()
}

Functions

from_noun(list)

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

to_noun(instance)

@spec to_noun(t()) :: Noun.t()