Anoma abstract resource machine - 0.0.0

Anoma.Balance

Description

Definitions

type BalanceSource#

Constructors

| balance : List (Kind × Int) -> Balance

emptyBalance : BalanceSource#

addBalance : Balance -> Balance -> BalanceSource#

negateBalance : Balance -> BalanceSource#

subBalance (b1 : Balance) (b2 : Balance) : BalanceSource#

sumBalances (bs : List Balance) : BalanceSource#

balanceIsZero : Balance -> BoolSource#