cardano-ledger-dijkstra-0.2.0.0: Cardano ledger with nested transactions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Dijkstra.ImpTest

Documentation

module Test.Cardano.Ledger.Conway.ImpTest

exampleDijkstraGenesis ∷ DijkstraGenesis Source #

class (ConwayEraImp era, DijkstraEraTest era) ⇒ DijkstraEraImp era Source #

Instances

Instances details
DijkstraEraImp DijkstraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Dijkstra.ImpTest

impDijkstraSatisfyNativeScript ∷ (DijkstraEraImp era, NativeScript era ~ DijkstraNativeScript era) ⇒ Set (KeyHash 'Witness) → TxBody era → NativeScript era → ImpTestM era (Maybe (Map (KeyHash 'Witness) (KeyPair 'Witness))) Source #

Orphan instances

AlonzoEraImp DijkstraEra Source # 
Instance details

Methods

scriptTestContexts ∷ Map ScriptHash ScriptTestContext Source #

BabbageEraImp DijkstraEra Source # 
Instance details

ConwayEraImp DijkstraEra Source # 
Instance details

MaryEraImp DijkstraEra Source # 
Instance details

ShelleyEraImp DijkstraEra Source # 
Instance details

Methods

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

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

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

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

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

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

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

expectTxSuccess ∷ Tx DijkstraEra → ImpTestM DijkstraEra () Source #

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

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

InjectRuleFailure "CERT" ShelleyDelegPredFailure DijkstraEra Source # 
Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure DijkstraEra → EraRuleFailure "CERT" DijkstraEra Source #

InjectRuleFailure "CERTS" ShelleyDelegPredFailure DijkstraEra Source # 
Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure DijkstraEra → EraRuleFailure "CERTS" DijkstraEra Source #

InjectRuleFailure "DELEG" ShelleyDelegPredFailure DijkstraEra Source # 
Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure DijkstraEra → EraRuleFailure "DELEG" DijkstraEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure DijkstraEra Source # 
Instance details

Methods

injectFailure ∷ ShelleyDelegPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #