Anoma abstract resource machine - 0.0.0

Anoma.Resource

Description

Definitions

type ResourceSource#

A Resource is an immutable object that represents part of an application's state.

Constructors

| mkResource { logicHash : LogicHash; label : ByteString; data : ByteString; quantity : Int }

mkSimpleResource (kind : Kind) (q : Int) : ResourceSource#

kind (r : Resource) : KindSource#

Extract the data which determines the Resource's fungibility.

delta (r : Resource) : Kind × IntSource#

resourcesForKind (d : Kind) (rs : List Resource) : List ResourceSource#

Find all the resources associated with a kind

quantityOfKind (d : Kind) (rs : List Resource) : IntSource#

Aggregate the quantities associated with a kind

zeroOrOneCheck (p : Resource -> Bool) : List Resource -> BoolSource#

Return true if the list is empty or the list has exactly 1 element and the predicate is satisfied

exactlyOneCheck (p : Resource -> Bool) : List Resource -> BoolSource#

type ResourceKindSource#

Constructors

| created
| consumed

instance eqResourceKind : Eq ResourceKindSource#

isCreated : ResourceKind -> BoolSource#

isConsumed : ResourceKind -> BoolSource#

instance ordResource : Ord ResourceSource#