Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.Protocol.BlockFetch.Type

Synopsis

data ChainRange point = ChainRange !point !point
data BlockFetch (block :: k) (point :: k1) where
- BFIdle :: forall {k} {k1} (block :: k) (point :: k1). BlockFetch block point
- BFBusy :: forall {k} {k1} (block :: k) (point :: k1). BlockFetch block point
- BFStreaming :: forall {k} {k1} (block :: k) (point :: k1). BlockFetch block point
- BFDone :: forall {k} {k1} (block :: k) (point :: k1). BlockFetch block point
data SingBlockFetch (k2 :: BlockFetch block point) where
- SingBFIdle :: forall {k} {k1} {block :: k} {point :: k1}. SingBlockFetch ('BFIdle :: BlockFetch block point)
- SingBFBusy :: forall {k} {k1} {block :: k} {point :: k1}. SingBlockFetch ('BFBusy :: BlockFetch block point)
- SingBFStreaming :: forall {k} {k1} {block :: k} {point :: k1}. SingBlockFetch ('BFStreaming :: BlockFetch block point)
- SingBFDone :: forall {k} {k1} {block :: k} {point :: k1}. SingBlockFetch ('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

NFData point => NFData (ChainRange point) Source #

Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

Methods

rnf :: ChainRange point -> () #

Generic (ChainRange point) Source #

Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

Associated Types

type Rep (ChainRange point)

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.12.0.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)))

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 #

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.12.0.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 :: k) (point :: k1) where Source #

Constructors

BFIdle :: forall {k} {k1} (block :: k) (point :: k1). BlockFetch block point
BFBusy :: forall {k} {k1} (block :: k) (point :: k1). BlockFetch block point
BFStreaming :: forall {k} {k1} (block :: k) (point :: k1). BlockFetch block point
BFDone :: forall {k} {k1} (block :: k) (point :: k1). 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 #

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

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

Protocol (BlockFetch block point) Source #

Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

Associated Types

type StateToken
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type type StateToken = SingBlockFetch :: BlockFetch block point -> Type

StateTokenI ('BFBusy :: BlockFetch block point) Source #

Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

Methods

stateToken :: StateToken ('BFBusy :: BlockFetch block point) #

StateTokenI ('BFDone :: BlockFetch block point) Source #

Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

Methods

stateToken :: StateToken ('BFDone :: BlockFetch block point) #

StateTokenI ('BFIdle :: BlockFetch block point) Source #

Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

Methods

stateToken :: StateToken ('BFIdle :: BlockFetch block point) #

StateTokenI ('BFStreaming :: BlockFetch block point) Source #

Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

Methods

stateToken :: StateToken ('BFStreaming :: 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 :: forall {k} point1 (block :: k). ChainRange point1 -> Message (BlockFetch block point1) ('BFIdle :: BlockFetch block point1) ('BFBusy :: BlockFetch block point1)
MsgStartBatch :: forall {k} {k1} (block :: k) (point :: k1). Message (BlockFetch block point) ('BFBusy :: BlockFetch block point) ('BFStreaming :: BlockFetch block point)
MsgNoBlocks :: forall {k} {k1} (block :: k) (point :: k1). Message (BlockFetch block point) ('BFBusy :: BlockFetch block point) ('BFIdle :: BlockFetch block point)
MsgBlock :: forall {k1} block1 (point :: k1). block1 -> Message (BlockFetch block1 point) ('BFStreaming :: BlockFetch block1 point) ('BFStreaming :: BlockFetch block1 point)
MsgBatchDone :: forall {k} {k1} (block :: k) (point :: k1). Message (BlockFetch block point) ('BFStreaming :: BlockFetch block point) ('BFIdle :: BlockFetch block point)
MsgClientDone :: forall {k} {k1} (block :: k) (point :: k1). Message (BlockFetch block point) ('BFIdle :: BlockFetch block point) ('BFDone :: BlockFetch block point)

type StateToken Source #

Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

type StateToken = SingBlockFetch :: BlockFetch block point -> Type

type StateAgency ('BFBusy :: BlockFetch block point) Source #

Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

type StateAgency ('BFBusy :: BlockFetch block point) = 'ServerAgency

type StateAgency ('BFDone :: BlockFetch block point) Source #

Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

type StateAgency ('BFDone :: BlockFetch block point) = 'NobodyAgency

type StateAgency ('BFIdle :: BlockFetch block point) Source #

Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

type StateAgency ('BFIdle :: BlockFetch block point) = 'ClientAgency

type StateAgency ('BFStreaming :: BlockFetch block point) Source #

Instance details

Defined in Ouroboros.Network.Protocol.BlockFetch.Type

type StateAgency ('BFStreaming :: BlockFetch block point) = 'ServerAgency

data SingBlockFetch (k2 :: BlockFetch block point) where Source #

Constructors

SingBFIdle :: forall {k} {k1} {block :: k} {point :: k1}. SingBlockFetch ('BFIdle :: BlockFetch block point)
SingBFBusy :: forall {k} {k1} {block :: k} {point :: k1}. SingBlockFetch ('BFBusy :: BlockFetch block point)
SingBFStreaming :: forall {k} {k1} {block :: k} {point :: k1}. SingBlockFetch ('BFStreaming :: BlockFetch block point)
SingBFDone :: forall {k} {k1} {block :: k} {point :: k1}. SingBlockFetch ('BFDone :: BlockFetch block point)

Instances

Instances details

Show (SingBlockFetch k3) Source #
Instance details Defined in Ouroboros.Network.Protocol.BlockFetch.Type Methods showsPrec :: Int -> SingBlockFetch k3 -> ShowS # show :: SingBlockFetch k3 -> String # showList :: [SingBlockFetch k3] -> ShowS #