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

Test.Cardano.Ledger.Dijkstra.ImpTest

Orphan instances

AlonzoEraImp DijkstraEra Source # 
Instance details

Methods

scriptTestContexts ∷ Map ScriptHash ScriptTestContext Source #

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 #

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

expectTxSuccess ∷ Tx DijkstraEra → ImpTestM 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 #