| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
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 c | val → c where Source #
Methods
valueFromList ∷ Integer → [(PolicyID c, AssetName, Integer)] → val Source #
insert ∷ (Integer → Integer → Integer) → PolicyID c → AssetName → Integer → val → val Source #
gettriples ∷ val → (Integer, [(PolicyID c, AssetName, Integer)]) Source #
Instances
| Crypto c ⇒ ValueFromList (MaryValue c) c Source # | |
Defined in Test.Cardano.Ledger.ValueFromList | |