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

Eq point ⇒ Eq (ChainRange point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods (==) ∷ ChainRange point → ChainRange point → Bool Source # (/=) ∷ ChainRange point → ChainRange point → Bool Source #
Ord point ⇒ Ord (ChainRange point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods compare ∷ ChainRange point → ChainRange point → Ordering Source # (<) ∷ ChainRange point → ChainRange point → Bool Source # (<=) ∷ ChainRange point → ChainRange point → Bool Source # (>) ∷ ChainRange point → ChainRange point → Bool Source # (>=) ∷ ChainRange point → ChainRange point → Bool Source # max ∷ ChainRange point → ChainRange point → ChainRange point Source # min ∷ ChainRange point → ChainRange point → ChainRange point Source #
Show point ⇒ Show (ChainRange point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods showsPrec ∷ Int → ChainRange point → ShowS Source # show ∷ ChainRange point → String Source # showList ∷ [ChainRange point] → ShowS Source #

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 (ServerHasAgency st) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods showsPrec ∷ Int → ServerHasAgency st → ShowS Source # show ∷ ServerHasAgency st → String Source # showList ∷ [ServerHasAgency st] → ShowS Source #
Show (ClientHasAgency st) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods showsPrec ∷ Int → ClientHasAgency st → ShowS Source # show ∷ ClientHasAgency st → String Source # showList ∷ [ClientHasAgency st] → ShowS Source #
(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 Source # show ∷ Message (BlockFetch block point) from to → String Source # showList ∷ [Message (BlockFetch block point) from to] → ShowS Source #
Protocol (BlockFetch block point) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Associated Types data Message (BlockFetch block point) st st' # data ClientHasAgency st # data ServerHasAgency st # data NobodyHasAgency st # Methods exclusionLemma_ClientAndServerHaveAgency ∷ ∀ (st ∷ BlockFetch block point). ClientHasAgency st → ServerHasAgency st → Void exclusionLemma_NobodyAndClientHaveAgency ∷ ∀ (st ∷ BlockFetch block point). NobodyHasAgency st → ClientHasAgency st → Void exclusionLemma_NobodyAndServerHaveAgency ∷ ∀ (st ∷ BlockFetch block point). NobodyHasAgency st → ServerHasAgency st → Void
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 k (block ∷ k) (point ∷ k). ServerHasAgency ('BFBusy ∷ BlockFetch block point) TokStreaming ∷ ∀ k k (block ∷ k) (point ∷ k). ServerHasAgency ('BFStreaming ∷ 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 k (block ∷ k) (point ∷ k). NobodyHasAgency ('BFDone ∷ 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 point (block ∷ k). ChainRange point → Message (BlockFetch block point) ('BFIdle ∷ BlockFetch block point) ('BFBusy ∷ BlockFetch block point) MsgStartBatch ∷ ∀ k k (block ∷ k) (point ∷ k). Message (BlockFetch block point) ('BFBusy ∷ BlockFetch block point) ('BFStreaming ∷ BlockFetch block point) MsgNoBlocks ∷ ∀ k k (block ∷ k) (point ∷ k). Message (BlockFetch block point) ('BFBusy ∷ BlockFetch block point) ('BFIdle ∷ BlockFetch block point) MsgBlock ∷ ∀ k block (point ∷ k). block → Message (BlockFetch block point) ('BFStreaming ∷ BlockFetch block point) ('BFStreaming ∷ BlockFetch block point) MsgBatchDone ∷ ∀ k k (block ∷ k) (point ∷ k). Message (BlockFetch block point) ('BFStreaming ∷ BlockFetch block point) ('BFIdle ∷ BlockFetch block point) MsgClientDone ∷ ∀ k k (block ∷ k) (point ∷ k). Message (BlockFetch block point) ('BFIdle ∷ BlockFetch block point) ('BFDone ∷ BlockFetch block point)
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 k (block ∷ k) (point ∷ k). ClientHasAgency ('BFIdle ∷ BlockFetch block point)