cardano-ledger-shelley-test-1.5.1.0: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Generator.ShelleyEraGen

Documentation

Orphan instances

(PraosCrypto c, Signable (DSIGN c) ~ SignableRepresentation, Signable (KES c) ~ SignableRepresentation) ⇒ EraGen (ShelleyEra c) Source # 
Instance details

Methods

genGenesisValueGenEnv (ShelleyEra c) → Gen (Value (ShelleyEra c)) Source #

genEraTwoPhase3Arg ∷ [TwoPhase3ArgInfo (ShelleyEra c)] Source #

genEraTwoPhase2Arg ∷ [TwoPhase2ArgInfo (ShelleyEra c)] Source #

genEraTxBodyGenEnv (ShelleyEra c) → UTxO (ShelleyEra c) → PParams (ShelleyEra c) → SlotNoSet (TxIn (EraCrypto (ShelleyEra c))) → StrictSeq (TxOut (ShelleyEra c)) → StrictSeq (TxCert (ShelleyEra c)) → Withdrawals (EraCrypto (ShelleyEra c)) → CoinStrictMaybe (Update (ShelleyEra c)) → StrictMaybe (AuxiliaryDataHash (EraCrypto (ShelleyEra c))) → Gen (TxBody (ShelleyEra c), [Script (ShelleyEra c)]) Source #

genEraAuxiliaryDataConstantsGen (StrictMaybe (TxAuxData (ShelleyEra c))) Source #

updateEraTxBodyUTxO (ShelleyEra c) → PParams (ShelleyEra c) → TxWits (ShelleyEra c) → TxBody (ShelleyEra c) → CoinSet (TxIn (EraCrypto (ShelleyEra c))) → TxOut (ShelleyEra c) → TxBody (ShelleyEra c) Source #

addInputsTxBody (ShelleyEra c) → Set (TxIn (EraCrypto (ShelleyEra c))) → TxBody (ShelleyEra c) Source #

genEraPParamsUpdateConstantsPParams (ShelleyEra c) → Gen (PParamsUpdate (ShelleyEra c)) Source #

genEraPParamsConstantsGen (PParams (ShelleyEra c)) Source #

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

genEraGoodTxOutTxOut (ShelleyEra c) → Bool Source #

constructTxTxBody (ShelleyEra c) → TxWits (ShelleyEra c) → StrictMaybe (TxAuxData (ShelleyEra c)) → Tx (ShelleyEra c) Source #

genEraScriptCostPParams (ShelleyEra c) → Script (ShelleyEra c) → Coin Source #

genEraDoneUTxO (ShelleyEra c) → PParams (ShelleyEra c) → Tx (ShelleyEra c) → Gen (Tx (ShelleyEra c)) Source #

genEraTweakBlockPParams (ShelleyEra c) → Seq (Tx (ShelleyEra c)) → Gen (Seq (Tx (ShelleyEra c))) Source #

hasFailedScriptsTx (ShelleyEra c) → Bool Source #

feeOrCollateralTx (ShelleyEra c) → UTxO (ShelleyEra c) → Coin Source #

Mock c ⇒ MinGenTxout (ShelleyEra c) Source # 
Instance details

Crypto c ⇒ ScriptClass (ShelleyEra c) Source # 
Instance details