cardano-ledger-mary-1.9.0.1: Cardano ledger with multiasset support.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Mary.ImpTest

Contents

Orphan instances

Documentation

class (ShelleyEraImp era, MaryEraTest era, Value era ~ MaryValue) ⇒ MaryEraImp era Source #

Instances

Instances details

MaryEraImp MaryEra Source #
Instance details Defined in Test.Cardano.Ledger.Mary.ImpTest

module Test.Cardano.Ledger.Allegra.ImpTest

mkTokenMintingTx ∷ MaryEraImp era ⇒ ScriptHash → ImpTestM era (Tx era) Source #

Orphan instances

ShelleyEraImp MaryEra Source #

Instance details

Methods

initGenesis ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (Genesis MaryEra) Source #

initNewEpochState ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (NewEpochState MaryEra) Source #

initImpTestState ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (ImpTestState MaryEra) Source #

impSatisfyNativeScript ∷ Set (KeyHash 'Witness) → TxBody MaryEra → NativeScript MaryEra → ImpTestM MaryEra (Maybe (Map (KeyHash 'Witness) (KeyPair 'Witness))) Source #

modifyPParams ∷ (PParams MaryEra → PParams MaryEra) → ImpTestM MaryEra () Source #

modifyImpInitProtVer ∷ Version → SpecWith (ImpInit (LedgerSpec MaryEra)) → SpecWith (ImpInit (LedgerSpec MaryEra)) Source #

fixupTx ∷ Tx MaryEra → ImpTestM MaryEra (Tx MaryEra) Source #

expectTxSuccess ∷ Tx MaryEra → ImpTestM MaryEra () Source #

genRegTxCert ∷ Credential 'Staking → ImpTestM MaryEra (TxCert MaryEra) Source #

genUnRegTxCert ∷ Credential 'Staking → ImpTestM MaryEra (TxCert MaryEra) Source #

delegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert MaryEra Source #