ouroboros-consensus-cardano-0.21.0.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Consensus.Byron.ByronHFC

Synopsis

Documentation

type ByronBlockHFC = HardForkBlock '[ByronBlock] Source #

Byron as the single era in the hard fork combinator

data ByronPartialLedgerConfig Source #

When Byron is part of the hard-fork combinator, we use the partial ledger config. Standalone Byron uses the regular ledger config. This means that the partial ledger config is the perfect place to store the trigger condition for the hard fork to Shelley, as we don't have to modify the ledger config for standalone Byron.

Constructors

ByronPartialLedgerConfig 

Fields

Instances

Instances details
Generic ByronPartialLedgerConfig Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

Associated Types

type Rep ByronPartialLedgerConfig ∷ Type → Type #

Methods

from ∷ ByronPartialLedgerConfig → Rep ByronPartialLedgerConfig x #

to ∷ Rep ByronPartialLedgerConfig x → ByronPartialLedgerConfig #

NoThunks ByronPartialLedgerConfig Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

Methods

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

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

showTypeOf ∷ Proxy ByronPartialLedgerConfig → String Source #

type Rep ByronPartialLedgerConfig Source # 
Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

type Rep ByronPartialLedgerConfig = D1 ('MetaData "ByronPartialLedgerConfig" "Ouroboros.Consensus.Byron.ByronHFC" "ouroboros-consensus-cardano-0.21.0.0-inplace" 'False) (C1 ('MetaCons "ByronPartialLedgerConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronLedgerConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerConfig ByronBlock)) :*: S1 ('MetaSel ('Just "byronTriggerHardFork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TriggerHardFork)))

Orphan instances

NoHardForks ByronBlock Source # 
Instance details

Methods

getEraParams ∷ TopLevelConfig ByronBlock → EraParams Source #

toPartialLedgerConfig ∷ proxy ByronBlock → LedgerConfig ByronBlock → PartialLedgerConfig ByronBlock Source #

SingleEraBlock ByronBlock Source # 
Instance details

Methods

singleEraTransition ∷ PartialLedgerConfig ByronBlock → EraParams → Bound → LedgerState ByronBlock → Maybe EpochNo Source #

singleEraInfo ∷ proxy ByronBlock → SingleEraInfo ByronBlock Source #

HasPartialLedgerConfig ByronBlock Source # 
Instance details

Associated Types

type PartialLedgerConfig ByronBlock Source #

Methods

completeLedgerConfig ∷ proxy ByronBlock → EpochInfo (Except PastHorizonException) → PartialLedgerConfig ByronBlock → LedgerConfig ByronBlock Source #

SerialiseConstraintsHFC ByronBlock Source # 
Instance details

SupportedNetworkProtocolVersion ByronBlockHFC Source #

Forward to the ByronBlock instance. Only supports HardForkNodeToNodeDisabled, which is compatible with nodes running with ByronBlock.

Instance details

Methods

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

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

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

PBftCrypto bc ⇒ HasPartialConsensusConfig (PBft bc) Source # 
Instance details

Associated Types

type PartialConsensusConfig (PBft bc) Source #

Methods

completeConsensusConfig ∷ proxy (PBft bc) → EpochInfo (Except PastHorizonException) → PartialConsensusConfig (PBft bc) → ConsensusConfig (PBft bc) Source #

toPartialConsensusConfig ∷ proxy (PBft bc) → ConsensusConfig (PBft bc) → PartialConsensusConfig (PBft bc) Source #

SerialiseHFC '[ByronBlock] Source #

Forward to the ByronBlock instance, this means we don't add an era wrapper around blocks on disk. This makes sure we're compatible with the existing Byron blocks.

Instance details

Methods

encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[ByronBlock]) → HardForkBlock '[ByronBlock] → Encoding Source #

decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[ByronBlock]) → ∀ s. Decoder s (ByteString → HardForkBlock '[ByronBlock]) Source #

reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock '[ByronBlock])) → PrefixLen Source #

reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock '[ByronBlock])) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock '[ByronBlock]) Source #

getHfcBinaryBlockInfo ∷ HardForkBlock '[ByronBlock] → BinaryBlockInfo Source #

estimateHfcBlockSize ∷ Header (HardForkBlock '[ByronBlock]) → SizeInBytes Source #