Anoma.Extra
Contents
Description
Utility functions for the Anoma system
Definitions
Resources partitioned into those that the transaction consumes and those that the transaction creates
Constructors
| mkResources { consumed : List Resource; created : List Resource } |
axiom partitionResources : Transaction -> ResourcePartitionSource#
Partition the Resources of a Transaction into those that are consumed and those that are created