:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12
Moduleouroboros-consensus-4.2.1.0
SituatedCurrent :: Current f x -> h x -> Situated h f (x ': xs1)SituatedNext :: Current f x -> h y -> Situated h f (x ': y ': xs1)SituatedFuture :: Current f x -> NS h xs1 -> Situated h f (x ': y ': xs1)SituatedPast :: K Past x -> h x -> Situated h f (x ': xs1)SituatedShift :: Situated h f xs1 -> Situated h f (x ': xs1)newtype CrossEraForecaster (state :: Type -> (Type -> Type -> Type) -> Type) (view :: Type -> Type) x yCrossEraForecastercrossEraForecastWith :: Bound -> SlotNo -> state x EmptyMK -> Except OutsideForecastRange (view y)CurrentcurrentStart :: !BoundcurrentState :: !f blkEq (f blk) => Eq (Current f blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphanShow (f blk) => Show (Current f blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphanGeneric (Current f blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.TypesSerialise (f blk) => Serialise (Current f blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphanNoThunks (f blk) => NoThunks (Current f blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphantype Rep (Current f blk) = D1 ('MetaData "Current"
"Ouroboros.Consensus.HardFork.Combinator.State.Types"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons "Current"
'PrefixI 'True) (S1 ('MetaSel ('Just "currentStart"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bound) :*: S1 ('MetaSel ('Just "currentState"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.TypesHardForkStategetHardForkState :: Telescope (K Past) (Current f) xsIsSOPLike HardForkStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.UnaryHAp HardForkStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphanHCollapse HardForkStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphanHSequence HardForkStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphanHTrans HardForkState HardForkStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphanSerialiseHFC xs => EncodeDisk (HardForkBlock xs) (HardForkChainDepState xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphanSerialiseHFC xs => DecodeDisk (HardForkBlock xs) (HardForkChainDepState xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan(All SingleEraBlock xs, forall blk. SingleEraBlock blk => Eq (f blk)) => Eq (HardForkState f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphan(All SingleEraBlock xs, forall blk. SingleEraBlock blk => Show (f blk)) => Show (HardForkState f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphanGeneric (HardForkState f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Types(All SingleEraBlock xs, forall blk. SingleEraBlock blk => NoThunks (f blk)) => NoThunks (HardForkState f xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphantype Rep (HardForkState f xs) = D1 ('MetaData "HardForkState"
"Ouroboros.Consensus.HardFork.Combinator.State.Types"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons "HardForkState"
'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkState"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Telescope (K Past) (Current f) xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Typestype CollapseTo HardForkState a = aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphantype Prod HardForkState = NPDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphantype AllN HardForkState c = All cDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphantype Same HardForkState = HardForkStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphantype SListIN HardForkState = SListIDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphandata Ticked (HardForkChainDepState xs)TickedHardForkChainDepStatetickedHardForkChainDepStatePerEra :: HardForkState (Ticked :.: WrapChainDepState) xstickedHardForkChainDepStateEpochInfo :: EpochInfo (Except PastHorizonException)Eq PastDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.TypesShow PastDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.TypesGeneric PastDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.TypesSerialise PastDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Instances · orphanNoThunks PastDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Typestype Rep Past = D1 ('MetaData "Past"
"Ouroboros.Consensus.HardFork.Combinator.State.Types"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons "Past"
'PrefixI 'True) (S1 ('MetaSel ('Just "pastStart"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bound) :*: S1 ('MetaSel ('Just "pastEnd"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bound)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.TypesShow TransitionInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.TypesGeneric TransitionInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.TypesNoThunks TransitionInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.Typestype Rep TransitionInfo = D1 ('MetaData "TransitionInfo"
"Ouroboros.Consensus.HardFork.Combinator.State.Types"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons "TransitionUnknown"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin SlotNo))) :+: (C1 ('MetaCons "TransitionKnown"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo)) :+: C1 ('MetaCons "TransitionImpossible"
'PrefixI 'False) U1))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.State.TypesTranslatetranslateWith :: EpochNo -> f x -> f yTranslateLedgerTablestranslateTxInWith :: !TxIn x -> TxIn ytranslateTxOutWith :: !TxOut x -> TxOut yTranslateTxOut (TxOut x -> TxOut y)