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
Eq point => Eq ( ChainRange point) Source # | |
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 # | |
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 # | |
Defined in Ouroboros.Network.Protocol.BlockFetch.Type |
data BlockFetch block point where Source #
Constructors
BFIdle :: BlockFetch block point | |
BFBusy :: BlockFetch block point | |
BFStreaming :: BlockFetch block point | |
BFDone :: BlockFetch block point |