cardano-ledger-conformance-0.1.0.0: Testing utilities for conformance testing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Orphan instances

SpecTranslate ctx AccountState Source # 
Instance details

Associated Types

type SpecRep AccountState Source #

(SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (VotingProcedures era), Inject ctx (Map (Network, Credential 'Staking (EraCrypto era)) Coin)) ⇒ SpecTranslate ctx (CertEnv era) Source # 
Instance details

Associated Types

type SpecRep (CertEnv era) Source #

Methods

toSpecRepCertEnv era → SpecTransM ctx (SpecRep (CertEnv era)) Source #

SpecTranslate ctx (ConwayNewEpochPredFailure era) Source # 
Instance details

Associated Types

type SpecRep (ConwayNewEpochPredFailure era) Source #

SpecTranslate ctx (ConwayTxCert era) Source # 
Instance details

Associated Types

type SpecRep (ConwayTxCert era) Source #

SpecTranslate ctx (CertState era) Source # 
Instance details

Associated Types

type SpecRep (CertState era) Source #

Methods

toSpecRepCertState era → SpecTransM ctx (SpecRep (CertState era)) Source #

SpecTranslate ctx (SnapShot c) Source # 
Instance details

Associated Types

type SpecRep (SnapShot c) Source #

Methods

toSpecRepSnapShot c → SpecTransM ctx (SpecRep (SnapShot c)) Source #

SpecTranslate ctx (SnapShots c) Source # 
Instance details

Associated Types

type SpecRep (SnapShots c) Source #

SpecTranslate ctx (Stake c) Source # 
Instance details

Associated Types

type SpecRep (Stake c) Source #

Methods

toSpecRepStake c → SpecTransM ctx (SpecRep (Stake c)) Source #

(EraPParams era, ConwayEraGov era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, Inject ctx [GovActionState era], ToExpr (PParamsHKD StrictMaybe era), SpecRep (TxOut era) ~ TxOut, SpecTranslate ctx (TxOut era)) ⇒ SpecTranslate ctx (EpochState era) Source # 
Instance details

Associated Types

type SpecRep (EpochState era) Source #

Methods

toSpecRepEpochState era → SpecTransM ctx (SpecRep (EpochState era)) Source #

(ConwayEraGov era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecRep (TxOut era) ~ TxOut, SpecTranslate ctx (TxOut era)) ⇒ SpecTranslate ctx (LedgerState era) Source # 
Instance details

Associated Types

type SpecRep (LedgerState era) Source #

Methods

toSpecRepLedgerState era → SpecTransM ctx (SpecRep (LedgerState era)) Source #

(EraPParams era, ConwayEraGov era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, Inject ctx [GovActionState era], ToExpr (PParamsHKD StrictMaybe era), SpecRep (TxOut era) ~ TxOut, SpecTranslate ctx (TxOut era)) ⇒ SpecTranslate ctx (NewEpochState era) Source # 
Instance details

Associated Types

type SpecRep (NewEpochState era) Source #