Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Dijkstra.ImpTest

Contents

Orphan instances

Documentation

module Test.Cardano.Ledger.Conway.ImpTest

class (ConwayEraImp era, DijkstraEraTest era, InjectRuleFailure "LEDGER" DijkstraLedgerPredFailure era, InjectRuleFailure "LEDGER" EntitiesPredFailure era, InjectRuleFailure "LEDGER" DijkstraUtxoPredFailure era, InjectRuleFailure "LEDGER" DijkstraUtxowPredFailure 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 "ENTITIES" ShelleyDelegPredFailure DijkstraEra Source #
Instance details Methods injectFailure ∷ ShelleyDelegPredFailure DijkstraEra → EraRuleFailure "ENTITIES" DijkstraEra Source #
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure DijkstraEra Source #
Instance details Methods injectFailure ∷ ShelleyDelegPredFailure DijkstraEra → EraRuleFailure "LEDGER" DijkstraEra Source #