Anoma abstract resource machine - 0.0.0

Anoma

Description

Definitions

import Anoma.Resource open public

import Anoma.BuiltinResources open public

import Anoma.Balance open public

import Anoma.PartialTx open public

import Anoma.Kind open public

import Data.ByteString open public

validPartialTx {{Partial}} (m : Map LogicHash LogicFunction) (ptx : PartialTx) : BoolSource#

mkBalance (r : Resource) : BalanceSource#

balanceDelta (tx : PartialTx) : BalanceSource#

checkTransaction {{Partial}} (m : Map LogicHash LogicFunction) (ptxs : List PartialTx) : BoolSource#