ouroboros-network-protocols
Safe HaskellNone
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
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.10.0.2-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.10.0.2-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
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

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