Hash

Methods

showsPrec ∷ Int → ByronHash → ShowS #

show ∷ ByronHash → String #

showList ∷ [ByronHash] → ShowS #

Eq ByronHash Source #

Instance details

Methods

(==) ∷ ByronHash → ByronHash → Bool #

(/=) ∷ ByronHash → ByronHash → Bool #

Ord ByronHash Source #

Instance details

Methods

compare ∷ ByronHash → ByronHash → Ordering #

(<) ∷ ByronHash → ByronHash → Bool #

(<=) ∷ ByronHash → ByronHash → Bool #

(>) ∷ ByronHash → ByronHash → Bool #

(>=) ∷ ByronHash → ByronHash → Bool #

max ∷ ByronHash → ByronHash → ByronHash #

min ∷ ByronHash → ByronHash → ByronHash #

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-cardano-0.25.0.0-inplace" '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

Show ByronBlock Source #

Instance details

Methods

showsPrec ∷ Int → ByronBlock → ShowS #

show ∷ ByronBlock → String #

showList ∷ [ByronBlock] → ShowS #

Eq ByronBlock Source #

Instance details

Methods

(==) ∷ ByronBlock → ByronBlock → Bool #

(/=) ∷ ByronBlock → ByronBlock → Bool #

ConvertRawHash ByronBlock Source #

Instance details

Methods

toRawHash ∷ proxy ByronBlock → HeaderHash ByronBlock → ByteString Source #

fromRawHash ∷ proxy ByronBlock → ByteString → HeaderHash ByronBlock Source #

toShortRawHash ∷ proxy ByronBlock → HeaderHash ByronBlock → ShortByteString Source #

fromShortRawHash ∷ 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

BlockSupportsProtocol ByronBlock Source #

Methods

isSelfIssued ∷ BlockConfig ByronBlock → Header ByronBlock → WhetherSelfIssued Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.PBFT

Methods

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

selectView ∷ BlockConfig ByronBlock → Header ByronBlock → SelectView (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 #

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 ∷ ComputeDiffs → LedgerConfig ByronBlock → SlotNo → Validated (GenTx ByronBlock) → TickedLedgerState ByronBlock ValuesMK → Except (ApplyTxErr ByronBlock) (TickedLedgerState ByronBlock TrackingMK) Source #

reapplyTxs ∷ ComputeDiffs → LedgerConfig ByronBlock → SlotNo → [(Validated (GenTx ByronBlock), extra)] → TickedLedgerState ByronBlock ValuesMK → ReapplyTxsResult extra ByronBlock Source #

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

getTransactionKeySets ∷ GenTx ByronBlock → LedgerTables (LedgerState ByronBlock) KeysMK Source #

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

applyMempoolDiffs ∷ LedgerTables (LedgerState ByronBlock) ValuesMK → LedgerTables (LedgerState ByronBlock) KeysMK → TickedLedgerState ByronBlock DiffMK → TickedLedgerState ByronBlock ValuesMK Source #

TxLimits ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Associated Types

type TxMeasure ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type TxMeasure ByronBlock = IgnoringOverflow ByteSize32

Methods

txMeasure ∷ LedgerConfig ByronBlock → TickedLedgerState ByronBlock ValuesMK → GenTx ByronBlock → Except (ApplyTxErr ByronBlock) (TxMeasure 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 #

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

HasHeader ByronBlock Source #

Instance details

SerialiseNodeToClient ByronBlock ApplyMempoolPayloadErr Source #

Methods

getHeaderFields ∷ ByronBlock → HeaderFields ByronBlock Source #

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 #

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

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 #

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 #

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

ShowProxy (GenTx ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showProxy ∷ Proxy (GenTx ByronBlock) → String Source #

ShowProxy (TxId (GenTx ByronBlock)) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

Methods

showProxy ∷ Proxy (TxId (GenTx ByronBlock)) → 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 → ByronBlock) Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Node.Serialisation

Methods

decodeDisk ∷ CodecConfig ByronBlock → ∀ s. Decoder s (ByteString → 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 #

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-cardano-0.25.0.0-inplace" '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-cardano-0.25.0.0-inplace" '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-cardano-0.25.0.0-inplace" '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-cardano-0.25.0.0-inplace" '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-cardano-0.25.0.0-inplace" '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 #

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

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 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 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 HardForkTxMeasure (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

Methods

hardForkEraTranslation ∷ EraTranslation (CardanoEras c) Source #

hardForkChainSel ∷ Tails AcrossEraSelection (CardanoEras c) Source #

hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) Source #

hardForkInjTxMeasure ∷ NS WrapTxMeasure (CardanoEras c) → HardForkTxMeasure (CardanoEras c) 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 ∷ TxIn }

Methods

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

ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState 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 (LedgerState x) → HardForkTxOut (CardanoEras c) Source #

ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut (LedgerState 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 (LedgerState (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 → 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 #

IsLedger (LedgerState ByronBlock) Source #

Instance details

Associated Types

type LedgerErr (LedgerState ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type LedgerErr (LedgerState ByronBlock) = ChainValidationError
type AuxLedgerEvent (LedgerState ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type AuxLedgerEvent (LedgerState ByronBlock) = VoidLedgerEvent (LedgerState ByronBlock)

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState ByronBlock) → SlotNo → LedgerState ByronBlock EmptyMK → LedgerResult (LedgerState ByronBlock) (Ticked (LedgerState ByronBlock) DiffMK) 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 #

CanStowLedgerTables (LedgerState ByronBlock) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState ByronBlock ValuesMK → LedgerState ByronBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState ByronBlock EmptyMK → LedgerState ByronBlock ValuesMK Source #

HasLedgerTables (LedgerState ByronBlock) Source #

Instance details

Methods

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

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

LedgerTablesAreTrivial (LedgerState ByronBlock) Source #

Instance details

Methods

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

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

Instance details

Methods

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

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock (CardanoEras c))) ValuesMK) 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 #

SerializeTablesWithHint (LedgerState ByronBlock) Source #

Instance details

Methods

encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState ByronBlock) ValuesMK) → LedgerTables (LedgerState ByronBlock) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState ByronBlock) ValuesMK) → Decoder s (LedgerTables (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 #

CanUpgradeLedgerTables (LedgerState ByronBlock) Source #

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState ByronBlock mk1 → LedgerState ByronBlock mk2 → LedgerTables (LedgerState ByronBlock) ValuesMK → LedgerTables (LedgerState ByronBlock) ValuesMK 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) Source #

ApplyBlock (LedgerState ByronBlock) ByronBlock Source #

Instance details

Methods

applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState ByronBlock) → ByronBlock → Ticked (LedgerState ByronBlock) ValuesMK → Except (LedgerErr (LedgerState ByronBlock)) (LedgerResult (LedgerState ByronBlock) (LedgerState ByronBlock DiffMK)) Source #

applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState ByronBlock) → ByronBlock → Ticked (LedgerState ByronBlock) ValuesMK → Except (LedgerErr (LedgerState ByronBlock)) (LedgerResult (LedgerState ByronBlock) (LedgerState ByronBlock DiffMK)) Source #

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState ByronBlock) → ByronBlock → Ticked (LedgerState ByronBlock) ValuesMK → LedgerResult (LedgerState ByronBlock) (LedgerState ByronBlock DiffMK) Source #

getBlockKeySets ∷ ByronBlock → LedgerTables (LedgerState ByronBlock) KeysMK Source #

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 #

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-cardano-0.25.0.0-inplace" '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 #

Eq (LedgerState ByronBlock mk) Source #

Instance details

Methods

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

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

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 #

GetTip (Ticked (LedgerState ByronBlock)) Source #

Instance details

Methods

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

HasLedgerTables (Ticked (LedgerState ByronBlock)) Source #

Instance details

Methods

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

withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState ByronBlock) any → LedgerTables (Ticked (LedgerState 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 #

ShowQuery (BlockQuery ByronBlock fp) Source #

Instance details

Methods

showResult ∷ BlockQuery ByronBlock fp result → result → String 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 #

IndexedMemPack (LedgerState ByronBlock EmptyMK) Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState ByronBlock EmptyMK → Void → Int Source #

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

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

indexedTypeName ∷ LedgerState ByronBlock EmptyMK → String Source #

CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (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 ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source #

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

ShowProxy (BlockQuery ByronBlock) Source #

Instance details

Methods

showProxy ∷ Proxy (BlockQuery ByronBlock) → String 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-cardano-0.25.0.0-inplace" '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 #

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 #

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 #

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 #

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 #

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

}

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

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 TxMeasure ByronBlock Source #

Instance details

Defined in Ouroboros.Consensus.Byron.Ledger.Mempool

type TxMeasure ByronBlock = IgnoringOverflow ByteSize32

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 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-cardano-0.25.0.0-inplace" '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-cardano-0.25.0.0-inplace" '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-cardano-0.25.0.0-inplace" '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-cardano-0.25.0.0-inplace" '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-cardano-0.25.0.0-inplace" '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 HardForkTxMeasure (CardanoEras c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.CanHardFork

type HardForkTxMeasure (CardanoEras c) = ConwayMeasure

newtype CanonicalTxIn (CardanoEras c) Source #

Instance details

newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn {

getCardanoTxIn ∷ TxIn

}

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

}

type AuxLedgerEvent (LedgerState ByronBlock) Source #

Instance details

type AuxLedgerEvent (LedgerState ByronBlock) = VoidLedgerEvent (LedgerState ByronBlock)

type LedgerCfg (LedgerState ByronBlock) Source #

Instance details

type LedgerCfg (LedgerState ByronBlock) = Config

type LedgerErr (LedgerState ByronBlock) Source #

Instance details

type LedgerErr (LedgerState ByronBlock) = ChainValidationError

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 TxIn (LedgerState ByronBlock) Source #

Instance details

type TxIn (LedgerState ByronBlock) = Void

type TxOut (LedgerState ByronBlock) Source #

Instance details

type TxOut (LedgerState ByronBlock) = Void

type Rep (LedgerState ByronBlock mk) Source #

Instance details

type Rep (LedgerState ByronBlock mk) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-cardano-0.25.0.0-inplace" '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 {

}

type Rep (Ticked (LedgerState ByronBlock) mk) Source #

Instance details

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

newtype CanonicalTxIn '[ByronBlock] Source #

Instance details

newtype CanonicalTxIn '[ByronBlock] = ByronHFCTxIn {

getByronHFCTxIn ∷ Void

}

type HardForkTxOut '[ByronBlock] Source #

Instance details