| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.Translation
Synopsis
- data EraTranslation xs = EraTranslation {
- translateLedgerState ∷ InPairs (RequiringBoth WrapLedgerConfig (Translate LedgerState)) xs
- translateChainDepState ∷ InPairs (RequiringBoth WrapConsensusConfig (Translate WrapChainDepState)) xs
- translateLedgerView ∷ InPairs (RequiringBoth WrapLedgerConfig (TranslateForecast LedgerState WrapLedgerView)) xs
- trivialEraTranslation ∷ EraTranslation '[blk]
Translate from one era to the next
data EraTranslation xs Source #
Constructors
Instances
| NoThunks (EraTranslation xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Translation Methods noThunks ∷ Context → EraTranslation xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → EraTranslation xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (EraTranslation xs) → String # | |
trivialEraTranslation ∷ EraTranslation '[blk] Source #