Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.NetworkVersion
Contents
Description
Defines the different NTC and NTN versions for the HardFork Combinator.
Synopsis
- data EraNodeToClientVersion blk
- data HardForkNodeToClientVersion xs where
- data HardForkNodeToNodeVersion xs where
- data HardForkSpecificNodeToClientVersion = HardForkSpecificNodeToClientVersion3
- data HardForkSpecificNodeToNodeVersion = HardForkSpecificNodeToNodeVersion1
- isHardForkNodeToClientEnabled ∷ HardForkNodeToClientVersion xs → Bool
- isHardForkNodeToNodeEnabled ∷ HardForkNodeToNodeVersion xs → Bool
Documentation
data EraNodeToClientVersion blk Source #
Constructors
EraNodeToClientEnabled !(BlockNodeToClientVersion blk) | |
EraNodeToClientDisabled |
Instances
Show (BlockNodeToClientVersion blk) ⇒ Show (EraNodeToClientVersion blk) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion Methods showsPrec ∷ Int → EraNodeToClientVersion blk → ShowS # show ∷ EraNodeToClientVersion blk → String # showList ∷ [EraNodeToClientVersion blk] → ShowS # | |
Eq (BlockNodeToClientVersion blk) ⇒ Eq (EraNodeToClientVersion blk) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion Methods (==) ∷ EraNodeToClientVersion blk → EraNodeToClientVersion blk → Bool # (/=) ∷ EraNodeToClientVersion blk → EraNodeToClientVersion blk → Bool # |
data HardForkNodeToClientVersion xs where Source #
Constructors
HardForkNodeToClientDisabled ∷ BlockNodeToClientVersion x → HardForkNodeToClientVersion (x ': xs) | Disable the HFC |
HardForkNodeToClientEnabled ∷ HardForkSpecificNodeToClientVersion → NP EraNodeToClientVersion xs → HardForkNodeToClientVersion xs | Enable the HFC |
Instances
(All HasNetworkProtocolVersion xs, All (Compose Show EraNodeToClientVersion) xs) ⇒ Show (HardForkNodeToClientVersion xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion Methods showsPrec ∷ Int → HardForkNodeToClientVersion xs → ShowS # show ∷ HardForkNodeToClientVersion xs → String # showList ∷ [HardForkNodeToClientVersion xs] → ShowS # | |
(All HasNetworkProtocolVersion xs, All (Compose Eq EraNodeToClientVersion) xs) ⇒ Eq (HardForkNodeToClientVersion xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion Methods (==) ∷ HardForkNodeToClientVersion xs → HardForkNodeToClientVersion xs → Bool # (/=) ∷ HardForkNodeToClientVersion xs → HardForkNodeToClientVersion xs → Bool # |
data HardForkNodeToNodeVersion xs where Source #
Constructors
HardForkNodeToNodeDisabled ∷ BlockNodeToNodeVersion x → HardForkNodeToNodeVersion (x ': xs) | Disable the HFC This means that only the first era ( |
HardForkNodeToNodeEnabled ∷ HardForkSpecificNodeToNodeVersion → NP WrapNodeToNodeVersion xs → HardForkNodeToNodeVersion xs | Enable the HFC Serialised values will always include tags inserted by the HFC to
distinguish one era from another. We version the hard-fork specific parts
with |
Instances
(All HasNetworkProtocolVersion xs, All (Compose Show WrapNodeToNodeVersion) xs) ⇒ Show (HardForkNodeToNodeVersion xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion Methods showsPrec ∷ Int → HardForkNodeToNodeVersion xs → ShowS # show ∷ HardForkNodeToNodeVersion xs → String # showList ∷ [HardForkNodeToNodeVersion xs] → ShowS # | |
(All HasNetworkProtocolVersion xs, All (Compose Eq WrapNodeToNodeVersion) xs) ⇒ Eq (HardForkNodeToNodeVersion xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.NetworkVersion Methods (==) ∷ HardForkNodeToNodeVersion xs → HardForkNodeToNodeVersion xs → Bool # (/=) ∷ HardForkNodeToNodeVersion xs → HardForkNodeToNodeVersion xs → Bool # |
data HardForkSpecificNodeToClientVersion Source #
Versioning of the specific additions made by the HFC to the NodeToClient
protocols, e.g., the era tag or the hard-fork specific queries.
Constructors
HardForkSpecificNodeToClientVersion3 | Include the Genesis window in |
Instances
data HardForkSpecificNodeToNodeVersion Source #
Versioning of the specific additions made by the HFC to the NodeToNode
protocols, e.g., the era tag.
Constructors
HardForkSpecificNodeToNodeVersion1 |
Instances
Orphan instances
(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 # | |
Associated Types type BlockNodeToNodeVersion (HardForkBlock xs) Source # type BlockNodeToClientVersion (HardForkBlock xs) Source # |