ouroboros-network-0.1.0.0: A networking layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Network.Protocol.BlockFetch.Type

Synopsis

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

compareChainRange 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 #

maxChainRange point → ChainRange point → ChainRange point Source #

minChainRange point → ChainRange point → ChainRange point Source #

Show point ⇒ Show (ChainRange point) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

Methods

showsPrecIntChainRange point → ShowS Source #

showChainRange point → String Source #

showList ∷ [ChainRange point] → ShowS Source #

data BlockFetch block point where Source #

Constructors

BFIdleBlockFetch block point 
BFBusyBlockFetch block point 
BFStreamingBlockFetch block point 
BFDoneBlockFetch block point 

Instances

Instances details
ShowProxy block ⇒ ShowProxy (BlockFetch block point ∷ Type) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

Methods

showProxyProxy (BlockFetch block point) → String Source #

Show (ServerHasAgency st) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

Show (ClientHasAgency st) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

(Show block, Show point) ⇒ Show (Message (BlockFetch block point) from to) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

Methods

showsPrecIntMessage (BlockFetch block point) from to → ShowS Source #

showMessage (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 #

data ServerHasAgency (st ∷ BlockFetch block point) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

data ServerHasAgency (st ∷ BlockFetch block point) where
data NobodyHasAgency (st ∷ BlockFetch block point) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

data NobodyHasAgency (st ∷ BlockFetch block point) where
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
data ClientHasAgency (st ∷ BlockFetch block point) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

data ClientHasAgency (st ∷ BlockFetch block point) where