Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Translation

Contents

Synopsis

Translate from one era to the next

Constructors

EraTranslation
Fields translateLedgerState :: InPairs (RequiringBoth WrapLedgerConfig (Translate LedgerState)) xs translateChainDepState :: InPairs (RequiringBoth WrapConsensusConfig (Translate WrapChainDepState)) xs translateLedgerView :: InPairs (RequiringBoth WrapLedgerConfig (TranslateForecast LedgerState WrapLedgerView)) xs

Instances details

NoThunks (EraTranslation xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Translation Methods noThunks :: Context -> EraTranslation xs -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> EraTranslation xs -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (EraTranslation xs) -> String Source #