cardano-ledger-allegra-1.10.2.1: Allegra ledger era that introduces time lock support.
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Allegra.ImpTest

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

class (ShelleyEraImp era, AllegraEraTest era, InjectRuleFailure "LEDGER" AllegraUtxoPredFailure era) ⇒ AllegraEraImp era Source #

Instances

Instances details
AllegraEraImp AllegraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Allegra.ImpTest

Orphan instances

ShelleyEraImp AllegraEra Source # 
Instance details

Methods

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

initTransitionConfig ∷ (HasKeyPairs s, MonadState s m, HasStatefulGen g m, MonadFail m) ⇒ m (TransitionConfig 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 #

topTxFromAnyLevel ∷ (∀ (l ∷ TxLevel). Typeable l ⇒ Tx l AllegraEra) → ImpTestM AllegraEra (Tx 'TopTx AllegraEra) Source #