| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.MaryEraGen
Contents
Description
Export the EraGen instance for MaryEra, as well as some reusable functions for future Eras
Synopsis
- genMint ∷ Crypto c ⇒ Gen (MultiAsset c)
- maryGenesisValue ∷ GenEnv era → Gen (MaryValue c)
- policyIndex ∷ Era era ⇒ Map (PolicyID (EraCrypto era)) (Timelock era)
- addTokens ∷ ∀ era. (EraGen era, Value era ~ MaryValue (EraCrypto era)) ⇒ Proxy era → StrictSeq (TxOut era) → PParams era → MultiAsset (EraCrypto era) → StrictSeq (TxOut era) → Maybe (StrictSeq (TxOut era))
Documentation
maryGenesisValue ∷ GenEnv era → Gen (MaryValue c) Source #
Carefully crafted to apply in any Era where Value is MaryValue
policyIndex ∷ Era era ⇒ Map (PolicyID (EraCrypto era)) (Timelock era) Source #
Carefully crafted to apply in any Era where Value is MaryValue | This map allows us to lookup a minting policy by the policy ID.
addTokens ∷ ∀ era. (EraGen era, Value era ~ MaryValue (EraCrypto era)) ⇒ Proxy era → StrictSeq (TxOut era) → PParams era → MultiAsset (EraCrypto era) → StrictSeq (TxOut era) → Maybe (StrictSeq (TxOut era)) Source #
Carefully crafted to apply to any Era where Value is MaryValue We attempt to Add tokens to a non-empty list of transaction outputs. It will add them to the first output that has enough lovelace to meet the minUTxO requirment, if such an output exists.