cardano-ledger-shelley-ma-test-1.3.0.0: Shelley ledger with multiasset and time lock support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.MaryEraGen

Description

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

Synopsis

Documentation

maryGenesisValueGenEnv era → Gen MaryValue Source #

Carefully crafted to apply in any Era where Value is MaryValue

policyIndexAllegraEraScript 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 ∷ ∀ era. (EraGen era, Value era ~ MaryValue) ⇒ Proxy era → StrictSeq (TxOut era) → PParams era → MultiAssetStrictSeq (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

genGenesisValueGenEnv MaryEraGen (Value MaryEra) Source #

genEraTwoPhase3Arg ∷ [TwoPhase3ArgInfo MaryEra] Source #

genEraTwoPhase2Arg ∷ [TwoPhase2ArgInfo MaryEra] Source #

genEraTxBodyGenEnv MaryEraUTxO MaryEraPParams MaryEraSlotNoSet TxInStrictSeq (TxOut MaryEra) → StrictSeq (TxCert MaryEra) → WithdrawalsCoinStrictMaybe (Update MaryEra) → StrictMaybe TxAuxDataHashGen (TxBody MaryEra, [Script MaryEra]) Source #

genEraAuxiliaryDataConstantsGen (StrictMaybe (TxAuxData MaryEra)) Source #

updateEraTxBodyUTxO MaryEraPParams MaryEraTxWits MaryEraTxBody MaryEraCoinSet TxInTxOut MaryEraTxBody MaryEra Source #

addInputsTxBody MaryEraSet TxInTxBody MaryEra Source #

genEraPParamsUpdateConstantsPParams MaryEraGen (PParamsUpdate MaryEra) Source #

genEraPParamsConstantsGen (PParams MaryEra) Source #

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

genEraGoodTxOutTxOut MaryEraBool Source #

constructTxTxBody MaryEraTxWits MaryEraStrictMaybe (TxAuxData MaryEra) → Tx MaryEra Source #

genEraScriptCostPParams MaryEraScript MaryEraCoin Source #

genEraDoneUTxO MaryEraPParams MaryEraTx MaryEraGen (Tx MaryEra) Source #

genEraTweakBlockPParams MaryEraSeq (Tx MaryEra) → Gen (Seq (Tx MaryEra)) Source #

hasFailedScriptsTx MaryEraBool Source #

feeOrCollateralTx MaryEraUTxO MaryEraCoin Source #

MinGenTxout MaryEra Source # 
Instance details

ScriptClass MaryEra Source # 
Instance details

Split MaryValue Source # 
Instance details

Methods

vsplitMaryValueInteger → ([MaryValue], Coin) Source #