Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Node.NetworkProtocolVersion

Contents

Re-exports

Synopsis

class (Show (BlockNodeToNodeVersion blk), Show (BlockNodeToClientVersion blk), Eq (BlockNodeToNodeVersion blk), Eq (BlockNodeToClientVersion blk)) ⇒ HasNetworkProtocolVersion blk where
- type BlockNodeToNodeVersion blk
- type BlockNodeToClientVersion blk
class HasNetworkProtocolVersion blk ⇒ SupportedNetworkProtocolVersion blk where
- supportedNodeToNodeVersions ∷ Proxy blk → Map NodeToNodeVersion (BlockNodeToNodeVersion blk)
- supportedNodeToClientVersions ∷ Proxy blk → Map NodeToClientVersion (BlockNodeToClientVersion blk)
- latestReleasedNodeVersion ∷ Proxy blk → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion)
latestReleasedNodeVersionDefault ∷ SupportedNetworkProtocolVersion blk ⇒ Proxy blk → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion)
data NodeToClientVersion
data NodeToNodeVersion
- = NodeToNodeV_13
- | NodeToNodeV_14

Documentation

class (Show (BlockNodeToNodeVersion blk), Show (BlockNodeToClientVersion blk), Eq (BlockNodeToNodeVersion blk), Eq (BlockNodeToClientVersion blk)) ⇒ HasNetworkProtocolVersion blk Source #

Protocol versioning

IMPORTANT Note that this is entirely independent of the shelleyProtVer field et al.

Its primary purpose is to control the details of on-the-wire codecs. And additionally which queries are allowed, in the case of BlockNodeToClienVersion (this use is already handled by shelleyProtVer in the NTN case).

Associated Types

type BlockNodeToNodeVersion blk Source #

type BlockNodeToNodeVersion blk = ()

type BlockNodeToClientVersion blk Source #

type BlockNodeToClientVersion blk = ()

Instances

Instances details

(All (Compose Show WrapNodeToNodeVersion) xs, All (Compose Eq WrapNodeToNodeVersion) xs, All (Compose Show EraNodeToClientVersion) xs, All (Compose Eq EraNodeToClientVersion) xs, All HasNetworkProtocolVersion xs) ⇒ HasNetworkProtocolVersion (HardForkBlock xs) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion

Associated Types

