Hash

Methods

showsPrec ∷ Int → ByronHash → ShowS #

show ∷ ByronHash → String #

showList ∷ [ByronHash] → ShowS #

NoThunks ByronHash Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy ByronHash → String Source #

Condense ByronHash Source #

Instance details

Methods

condense ∷ ByronHash → String Source #

Serialise ByronHash Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

Methods

encode ∷ ByronHash → Encoding Source #

decode ∷ Decoder s ByronHash Source #

encodeList ∷ [ByronHash] → Encoding Source #

decodeList ∷ Decoder s [ByronHash] Source #

type Rep ByronHash Source #

Instance details

type Rep ByronHash = D1 ('MetaData "ByronHash" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ByronHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unByronHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeaderHash)))

mkByronHash ∷ ABlockOrBoundaryHdr ByteString → ByronHash Source #

Block

data ByronBlock Source #

Byron block

We cache two bits of information:

We cache the slot number as this is not readily available for EBBs. Having it cached allows us to e.g. give a HasHeader instance.
We cache the hash as this is expensive to compute and we need it often.

Constructors

ByronBlock
Fields byronBlockRaw ∷ !(ABlockOrBoundary ByteString) byronBlockSlotNo ∷ !SlotNo byronBlockHash ∷ !ByronHash

Instances

Instances details

NFData ByronBlock Source #

Instance details

Methods

rnf ∷ ByronBlock → () #

Eq ByronBlock Source #

Instance details

Methods

(==) ∷ ByronBlock → ByronBlock → Bool #

(/=) ∷ ByronBlock → ByronBlock → Bool #

Show ByronBlock Source #

Instance details

Methods

showsPrec ∷ Int → ByronBlock → ShowS #

show ∷ ByronBlock → String #

showList ∷ [ByronBlock] → ShowS #

ConvertRawHash ByronBlock Source #

Instance details

Associated Types

type HashSize ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block type HashSize ByronBlock = 32

Methods

toRawHash ∷ proxy ByronBlock → HeaderHash ByronBlock → ByteString Source #

toShortRawHash ∷ proxy ByronBlock → HeaderHash ByronBlock → ShortByteString Source #

fromRawHash ∷ proxy ByronBlock → ByteString → Maybe (HeaderHash ByronBlock) Source #

fromShortRawHash ∷ proxy ByronBlock → ShortByteString → Maybe (HeaderHash ByronBlock) Source #

unsafeFromRawHash ∷ proxy ByronBlock → ByteString → HeaderHash ByronBlock Source #

unsafeFromShortRawHash ∷ proxy ByronBlock → ShortByteString → HeaderHash ByronBlock Source #

hashSize ∷ proxy ByronBlock → Word32 Source #

GetHeader ByronBlock Source #

Instance details

Methods

getHeader ∷ ByronBlock → Header ByronBlock Source #

blockMatchesHeader ∷ Header ByronBlock → ByronBlock → Bool Source #

headerIsEBB ∷ Header ByronBlock → Maybe EpochNo Source #

GetPrevHash ByronBlock Source #

Instance details

BlockSupportsDiffusionPipelining ByronBlock Source #

Methods

headerPrevHash ∷ Header ByronBlock → ChainHash ByronBlock Source #

Instance details

BlockSupportsMetrics ByronBlock Source #

Associated Types

type TentativeHeaderState ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Node type TentativeHeaderState ByronBlock = TentativeHeaderState (SelectViewDiffusionPipelining ByronBlock)
type TentativeHeaderView ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Node type TentativeHeaderView ByronBlock = TentativeHeaderView (SelectViewDiffusionPipelining ByronBlock)

Instance details

Methods

isSelfIssued ∷ BlockConfig ByronBlock → Header ByronBlock → WhetherSelfIssued Source #

BlockSupportsPeras ByronBlock Source #

Instance details

BlockSupportsProtocol ByronBlock Source #

Associated Types

type PerasVote ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Node.Peras type PerasVote ByronBlock = VoidPerasVote ByronBlock
type PerasCert ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Node.Peras type PerasCert ByronBlock = VoidPerasCert ByronBlock
type PerasError ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Node.Peras type PerasError ByronBlock = VoidPerasError ByronBlock
type PerasCrypto ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Node.Peras type PerasCrypto ByronBlock = VoidPerasCrypto ByronBlock
type PerasVotingCommitteeScheme ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Node.Peras type PerasVotingCommitteeScheme ByronBlock = VoidPerasVotingCommitteeScheme

Methods

forgePerasVoteIfEligible ∷ PerasEpochContext ByronBlock → PoolId → PrivateKey (PerasCrypto ByronBlock) → PerasRoundNo → Point ByronBlock → Either (PerasError ByronBlock) (Maybe (ValidatedPerasVote ByronBlock)) Source #

verifyPerasVote ∷ PerasEpochContext ByronBlock → PerasVote ByronBlock → Either (PerasError ByronBlock) (ValidatedPerasVote ByronBlock) Source #

forgePerasCert ∷ PerasEpochContext ByronBlock → PerasVoteCollectionWithQuorum ByronBlock → Either (PerasError ByronBlock) (ValidatedPerasCert ByronBlock) Source #

verifyPerasCert ∷ PerasEpochContext ByronBlock → PerasCert ByronBlock → Either (PerasError ByronBlock) (ValidatedPerasCert ByronBlock) Source #

getPerasCertInBlock ∷ ByronBlock → Either (PerasError ByronBlock) (Maybe (PerasCert ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.PBFT

Methods

validateView ∷ BlockConfig ByronBlock → Header ByronBlock → ValidateView (BlockProtocol ByronBlock) Source #

tiebreakerView ∷ BlockConfig ByronBlock → Header ByronBlock → TiebreakerView (BlockProtocol ByronBlock) Source #

projectChainOrderConfig ∷ BlockConfig ByronBlock → ChainOrderConfig (SelectView (BlockProtocol ByronBlock)) Source #

BlockSupportsSanityCheck ByronBlock Source #

Instance details

Methods

configAllSecurityParams ∷ TopLevelConfig ByronBlock → NonEmpty SecurityParam Source #

ConfigSupportsNode ByronBlock Source #

Instance details

Methods

getSystemStart ∷ BlockConfig ByronBlock → SystemStart Source #

getNetworkMagic ∷ BlockConfig ByronBlock → NetworkMagic Source #

HasHardForkHistory ByronBlock Source #

Instance details

Associated Types

type HardForkIndices ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type HardForkIndices ByronBlock = '[ByronBlock]

Methods

hardForkSummary ∷ ∀ (mk ∷ MapKind). LedgerConfig ByronBlock → LedgerState ByronBlock mk → Summary (HardForkIndices ByronBlock) Source #

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

CondenseConstraints ByronBlock Source #

Methods

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

singleEraInfo ∷ proxy ByronBlock → SingleEraInfo ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.Condense

HasPartialLedgerConfig ByronBlock Source #

Instance details

SerialiseConstraintsHFC ByronBlock Source #

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 #

Instance details

BasicEnvelopeValidation ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Methods

expectedFirstBlockNo ∷ proxy ByronBlock → BlockNo Source #

expectedNextBlockNo ∷ proxy ByronBlock → TipInfo ByronBlock → TipInfo ByronBlock → BlockNo → BlockNo Source #

minimumPossibleSlotNo ∷ Proxy ByronBlock → SlotNo Source #

minimumNextSlotNo ∷ proxy ByronBlock → TipInfo ByronBlock → TipInfo ByronBlock → SlotNo → SlotNo Source #

HasAnnTip ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Associated Types

type TipInfo ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation type TipInfo ByronBlock = TipInfoIsEBB ByronBlock

Methods

getTipInfo ∷ Header ByronBlock → TipInfo ByronBlock Source #

tipInfoHash ∷ proxy ByronBlock → TipInfo ByronBlock → HeaderHash ByronBlock Source #

ValidateEnvelope ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

Associated Types

type OtherHeaderEnvelopeError ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation type OtherHeaderEnvelopeError ByronBlock = ByronOtherHeaderEnvelopeError

Methods

additionalEnvelopeChecks ∷ TopLevelConfig ByronBlock → LedgerView (BlockProtocol ByronBlock) → Header ByronBlock → Except (OtherHeaderEnvelopeError ByronBlock) () Source #

GetBlockKeySets ByronBlock Source #

Instance details

Methods

getBlockKeySets ∷ ByronBlock → LedgerTables ByronBlock KeysMK Source #

UpdateLedger ByronBlock Source #

Instance details

CommonProtocolParams ByronBlock Source #

Instance details

BlockSupportsLedgerQuery ByronBlock Source #

Methods

maxHeaderSize ∷ ∀ (mk ∷ MapKind). LedgerState ByronBlock mk → Word32 Source #

maxTxSize ∷ ∀ (mk ∷ MapKind). LedgerState ByronBlock mk → Word32 Source #

InspectLedger ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Inspect

Associated Types

type LedgerWarning ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Inspect type LedgerWarning ByronBlock = Void
type LedgerUpdate ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Inspect type LedgerUpdate ByronBlock = ByronLedgerUpdate

Methods

inspectLedger ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). TopLevelConfig ByronBlock → LedgerState ByronBlock mk1 → LedgerState ByronBlock mk2 → [LedgerEvent ByronBlock] Source #

Instance details

LedgerSupportsMempool ByronBlock Source #

Methods

answerPureBlockQuery ∷ ExtLedgerCfg ByronBlock → BlockQuery ByronBlock 'QFNoTables result → ExtLedgerState ByronBlock EmptyMK → result Source #

answerBlockQueryLookup ∷ MonadSTM m ⇒ ExtLedgerCfg ByronBlock → BlockQuery ByronBlock 'QFLookupTables result → ReadOnlyForker' m ByronBlock → m result Source #

answerBlockQueryTraverse ∷ MonadSTM m ⇒ ExtLedgerCfg ByronBlock → BlockQuery ByronBlock 'QFTraverseTables result → ReadOnlyForker' m ByronBlock → m result Source #

blockQueryIsSupportedOnVersion ∷ ∀ (fp ∷ QueryFootprint) result. BlockQuery ByronBlock fp result → BlockNodeToClientVersion ByronBlock → Bool Source #

HasTxs ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

extractTxs ∷ ByronBlock → [GenTx ByronBlock] Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

txInvariant ∷ GenTx ByronBlock → Bool Source #

applyTx ∷ LedgerConfig ByronBlock → WhetherToIntervene → SlotNo → GenTx ByronBlock → TickedLedgerState ByronBlock ValuesMK → Except (ApplyTxErr ByronBlock) (TickedLedgerState ByronBlock DiffMK, Validated (GenTx ByronBlock)) Source #

reapplyTx ∷ LedgerConfig ByronBlock → SlotNo → Validated (GenTx ByronBlock) → TickedLedgerState ByronBlock ValuesMK → Except (ApplyTxErr ByronBlock) (TickedLedgerState ByronBlock ValuesMK) Source #

reapplyTxs ∷ ∀ (wtd ∷ WhatToDoWithTxDiffs) extra. LedgerConfig ByronBlock → SlotNo → [(Validated (GenTx ByronBlock), InputTxDiffs ByronBlock wtd, extra)] → TickedLedgerState ByronBlock ValuesMK → ReapplyTxsResult extra ByronBlock wtd Source #

txForgetValidated ∷ Validated (GenTx ByronBlock) → GenTx ByronBlock Source #

getTransactionKeySets ∷ GenTx ByronBlock → LedgerTables ByronBlock KeysMK Source #

prependMempoolDiffs ∷ TickedLedgerState ByronBlock DiffMK → TickedLedgerState ByronBlock DiffMK → TickedLedgerState ByronBlock DiffMK Source #

applyMempoolDiffs ∷ LedgerTables ByronBlock ValuesMK → LedgerTables ByronBlock KeysMK → TickedLedgerState ByronBlock DiffMK → TickedLedgerState ByronBlock ValuesMK Source #

mkMempoolApplyTxError ∷ ∀ (mk ∷ MapKind). TickedLedgerState ByronBlock mk → Text → Maybe (ApplyTxErr ByronBlock) Source #

TxLimits ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type TxMeasurePhase1 ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type TxMeasurePhase1 ByronBlock = IgnoringOverflow ByteSize32
type TxMeasurePhase2 ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type TxMeasurePhase2 ByronBlock = TrivialTxMeasurePhase2

Methods

txWireSize ∷ GenTx ByronBlock → SizeInBytes Source #

txMeasurePhase1 ∷ LedgerConfig ByronBlock → TickedLedgerState ByronBlock EmptyMK → GenTx ByronBlock → Except (ApplyTxErr ByronBlock) (TxMeasurePhase1 ByronBlock) Source #

txMeasurePhase2 ∷ LedgerConfig ByronBlock → TickedLedgerState ByronBlock ValuesMK → GenTx ByronBlock → Except (ApplyTxErr ByronBlock) (TxMeasurePhase2 ByronBlock) Source #

blockCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig ByronBlock → TickedLedgerState ByronBlock mk → TxMeasure ByronBlock Source #

LedgerSupportsPeerSelection ByronBlock Source #

Instance details

LedgerSupportsProtocol ByronBlock Source #

Methods

getPeers ∷ ∀ (mk ∷ MapKind). LedgerState ByronBlock mk → [(PoolStake, NonEmpty StakePoolRelay)] Source #

Instance details

Methods

protocolLedgerView ∷ ∀ (mk ∷ MapKind). LedgerConfig ByronBlock → Ticked LedgerState ByronBlock mk → LedgerView (BlockProtocol ByronBlock) Source #

ledgerViewForecastAt ∷ ∀ (mk ∷ MapKind). HasCallStack ⇒ LedgerConfig ByronBlock → LedgerState ByronBlock mk → Forecast (LedgerView (BlockProtocol ByronBlock)) Source #

NodeInitStorage ByronBlock Source #

Instance details

HasNetworkProtocolVersion ByronBlock Source #

Methods

nodeImmutableDbChunkInfo ∷ StorageConfig ByronBlock → ChunkInfo Source #

nodeCheckIntegrity ∷ StorageConfig ByronBlock → ByronBlock → Bool Source #

nodeInitChainDB ∷ IOLike m ⇒ StorageConfig ByronBlock → InitChainDB m ByronBlock → m () Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion

Associated Types

type BlockNodeToNodeVersion ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion type BlockNodeToNodeVersion ByronBlock = ByronNodeToNodeVersion
type BlockNodeToClientVersion ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion type BlockNodeToClientVersion ByronBlock = ByronNodeToClientVersion

SupportedNetworkProtocolVersion ByronBlockHFC Source #

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

Instance details

SupportedNetworkProtocolVersion ByronBlock Source #

This instance isn't used apart from tests; we therefore make our life easy below.

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion

RunNode ByronBlock Source #

Instance details

SerialiseNodeToClientConstraints ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

SerialiseNodeToNodeConstraints ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

estimateBlockSize ∷ Header ByronBlock → SizeInBytes Source #

StateSupportsPerasEpochContext ByronBlock Source #

Instance details

SerialiseDiskConstraints ByronBlock Source #

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type MaybeEraIndexedEpochToPerasRoundInfo ByronBlock = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy ByronBlock → MaybeEraIndexedEpochToPerasRoundInfo ByronBlock → EpochToPerasRoundInfo Source #

toMaybeEraIndexedEpochToPerasRoundInfo ∷ All (Top ∷ Type → Constraint) (HardForkIndices ByronBlock) ⇒ proxy ByronBlock → EraIndexed (HardForkIndices ByronBlock) EpochToPerasRoundInfo → MaybeEraIndexedEpochToPerasRoundInfo ByronBlock Source #

mkBoundedPerasEpochContext ∷ (LedgerStateSupportsPeras ledgerState, ChainDepStateSupportsPeras chainDepState) ⇒ MaybeEraIndexedEpochToPerasRoundInfo ByronBlock → ledgerState EmptyMK → chainDepState → Either (PerasError ByronBlock) (BoundedPerasEpochContext ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

HasBinaryBlockInfo ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

getBinaryBlockInfo ∷ ByronBlock → BinaryBlockInfo Source #

Condense ByronBlock Source #

Instance details

Methods

condense ∷ ByronBlock → String Source #

ToTxIdWords ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork.OptimizedTxIdComparison

Methods

toTxIdWords ∷ GenTxId ByronBlock → (# Word64#, Word64#, Word64#, Word64# #) Source #

HasHeader ByronBlock Source #

Instance details

Methods

getHeaderFields ∷ ByronBlock → HeaderFields ByronBlock #

HasNestedContent Header ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

Methods

unnest ∷ Header ByronBlock → DepPair (NestedCtxt Header ByronBlock) Source #

nest ∷ DepPair (NestedCtxt Header ByronBlock) → Header ByronBlock Source #

ApplyBlock LedgerState ByronBlock Source #

Instance details

IsLedger LedgerState ByronBlock Source #

Instance details

CanUpgradeLedgerTables LedgerState ByronBlock Source #

Associated Types

type LedgerErr LedgerState ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type LedgerErr LedgerState ByronBlock = ChainValidationError

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState ByronBlock → SlotNo → LedgerState ByronBlock EmptyMK → LedgerResult ByronBlock (Ticked LedgerState ByronBlock DiffMK) Source #

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState ByronBlock mk1 → LedgerState ByronBlock mk2 → LedgerTables ByronBlock ValuesMK → LedgerTables ByronBlock ValuesMK Source #

HasLedgerTables LedgerState ByronBlock Source #

Instance details

LedgerTablesAreTrivial LedgerState ByronBlock Source #

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState ByronBlock mk → LedgerTables ByronBlock mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState ByronBlock any → LedgerTables ByronBlock mk → LedgerState ByronBlock mk Source #

Instance details

SerializeTablesWithHint LedgerState ByronBlock Source #

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). LedgerState ByronBlock mk → LedgerState ByronBlock mk' Source #

Instance details

SerialiseNodeToClient ByronBlock ApplyMempoolPayloadErr Source #

Methods

encodeTablesWithHint ∷ LedgerState ByronBlock EmptyMK → LedgerTables ByronBlock ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState ByronBlock EmptyMK → Decoder s (LedgerTables ByronBlock ValuesMK) Source #

ApplyTxErr ByronBlock

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

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

decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s ApplyMempoolPayloadErr Source #

SerialiseNodeToClient ByronBlock Config Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

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

decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s Config Source #

SerialiseNodeToClient ByronBlock SlotNo Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

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

decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s SlotNo Source #

SerialiseNodeToClient ByronBlock ByronPartialLedgerConfig Source #

Instance details

SerialiseNodeToClient ByronBlock ByronBlock Source #

Methods

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

decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s ByronPartialLedgerConfig Source #

CBOR-in-CBOR for the annotation. This also makes it compatible with the wrapped (Serialised) variant.

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

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

decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s ByronBlock Source #

SerialiseNodeToNode ByronBlock ByronBlock Source #

CBOR-in-CBOR for the annotation. This also makes it compatible with the wrapped (Serialised) variant.

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → ByronBlock → Encoding Source #

decodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → ∀ s. Decoder s ByronBlock Source #

EncodeDisk ByronBlock ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig ByronBlock → ByronBlock → Encoding Source #

ReconstructNestedCtxt Header ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

reconstructPrefixLen ∷ proxy (Header ByronBlock) → PrefixLen Source #

reconstructNestedCtxt ∷ proxy (Header ByronBlock) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) ByronBlock Source #

StandardHash ByronBlock Source #

Instance details

ShowProxy ByronBlock Source #

Instance details

SerialiseBlockQueryResult ByronBlock BlockQuery Source #

Methods

showProxy ∷ Proxy ByronBlock → String #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → BlockQuery ByronBlock fp result → result → Encoding Source #

decodeBlockQueryResult ∷ ∀ (fp ∷ QueryFootprint) result. CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → BlockQuery ByronBlock fp result → ∀ s. Decoder s result Source #

IndexedMemPack LedgerState ByronBlock Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState ByronBlock EmptyMK → Void → Int Source #

indexedPackM ∷ LedgerState ByronBlock EmptyMK → Void → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState ByronBlock EmptyMK → Unpack s b Void Source #

indexedTypeName ∷ Proxy Void → LedgerState ByronBlock EmptyMK → String Source #

SameDepIndex2 (BlockQuery ByronBlock) Source #

Instance details

Methods

sameDepIndex2 ∷ ∀ (x ∷ QueryFootprint) a (y ∷ QueryFootprint) b. BlockQuery ByronBlock x a → BlockQuery ByronBlock y b → Maybe ('(x, a) :~: '(y, b)) Source #

CardanoHardForkConstraints c ⇒ SerializeTablesWithHint LedgerState (HardForkBlock (CardanoEras c)) Source #

Instance details

Methods

encodeTablesWithHint ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → LedgerTables (HardForkBlock (CardanoEras c)) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Decoder s (LedgerTables (HardForkBlock (CardanoEras c)) ValuesMK) Source #

SerializeTablesWithHint LedgerState (HardForkBlock '[ByronBlock]) Source #

Instance details

Methods

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

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

SerialiseNodeToClient ByronBlock (SomeBlockQuery (BlockQuery ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → SomeBlockQuery (BlockQuery ByronBlock) → Encoding Source #

decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s (SomeBlockQuery (BlockQuery ByronBlock)) Source #

SerialiseNodeToClient ByronBlock (GenTx ByronBlock) Source #

No CBOR-in-CBOR, because we check for canonical encodings, which means we can use the recomputed encoding for the annotation.

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

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

decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s (GenTx ByronBlock) Source #

SerialiseNodeToClient ByronBlock (GenTxId ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

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

decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s (GenTxId ByronBlock) Source #

SerialiseNodeToNode ByronBlock (Header ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → Header ByronBlock → Encoding Source #

decodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → ∀ s. Decoder s (Header ByronBlock) Source #

SerialiseNodeToNode ByronBlock (GenTx ByronBlock) Source #

No CBOR-in-CBOR, because we check for canonical encodings, which means we can use the recomputed encoding for the annotation.

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → GenTx ByronBlock → Encoding Source #

decodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → ∀ s. Decoder s (GenTx ByronBlock) Source #

SerialiseNodeToNode ByronBlock (GenTxId ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → GenTxId ByronBlock → Encoding Source #

decodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → ∀ s. Decoder s (GenTxId ByronBlock) Source #

SerialiseNodeToNode ByronBlock (SerialisedHeader ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → SerialisedHeader ByronBlock → Encoding Source #

decodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → ∀ s. Decoder s (SerialisedHeader ByronBlock) Source #

DecodeDisk ByronBlock (AnnTip ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig ByronBlock → ∀ s. Decoder s (AnnTip ByronBlock) Source #

DecodeDisk ByronBlock (PBftState PBftByronCrypto) Source #

ChainDepState (BlockProtocol ByronBlock)

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig ByronBlock → ∀ s. Decoder s (PBftState PBftByronCrypto) Source #

EncodeDisk ByronBlock (AnnTip ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig ByronBlock → AnnTip ByronBlock → Encoding Source #

EncodeDisk ByronBlock (PBftState PBftByronCrypto) Source #

ChainDepState (BlockProtocol ByronBlock)

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig ByronBlock → PBftState PBftByronCrypto → Encoding Source #

ShowProxy (Header ByronBlock) Source #

Instance details

Methods

showProxy ∷ Proxy (Header ByronBlock) → String #

ShowProxy (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showProxy ∷ Proxy (GenTx ByronBlock) → String #

ShowProxy (TxId (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showProxy ∷ Proxy (TxId (GenTx ByronBlock)) → String #

IndexedMemPack LedgerState (HardForkBlock '[ByronBlock]) 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 ⇒ ∀ s. LedgerState (HardForkBlock '[ByronBlock]) EmptyMK → Unpack s b Void Source #

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

CardanoHardForkConstraints c ⇒ IndexedMemPack LedgerState (HardForkBlock (CardanoEras c)) (CardanoTxOut c) Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack s b (CardanoTxOut c) Source #

indexedTypeName ∷ Proxy (CardanoTxOut c) → LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source #

SerialiseNodeToClient ByronBlock (Serialised ByronBlock) Source #

Serialised uses CBOR-in-CBOR by default.

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

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

decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s (Serialised ByronBlock) Source #

SerialiseNodeToNode ByronBlock (Serialised ByronBlock) Source #

Serialised uses CBOR-in-CBOR by default.

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → Serialised ByronBlock → Encoding Source #

decodeNodeToNode ∷ CodecConfig ByronBlock → BlockNodeToNodeVersion ByronBlock → ∀ s. Decoder s (Serialised ByronBlock) Source #

DecodeDisk ByronBlock (LedgerState ByronBlock mk) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig ByronBlock → ∀ s. Decoder s (LedgerState ByronBlock mk) Source #

DecodeDisk ByronBlock (ByteString → Either DecoderError ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig ByronBlock → ∀ s. Decoder s (ByteString → Either DecoderError ByronBlock) Source #

EncodeDisk ByronBlock (LedgerState ByronBlock mk) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDisk ∷ CodecConfig ByronBlock → LedgerState ByronBlock mk → Encoding Source #

SameDepIndex (NestedCtxt_ ByronBlock f ∷ Type → Type) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

Methods

sameDepIndex ∷ NestedCtxt_ ByronBlock f a → NestedCtxt_ ByronBlock f b → Maybe (a :~: b) Source #

FromCBOR (GenTx ByronBlock) Source #

Instance details

Methods

fromCBOR ∷ Decoder s (GenTx ByronBlock) Source #

label ∷ Proxy (GenTx ByronBlock) → Text Source #

ToCBOR (GenTx ByronBlock) Source #

Instance details

Methods

toCBOR ∷ GenTx ByronBlock → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (GenTx ByronBlock) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [GenTx ByronBlock] → Size Source #

Eq (Header ByronBlock) Source #

Instance details

Methods

(==) ∷ Header ByronBlock → Header ByronBlock → Bool #

(/=) ∷ Header ByronBlock → Header ByronBlock → Bool #

Eq (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

(==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

Eq (CanonicalTxIn '[ByronBlock]) Source #

Instance details

Methods

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

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

Eq (Validated (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

(==) ∷ Validated (GenTx ByronBlock) → Validated (GenTx ByronBlock) → Bool #

(/=) ∷ Validated (GenTx ByronBlock) → Validated (GenTx ByronBlock) → Bool #

Eq (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

(==) ∷ GenTx ByronBlock → GenTx ByronBlock → Bool #

(/=) ∷ GenTx ByronBlock → GenTx ByronBlock → Bool #

Eq (TxId (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

(==) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool #

(/=) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool #

Ord (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering #

(<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

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] #

Ord (TxId (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

compare ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Ordering #

(<) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool #

(<=) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool #

(>) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool #

(>=) ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → Bool #

max ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) #

min ∷ TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) → TxId (GenTx ByronBlock) #

Generic (BlockConfig ByronBlock) Source #

Instance details

Associated Types

type Rep (BlockConfig ByronBlock)

Instance details

type Rep (BlockConfig ByronBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ByronConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronGenesisConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Config) :*: (S1 ('MetaSel ('Just "byronProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtocolVersion) :*: S1 ('MetaSel ('Just "byronSoftwareVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SoftwareVersion))))

Methods

from ∷ BlockConfig ByronBlock → Rep (BlockConfig ByronBlock) x #

to ∷ Rep (BlockConfig ByronBlock) x → BlockConfig ByronBlock #

Generic (CodecConfig ByronBlock) Source #

Instance details

Associated Types

type Rep (CodecConfig ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config type Rep (CodecConfig ByronBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ByronCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "getByronEpochSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochSlots)))

Methods

from ∷ CodecConfig ByronBlock → Rep (CodecConfig ByronBlock) x #

to ∷ Rep (CodecConfig ByronBlock) x → CodecConfig ByronBlock #

Generic (Header ByronBlock) Source #

Instance details

Associated Types

type Rep (Header ByronBlock)

Instance details

type Rep (Header ByronBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ByronHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "byronHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ABlockOrBoundaryHdr ByteString)) :*: S1 ('MetaSel ('Just "byronHeaderSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "byronHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronHash) :*: S1 ('MetaSel ('Just "byronHeaderBlockSizeHint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SizeInBytes))))

Methods

from ∷ Header ByronBlock → Rep (Header ByronBlock) x #

to ∷ Rep (Header ByronBlock) x → Header ByronBlock #

Generic (StorageConfig ByronBlock) Source #

Instance details

Associated Types

type Rep (StorageConfig ByronBlock)

Instance details

type Rep (StorageConfig ByronBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ByronStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "getByronBlockConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BlockConfig ByronBlock))))

Methods

from ∷ StorageConfig ByronBlock → Rep (StorageConfig ByronBlock) x #

to ∷ Rep (StorageConfig ByronBlock) x → StorageConfig ByronBlock #

Generic (Validated (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type Rep (Validated (GenTx ByronBlock))

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type Rep (Validated (GenTx ByronBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ValidatedByronTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronBlock))))

Methods

from ∷ Validated (GenTx ByronBlock) → Rep (Validated (GenTx ByronBlock)) x #

to ∷ Rep (Validated (GenTx ByronBlock)) x → Validated (GenTx ByronBlock) #

Generic (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type Rep (GenTx ByronBlock)

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

from ∷ GenTx ByronBlock → Rep (GenTx ByronBlock) x #

to ∷ Rep (GenTx ByronBlock) x → GenTx ByronBlock #

Show (Header ByronBlock) Source #

Instance details

Methods

showsPrec ∷ Int → Header ByronBlock → ShowS #

show ∷ Header ByronBlock → String #

showList ∷ [Header ByronBlock] → ShowS #

Show (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS #

show ∷ CanonicalTxIn (CardanoEras c) → String #

showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS #

Show (CanonicalTxIn '[ByronBlock]) Source #

Instance details

Methods

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

show ∷ CanonicalTxIn '[ByronBlock] → String #

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

Show (Validated (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showsPrec ∷ Int → Validated (GenTx ByronBlock) → ShowS #

show ∷ Validated (GenTx ByronBlock) → String #

showList ∷ [Validated (GenTx ByronBlock)] → ShowS #

Show (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showsPrec ∷ Int → GenTx ByronBlock → ShowS #

show ∷ GenTx ByronBlock → String #

showList ∷ [GenTx ByronBlock] → ShowS #

Show (GenTxId ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showsPrec ∷ Int → GenTxId ByronBlock → ShowS #

show ∷ GenTxId ByronBlock → String #

showList ∷ [GenTxId ByronBlock] → ShowS #

CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source #

packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (CanonicalTxIn (CardanoEras c)) Source #

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 s b (CanonicalTxIn '[ByronBlock]) Source #

NoThunks (BlockConfig ByronBlock) Source #

Instance details

Methods

noThunks ∷ Context → BlockConfig ByronBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockConfig ByronBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BlockConfig ByronBlock) → String Source #

NoThunks (CodecConfig ByronBlock) Source #

Instance details

Methods

noThunks ∷ Context → CodecConfig ByronBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig ByronBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig ByronBlock) → String Source #

NoThunks (Header ByronBlock) Source #

Instance details

Methods

noThunks ∷ Context → Header ByronBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Header ByronBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Header ByronBlock) → String Source #

NoThunks (StorageConfig ByronBlock) Source #

Instance details

Methods

noThunks ∷ Context → StorageConfig ByronBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig ByronBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig ByronBlock) → String Source #

NoThunks (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String 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 #

NoThunks (Validated (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

noThunks ∷ Context → Validated (GenTx ByronBlock) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Validated (GenTx ByronBlock) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Validated (GenTx ByronBlock)) → String Source #

NoThunks (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

noThunks ∷ Context → GenTx ByronBlock → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GenTx ByronBlock → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (GenTx ByronBlock) → String Source #

NoThunks (TxId (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

noThunks ∷ Context → TxId (GenTx ByronBlock) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxId (GenTx ByronBlock) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxId (GenTx ByronBlock)) → String Source #

CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source #

When performing era translations, two eras have special behaviours on the ledger tables:

Byron to Shelley: as Byron has no tables, the whole UTxO set is computed as insertions, note that it uses valuesAsDiffs
Shelley to Allegra: some special addresses (the so called AVVM addresses), were deleted in this transition, which influenced things like the calculation of later rewards. In this transition, we consume the shelleyToAllegraAVVMsToDelete as deletions in the ledger tables.

Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

Associated Types

type HardForkTxMeasurePhase1 (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork type HardForkTxMeasurePhase1 (CardanoEras c) = AlonzoMeasure
type HardForkTxMeasurePhase2 (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork type HardForkTxMeasurePhase2 (CardanoEras c) = RefScriptSize

Methods

hardForkEraTranslation ∷ EraTranslation (CardanoEras c) Source #

hardForkChainSel ∷ Tails AcrossEraTiebreaker (CardanoEras c) Source #

hardForkInjTxMeasurePhase1 ∷ NS WrapTxMeasurePhase1 (CardanoEras c) → HardForkTxMeasurePhase1 (CardanoEras c) Source #

hardForkInjTxMeasurePhase2 ∷ NS WrapTxMeasurePhase2 (CardanoEras c) → HardForkTxMeasurePhase2 (CardanoEras c) Source #

hardForkEqGenTxId ∷ NS WrapGenTxId (CardanoEras c) → NS WrapGenTxId (CardanoEras c) → Bool Source #

hardForkCompareGenTxId ∷ NS WrapGenTxId (CardanoEras c) → NS WrapGenTxId (CardanoEras c) → Ordering Source #

CardanoHardForkConstraints c ⇒ CondenseConstraints (CardanoBlock c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.Condense

CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source #

Instance details

Associated Types

newtype CanonicalTxIn (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn { getCardanoTxIn ∷ BigEndianTxIn }

Methods

injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn x → CanonicalTxIn (CardanoEras c) Source #

ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn x Source #

CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source #

Instance details

Associated Types

type HardForkTxOut (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger type HardForkTxOut (CardanoEras c) = CardanoTxOut c

Methods

injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut x → HardForkTxOut (CardanoEras c) Source #

ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut x Source #

txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source #

CardanoHardForkConstraints c ⇒ BlockSupportsHFLedgerQuery (CardanoEras c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.QueryHF

Methods

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

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

queryLedgerGetTraversingFilter ∷ Index (CardanoEras c) x → BlockQuery x 'QFTraverseTables result → TxOut (HardForkBlock (CardanoEras c)) → Bool Source #

CardanoHardForkConstraints c ⇒ SerialiseHFC (CardanoEras c) Source #

Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk.

We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era.

Byron does not provide such an envelope. However, a Byron block is a CBOR 2-tuple with the first element being a tag (Word: 0 = EBB; 1 = regular block) and the second being the payload. We can easily extend this encoding format with support for Shelley, Goguen, etc.

We encode a CardanoBlock as the same CBOR 2-tuple as a Byron block, but we use the tags after 1 for the hard forks after Byron:

Byron EBB
Byron regular block
Shelley block
Allegra block
Mary block
Goguen block
etc.

For more details, see: https://github.com/IntersectMBO/ouroboros-network/pull/1175#issuecomment-558147194

Instance details

Defined in Ouroboros.Consensus.Cardano.Node

Methods

encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → HardForkBlock (CardanoEras c) → Encoding Source #

decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock (CardanoEras c)) → ∀ s. Decoder s (ByteString → Either DecoderError (HardForkBlock (CardanoEras c))) Source #

reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock (CardanoEras c))) → PrefixLen Source #

reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock (CardanoEras c))) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) Source #

getHfcBinaryBlockInfo ∷ HardForkBlock (CardanoEras c) → BinaryBlockInfo Source #

estimateHfcBlockSize ∷ Header (HardForkBlock (CardanoEras c)) → SizeInBytes Source #

GetTip (LedgerState ByronBlock) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState ByronBlock mk → Point (LedgerState ByronBlock) Source #

ConvertRawTxId (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

toRawTxIdHash ∷ TxId (GenTx ByronBlock) → ShortByteString Source #

HasTxId (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

txId ∷ GenTx ByronBlock → TxId (GenTx ByronBlock) Source #

LedgerStateSupportsPeras (LedgerState ByronBlock) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState ByronBlock EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState ByronBlock EmptyMK → PerasParams blk Source #

CanStowLedgerTables (LedgerState ByronBlock) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState ByronBlock ValuesMK → LedgerState ByronBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState ByronBlock EmptyMK → LedgerState ByronBlock ValuesMK Source #

CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.Node

Methods

supportedNodeToNodeVersions ∷ Proxy (CardanoBlock c) → Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) Source #

supportedNodeToClientVersions ∷ Proxy (CardanoBlock c) → Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) Source #

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

Condense (Header ByronBlock) Source #

Instance details

Methods

condense ∷ Header ByronBlock → String Source #

Condense (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

condense ∷ GenTx ByronBlock → String Source #

Condense (GenTxId ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

condense ∷ GenTxId ByronBlock → String Source #

HasHeader (Header ByronBlock) Source #

Instance details

Methods

getHeaderFields ∷ Header ByronBlock → HeaderFields (Header ByronBlock) #

HasRawTxId (TxId (GenTx ByronBlock))

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type RawTxId (TxId (GenTx ByronBlock))
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type RawTxId (TxId (GenTx ByronBlock)) = ShortByteString

Methods

getRawTxId ∷ TxId (GenTx ByronBlock) → RawTxId (TxId (GenTx ByronBlock))

DecodeDiskDep (NestedCtxt Header) ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDiskDep ∷ CodecConfig ByronBlock → NestedCtxt Header ByronBlock a → ∀ s. Decoder s (ByteString → a) Source #

DecodeDiskDepIx (NestedCtxt Header) ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDiskDepIx ∷ CodecConfig ByronBlock → Decoder s (SomeSecond (NestedCtxt Header) ByronBlock) Source #

EncodeDiskDep (NestedCtxt Header) ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDiskDep ∷ CodecConfig ByronBlock → NestedCtxt Header ByronBlock a → a → Encoding Source #

EncodeDiskDepIx (NestedCtxt Header) ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

encodeDiskDepIx ∷ CodecConfig ByronBlock → SomeSecond (NestedCtxt Header) ByronBlock → Encoding Source #

Eq (LedgerState ByronBlock mk) Source #

Instance details

Methods

(==) ∷ LedgerState ByronBlock mk → LedgerState ByronBlock mk → Bool #

(/=) ∷ LedgerState ByronBlock mk → LedgerState ByronBlock mk → Bool #

Generic (LedgerState ByronBlock mk) Source #

Instance details

Associated Types

type Rep (LedgerState ByronBlock mk)

Instance details

type Rep (LedgerState ByronBlock mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronLedgerTipBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin BlockNo)) :*: (S1 ('MetaSel ('Just "byronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "byronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronTransition))))

Methods

from ∷ LedgerState ByronBlock mk → Rep (LedgerState ByronBlock mk) x #

to ∷ Rep (LedgerState ByronBlock mk) x → LedgerState ByronBlock mk #

Show (LedgerState ByronBlock mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState ByronBlock mk → ShowS #

show ∷ LedgerState ByronBlock mk → String #

showList ∷ [LedgerState ByronBlock mk] → ShowS #

NoThunks (LedgerState ByronBlock mk) Source #

Instance details

Methods

noThunks ∷ Context → LedgerState ByronBlock mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState ByronBlock mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState ByronBlock mk) → String Source #

ShowQuery (BlockQuery ByronBlock fp) Source #

Instance details

Methods

showResult ∷ BlockQuery ByronBlock fp result → result → String #

HasLedgerTables (Ticked LedgerState) ByronBlock Source #

Instance details

Methods

projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState ByronBlock mk → LedgerTables ByronBlock mk Source #

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked LedgerState ByronBlock any → LedgerTables ByronBlock mk → Ticked LedgerState ByronBlock mk Source #

LedgerTablesAreTrivial (Ticked LedgerState) ByronBlock Source #

Instance details

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). Ticked LedgerState ByronBlock mk → Ticked LedgerState ByronBlock mk' Source #

ShowProxy (BlockQuery ByronBlock) Source #

Instance details

Methods

showProxy ∷ Proxy (BlockQuery ByronBlock) → String #

Eq (BlockQuery ByronBlock fp result) Source #

Instance details

Methods

(==) ∷ BlockQuery ByronBlock fp result → BlockQuery ByronBlock fp result → Bool #

(/=) ∷ BlockQuery ByronBlock fp result → BlockQuery ByronBlock fp result → Bool #

Show (NestedCtxt_ ByronBlock f a) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

Methods

showsPrec ∷ Int → NestedCtxt_ ByronBlock f a → ShowS #

show ∷ NestedCtxt_ ByronBlock f a → String #

showList ∷ [NestedCtxt_ ByronBlock f a] → ShowS #

Show (BlockQuery ByronBlock fp result) Source #

Instance details

Methods

showsPrec ∷ Int → BlockQuery ByronBlock fp result → ShowS #

show ∷ BlockQuery ByronBlock fp result → String #

showList ∷ [BlockQuery ByronBlock fp result] → ShowS #

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 x → CanonicalTxIn '[ByronBlock] Source #

ejectCanonicalTxIn ∷ Index '[ByronBlock] x → CanonicalTxIn '[ByronBlock] → TxIn 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 x → HardForkTxOut '[ByronBlock] Source #

ejectHardForkTxOut ∷ Index '[ByronBlock] x → HardForkTxOut '[ByronBlock] → TxOut 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 (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 → Either DecoderError (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 #

GetTip (Ticked LedgerState ByronBlock) Source #

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState ByronBlock mk → Point (Ticked LedgerState ByronBlock) Source #

LedgerStateSupportsPeras (Ticked LedgerState ByronBlock) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState ByronBlock EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState ByronBlock EmptyMK → PerasParams blk Source #

Generic (Ticked LedgerState ByronBlock mk) Source #

Instance details

Associated Types

type Rep (Ticked LedgerState ByronBlock mk)

Instance details

type Rep (Ticked LedgerState ByronBlock mk) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "TickedByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedByronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "untickedByronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronTransition)))

Methods

from ∷ Ticked LedgerState ByronBlock mk → Rep (Ticked LedgerState ByronBlock mk) x #

to ∷ Rep (Ticked LedgerState ByronBlock mk) x → Ticked LedgerState ByronBlock mk #

NoThunks (Ticked LedgerState ByronBlock mk) Source #

Instance details

Methods

noThunks ∷ Context → Ticked LedgerState ByronBlock mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked LedgerState ByronBlock mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked LedgerState ByronBlock mk) → String Source #

data BlockConfig ByronBlock Source #

Extended configuration we need for Byron

Instance details

data BlockConfig ByronBlock = ByronConfig {

byronGenesisConfig ∷ !Config
byronProtocolVersion ∷ !ProtocolVersion
byronSoftwareVersion ∷ !SoftwareVersion

}

type BlockProtocol ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.PBFT

type BlockProtocol ByronBlock = PBft PBftByronCrypto

newtype CodecConfig ByronBlock Source #

Instance details

newtype CodecConfig ByronBlock = ByronCodecConfig {

getByronEpochSlots ∷ EpochSlots

}

type HashSize ByronBlock Source #

Instance details

type HashSize ByronBlock = 32

data Header ByronBlock Source #

Byron header

See ByronBlock for comments on why we cache certain values.

newtype StorageConfig ByronBlock Source #

Instance details

newtype StorageConfig ByronBlock = ByronStorageConfig {

getByronBlockConfig ∷ BlockConfig ByronBlock

}

type CannotForge ByronBlock Source #

Instance details

type CannotForge ByronBlock = PBftCannotForge PBftByronCrypto

type ForgeStateInfo ByronBlock Source #

Instance details

type ForgeStateInfo ByronBlock = ()

type ForgeStateUpdateError ByronBlock Source #

Instance details

type ForgeStateUpdateError ByronBlock = Void

data NestedCtxt_ ByronBlock f a Source #

Since the Byron header does not contain the size, we include it in the nested type instead.

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation

data NestedCtxt_ ByronBlock f a where

CtxtByronRegular ∷ !SizeInBytes → NestedCtxt_ ByronBlock Header (AHeader ByteString)
CtxtByronBoundary ∷ !SizeInBytes → NestedCtxt_ ByronBlock Header (SlotNo, RawBoundaryHeader)

type TentativeHeaderState ByronBlock Source #

Instance details

type TentativeHeaderState ByronBlock = TentativeHeaderState (SelectViewDiffusionPipelining ByronBlock)

type TentativeHeaderView ByronBlock Source #

Instance details

type TentativeHeaderView ByronBlock = TentativeHeaderView (SelectViewDiffusionPipelining ByronBlock)

type PerasCert ByronBlock Source #

Instance details

type PerasCert ByronBlock = VoidPerasCert ByronBlock

type PerasCrypto ByronBlock Source #

Instance details

type PerasCrypto ByronBlock = VoidPerasCrypto ByronBlock

type PerasError ByronBlock Source #

Instance details

type PerasError ByronBlock = VoidPerasError ByronBlock

type PerasVote ByronBlock Source #

Instance details

type PerasVote ByronBlock = VoidPerasVote ByronBlock

type PerasVotingCommitteeScheme ByronBlock Source #

Instance details

type PerasVotingCommitteeScheme ByronBlock = VoidPerasVotingCommitteeScheme

type HardForkIndices ByronBlock Source #

Instance details

type HardForkIndices ByronBlock = '[ByronBlock]

type PartialLedgerConfig ByronBlock Source #

Instance details

type PartialLedgerConfig ByronBlock = ByronPartialLedgerConfig

type OtherHeaderEnvelopeError ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

type OtherHeaderEnvelopeError ByronBlock = ByronOtherHeaderEnvelopeError

type TipInfo ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.HeaderValidation

type TipInfo ByronBlock = TipInfoIsEBB ByronBlock

type AuxLedgerEvent ByronBlock Source #

Instance details

type AuxLedgerEvent ByronBlock = VoidLedgerEvent

data LedgerState ByronBlock mk Source #

Instance details

data LedgerState ByronBlock mk = ByronLedgerState {

byronLedgerTipBlockNo ∷ !(WithOrigin BlockNo)
byronLedgerState ∷ !ChainValidationState
byronLedgerTransition ∷ !ByronTransition

}

type LedgerUpdate ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Inspect

type LedgerUpdate ByronBlock = ByronLedgerUpdate

type LedgerWarning ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Inspect

type LedgerWarning ByronBlock = Void

data BlockQuery ByronBlock fp result Source #

Instance details

data BlockQuery ByronBlock fp result where

GetUpdateInterfaceState ∷ BlockQuery ByronBlock 'QFNoTables State

type ApplyTxErr ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type ApplyTxErr ByronBlock = ApplyMempoolPayloadErr

data GenTx ByronBlock Source #

Generalized transactions in Byron

This is effectively the same as AMempoolPayload but we cache the transaction ID (a hash).

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

data GenTx ByronBlock

= ByronTx !TxId !(ATxAux ByteString)
| ByronDlg !CertificateId !(ACertificate ByteString)
| ByronUpdateProposal !UpId !(AProposal ByteString)
| ByronUpdateVote !VoteId !(AVote ByteString)

type TxMeasurePhase1 ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type TxMeasurePhase1 ByronBlock = IgnoringOverflow ByteSize32

type TxMeasurePhase2 ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type TxMeasurePhase2 ByronBlock = TrivialTxMeasurePhase2

type TxIn ByronBlock Source #

Instance details

type TxIn ByronBlock = Void

type TxOut ByronBlock Source #

Instance details

type TxOut ByronBlock = Void

type BlockNodeToClientVersion ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion

type BlockNodeToClientVersion ByronBlock = ByronNodeToClientVersion

type BlockNodeToNodeVersion ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion

type BlockNodeToNodeVersion ByronBlock = ByronNodeToNodeVersion

type MaybeEraIndexedEpochToPerasRoundInfo ByronBlock Source #

Instance details

type MaybeEraIndexedEpochToPerasRoundInfo ByronBlock = EpochToPerasRoundInfo

type LedgerCfg LedgerState ByronBlock Source #

Instance details

type LedgerCfg LedgerState ByronBlock = Config

type LedgerErr LedgerState ByronBlock Source #

Instance details

type LedgerErr LedgerState ByronBlock = ChainValidationError

type HeaderHash ByronBlock Source #

Instance details

type HeaderHash ByronBlock = ByronHash

type Rep (BlockConfig ByronBlock) Source #

Instance details

type Rep (BlockConfig ByronBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ByronConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronGenesisConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Config) :*: (S1 ('MetaSel ('Just "byronProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtocolVersion) :*: S1 ('MetaSel ('Just "byronSoftwareVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SoftwareVersion))))

type Rep (CodecConfig ByronBlock) Source #

Instance details

type Rep (CodecConfig ByronBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ByronCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "getByronEpochSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochSlots)))

type Rep (Header ByronBlock) Source #

Instance details

type Rep (Header ByronBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ByronHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "byronHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ABlockOrBoundaryHdr ByteString)) :*: S1 ('MetaSel ('Just "byronHeaderSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "byronHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronHash) :*: S1 ('MetaSel ('Just "byronHeaderBlockSizeHint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SizeInBytes))))

type Rep (StorageConfig ByronBlock) Source #

Instance details

type Rep (StorageConfig ByronBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ByronStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "getByronBlockConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BlockConfig ByronBlock))))

type Rep (Validated (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type Rep (Validated (GenTx ByronBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'True) (C1 ('MetaCons "ValidatedByronTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronBlock))))

type Rep (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type HardForkTxMeasurePhase1 (CardanoEras c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasurePhase1 (CardanoEras c) = AlonzoMeasure

type HardForkTxMeasurePhase2 (CardanoEras c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasurePhase2 (CardanoEras c) = RefScriptSize

newtype CanonicalTxIn (CardanoEras c) Source #

Instance details

newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn {

getCardanoTxIn ∷ BigEndianTxIn

}

type HardForkTxOut (CardanoEras c) Source #

Instance details

type HardForkTxOut (CardanoEras c) = CardanoTxOut c

newtype Validated (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

newtype Validated (GenTx ByronBlock) = ValidatedByronTx {

forgetValidatedByronTx ∷ GenTx ByronBlock

}

data TxId (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

data TxId (GenTx ByronBlock)

= ByronTxId !TxId
| ByronDlgId !CertificateId
| ByronUpdateProposalId !UpId
| ByronUpdateVoteId !VoteId

type RawTxId (TxId (GenTx ByronBlock))

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type RawTxId (TxId (GenTx ByronBlock)) = ShortByteString

type Rep (LedgerState ByronBlock mk) Source #

Instance details

type Rep (LedgerState ByronBlock mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) (C1 ('MetaCons "ByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronLedgerTipBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin BlockNo)) :*: (S1 ('MetaSel ('Just "byronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "byronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronTransition))))

data Ticked LedgerState ByronBlock (mk ∷ MapKind) Source #

The ticked Byron ledger state

Instance details

data Ticked LedgerState ByronBlock (mk ∷ MapKind) = TickedByronLedgerState {

}

newtype CanonicalTxIn '[ByronBlock] Source #

Instance details

newtype CanonicalTxIn '[ByronBlock] = ByronHFCTxIn {

getByronHFCTxIn ∷ Void

}

type HardForkTxOut '[ByronBlock] Source #

Instance details

type HardForkTxOut '[ByronBlock] = Void

type Rep (Ticked LedgerState ByronBlock mk) Source #

Instance details