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 ( 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 ( 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 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' Source # data ClientHasAgency st Source # data ServerHasAgency st Source # data NobodyHasAgency st Source # Methods exclusionLemma_ClientAndServerHaveAgency :: forall (st :: BlockFetch block point). ClientHasAgency st -> ServerHasAgency st -> Void Source # exclusionLemma_NobodyAndClientHaveAgency :: forall (st :: BlockFetch block point). NobodyHasAgency st -> ClientHasAgency st -> Void Source # exclusionLemma_NobodyAndServerHaveAgency :: forall (st :: BlockFetch block point). NobodyHasAgency st -> ServerHasAgency st -> Void Source #
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 :: forall k point (block :: k). ChainRange point -> Message ( BlockFetch block point) (' BFIdle :: BlockFetch block point) (' BFBusy :: BlockFetch block point) MsgStartBatch :: forall k k (block :: k) (point :: k). Message ( BlockFetch block point) (' BFBusy :: BlockFetch block point) (' BFStreaming :: BlockFetch block point) MsgNoBlocks :: forall k k (block :: k) (point :: k). Message ( BlockFetch block point) (' BFBusy :: BlockFetch block point) (' BFIdle :: BlockFetch block point) MsgBlock :: forall k block (point :: k). block -> Message ( BlockFetch block point) (' BFStreaming :: BlockFetch block point) (' BFStreaming :: BlockFetch block point) MsgBatchDone :: forall k k (block :: k) (point :: k). Message ( BlockFetch block point) (' BFStreaming :: BlockFetch block point) (' BFIdle :: BlockFetch block point) MsgClientDone :: forall 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 :: forall k k (block :: k) (point :: k). ClientHasAgency (' BFIdle :: 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 :: forall k k (block :: k) (point :: k). ServerHasAgency (' BFBusy :: BlockFetch block point) TokStreaming :: forall 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 :: forall k k (block :: k) (point :: k). NobodyHasAgency (' BFDone :: BlockFetch block point)