type BlockNodeToNodeVersion (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion type BlockNodeToNodeVersion (HardForkBlock xs) = HardForkNodeToNodeVersion xs
type BlockNodeToClientVersion (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion type BlockNodeToClientVersion (HardForkBlock xs) = HardForkNodeToClientVersion xs

class HasNetworkProtocolVersion blk ⇒ SupportedNetworkProtocolVersion blk where Source #

Methods

supportedNodeToNodeVersions ∷ Proxy blk → Map NodeToNodeVersion (BlockNodeToNodeVersion blk) Source #

Enumerate all supported node-to-node versions

supportedNodeToClientVersions ∷ Proxy blk → Map NodeToClientVersion (BlockNodeToClientVersion blk) Source #

Enumerate all supported node-to-client versions

latestReleasedNodeVersion ∷ Proxy blk → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #

The latest released version

This is the latest version intended for deployment.

IMPORTANT Note that this is entirely independent of the shelleyProtVer field et al.

latestReleasedNodeVersionDefault ∷ SupportedNetworkProtocolVersion blk ⇒ Proxy blk → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #

A default for latestReleasedNodeVersion

Chooses the greatest in supportedNodeToNodeVersions and supportedNodeToClientVersions.

Re-exports

data NodeToClientVersion Source #

Enumeration of node to client protocol versions.

Constructors

NodeToClientV_16	NodeToClientV_10 -- ^ added `GetChainBlockNo` and `GetChainPoint` queries \| NodeToClientV_11 -- ^ added `GetRewardInfoPools` Block query \| NodeToClientV_12 -- ^ added `LocalTxMonitor` mini-protocol \| NodeToClientV_13 -- ^ enabled `CardanoNodeToClientVersion9`, i.e., Babbage \| NodeToClientV_14 -- ^ added `GetPoolDistr`, `GetPoolState`, `GetSnapshots` \| NodeToClientV_15 -- ^ added `query` to NodeToClientVersionData
NodeToClientV_17	added `GetProposals` and `GetRatifyState` queries
NodeToClientV_18	added `GetFuturePParams` query
NodeToClientV_19	added `GetLedgerPeerSnapshot`
NodeToClientV_20	added `QueryStakePoolDefaultVote`, added `MsgGetMeasures` / `MsgReplyGetMeasures` to `LocalTxMonitor`

Instances

Instances details

NFData NodeToClientVersion

Instance details

Defined in Ouroboros.Network.NodeToClient.Version

Methods

rnf ∷ NodeToClientVersion → () #

Bounded NodeToClientVersion

Instance details

Defined in Ouroboros.Network.NodeToClient.Version

Methods

minBound ∷ NodeToClientVersion #

maxBound ∷ NodeToClientVersion #

Enum NodeToClientVersion

Instance details

Defined in Ouroboros.Network.NodeToClient.Version

Methods

succ ∷ NodeToClientVersion → NodeToClientVersion #

pred ∷ NodeToClientVersion → NodeToClientVersion #

toEnum ∷ Int → NodeToClientVersion #

fromEnum ∷ NodeToClientVersion → Int #

enumFrom ∷ NodeToClientVersion → [NodeToClientVersion] #

enumFromThen ∷ NodeToClientVersion → NodeToClientVersion → [NodeToClientVersion] #

enumFromTo ∷ NodeToClientVersion → NodeToClientVersion → [NodeToClientVersion] #

enumFromThenTo ∷ NodeToClientVersion → NodeToClientVersion → NodeToClientVersion → [NodeToClientVersion] #

Generic NodeToClientVersion

Instance details

Defined in Ouroboros.Network.NodeToClient.Version

Associated Types

type Rep NodeToClientVersion

Instance details

Defined in Ouroboros.Network.NodeToClient.Version

type Rep NodeToClientVersion = D1 ('MetaData "NodeToClientVersion" "Ouroboros.Network.NodeToClient.Version" "ouroboros-network-api-0.13.0.0-5343a8071b3f542ab81b06c59cf16dafcc55f3756ea92962f719c77a1536151d" 'False) ((C1 ('MetaCons "NodeToClientV_16" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NodeToClientV_17" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "NodeToClientV_18" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "NodeToClientV_19" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NodeToClientV_20" 'PrefixI 'False) (U1 ∷ Type → Type))))

Methods

from ∷ NodeToClientVersion → Rep NodeToClientVersion x #

to ∷ Rep NodeToClientVersion x → NodeToClientVersion #

Show NodeToClientVersion

Instance details

Defined in Ouroboros.Network.NodeToClient.Version

Methods

showsPrec ∷ Int → NodeToClientVersion → ShowS #

show ∷ NodeToClientVersion → String #

showList ∷ [NodeToClientVersion] → ShowS #

Eq NodeToClientVersion

Instance details

Defined in Ouroboros.Network.NodeToClient.Version

Methods

(==) ∷ NodeToClientVersion → NodeToClientVersion → Bool #

(/=) ∷ NodeToClientVersion → NodeToClientVersion → Bool #

Ord NodeToClientVersion

Instance details

Defined in Ouroboros.Network.NodeToClient.Version

Methods

compare ∷ NodeToClientVersion → NodeToClientVersion → Ordering #

(<) ∷ NodeToClientVersion → NodeToClientVersion → Bool #

(<=) ∷ NodeToClientVersion → NodeToClientVersion → Bool #

(>) ∷ NodeToClientVersion → NodeToClientVersion → Bool #

(>=) ∷ NodeToClientVersion → NodeToClientVersion → Bool #

max ∷ NodeToClientVersion → NodeToClientVersion → NodeToClientVersion #

min ∷ NodeToClientVersion → NodeToClientVersion → NodeToClientVersion #

type Rep NodeToClientVersion

Instance details

Defined in Ouroboros.Network.NodeToClient.Version

type Rep NodeToClientVersion = D1 ('MetaData "NodeToClientVersion" "Ouroboros.Network.NodeToClient.Version" "ouroboros-network-api-0.13.0.0-5343a8071b3f542ab81b06c59cf16dafcc55f3756ea92962f719c77a1536151d" 'False) ((C1 ('MetaCons "NodeToClientV_16" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NodeToClientV_17" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "NodeToClientV_18" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "NodeToClientV_19" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NodeToClientV_20" 'PrefixI 'False) (U1 ∷ Type → Type))))

data NodeToNodeVersion Source #

Enumeration of node to node protocol versions.

Constructors

NodeToNodeV_13

NodeToNodeV_8 -- ^ Changes: -- -- * Enable block diffusion pipelining in ChainSync and BlockFetch logic. | NodeToNodeV_9 -- ^ Changes: -- -- * Enable CardanoNodeToNodeVersion6, i.e., Babbage | NodeToNodeV_10 -- ^ Changes: -- -- * Enable full duplex connections. | NodeToNodeV_11 -- ^ Changes: -- -- * Adds a new extra parameter to handshake: PeerSharing -- This version is needed to support the new Peer Sharing miniprotocol -- older versions that are negotiated will appear as not participating -- in Peer Sharing to newer versions. -- * Adds query to NodeToClientVersionData. | NodeToNodeV_12 -- ^ No changes. -- -- (In the past, this enabled Conway, but the negotiated NodeToNodeVersion -- no longer en-/disables eras.)

NodeToNodeV_14

Chang+1 HF

Instances

Instances details

NFData NodeToNodeVersion

Instance details

Defined in Ouroboros.Network.NodeToNode.Version

Methods

rnf ∷ NodeToNodeVersion → () #

Bounded NodeToNodeVersion

Instance details

Defined in Ouroboros.Network.NodeToNode.Version

Methods

minBound ∷ NodeToNodeVersion #

maxBound ∷ NodeToNodeVersion #

Enum NodeToNodeVersion

Instance details

Defined in Ouroboros.Network.NodeToNode.Version

Methods

succ ∷ NodeToNodeVersion → NodeToNodeVersion #

pred ∷ NodeToNodeVersion → NodeToNodeVersion #

toEnum ∷ Int → NodeToNodeVersion #

fromEnum ∷ NodeToNodeVersion → Int #

enumFrom ∷ NodeToNodeVersion → [NodeToNodeVersion] #

enumFromThen ∷ NodeToNodeVersion → NodeToNodeVersion → [NodeToNodeVersion] #

enumFromTo ∷ NodeToNodeVersion → NodeToNodeVersion → [NodeToNodeVersion] #

enumFromThenTo ∷ NodeToNodeVersion → NodeToNodeVersion → NodeToNodeVersion → [NodeToNodeVersion] #

Generic NodeToNodeVersion

Instance details

Defined in Ouroboros.Network.NodeToNode.Version

Associated Types

type Rep NodeToNodeVersion

Instance details

Defined in Ouroboros.Network.NodeToNode.Version

type Rep NodeToNodeVersion = D1 ('MetaData "NodeToNodeVersion" "Ouroboros.Network.NodeToNode.Version" "ouroboros-network-api-0.13.0.0-5343a8071b3f542ab81b06c59cf16dafcc55f3756ea92962f719c77a1536151d" 'False) (C1 ('MetaCons "NodeToNodeV_13" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NodeToNodeV_14" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ NodeToNodeVersion → Rep NodeToNodeVersion x #

to ∷ Rep NodeToNodeVersion x → NodeToNodeVersion #

Show NodeToNodeVersion

Instance details

Defined in Ouroboros.Network.NodeToNode.Version

Methods

showsPrec ∷ Int → NodeToNodeVersion → ShowS #

show ∷ NodeToNodeVersion → String #

showList ∷ [NodeToNodeVersion] → ShowS #

Eq NodeToNodeVersion

Instance details

Defined in Ouroboros.Network.NodeToNode.Version

Methods

(==) ∷ NodeToNodeVersion → NodeToNodeVersion → Bool #

(/=) ∷ NodeToNodeVersion → NodeToNodeVersion → Bool #

Ord NodeToNodeVersion

Instance details

Defined in Ouroboros.Network.NodeToNode.Version

Methods

compare ∷ NodeToNodeVersion → NodeToNodeVersion → Ordering #

(<) ∷ NodeToNodeVersion → NodeToNodeVersion → Bool #

(<=) ∷ NodeToNodeVersion → NodeToNodeVersion → Bool #

(>) ∷ NodeToNodeVersion → NodeToNodeVersion → Bool #

(>=) ∷ NodeToNodeVersion → NodeToNodeVersion → Bool #

max ∷ NodeToNodeVersion → NodeToNodeVersion → NodeToNodeVersion #

min ∷ NodeToNodeVersion → NodeToNodeVersion → NodeToNodeVersion #

type Rep NodeToNodeVersion

Instance details

Defined in Ouroboros.Network.NodeToNode.Version

type Rep NodeToNodeVersion = D1 ('MetaData "NodeToNodeVersion" "Ouroboros.Network.NodeToNode.Version" "ouroboros-network-api-0.13.0.0-5343a8071b3f542ab81b06c59cf16dafcc55f3756ea92962f719c77a1536151d" 'False) (C1 ('MetaCons "NodeToNodeV_13" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NodeToNodeV_14" 'PrefixI 'False) (U1 ∷ Type → Type))