cardano-ledger-allegra-1.9.0.0: Allegra ledger era that introduces time lock support.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Allegra.ImpTest

Contents

Orphan instances

Documentation

impAllegraSatisfyNativeScript ∷ (ShelleyEraImp era, AllegraEraScript era, AllegraEraTxBody era, NativeScript era ~ Timelock era) ⇒ Set (KeyHash 'Witness) → TxBody era → NativeScript era → ImpTestM era (Maybe (Map (KeyHash 'Witness) (KeyPair 'Witness))) Source #

module Test.Cardano.Ledger.Shelley.ImpTest

Orphan instances

ShelleyEraImp AllegraEra Source #

Instance details

Methods

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

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

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

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

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

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

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

expectTxSuccess ∷ Tx AllegraEra → ImpTestM AllegraEra () Source #

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

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

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