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

Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Allegra.ImpTest

Contents

Orphan instances

Documentation

impAllegraSatisfyNativeScript ∷ ∀ era (l ∷ TxLevel). (ShelleyEraImp era, AllegraEraScript era, AllegraEraTxBody era, NativeScript era ~ Timelock era) ⇒ Set (KeyHash 'Witness) → TxBody l 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 ∷ ∀ (l ∷ TxLevel). Set (KeyHash 'Witness) → TxBody l 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 'TopTx AllegraEra → ImpTestM AllegraEra (Tx 'TopTx AllegraEra) Source #

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