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
- = NodeToClientV_16
- | NodeToClientV_17
- | NodeToClientV_18
- | NodeToClientV_19
- | NodeToClientV_20
- | NodeToClientV_21
- | NodeToClientV_22
- | NodeToClientV_23
data NodeToNodeVersion
- = NodeToNodeV_14
- | NodeToNodeV_15
- | NodeToNodeV_16

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 #

Constructors

NodeToClientV_16
NodeToClientV_17
NodeToClientV_18
NodeToClientV_19
NodeToClientV_20
NodeToClientV_21
NodeToClientV_22
NodeToClientV_23

Instances

Instances details

NFData NodeToClientVersion #

Instance details

Defined in Cardano.Network.NodeToClient.Version

Methods

rnf ∷ NodeToClientVersion → () #

Eq NodeToClientVersion #

Instance details

Defined in Cardano.Network.NodeToClient.Version

Methods

(==) ∷ NodeToClientVersion → NodeToClientVersion → Bool #

(/=) ∷ NodeToClientVersion → NodeToClientVersion → Bool #

Ord NodeToClientVersion #

Instance details

Defined in Cardano.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 #

Bounded NodeToClientVersion #

Instance details

Defined in Cardano.Network.NodeToClient.Version

Methods

minBound ∷ NodeToClientVersion #

maxBound ∷ NodeToClientVersion #

Enum NodeToClientVersion #

Instance details

Defined in Cardano.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 Cardano.Network.NodeToClient.Version

Associated Types

type Rep NodeToClientVersion

Instance details

Defined in Cardano.Network.NodeToClient.Version

type Rep NodeToClientVersion = D1 ('MetaData "NodeToClientVersion" "Cardano.Network.NodeToClient.Version" "cardano-diffusion-1.0.0.0-l-api-cc36100502c18f6ba9df2a11da3565ac6e97952f2d77fb3f23201c3a0daca0f2" '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) :+: C1 ('MetaCons "NodeToClientV_21" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "NodeToClientV_22" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NodeToClientV_23" 'PrefixI 'False) (U1 ∷ Type → Type))))

Methods

from ∷ NodeToClientVersion → Rep NodeToClientVersion x #

to ∷ Rep NodeToClientVersion x → NodeToClientVersion #

Show NodeToClientVersion #

Instance details

Defined in Cardano.Network.NodeToClient.Version

Methods

showsPrec ∷ Int → NodeToClientVersion → ShowS #

show ∷ NodeToClientVersion → String #

showList ∷ [NodeToClientVersion] → ShowS #

type Rep NodeToClientVersion #

Instance details

Defined in Cardano.Network.NodeToClient.Version

type Rep NodeToClientVersion = D1 ('MetaData "NodeToClientVersion" "Cardano.Network.NodeToClient.Version" "cardano-diffusion-1.0.0.0-l-api-cc36100502c18f6ba9df2a11da3565ac6e97952f2d77fb3f23201c3a0daca0f2" '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) :+: C1 ('MetaCons "NodeToClientV_21" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "NodeToClientV_22" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NodeToClientV_23" 'PrefixI 'False) (U1 ∷ Type → Type))))

data NodeToNodeVersion #

Constructors

NodeToNodeV_14
NodeToNodeV_15
NodeToNodeV_16

Instances

Instances details

NFData NodeToNodeVersion #

Instance details

Defined in Cardano.Network.NodeToNode.Version

Methods

rnf ∷ NodeToNodeVersion → () #

Eq NodeToNodeVersion #

Instance details

Defined in Cardano.Network.NodeToNode.Version

Methods

(==) ∷ NodeToNodeVersion → NodeToNodeVersion → Bool #

(/=) ∷ NodeToNodeVersion → NodeToNodeVersion → Bool #

Ord NodeToNodeVersion #

Instance details

Defined in Cardano.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 #

Bounded NodeToNodeVersion #

Instance details

Defined in Cardano.Network.NodeToNode.Version

Methods

minBound ∷ NodeToNodeVersion #

maxBound ∷ NodeToNodeVersion #

Enum NodeToNodeVersion #

Instance details

Defined in Cardano.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 Cardano.Network.NodeToNode.Version

Associated Types

type Rep NodeToNodeVersion

Instance details

Defined in Cardano.Network.NodeToNode.Version

type Rep NodeToNodeVersion = D1 ('MetaData "NodeToNodeVersion" "Cardano.Network.NodeToNode.Version" "cardano-diffusion-1.0.0.0-l-api-cc36100502c18f6ba9df2a11da3565ac6e97952f2d77fb3f23201c3a0daca0f2" 'False) (C1 ('MetaCons "NodeToNodeV_14" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "NodeToNodeV_15" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NodeToNodeV_16" 'PrefixI 'False) (U1 ∷ Type → Type)))

Methods

from ∷ NodeToNodeVersion → Rep NodeToNodeVersion x #

to ∷ Rep NodeToNodeVersion x → NodeToNodeVersion #

Show NodeToNodeVersion #

Instance details

Defined in Cardano.Network.NodeToNode.Version

Methods

showsPrec ∷ Int → NodeToNodeVersion → ShowS #

show ∷ NodeToNodeVersion → String #

showList ∷ [NodeToNodeVersion] → ShowS #

NoThunks NodeToNodeVersion #

Instance details

Defined in Cardano.Network.NodeToNode.Version

Methods

noThunks ∷ Context → NodeToNodeVersion → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → NodeToNodeVersion → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy NodeToNodeVersion → String Source #

type Rep NodeToNodeVersion #

Instance details

Defined in Cardano.Network.NodeToNode.Version

type Rep NodeToNodeVersion = D1 ('MetaData "NodeToNodeVersion" "Cardano.Network.NodeToNode.Version" "cardano-diffusion-1.0.0.0-l-api-cc36100502c18f6ba9df2a11da3565ac6e97952f2d77fb3f23201c3a0daca0f2" 'False) (C1 ('MetaCons "NodeToNodeV_14" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "NodeToNodeV_15" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NodeToNodeV_16" 'PrefixI 'False) (U1 ∷ Type → Type)))