Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HardFork.History.Summary

valueinitBound :: Bound

valueinvariantShape :: Shape xs -> Except String ()

valueinvariantSummary :: Summary xs -> Except String ()

valuemkEraEnd :: EraParams -> Bound -> Maybe EpochNo -> EraEnd

valuemkUpperBound :: HasCallStack => EraParams -> Bound -> EpochNo -> Bound

valueneverForksSummary

valuesingletonShape :: EraParams -> Shape '[x]

valueslotToEpochBound :: EraParams -> Bound -> SlotNo -> EpochNo

valuesummarize :: WithOrigin SlotNo -> Shape xs -> Transitions xs -> Summary xs

valuesummaryBounds :: Summary xs -> (Bound, EraEnd)

valuesummaryInit :: Summary xs -> (Maybe (Summary xs), EraSummary)

valuesummaryWithExactly :: Exactly (x ': xs) EraSummary -> Summary (x ': xs)

valuetransitionsUnknown :: Transitions (x ': xs)

datadata Bound

Instances6Eq, Show, Generic, Serialise, NoThunks, Rep

Eq BoundDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
Show BoundDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
Generic BoundDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
Serialise BoundDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
NoThunks BoundDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
type Rep Bound = D1 ('MetaData "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)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary

datadata EraEnd

Instances6Eq, Show, Generic, Serialise, NoThunks, Rep

Eq EraEndDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
Show EraEndDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
Generic EraEndDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
Serialise EraEndDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
NoThunks EraEndDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
type Rep EraEnd = D1 ('MetaData "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)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary

datadata EraSummary

Instances6Eq, Show, Generic, Serialise, NoThunks, Rep

Eq EraSummaryDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
Show EraSummaryDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
Generic EraSummaryDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
Serialise EraSummaryDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
NoThunks EraSummaryDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
type Rep EraSummary = D1 ('MetaData "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))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary

newtypenewtype Shape (xs :: [Type])

Instances3Show, NoThunks, SerialiseNodeToClient

Show (Shape xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
NoThunks (Shape xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (Shape xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan

newtypenewtype Summary (xs :: [Type])

Instances4Eq, Show, Serialise, NoThunks

Eq (Summary xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
Show (Summary xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
SListI xs => Serialise (Summary xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary
NoThunks (Summary xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary

datadata Transitions (a :: [Type]) where

Instances1Show

Show (Transitions xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Summary