cardano-ledger-shelley-ma-test-1.4.0.3: Shelley ledger with multiasset and time lock support.
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.MaryEraGen

Description

Export the EraGen instance for MaryEra, as well as some reusable functions for future Eras

Synopsis

Documentation

maryGenesisValue ∷ GenEnv c era → Gen MaryValue Source #

Carefully crafted to apply in any Era where Value is MaryValue

policyIndex ∷ AllegraEraScript era ⇒ Map PolicyID (NativeScript 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 ∷ (EraGen era, Value era ~ MaryValue) ⇒ Proxy era → StrictSeq (TxOut era) → PParams era → MultiAsset → 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.

Orphan instances

EraGen MaryEra Source # 
Instance details

Methods

genGenesisValue ∷ GenEnv c MaryEra → Gen (Value MaryEra) Source #

genEraTwoPhase3Arg ∷ [TwoPhase3ArgInfo MaryEra] Source #

genEraTwoPhase2Arg ∷ [TwoPhase2ArgInfo MaryEra] Source #

genEraTxBody ∷ GenEnv c MaryEra → UTxO MaryEra → PParams MaryEra → SlotNo → Set TxIn → StrictSeq (TxOut MaryEra) → StrictSeq (TxCert MaryEra) → Withdrawals → Coin → StrictMaybe (Update MaryEra) → StrictMaybe TxAuxDataHash → Gen (TxBody 'TopTx MaryEra, [Script MaryEra]) Source #

genEraAuxiliaryData ∷ Constants → Gen (StrictMaybe (TxAuxData MaryEra)) Source #

updateEraTxBody ∷ UTxO MaryEra → PParams MaryEra → TxWits MaryEra → TxBody 'TopTx MaryEra → Coin → Set TxIn → TxOut MaryEra → TxBody 'TopTx MaryEra Source #

addInputs ∷ TxBody 'TopTx MaryEra → Set TxIn → TxBody 'TopTx MaryEra Source #

genEraPParamsUpdate ∷ Constants → PParams MaryEra → Gen (PParamsUpdate MaryEra) Source #

genEraPParams ∷ Constants → Gen (PParams MaryEra) Source #

genEraTxWits ∷ (UTxO MaryEra, TxBody 'TopTx MaryEra, ScriptInfo MaryEra) → Set (WitVKey 'Witness) → Map ScriptHash (Script MaryEra) → TxWits MaryEra Source #

genEraGoodTxOut ∷ TxOut MaryEra → Bool Source #

constructTx ∷ TxBody 'TopTx MaryEra → TxWits MaryEra → StrictMaybe (TxAuxData MaryEra) → Tx 'TopTx MaryEra Source #

genEraScriptCost ∷ PParams MaryEra → Script MaryEra → Coin Source #

genEraDone ∷ UTxO MaryEra → PParams MaryEra → Tx 'TopTx MaryEra → Gen (Tx 'TopTx MaryEra) Source #

genEraTweakBlock ∷ PParams MaryEra → Seq (Tx 'TopTx MaryEra) → Gen (Seq (Tx 'TopTx MaryEra)) Source #

hasFailedScripts ∷ Tx 'TopTx MaryEra → Bool Source #

feeOrCollateral ∷ Tx 'TopTx MaryEra → UTxO MaryEra → Coin Source #

MinGenTxout MaryEra Source # 
Instance details

ScriptClass MaryEra Source # 
Instance details

Split MaryValue Source # 
Instance details

Methods

vsplit ∷ MaryValue → Integer → ([MaryValue], Coin) Source #