Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HardFork.Combinator.Serialisation

Synopsis

value isHardForkNodeToClientEnabled
value isHardForkNodeToNodeEnabled
data EraNodeToClientVersion
data HardForkNodeToClientVersion
data HardForkNodeToNodeVersion
data HardForkSpecificNodeToClientVersion
data HardForkSpecificNodeToNodeVersion
class SerialiseConstraintsHFC
class SerialiseHFC

Packageouroboros-consensus-4.2.1.0
Exports9
LicenceApache-2.0

valueisHardForkNodeToClientEnabled :: HardForkNodeToClientVersion xs -> Bool

valueisHardForkNodeToNodeEnabled :: HardForkNodeToNodeVersion xs -> Bool

datadata EraNodeToClientVersion blk

Constructors

EraNodeToClientEnabled !(BlockNodeToClientVersion blk)
EraNodeToClientDisabled

Instances2Eq, Show

Eq (BlockNodeToClientVersion blk) => Eq (EraNodeToClientVersion blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion
Show (BlockNodeToClientVersion blk) => Show (EraNodeToClientVersion blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion

datadata HardForkNodeToClientVersion (xs :: [Type]) where

Constructors

HardForkNodeToClientDisabled :: BlockNodeToClientVersion x -> HardForkNodeToClientVersion (x ': xs1)
HardForkNodeToClientEnabled :: HardForkSpecificNodeToClientVersion -> NP EraNodeToClientVersion xs -> HardForkNodeToClientVersion xs

Instances2Eq, Show

(All HasNetworkProtocolVersion xs, All (Compose Eq EraNodeToClientVersion) xs) => Eq (HardForkNodeToClientVersion xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion
(All HasNetworkProtocolVersion xs, All (Compose Show EraNodeToClientVersion) xs) => Show (HardForkNodeToClientVersion xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion

datadata HardForkNodeToNodeVersion (xs :: [Type]) where

Constructors

HardForkNodeToNodeDisabled :: BlockNodeToNodeVersion x -> HardForkNodeToNodeVersion (x ': xs1)
HardForkNodeToNodeEnabled :: HardForkSpecificNodeToNodeVersion -> NP WrapNodeToNodeVersion xs -> HardForkNodeToNodeVersion xs

Instances2Eq, Show

(All HasNetworkProtocolVersion xs, All (Compose Eq WrapNodeToNodeVersion) xs) => Eq (HardForkNodeToNodeVersion xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion
(All HasNetworkProtocolVersion xs, All (Compose Show WrapNodeToNodeVersion) xs) => Show (HardForkNodeToNodeVersion xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion

datadata HardForkSpecificNodeToClientVersion

HardForkSpecificNodeToClientVersion3

Instances5Bounded, Enum, Eq, Ord, Show

Bounded HardForkSpecificNodeToClientVersionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion
Enum HardForkSpecificNodeToClientVersionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion
Eq HardForkSpecificNodeToClientVersionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion
Ord HardForkSpecificNodeToClientVersionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion
Show HardForkSpecificNodeToClientVersionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion

datadata HardForkSpecificNodeToNodeVersion

HardForkSpecificNodeToNodeVersion1

Instances5Bounded, Enum, Eq, Ord, Show

Bounded HardForkSpecificNodeToNodeVersionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion
Enum HardForkSpecificNodeToNodeVersionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion
Eq HardForkSpecificNodeToNodeVersionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion
Ord HardForkSpecificNodeToNodeVersionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion
Show HardForkSpecificNodeToNodeVersionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion

class

class (SingleEraBlock blk, SerialiseDiskConstraints blk, SerialiseNodeToNodeConstraints blk, SerialiseNodeToClientConstraints blk, HasNetworkProtocolVersion blk) => SerialiseConstraintsHFC blk

class

class (CanHardFork xs, All SerialiseConstraintsHFC xs, All (Compose Show EraNodeToClientVersion) xs, All (Compose Eq EraNodeToClientVersion) xs, All (Compose Show WrapNodeToNodeVersion) xs, All (Compose Eq WrapNodeToNodeVersion) xs, All (EncodeDiskDepIx (NestedCtxt Header)) xs, All (DecodeDiskDepIx (NestedCtxt Header)) xs, All HasBinaryBlockInfo xs, All HasNetworkProtocolVersion xs, All BlockSupportsLedgerQuery xs, ImmutableDbSerialiseConstraints (HardForkBlock xs), LedgerDbSerialiseConstraints (HardForkBlock xs), VolatileDbSerialiseConstraints (HardForkBlock xs), EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs)) => SerialiseHFC (xs :: [Type]) where

Methods

encodeDiskHfcBlock :: CodecConfig (HardForkBlock xs) -> HardForkBlock xs -> Encoding
decodeDiskHfcBlock :: CodecConfig (HardForkBlock xs) -> forall s. Decoder s (ByteString -> Either DecoderError (HardForkBlock xs))
reconstructHfcPrefixLen :: proxy (Header (HardForkBlock xs)) -> PrefixLen
reconstructHfcNestedCtxt :: proxy (Header (HardForkBlock xs)) -> ShortByteString -> SizeInBytes -> SomeSecond (NestedCtxt Header) (HardForkBlock xs)
getHfcBinaryBlockInfo :: HardForkBlock xs -> BinaryBlockInfo
estimateHfcBlockSize :: Header (HardForkBlock xs) -> SizeInBytes