| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.Translation
Synopsis
- data EraTranslation (xs ∷ [Type]) = EraTranslation {
- translateLedgerState ∷ !(InPairs (RequiringBoth WrapLedgerConfig TranslateLedgerState) xs)
- translateLedgerTables ∷ !(InPairs TranslateLedgerTables xs)
- translateChainDepState ∷ !(InPairs (RequiringBoth WrapConsensusConfig (Translate WrapChainDepState)) xs)
- crossEraForecast ∷ !(InPairs (RequiringBoth WrapLedgerConfig (CrossEraForecaster LedgerState WrapLedgerView)) xs)
- ipTranslateTxOut ∷ ∀ (xs ∷ [Type]). All (Top ∷ Type → Constraint) xs ⇒ EraTranslation xs → InPairs TranslateTxOut xs
- trivialEraTranslation ∷ EraTranslation '[blk]
Translate from one era to the next
data EraTranslation (xs ∷ [Type]) Source #
Constructors
Instances
| NoThunks (EraTranslation xs) Source # | |
ipTranslateTxOut ∷ ∀ (xs ∷ [Type]). All (Top ∷ Type → Constraint) xs ⇒ EraTranslation xs → InPairs TranslateTxOut xs Source #
trivialEraTranslation ∷ EraTranslation '[blk] Source #