Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State

10 types
1 value

Packageouroboros-consensus-4.2.1.0
Exports11
LicenceApache-2.0

value

newChainSyncClientHandleCollection :: (Ord peer, IOLike m, LedgerSupportsProtocol blk, NoThunks peer) => STM m (ChainSyncClientHandleCollection peer m blk)

datadata ChainSyncClientHandle (m :: Type -> Type) blk

Constructors

ChainSyncClientHandle
- cschGDDKill :: !m ()
- cschOnGsmStateChanged :: !GsmState -> Time -> STM m ()
- cschState :: !StrictTVar m (ChainSyncState blk)
- cschJumping :: !StrictTVar m (ChainSyncJumpingState m blk)
- cschJumpInfo :: !StrictTVar m (Maybe (JumpInfo blk))

Instances3Generic, NoThunks, Rep

Generic (ChainSyncClientHandle m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
(IOLike m, HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) => NoThunks (ChainSyncClientHandle m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
type Rep (ChainSyncClientHandle m blk) = D1 ('MetaData "ChainSyncClientHandle" "Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "ChainSyncClientHandle" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cschGDDKill") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (m ())) :*: S1 ('MetaSel ('Just "cschOnGsmStateChanged") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GsmState -> Time -> STM m ()))) :*: (S1 ('MetaSel ('Just "cschState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m (ChainSyncState blk))) :*: (S1 ('MetaSel ('Just "cschJumping") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m (ChainSyncJumpingState m blk))) :*: S1 ('MetaSel ('Just "cschJumpInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m (Maybe (JumpInfo blk))))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State

datadata ChainSyncClientHandleCollection peer (m :: Type -> Type) blk

Constructors

ChainSyncClientHandleCollection
- cschcMap :: !STM m (Map peer (ChainSyncClientHandle m blk))
- cschcSeq :: !STM m (StrictSeq (peer, ChainSyncClientHandle m blk))
- cschcAddHandle :: !peer -> ChainSyncClientHandle m blk -> STM m ()
- cschcRemoveHandle :: !peer -> STM m ()
- cschcRotateHandle :: !peer -> STM m ()
- cschcRemoveAllHandles :: !STM m ()

Instances3Generic, NoThunks, Rep

Generic (ChainSyncClientHandleCollection peer m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
(IOLike m, HasHeader blk, LedgerSupportsProtocol blk, NoThunks (STM m ()), NoThunks (Header blk), NoThunks (STM m (Map peer (ChainSyncClientHandle m blk))), NoThunks (STM m (StrictSeq (peer, ChainSyncClientHandle m blk)))) => NoThunks (ChainSyncClientHandleCollection peer m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
type Rep (ChainSyncClientHandleCollection peer m blk) = D1 ('MetaData "ChainSyncClientHandleCollection" "Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "ChainSyncClientHandleCollection" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cschcMap") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (STM m (Map peer (ChainSyncClientHandle m blk)))) :*: (S1 ('MetaSel ('Just "cschcSeq") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (STM m (StrictSeq (peer, ChainSyncClientHandle m blk)))) :*: S1 ('MetaSel ('Just "cschcAddHandle") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (peer -> ChainSyncClientHandle m blk -> STM m ())))) :*: (S1 ('MetaSel ('Just "cschcRemoveHandle") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (peer -> STM m ())) :*: (S1 ('MetaSel ('Just "cschcRotateHandle") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (peer -> STM m ())) :*: S1 ('MetaSel ('Just "cschcRemoveAllHandles") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (STM m ()))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State

datadata ChainSyncJumpingJumperState blk

Constructors

Happy JumperInitState !(Maybe (JumpInfo blk))
LookingForIntersection !(JumpInfo blk) !(JumpInfo blk)
FoundIntersection ObjectorInitState !(JumpInfo blk) !(Point (Header blk))

Instances3Generic, NoThunks, Rep

Generic (ChainSyncJumpingJumperState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
(HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) => NoThunks (ChainSyncJumpingJumperState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
type Rep (ChainSyncJumpingJumperState blk) = D1 ('MetaData "ChainSyncJumpingJumperState" "Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "Happy" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JumperInitState) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (JumpInfo blk)))) :+: (C1 ('MetaCons "LookingForIntersection" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (JumpInfo blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (JumpInfo blk))) :+: C1 ('MetaCons "FoundIntersection" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ObjectorInitState) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (JumpInfo blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point (Header blk)))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State

datadata ChainSyncJumpingState (m :: Type -> Type) blk

Constructors

Dynamo !(DynamoInitState blk) !(WithOrigin SlotNo)
Objector !ObjectorInitState !(JumpInfo blk) !(Point (Header blk))
Disengaged DisengagedInitState
Jumper !(StrictTVar m (Maybe (JumpInfo blk))) !(ChainSyncJumpingJumperState blk)

Instances3Generic, NoThunks, Rep

Generic (ChainSyncJumpingState m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
(IOLike m, HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) => NoThunks (ChainSyncJumpingState m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
type Rep (ChainSyncJumpingState m blk) = D1 ('MetaData "ChainSyncJumpingState" "Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) ((C1 ('MetaCons "Dynamo" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DynamoInitState blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin SlotNo))) :+: C1 ('MetaCons "Objector" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ObjectorInitState) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (JumpInfo blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point (Header blk)))))) :+: (C1 ('MetaCons "Disengaged" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DisengagedInitState)) :+: C1 ('MetaCons "Jumper" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictTVar m (Maybe (JumpInfo blk)))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainSyncJumpingJumperState blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State

datadata ChainSyncState blk

Constructors

ChainSyncState
- csCandidate :: !AnchoredFragment (HeaderWithTime blk)
- csIdling :: !Bool
- csLatestSlot :: !StrictMaybe (WithOrigin SlotNo)

Instances3Generic, NoThunks, Rep

Generic (ChainSyncState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
(HasHeader blk, NoThunks (Header blk)) => NoThunks (ChainSyncState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
type Rep (ChainSyncState blk) = D1 ('MetaData "ChainSyncState" "Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "ChainSyncState" 'PrefixI 'True) (S1 ('MetaSel ('Just "csCandidate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AnchoredFragment (HeaderWithTime blk))) :*: (S1 ('MetaSel ('Just "csIdling") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "csLatestSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (WithOrigin SlotNo))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State

datadata DisengagedInitState

Disengaging DisengagedDone

Instances4Show, Generic, NoThunks, Rep

Show DisengagedInitStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
Generic DisengagedInitStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
NoThunks DisengagedInitStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
type Rep DisengagedInitState = D1 ('MetaData "DisengagedInitState" "Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "Disengaging" 'PrefixI 'False) U1 :+: C1 ('MetaCons "DisengagedDone" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State

datadata DynamoInitState blk

Instances3Generic, NoThunks, Rep

Generic (DynamoInitState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
(HasHeader blk, LedgerSupportsProtocol blk, NoThunks (Header blk)) => NoThunks (DynamoInitState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
type Rep (DynamoInitState blk) = D1 ('MetaData "DynamoInitState" "Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "DynamoStarting" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (JumpInfo blk))) :+: C1 ('MetaCons "DynamoStarted" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State

datadata JumpInfo blk

Constructors

JumpInfo
- jMostRecentIntersection :: !Point blk
- jOurFragment :: !AnchoredFragment (Header blk)
- jTheirFragment :: !AnchoredFragment (HeaderWithTime blk)
- jTheirHeaderStateHistory :: !HeaderStateHistory blk

Instances4Eq, Generic, NoThunks, Rep

(HasHeader (Header blk), Typeable blk) => Eq (JumpInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
Generic (JumpInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
LedgerSupportsProtocol blk => NoThunks (JumpInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
type Rep (JumpInfo blk) = D1 ('MetaData "JumpInfo" "Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "JumpInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "jMostRecentIntersection") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point blk)) :*: S1 ('MetaSel ('Just "jOurFragment") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AnchoredFragment (Header blk)))) :*: (S1 ('MetaSel ('Just "jTheirFragment") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AnchoredFragment (HeaderWithTime blk))) :*: S1 ('MetaSel ('Just "jTheirHeaderStateHistory") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HeaderStateHistory blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State

datadata JumperInitState

FreshJumper StartedJumper

Instances4Show, Generic, NoThunks, Rep

Show JumperInitStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
Generic JumperInitStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
NoThunks JumperInitStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
type Rep JumperInitState = D1 ('MetaData "JumperInitState" "Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "FreshJumper" 'PrefixI 'False) U1 :+: C1 ('MetaCons "StartedJumper" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State

datadata ObjectorInitState

Starting Started

Instances4Show, Generic, NoThunks, Rep

Show ObjectorInitStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
Generic ObjectorInitStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
NoThunks ObjectorInitStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
type Rep ObjectorInitState = D1 ('MetaData "ObjectorInitState" "Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "Starting" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Started" 'PrefixI 'False) U1)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State