Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Byron.ByronHFC

Contents

Orphan instances

Synopsis

type ByronBlockHFC = HardForkBlock '[ByronBlock]
data ByronPartialLedgerConfig = ByronPartialLedgerConfig {
- byronLedgerConfig ∷ !(LedgerConfig ByronBlock)
- byronTriggerHardFork ∷ !TriggerHardFork
}

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 byronLedgerConfig ∷ !(LedgerConfig ByronBlock) byronTriggerHardFork ∷ !TriggerHardFork

Instances

Instances details

Generic ByronPartialLedgerConfig Source #

Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

Associated Types

type Rep ByronPartialLedgerConfig

Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

type Rep ByronPartialLedgerConfig = D1 ('MetaData "ByronPartialLedgerConfig" "Ouroboros.Consensus.Byron.ByronHFC" "ouroboros-consensus-cardano-0.25.0.1-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)))

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 #

SerialiseNodeToClient ByronBlock ByronPartialLedgerConfig Source #

Instance details

Defined in Ouroboros.Consensus.Byron.ByronHFC

Methods

encodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ByronPartialLedgerConfig → Encoding Source #

decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s ByronPartialLedgerConfig 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.25.0.1-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

ImmutableEraParams ByronBlock Source #

Instance details

Methods

immutableEraParams ∷ TopLevelConfig ByronBlock → EraParams Source #

NoHardForks ByronBlock Source #

Instance details

Methods

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

SingleEraBlock ByronBlock Source #

Instance details

Methods

singleEraTransition ∷ ∀ (mk ∷ MapKind). PartialLedgerConfig ByronBlock → EraParams → Bound → LedgerState ByronBlock mk → Maybe EpochNo Source #

singleEraInfo ∷ proxy ByronBlock → SingleEraInfo ByronBlock Source #

HasPartialLedgerConfig ByronBlock Source #

Instance details

Associated Types

type PartialLedgerConfig ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.ByronHFC type PartialLedgerConfig ByronBlock = ByronPartialLedgerConfig

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

Show (CanonicalTxIn '[ByronBlock]) Source #

Instance details

Methods

showsPrec ∷ Int → CanonicalTxIn '[ByronBlock] → ShowS #

show ∷ CanonicalTxIn '[ByronBlock] → String #

showList ∷ [CanonicalTxIn '[ByronBlock]] → ShowS #

Eq (CanonicalTxIn '[ByronBlock]) Source #

Instance details

Methods

(==) ∷ CanonicalTxIn '[ByronBlock] → CanonicalTxIn '[ByronBlock] → Bool #

(/=) ∷ CanonicalTxIn '[ByronBlock] → CanonicalTxIn '[ByronBlock] → Bool #

Ord (CanonicalTxIn '[ByronBlock]) Source #

Instance details

Methods

compare ∷ CanonicalTxIn '[ByronBlock] → CanonicalTxIn '[ByronBlock] → Ordering #

(<) ∷ CanonicalTxIn '[ByronBlock] → CanonicalTxIn '[ByronBlock] → Bool #

(<=) ∷ CanonicalTxIn '[ByronBlock] → CanonicalTxIn '[ByronBlock] → Bool #

(>) ∷ CanonicalTxIn '[ByronBlock] → CanonicalTxIn '[ByronBlock] → Bool #

(>=) ∷ CanonicalTxIn '[ByronBlock] → CanonicalTxIn '[ByronBlock] → Bool #

max ∷ CanonicalTxIn '[ByronBlock] → CanonicalTxIn '[ByronBlock] → CanonicalTxIn '[ByronBlock] #

min ∷ CanonicalTxIn '[ByronBlock] → CanonicalTxIn '[ByronBlock] → CanonicalTxIn '[ByronBlock] #

MemPack (CanonicalTxIn '[ByronBlock]) Source #

Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ CanonicalTxIn '[ByronBlock] → Int Source #

packM ∷ CanonicalTxIn '[ByronBlock] → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack b (CanonicalTxIn '[ByronBlock]) Source #

NoThunks (CanonicalTxIn '[ByronBlock]) Source #

Instance details

Methods

noThunks ∷ Context → CanonicalTxIn '[ByronBlock] → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn '[ByronBlock] → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn '[ByronBlock]) → String Source #

PBftCrypto bc ⇒ HasPartialConsensusConfig (PBft bc) Source #

Instance details

Associated Types

type PartialConsensusConfig (PBft bc)
Instance details Defined in Ouroboros.Consensus.Byron.ByronHFC type PartialConsensusConfig (PBft bc) = ConsensusConfig (PBft bc)

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 #

SerializeTablesWithHint (LedgerState (HardForkBlock '[ByronBlock])) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock '[ByronBlock])) ValuesMK) → LedgerTables (LedgerState (HardForkBlock '[ByronBlock])) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock '[ByronBlock])) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock '[ByronBlock])) ValuesMK) Source #

IndexedMemPack (LedgerState (HardForkBlock '[ByronBlock]) EmptyMK) Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock '[ByronBlock]) EmptyMK → Void → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock '[ByronBlock]) EmptyMK → Void → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock '[ByronBlock]) EmptyMK → Unpack b Void Source #

indexedTypeName ∷ LedgerState (HardForkBlock '[ByronBlock]) EmptyMK → String Source #

HasCanonicalTxIn '[ByronBlock] Source #

Instance details

Associated Types

newtype CanonicalTxIn '[ByronBlock]
Instance details Defined in Ouroboros.Consensus.Byron.ByronHFC newtype CanonicalTxIn '[ByronBlock] = ByronHFCTxIn { getByronHFCTxIn ∷ Void }

Methods

injectCanonicalTxIn ∷ Index '[ByronBlock] x → TxIn (LedgerState x) → CanonicalTxIn '[ByronBlock] Source #

ejectCanonicalTxIn ∷ Index '[ByronBlock] x → CanonicalTxIn '[ByronBlock] → TxIn (LedgerState x) Source #

HasHardForkTxOut '[ByronBlock] Source #

Instance details

Associated Types

type HardForkTxOut '[ByronBlock]
Instance details Defined in Ouroboros.Consensus.Byron.ByronHFC type HardForkTxOut '[ByronBlock] = Void

Methods

injectHardForkTxOut ∷ Index '[ByronBlock] x → TxOut (LedgerState x) → HardForkTxOut '[ByronBlock] Source #

ejectHardForkTxOut ∷ Index '[ByronBlock] x → HardForkTxOut '[ByronBlock] → TxOut (LedgerState x) Source #

txOutEjections ∷ NP ((K (NS WrapTxOut '[ByronBlock]) ∷ Type → Type) -.-> WrapTxOut) '[ByronBlock] Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) '[ByronBlock] Source #

BlockSupportsHFLedgerQuery '[ByronBlock] Source #

Instance details

Methods

answerBlockQueryHFLookup ∷ (All SingleEraBlock '[ByronBlock], Monad m) ⇒ Index '[ByronBlock] x → ExtLedgerCfg x → BlockQuery x 'QFLookupTables result → ReadOnlyForker' m (HardForkBlock '[ByronBlock]) → m result Source #

answerBlockQueryHFTraverse ∷ (All SingleEraBlock '[ByronBlock], Monad m) ⇒ Index '[ByronBlock] x → ExtLedgerCfg x → BlockQuery x 'QFTraverseTables result → ReadOnlyForker' m (HardForkBlock '[ByronBlock]) → m result Source #

queryLedgerGetTraversingFilter ∷ Index '[ByronBlock] x → BlockQuery x 'QFTraverseTables result → TxOut (LedgerState (HardForkBlock '[ByronBlock])) → Bool 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 #