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

Safe Haskell	None
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 ∷ ∀ era (l ∷ TxLevel). (MaryEraImp era, Typeable l) ⇒ ScriptHash → ImpTestM era (Tx l 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 ∷ ∀ (l ∷ TxLevel). Set (KeyHash 'Witness) → TxBody l 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 'TopTx MaryEra → ImpTestM MaryEra (Tx 'TopTx MaryEra) Source #

expectTxSuccess ∷ Tx 'TopTx 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 #