Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Network.Protocol.BlockFetch.Type

Synopsis

data ChainRange point = ChainRange !point !point
data BlockFetch block point where
- BFIdle ∷ BlockFetch block point
- BFBusy ∷ BlockFetch block point
- BFStreaming ∷ BlockFetch block point
- BFDone ∷ BlockFetch block point

Documentation

data ChainRange point Source #

Range of blocks, defined by a lower and upper point, inclusive.

Constructors

ChainRange !point !point

Instances

Instances details

Generic (ChainRange point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Associated Types type Rep (ChainRange point) ∷ Type → Type # Methods from ∷ ChainRange point → Rep (ChainRange point) x # to ∷ Rep (ChainRange point) x → ChainRange point #
Show point ⇒ Show (ChainRange point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods showsPrec ∷ Int → ChainRange point → ShowS # show ∷ ChainRange point → String # showList ∷ [ChainRange point] → ShowS #
NFData point ⇒ NFData (ChainRange point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods rnf ∷ ChainRange point → () #
Eq point ⇒ Eq (ChainRange point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods (==) ∷ ChainRange point → ChainRange point → Bool # (/=) ∷ ChainRange point → ChainRange point → Bool #
Ord point ⇒ Ord (ChainRange point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods compare ∷ ChainRange point → ChainRange point → Ordering # (<) ∷ ChainRange point → ChainRange point → Bool # (<=) ∷ ChainRange point → ChainRange point → Bool # (>) ∷ ChainRange point → ChainRange point → Bool # (>=) ∷ ChainRange point → ChainRange point → Bool # max ∷ ChainRange point → ChainRange point → ChainRange point # min ∷ ChainRange point → ChainRange point → ChainRange point #
type Rep (ChainRange point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type type Rep (ChainRange point) = D1 ('MetaData "ChainRange" "Ouroboros.Network.Protocol.BlockFetch.Type" "ouroboros-network-protocols-0.8.1.0-inplace" 'False) (C1 ('MetaCons "ChainRange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 point) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 point)))

data BlockFetch block point where Source #

Constructors

BFIdle ∷ BlockFetch block point
BFBusy ∷ BlockFetch block point
BFStreaming ∷ BlockFetch block point
BFDone ∷ BlockFetch block point

Instances

Instances details

ShowProxy block ⇒ ShowProxy (BlockFetch block point ∷ Type) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods showProxy ∷ Proxy (BlockFetch block point) → String Source #
Show (ClientHasAgency st) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods showsPrec ∷ Int → ClientHasAgency st → ShowS # show ∷ ClientHasAgency st → String # showList ∷ [ClientHasAgency st] → ShowS #
Show (ServerHasAgency st) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods showsPrec ∷ Int → ServerHasAgency st → ShowS # show ∷ ServerHasAgency st → String # showList ∷ [ServerHasAgency st] → ShowS #
NFData (ClientHasAgency st) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods rnf ∷ ClientHasAgency st → () #
NFData (NobodyHasAgency st) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods rnf ∷ NobodyHasAgency st → () #
NFData (ServerHasAgency st) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods rnf ∷ ServerHasAgency st → () #
(Show block, Show point) ⇒ Show (Message (BlockFetch block point) from to) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods showsPrec ∷ Int → Message (BlockFetch block point) from to → ShowS # show ∷ Message (BlockFetch block point) from to → String # showList ∷ [Message (BlockFetch block point) from to] → ShowS #
(NFData block, NFData point) ⇒ NFData (Message (BlockFetch block point) from to) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods rnf ∷ Message (BlockFetch block point) from to → () #
NFData (PeerHasAgency pr st) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods rnf ∷ PeerHasAgency pr st → () #
Protocol (BlockFetch block point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Associated Types data Message (BlockFetch block point) st st' Source # data ClientHasAgency st Source # data ServerHasAgency st Source # data NobodyHasAgency st Source # Methods exclusionLemma_ClientAndServerHaveAgency ∷ ∀ (st ∷ BlockFetch block point). ClientHasAgency st → ServerHasAgency st → Void Source # exclusionLemma_NobodyAndClientHaveAgency ∷ ∀ (st ∷ BlockFetch block point). NobodyHasAgency st → ClientHasAgency st → Void Source # exclusionLemma_NobodyAndServerHaveAgency ∷ ∀ (st ∷ BlockFetch block point). NobodyHasAgency st → ServerHasAgency st → Void Source #
data ClientHasAgency (st ∷ BlockFetch block point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type data ClientHasAgency (st ∷ BlockFetch block point) where TokIdle ∷ ∀ {k} {k1} {block ∷ k} {point ∷ k1}. ClientHasAgency ('BFIdle ∷ BlockFetch block point)
data Message (BlockFetch block point) (from ∷ BlockFetch block point) (to ∷ BlockFetch block point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type data Message (BlockFetch block point) (from ∷ BlockFetch block point) (to ∷ BlockFetch block point) where MsgRequestRange ∷ ∀ {k} point1 (block ∷ k). ChainRange point1 → Message (BlockFetch block point1) ('BFIdle ∷ BlockFetch block point1) ('BFBusy ∷ BlockFetch block point1) MsgStartBatch ∷ ∀ {k} {k1} (block ∷ k) (point ∷ k1). Message (BlockFetch block point) ('BFBusy ∷ BlockFetch block point) ('BFStreaming ∷ BlockFetch block point) MsgNoBlocks ∷ ∀ {k} {k1} (block ∷ k) (point ∷ k1). Message (BlockFetch block point) ('BFBusy ∷ BlockFetch block point) ('BFIdle ∷ BlockFetch block point) MsgBlock ∷ ∀ {k1} block1 (point ∷ k1). block1 → Message (BlockFetch block1 point) ('BFStreaming ∷ BlockFetch block1 point) ('BFStreaming ∷ BlockFetch block1 point) MsgBatchDone ∷ ∀ {k} {k1} (block ∷ k) (point ∷ k1). Message (BlockFetch block point) ('BFStreaming ∷ BlockFetch block point) ('BFIdle ∷ BlockFetch block point) MsgClientDone ∷ ∀ {k} {k1} (block ∷ k) (point ∷ k1). Message (BlockFetch block point) ('BFIdle ∷ BlockFetch block point) ('BFDone ∷ BlockFetch block point)
data NobodyHasAgency (st ∷ BlockFetch block point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type data NobodyHasAgency (st ∷ BlockFetch block point) where TokDone ∷ ∀ {k} {k1} {block ∷ k} {point ∷ k1}. NobodyHasAgency ('BFDone ∷ BlockFetch block point)
data ServerHasAgency (st ∷ BlockFetch block point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type data ServerHasAgency (st ∷ BlockFetch block point) where TokBusy ∷ ∀ {k} {k1} {block ∷ k} {point ∷ k1}. ServerHasAgency ('BFBusy ∷ BlockFetch block point) TokStreaming ∷ ∀ {k} {k1} {block ∷ k} {point ∷ k1}. ServerHasAgency ('BFStreaming ∷ BlockFetch block point)