cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.ValueFromList

Description

abstract the Value type family into a type class that can be interacted with somewhat generically.

Documentation

class Val val ⇒ ValueFromList val where Source #

Methods

valueFromList ∷ Integer → [(PolicyID, AssetName, Integer)] → val Source #

insert ∷ (Integer → Integer → Integer) → PolicyID → AssetName → Integer → val → val Source #

gettriples ∷ val → (Integer, [(PolicyID, AssetName, Integer)]) Source #

Instances

Instances details
ValueFromList MaryValue Source # 
Instance details

Defined in Test.Cardano.Ledger.ValueFromList

Methods

valueFromList ∷ Integer → [(PolicyID, AssetName, Integer)] → MaryValue Source #

insert ∷ (Integer → Integer → Integer) → PolicyID → AssetName → Integer → MaryValue → MaryValue Source #

gettriples ∷ MaryValue → (Integer, [(PolicyID, AssetName, Integer)]) Source #