Examples.ETransparent.EJSON (Anoma v0.35.1)

Summary

action()

I test the json encoding of an action.

I test the json encoding of a compliance unit.

cps_instance()

I test the json encoding of a cps unit.

resource()

I test the json encoding of a resource

transaction()

I test the json encoding of a transaction.

@spec action() :: String.t()

I test the json encoding of an action.

@spec arbitrary_action() :: Anoma.RM.Transparent.Action.t()

@spec arbitrary_compliance_unit() :: term()

@spec arbitrary_cps_instance() :: Anoma.RM.Transparent.ProvingSystem.CPS.Instance.t()

@spec arbitrary_resource() :: Anoma.RM.Transparent.Resource.t()

@spec arbitrary_transaction() :: Anoma.RM.Transparent.Transaction.t()

@spec compliance_unit() :: String.t()

I test the json encoding of a compliance unit.

@spec cps_instance() :: String.t()

I test the json encoding of a cps unit.

@spec resource() :: String.t()

I test the json encoding of a resource

@spec transaction() :: String.t()

I test the json encoding of a transaction.