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

Test.Cardano.Ledger.Dijkstra.ImpTest

Documentation

module Test.Cardano.Ledger.Conway.ImpTest

exampleDijkstraGenesis ∷ DijkstraGenesis Source #

class (ConwayEraImp era, DijkstraEraTest era, InjectRuleFailure "LEDGER" DijkstraUtxoPredFailure era, InjectRuleFailure "MEMPOOL" DijkstraMempoolPredFailure era, InjectRuleFailure "MEMPOOL" DijkstraUtxoPredFailure era, Inject (NonEmpty (PredicateFailure (EraRule "MEMPOOL" era))) (ApplyTxError era)) ⇒ DijkstraEraImp era Source #

Instances

Instances details
DijkstraEraImp DijkstraEra Source # 
Instance details

Defined in Test.Cardano.Ledger.Dijkstra.ImpTest

impDijkstraSatisfyNativeScript ∷ ∀ era (l ∷ TxLevel). (DijkstraEraImp era, NativeScript era ~ DijkstraNativeScript era) ⇒ Set (KeyHash 'Witness) → TxBody l 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 ∷ ∀ (l ∷ TxLevel). Set (KeyHash 'Witness) → TxBody l 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 'TopTx DijkstraEra → ImpTestM DijkstraEra (Tx 'TopTx DijkstraEra) Source #

expectTxSuccess ∷ Tx 'TopTx DijkstraEra → ImpTestM DijkstraEra () Source #

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

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

delegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → 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 #