cardano-ledger-shelley-ma-test-1.4.0.1: 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

maryGenesisValueGenEnv c 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 ∷ (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 c MaryEraGen (Value MaryEra) Source #

genEraTwoPhase3Arg ∷ [TwoPhase3ArgInfo MaryEra] Source #

genEraTwoPhase2Arg ∷ [TwoPhase2ArgInfo MaryEra] Source #

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

genEraAuxiliaryDataConstantsGen (StrictMaybe (TxAuxData MaryEra)) Source #

updateEraTxBodyUTxO MaryEraPParams MaryEraTxWits MaryEraTxBody 'TopTx MaryEraCoinSet TxInTxOut MaryEraTxBody 'TopTx MaryEra Source #

addInputsTxBody 'TopTx MaryEraSet TxInTxBody 'TopTx MaryEra Source #

genEraPParamsUpdateConstantsPParams MaryEraGen (PParamsUpdate MaryEra) Source #

genEraPParamsConstantsGen (PParams MaryEra) Source #

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

genEraGoodTxOutTxOut MaryEraBool Source #

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

genEraScriptCostPParams MaryEraScript MaryEraCoin Source #

genEraDoneUTxO MaryEraPParams MaryEraTx 'TopTx MaryEraGen (Tx 'TopTx MaryEra) Source #

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

hasFailedScriptsTx 'TopTx MaryEraBool Source #

feeOrCollateralTx 'TopTx MaryEraUTxO MaryEraCoin Source #

MinGenTxout MaryEra Source # 
Instance details

ScriptClass MaryEra Source # 
Instance details

Split MaryValue Source # 
Instance details

Methods

vsplitMaryValueInteger → ([MaryValue], Coin) Source #