Anoma abstract resource machine - 0.0.0

Anoma.PartialTx

Description

Definitions

type PartialTxSource#

A partial transaction consists of consumed resources and created resources

Constructors

| mkPartialTx { consumedResources : List Resource; createdResources : List Resource }

LogicFunction : TypeSource#

A function that determines whether a PartialTx is valid

Arguments:

* kind: Indicating whether the resource associated with this logic function was consumed or created in the subject PartialTx.

* partialTx: The PartialTx being validated.

instance ordPartialTx : Ord PartialTxSource#