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

Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool

Orphan instances

SpecTranslate ctx (PState era) Source # 
Instance details

Associated Types

type SpecRep (PState era) Source #

Methods

toSpecRepPState era → SpecTransM ctx (SpecRep (PState era)) Source #

SpecTranslate ctx (PoolCert c) Source # 
Instance details

Associated Types

type SpecRep (PoolCert c) Source #

Methods

toSpecRepPoolCert c → SpecTransM ctx (SpecRep (PoolCert c)) Source #

(SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era)) ⇒ SpecTranslate ctx (PoolEnv era) Source # 
Instance details

Associated Types

type SpecRep (PoolEnv era) Source #

Methods

toSpecRepPoolEnv era → SpecTransM ctx (SpecRep (PoolEnv era)) Source #

SpecTranslate ctx (ShelleyPoolPredFailure era) Source # 
Instance details

Associated Types

type SpecRep (ShelleyPoolPredFailure era) Source #