Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.HardFork.History
- 15 types
- 45 values
- Packageouroboros-consensus-4.2.1.0
- Exports62
- LicenceApache-2.0
Constructors
RunWithCachedSummarycachedRunQuery :: forall a. Qry a -> STM m (Either PastHorizonException a)
Constructors
Instances6Eq, Show, Generic, Serialise, NoThunks, Rep
Eq EraParamsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsShow EraParamsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsGeneric EraParamsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsSerialise EraParamsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsNoThunks EraParamsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamstype Rep EraParams = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParams"EraParams"
"Ouroboros.Consensus.HardFork.History.EraParams"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"EraParams"
'PrefixI 'True) ((S1 ('MetaSel ('Just"eraEpochSize"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochSize) :*: S1 ('MetaSel ('Just"eraSlotLength"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotLength)) :*: (S1 ('MetaSel ('Just"eraSafeZone"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SafeZone) :*: (S1 ('MetaSel ('Just"eraGenesisWin"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 GenesisWindow) :*: S1 ('MetaSel ('Just"eraPerasRoundLength"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasEnabled PerasRoundLength))))))
Instances9Monad, Functor, Applicative, Eq, Ord, Show, …
Monad PerasEnabledDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsFunctor PerasEnabledDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsApplicative PerasEnabledDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsEq a => Eq (PerasEnabled a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsOrd a => Ord (PerasEnabled a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsShow a => Show (PerasEnabled a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsGeneric (PerasEnabled a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsNoThunks a => NoThunks (PerasEnabled a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamstype Rep (PerasEnabled a) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParams"PerasEnabled"
"Ouroboros.Consensus.HardFork.History.EraParams"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons"MkPerasEnabled"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))
Constructors
Instances4MonadTrans, Monad, Functor, Applicative
MonadTrans PerasEnabledTDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsMonad m => Monad (PerasEnabledT m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsFunctor m => Functor (PerasEnabledT m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParams(Functor m, Monad m) => Applicative (PerasEnabledT m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParams
Constructors
Instances6Eq, Show, Generic, Serialise, NoThunks, Rep
Eq SafeZoneDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsShow SafeZoneDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsGeneric SafeZoneDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsSerialise SafeZoneDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamsNoThunks SafeZoneDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParamstype Rep SafeZone = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.EraParams"SafeZone"
"Ouroboros.Consensus.HardFork.History.EraParams"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"StandardSafeZone"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)) :+: C1 ('MetaCons"UnsafeIndefiniteSafeZone"
'PrefixI 'False) U1)
Constructors
EVar :: f a -> Expr f aELit :: Show a => a -> Expr f aELet :: Expr f a1 -> (f a1 -> Expr f a) -> Expr f aEPair :: Expr f a1 -> Expr f b -> Expr f (a1, b)EFst :: Expr f (a, b) -> Expr f aESnd :: Expr f (a1, a) -> Expr f aEAbsToRelTime :: Expr f RelativeTime -> Expr f TimeInEraEAbsToRelSlot :: Expr f SlotNo -> Expr f SlotInEraEAbsToRelEpoch :: Expr f EpochNo -> Expr f EpochInEraEAbsToRelPerasRoundNo :: Expr f PerasRoundNo -> Expr f (PerasEnabled PerasRoundNoInEra)ERelToAbsTime :: Expr f TimeInEra -> Expr f RelativeTimeERelToAbsSlot :: Expr f (SlotInEra, TimeInSlot) -> Expr f SlotNoERelToAbsEpoch :: Expr f (EpochInEra, SlotInEpoch) -> Expr f EpochNoERelToAbsPerasRoundNo :: Expr f (PerasEnabled PerasRoundNoInEra) -> Expr f (PerasEnabled PerasRoundNo)ERelTimeToSlot :: Expr f TimeInEra -> Expr f (SlotInEra, TimeInSlot)ERelSlotToTime :: Expr f SlotInEra -> Expr f TimeInEraERelSlotToEpoch :: Expr f SlotInEra -> Expr f (EpochInEra, SlotInEpoch)ERelEpochToSlot :: Expr f EpochInEra -> Expr f SlotInEraERelPerasRoundNoToSlot :: Expr f (PerasEnabled PerasRoundNoInEra) -> Expr f (PerasEnabled SlotInEra)ERelSlotToPerasRoundNo :: Expr f SlotInEra -> Expr f (PerasEnabled (PerasRoundNoInEra, SlotInPerasRound))ESlotLength :: Expr f SlotNo -> Expr f SlotLengthEEpochSize :: Expr f EpochNo -> Expr f EpochSizeEGenesisWindow :: Expr f SlotNo -> Expr f GenesisWindowEPerasRoundLength :: Expr f PerasRoundNo -> Expr f (PerasEnabled PerasRoundLength)
Instances3Eq, Show, Serialise
Eq (Interpreter xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.QryShow (Interpreter xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.QrySListI xs => Serialise (Interpreter xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Qry
Constructors
PastHorizonpastHorizonCallStack :: CallStackpastHorizonExpression :: Some ClosedExprpastHorizonSummary :: [EraSummary]
Instances2Show, Exception
Show PastHorizonExceptionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.QryException PastHorizonExceptionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Qry
Instances3Monad, Functor, Applicative
Constructors
Instances6Eq, Show, Generic, Serialise, NoThunks, Rep
Eq BoundDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummaryShow BoundDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummaryGeneric BoundDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummarySerialise BoundDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummaryNoThunks BoundDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summarytype Rep Bound = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary"Bound"
"Ouroboros.Consensus.HardFork.History.Summary"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"Bound"
'PrefixI 'True) ((S1 ('MetaSel ('Just"boundTime"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RelativeTime) :*: S1 ('MetaSel ('Just"boundSlot"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just"boundEpoch"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo) :*: S1 ('MetaSel ('Just"boundPerasRound"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasEnabled PerasRoundNo)))))
Constructors
Instances6Eq, Show, Generic, Serialise, NoThunks, Rep
Eq EraEndDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummaryShow EraEndDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummaryGeneric EraEndDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummarySerialise EraEndDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummaryNoThunks EraEndDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summarytype Rep EraEnd = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary"EraEnd"
"Ouroboros.Consensus.HardFork.History.Summary"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"EraEnd"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bound)) :+: C1 ('MetaCons"EraUnbounded"
'PrefixI 'False) U1)
Instances6Eq, Show, Generic, Serialise, NoThunks, Rep
Eq EraSummaryDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummaryShow EraSummaryDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummaryGeneric EraSummaryDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummarySerialise EraSummaryDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummaryNoThunks EraSummaryDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summarytype Rep EraSummary = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary"EraSummary"
"Ouroboros.Consensus.HardFork.History.Summary"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"EraSummary"
'PrefixI 'True) (S1 ('MetaSel ('Just"eraStart"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bound) :*: (S1 ('MetaSel ('Just"eraEnd"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EraEnd) :*: S1 ('MetaSel ('Just"eraParams"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EraParams))))
Instances3Show, NoThunks, SerialiseNodeToClient
Show (Shape xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummaryNoThunks (Shape xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummarySerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (Shape xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
Constructors
Instances4Eq, Show, Serialise, NoThunks
Eq (Summary xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummaryShow (Summary xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummarySListI xs => Serialise (Summary xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.SummaryNoThunks (Summary xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
Constructors
Transitions :: AtMost xs EpochNo -> Transitions (x ': xs)
Instances1Show
Show (Transitions xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary