examples - 0.0.0

Anoma.Extra

Description

Utility functions for the Anoma system

Definitions

type ResourcePartitionSource#

Resources partitioned into those that the transaction consumes and those that the transaction creates

axiom partitionResources : Transaction -> ResourcePartitionSource#

Partition the Resources of a Transaction into those that are consumed and those that are created

axiom anomaKind : Resource -> NatSource#

The kind of a Resource. This is some combination of `anomaEncode (Resource.logic r)` and `anomaEncode (Resource.label r)` defined by Anoma.