Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Byron.Ledger.Block

Contents

Hash
Block
Header
Dealing with EBBs
Low-level API

Synopsis

newtype ByronHash = ByronHash {
- unByronHash ∷ HeaderHash
}
mkByronHash ∷ ABlockOrBoundaryHdr ByteString → ByronHash
data ByronBlock = ByronBlock {
- byronBlockRaw ∷ !(ABlockOrBoundary ByteString)
- byronBlockSlotNo ∷ !SlotNo
- byronBlockHash ∷ !ByronHash
}
annotateByronBlock ∷ EpochSlots → Block → ByronBlock
mkByronBlock ∷ EpochSlots → ABlockOrBoundary ByteString → ByronBlock
data family Header blk
mkBoundaryByronHeader ∷ SlotNo → ABoundaryHeader ByteString → SizeInBytes → Header ByronBlock
mkByronHeader ∷ EpochSlots → ABlockOrBoundaryHdr ByteString → SizeInBytes → Header ByronBlock
mkRegularByronHeader ∷ AHeader ByteString → SizeInBytes → Header ByronBlock
byronBlockIsEBB ∷ ByronBlock → IsEBB
byronHeaderIsEBB ∷ Header ByronBlock → IsEBB
knownEBBs ∷ Map (HeaderHash ByronBlock) (ChainHash ByronBlock)
data UnsizedHeader = UnsizedHeader {
- unsizedHeaderRaw ∷ !(ABlockOrBoundaryHdr ByteString)
- unsizedHeaderSlotNo ∷ !SlotNo
- unsizedHeaderHash ∷ !ByronHash
}
joinSizeHint ∷ UnsizedHeader → SizeInBytes → Header ByronBlock
mkUnsizedHeader ∷ EpochSlots → ABlockOrBoundaryHdr ByteString → UnsizedHeader
splitSizeHint ∷ Header ByronBlock → (UnsizedHeader, SizeInBytes)

Hash

newtype ByronHash Source #

Constructors

ByronHash
Fields unByronHash ∷ HeaderHash

Instances

Instances details

Generic ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Associated Types type Rep ByronHash ∷ Type → Type # Methods from ∷ ByronHash → Rep ByronHash x # to ∷ Rep ByronHash x → ByronHash #
Show ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showsPrec ∷ Int → ByronHash → ShowS # show ∷ ByronHash → String # showList ∷ [ByronHash] → ShowS #
DecCBOR ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods decCBOR ∷ Decoder s ByronHash Source # dropCBOR ∷ Proxy ByronHash → Decoder s () Source # label ∷ Proxy ByronHash → Text Source #
EncCBOR ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods encCBOR ∷ ByronHash → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ByronHash → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ByronHash] → Size Source #
Eq ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods (==) ∷ ByronHash → ByronHash → Bool # (/=) ∷ ByronHash → ByronHash → Bool #
Ord ByronHash Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block 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 Defined in Ouroboros.Consensus.Byron.Ledger.Block 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 Defined in Ouroboros.Consensus.Byron.Ledger.Block 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 Defined in Ouroboros.Consensus.Byron.Ledger.Block type Rep ByronHash = D1 ('MetaData "ByronHash" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-cardano-0.16.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 Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showsPrec ∷ Int → ByronBlock → ShowS # show ∷ ByronBlock → String # showList ∷ [ByronBlock] → ShowS #
Eq ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods (==) ∷ ByronBlock → ByronBlock → Bool # (/=) ∷ ByronBlock → ByronBlock → Bool #
ConvertRawHash ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block 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 Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods getHeader ∷ ByronBlock → Header ByronBlock Source # blockMatchesHeader ∷ Header ByronBlock → ByronBlock → Bool Source # headerIsEBB ∷ Header ByronBlock → Maybe EpochNo Source #
GetPrevHash ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods headerPrevHash ∷ Header ByronBlock → ChainHash ByronBlock Source #
BlockSupportsDiffusionPipelining ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node Associated Types type TentativeHeaderState ByronBlock Source # type TentativeHeaderView ByronBlock Source # Methods initialTentativeHeaderState ∷ Proxy ByronBlock → TentativeHeaderState ByronBlock Source # tentativeHeaderView ∷ BlockConfig ByronBlock → Header ByronBlock → TentativeHeaderView ByronBlock Source # applyTentativeHeaderView ∷ Proxy ByronBlock → TentativeHeaderView ByronBlock → TentativeHeaderState ByronBlock → Maybe (TentativeHeaderState ByronBlock) Source #
BlockSupportsMetrics ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node Methods isSelfIssued ∷ BlockConfig ByronBlock → Header ByronBlock → WhetherSelfIssued Source #
BlockSupportsProtocol ByronBlock 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 #
ConfigSupportsNode ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node Methods getSystemStart ∷ BlockConfig ByronBlock → SystemStart Source # getNetworkMagic ∷ BlockConfig ByronBlock → NetworkMagic Source #
HasHardForkHistory ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Associated Types type HardForkIndices ByronBlock ∷ [Type] Source # Methods hardForkSummary ∷ LedgerConfig ByronBlock → LedgerState ByronBlock → Summary (HardForkIndices ByronBlock) Source #
NoHardForks ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Cardano.ByronHFC Methods getEraParams ∷ TopLevelConfig ByronBlock → EraParams Source # toPartialLedgerConfig ∷ proxy ByronBlock → LedgerConfig ByronBlock → PartialLedgerConfig ByronBlock Source #
SingleEraBlock ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork Methods singleEraTransition ∷ PartialLedgerConfig ByronBlock → EraParams → Bound → LedgerState ByronBlock → Maybe EpochNo Source # singleEraInfo ∷ proxy ByronBlock → SingleEraInfo ByronBlock Source #
CondenseConstraints ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Cardano.Condense
HasPartialLedgerConfig ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork Associated Types type PartialLedgerConfig ByronBlock Source # Methods completeLedgerConfig ∷ proxy ByronBlock → EpochInfo (Except PastHorizonException) → PartialLedgerConfig ByronBlock → LedgerConfig ByronBlock Source #
SerialiseConstraintsHFC ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Cardano.Node
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 Source # 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 Source # Methods additionalEnvelopeChecks ∷ TopLevelConfig ByronBlock → LedgerView (BlockProtocol ByronBlock) → Header ByronBlock → Except (OtherHeaderEnvelopeError ByronBlock) () Source #
UpdateLedger ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger
CommonProtocolParams ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods maxHeaderSize ∷ LedgerState ByronBlock → Word32 Source # maxTxSize ∷ LedgerState ByronBlock → Word32 Source #
InspectLedger ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Inspect Associated Types type LedgerWarning ByronBlock Source # type LedgerUpdate ByronBlock Source # Methods inspectLedger ∷ TopLevelConfig ByronBlock → LedgerState ByronBlock → LedgerState ByronBlock → [LedgerEvent ByronBlock] Source #
BlockSupportsLedgerQuery ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods answerBlockQuery ∷ ExtLedgerCfg ByronBlock → BlockQuery ByronBlock result → ExtLedgerState ByronBlock → result Source #
HasTxs ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Methods extractTxs ∷ ByronBlock → [GenTx ByronBlock] Source #
LedgerSupportsMempool 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 → Except (ApplyTxErr ByronBlock) (TickedLedgerState ByronBlock, Validated (GenTx ByronBlock)) Source # reapplyTx ∷ LedgerConfig ByronBlock → SlotNo → Validated (GenTx ByronBlock) → TickedLedgerState ByronBlock → Except (ApplyTxErr ByronBlock) (TickedLedgerState ByronBlock) Source # txsMaxBytes ∷ TickedLedgerState ByronBlock → Word32 Source # txInBlockSize ∷ GenTx ByronBlock → Word32 Source # txForgetValidated ∷ Validated (GenTx ByronBlock) → GenTx ByronBlock Source #
LedgerSupportsPeerSelection ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods getPeers ∷ LedgerState ByronBlock → [(PoolStake, NonEmpty StakePoolRelay)] Source #
LedgerSupportsProtocol ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods protocolLedgerView ∷ LedgerConfig ByronBlock → Ticked (LedgerState ByronBlock) → LedgerView (BlockProtocol ByronBlock) Source # ledgerViewForecastAt ∷ LedgerConfig ByronBlock → LedgerState ByronBlock → Forecast (LedgerView (BlockProtocol ByronBlock)) Source #
TxLimits ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Associated Types type TxMeasure ByronBlock Source # Methods txMeasure ∷ Validated (GenTx ByronBlock) → TxMeasure ByronBlock Source # txsBlockCapacity ∷ Ticked (LedgerState ByronBlock) → TxMeasure ByronBlock Source #
NodeInitStorage ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node Methods nodeImmutableDbChunkInfo ∷ StorageConfig ByronBlock → ChunkInfo Source # nodeCheckIntegrity ∷ StorageConfig ByronBlock → ByronBlock → Bool Source # nodeInitChainDB ∷ IOLike m ⇒ StorageConfig ByronBlock → InitChainDB m ByronBlock → m () Source #
HasNetworkProtocolVersion ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion Associated Types type BlockNodeToNodeVersion ByronBlock Source # type BlockNodeToClientVersion ByronBlock Source #
SupportedNetworkProtocolVersion ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.NetworkProtocolVersion Methods supportedNodeToNodeVersions ∷ Proxy ByronBlock → Map NodeToNodeVersion (BlockNodeToNodeVersion ByronBlock) Source # supportedNodeToClientVersions ∷ Proxy ByronBlock → Map NodeToClientVersion (BlockNodeToClientVersion ByronBlock) Source # latestReleasedNodeVersion ∷ Proxy ByronBlock → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #
SupportedNetworkProtocolVersion ByronBlockHFC Source #	Forward to the ByronBlock instance. Only supports `HardForkNodeToNodeDisabled`, which is compatible with nodes running with `ByronBlock`.
Instance details Defined in Ouroboros.Consensus.Cardano.ByronHFC Methods supportedNodeToNodeVersions ∷ Proxy ByronBlockHFC → Map NodeToNodeVersion (BlockNodeToNodeVersion ByronBlockHFC) Source # supportedNodeToClientVersions ∷ Proxy ByronBlockHFC → Map NodeToClientVersion (BlockNodeToClientVersion ByronBlockHFC) Source # latestReleasedNodeVersion ∷ Proxy ByronBlockHFC → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #
RunNode ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node
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 Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods condense ∷ ByronBlock → String Source #
HasHeader ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block 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 #
SerialiseNodeToClient ByronBlock ApplyMempoolPayloadErr 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 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 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 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 Defined in Ouroboros.Consensus.Byron.Ledger.Block
ShowProxy ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showProxy ∷ Proxy ByronBlock → String 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 #
SerialiseResult ByronBlock (BlockQuery ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeResult ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → BlockQuery ByronBlock result → result → Encoding Source # decodeResult ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → BlockQuery ByronBlock result → ∀ s. Decoder s result 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 (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods decodeDisk ∷ CodecConfig ByronBlock → ∀ s. Decoder s (LedgerState 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 (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeDisk ∷ CodecConfig ByronBlock → LedgerState 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 Defined in Ouroboros.Consensus.Byron.Ledger.Block 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 (ByteString → ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods decodeDisk ∷ CodecConfig ByronBlock → ∀ s. Decoder s (ByteString → ByronBlock) Source #
SerialiseNodeToClient ByronBlock (SomeSecond BlockQuery ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → SomeSecond BlockQuery ByronBlock → Encoding Source # decodeNodeToClient ∷ CodecConfig ByronBlock → BlockNodeToClientVersion ByronBlock → ∀ s. Decoder s (SomeSecond BlockQuery ByronBlock) Source #
Generic (BlockConfig ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config Associated Types type Rep (BlockConfig ByronBlock) ∷ Type → Type # Methods from ∷ BlockConfig ByronBlock → Rep (BlockConfig ByronBlock) x # to ∷ Rep (BlockConfig ByronBlock) x → BlockConfig ByronBlock #
Generic (CodecConfig ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config Associated Types type Rep (CodecConfig ByronBlock) ∷ Type → Type # Methods from ∷ CodecConfig ByronBlock → Rep (CodecConfig ByronBlock) x # to ∷ Rep (CodecConfig ByronBlock) x → CodecConfig ByronBlock #
Generic (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Associated Types type Rep (Header ByronBlock) ∷ Type → Type # Methods from ∷ Header ByronBlock → Rep (Header ByronBlock) x # to ∷ Rep (Header ByronBlock) x → Header ByronBlock #
Generic (StorageConfig ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config Associated Types type Rep (StorageConfig ByronBlock) ∷ Type → Type # 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)) ∷ Type → Type # Methods from ∷ Validated (GenTx ByronBlock) → Rep (Validated (GenTx ByronBlock)) x # to ∷ Rep (Validated (GenTx ByronBlock)) x → Validated (GenTx ByronBlock) #
Generic (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Associated Types type Rep (LedgerState ByronBlock) ∷ Type → Type # Methods from ∷ LedgerState ByronBlock → Rep (LedgerState ByronBlock) x # to ∷ Rep (LedgerState ByronBlock) x → LedgerState ByronBlock #
Generic (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool Associated Types type Rep (GenTx ByronBlock) ∷ Type → Type # Methods from ∷ GenTx ByronBlock → Rep (GenTx ByronBlock) x # to ∷ Rep (GenTx ByronBlock) x → GenTx ByronBlock #
Generic (Ticked (LedgerState ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Associated Types type Rep (Ticked (LedgerState ByronBlock)) ∷ Type → Type # Methods from ∷ Ticked (LedgerState ByronBlock) → Rep (Ticked (LedgerState ByronBlock)) x # to ∷ Rep (Ticked (LedgerState ByronBlock)) x → Ticked (LedgerState ByronBlock) #
Show (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showsPrec ∷ Int → Header ByronBlock → ShowS # show ∷ Header ByronBlock → String # showList ∷ [Header 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 (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showsPrec ∷ Int → LedgerState ByronBlock → ShowS # show ∷ LedgerState ByronBlock → String # showList ∷ [LedgerState 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 Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods (==) ∷ Header ByronBlock → Header ByronBlock → Bool # (/=) ∷ Header ByronBlock → Header 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 (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods (==) ∷ LedgerState ByronBlock → LedgerState ByronBlock → Bool # (/=) ∷ LedgerState ByronBlock → LedgerState 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 (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) #
NoThunks (BlockConfig ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config 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 Defined in Ouroboros.Consensus.Byron.Ledger.Config 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 Defined in Ouroboros.Consensus.Byron.Ledger.Block 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 Defined in Ouroboros.Consensus.Byron.Ledger.Config Methods noThunks ∷ Context → StorageConfig ByronBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig ByronBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig 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 (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods noThunks ∷ Context → LedgerState ByronBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState ByronBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState 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 #
NoThunks (Ticked (LedgerState ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods noThunks ∷ Context → Ticked (LedgerState ByronBlock) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState ByronBlock) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState ByronBlock)) → String Source #
CardanoHardForkConstraints c ⇒ CanHardFork (CardanoEras c) Source #
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork Methods hardForkEraTranslation ∷ EraTranslation (CardanoEras c) Source # hardForkChainSel ∷ Tails AcrossEraSelection (CardanoEras c) Source # hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) Source #
CardanoHardForkConstraints c ⇒ CondenseConstraints (CardanoBlock c) Source #
Instance details Defined in Ouroboros.Consensus.Cardano.Condense
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 Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods getTip ∷ LedgerState ByronBlock → Point (LedgerState ByronBlock) Source #
GetTip (Ticked (LedgerState ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods getTip ∷ Ticked (LedgerState ByronBlock) → Point (Ticked (LedgerState ByronBlock)) Source #
IsLedger (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Associated Types type LedgerErr (LedgerState ByronBlock) Source # type AuxLedgerEvent (LedgerState ByronBlock) Source # Methods applyChainTickLedgerResult ∷ LedgerCfg (LedgerState ByronBlock) → SlotNo → LedgerState ByronBlock → LedgerResult (LedgerState ByronBlock) (Ticked (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 #
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 Defined in Ouroboros.Consensus.Byron.Ledger.Block 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 #
SameDepIndex (BlockQuery ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods sameDepIndex ∷ BlockQuery ByronBlock a → BlockQuery ByronBlock b → Maybe (a :~: b) Source #
HasHeader (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods getHeaderFields ∷ Header ByronBlock → HeaderFields (Header ByronBlock) Source #
ShowQuery (BlockQuery ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showResult ∷ BlockQuery ByronBlock result → result → String Source #
ApplyBlock (LedgerState ByronBlock) ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods applyBlockLedgerResult ∷ LedgerCfg (LedgerState ByronBlock) → ByronBlock → Ticked (LedgerState ByronBlock) → Except (LedgerErr (LedgerState ByronBlock)) (LedgerResult (LedgerState ByronBlock) (LedgerState ByronBlock)) Source # reapplyBlockLedgerResult ∷ LedgerCfg (LedgerState ByronBlock) → ByronBlock → Ticked (LedgerState ByronBlock) → LedgerResult (LedgerState ByronBlock) (LedgerState ByronBlock) 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 #
Show (BlockQuery ByronBlock result) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showsPrec ∷ Int → BlockQuery ByronBlock result → ShowS # show ∷ BlockQuery ByronBlock result → String # showList ∷ [BlockQuery ByronBlock result] → ShowS #
Eq (BlockQuery ByronBlock result) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods (==) ∷ BlockQuery ByronBlock result → BlockQuery ByronBlock result → Bool # (/=) ∷ BlockQuery ByronBlock result → BlockQuery ByronBlock result → Bool #
SameDepIndex (NestedCtxt_ ByronBlock f) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Serialisation Methods sameDepIndex ∷ NestedCtxt_ ByronBlock f a → NestedCtxt_ ByronBlock f b → Maybe (a :~: b) Source #
ShowProxy (BlockQuery ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger Methods showProxy ∷ Proxy (BlockQuery ByronBlock) → String Source #
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 #
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 Defined in Ouroboros.Consensus.Cardano.ByronHFC 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 Defined in Ouroboros.Consensus.Byron.Ledger.Config 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 Defined in Ouroboros.Consensus.Byron.Ledger.Config newtype CodecConfig ByronBlock = ByronCodecConfig { getByronEpochSlots ∷ EpochSlots }
data Header ByronBlock Source #	Byron header See `ByronBlock` for comments on why we cache certain values.
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block data Header ByronBlock = ByronHeader { byronHeaderRaw ∷ !(ABlockOrBoundaryHdr ByteString) byronHeaderSlotNo ∷ !SlotNo byronHeaderHash ∷ !ByronHash byronHeaderBlockSizeHint ∷ !SizeInBytes }
newtype StorageConfig ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config newtype StorageConfig ByronBlock = ByronStorageConfig { getByronBlockConfig ∷ BlockConfig ByronBlock }
type CannotForge ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node type CannotForge ByronBlock = PBftCannotForge PBftByronCrypto
type ForgeStateInfo ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node type ForgeStateInfo ByronBlock = ()
type ForgeStateUpdateError ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node 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 Defined in Ouroboros.Consensus.Byron.Node type TentativeHeaderState ByronBlock = TentativeHeaderState (SelectViewDiffusionPipelining ByronBlock)
type TentativeHeaderView ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Node type TentativeHeaderView ByronBlock = TentativeHeaderView (SelectViewDiffusionPipelining ByronBlock)
type HardForkIndices ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type HardForkIndices ByronBlock = '[ByronBlock]
type PartialLedgerConfig ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Cardano.CanHardFork 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 Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger data LedgerState ByronBlock = 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 a Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger data BlockQuery ByronBlock a where GetUpdateInterfaceState ∷ BlockQuery ByronBlock 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 = ByteSize
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
data ProtocolParams ByronBlock Source #	Parameters needed to run Byron
Instance details Defined in Ouroboros.Consensus.Byron.Node data ProtocolParams ByronBlock = ProtocolParamsByron { byronGenesis ∷ Config byronPbftSignatureThreshold ∷ Maybe PBftSignatureThreshold byronProtocolVersion ∷ ProtocolVersion byronSoftwareVersion ∷ SoftwareVersion byronLeaderCredentials ∷ Maybe ByronLeaderCredentials byronMaxTxCapacityOverrides ∷ TxOverrides ByronBlock }
type HeaderHash ByronBlock Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block type HeaderHash ByronBlock = ByronHash
type Rep (BlockConfig ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config type Rep (BlockConfig ByronBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-cardano-0.16.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 Defined in Ouroboros.Consensus.Byron.Ledger.Config type Rep (CodecConfig ByronBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-cardano-0.16.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 Defined in Ouroboros.Consensus.Byron.Ledger.Block type Rep (Header ByronBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-cardano-0.16.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 Defined in Ouroboros.Consensus.Byron.Ledger.Config type Rep (StorageConfig ByronBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-cardano-0.16.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.16.0.0-inplace" 'True) (C1 ('MetaCons "ValidatedByronTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronBlock))))
type Rep (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type Rep (LedgerState ByronBlock) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-cardano-0.16.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))))
type Rep (GenTx ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type Rep (GenTx ByronBlock) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-cardano-0.16.0.0-inplace" 'False) ((C1 ('MetaCons "ByronTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ATxAux ByteString))) :+: C1 ('MetaCons "ByronDlg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CertificateId) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ACertificate ByteString)))) :+: (C1 ('MetaCons "ByronUpdateProposal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpId) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AProposal ByteString))) :+: C1 ('MetaCons "ByronUpdateVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VoteId) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AVote ByteString)))))
type Rep (Ticked (LedgerState ByronBlock)) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type Rep (Ticked (LedgerState ByronBlock)) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-cardano-0.16.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 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 Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type AuxLedgerEvent (LedgerState ByronBlock) = VoidLedgerEvent (LedgerState ByronBlock)
type LedgerCfg (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type LedgerCfg (LedgerState ByronBlock) = Config
type LedgerErr (LedgerState ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger 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
data ProtocolParams (CardanoBlock c) Source #	Parameters needed to run Cardano.
Instance details Defined in Ouroboros.Consensus.Cardano.Node data ProtocolParams (CardanoBlock c) = ProtocolParamsCardano { cardanoProtocolParamsPerEra ∷ PerEraProtocolParams (CardanoEras c) shelleyBasedProtocolParams ∷ ProtocolParamsShelleyBased c cardanoHardForkTriggers ∷ CardanoHardForkTriggers cardanoLedgerTransitionConfig ∷ TransitionConfig (LatestKnownEra c) cardanoCheckpoints ∷ CheckpointsMap (CardanoBlock c) }
data Ticked (LedgerState ByronBlock) Source #	The ticked Byron ledger state
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger data Ticked (LedgerState ByronBlock) = TickedByronLedgerState { tickedByronLedgerState ∷ !ChainValidationState untickedByronLedgerTransition ∷ !ByronTransition }

annotateByronBlock ∷ EpochSlots → Block → ByronBlock Source #

Construct Byron block from unannotated Block

This should be used only when forging blocks (not when receiving blocks over the wire).

mkByronBlock ∷ EpochSlots → ABlockOrBoundary ByteString → ByronBlock Source #

Header

data family Header blk Source #

Instances

mkBoundaryByronHeader ∷ SlotNo → ABoundaryHeader ByteString → SizeInBytes → Header ByronBlock Source #

mkByronHeader Source #

Arguments

∷ EpochSlots
→ ABlockOrBoundaryHdr ByteString
→ SizeInBytes	Block size hint
→ Header ByronBlock

mkRegularByronHeader ∷ AHeader ByteString → SizeInBytes → Header ByronBlock Source #

Dealing with EBBs

byronBlockIsEBB ∷ ByronBlock → IsEBB Source #

byronHeaderIsEBB ∷ Header ByronBlock → IsEBB Source #

knownEBBs ∷ Map (HeaderHash ByronBlock) (ChainHash ByronBlock) Source #

Low-level API

data UnsizedHeader Source #

Header without a size hint

Defined in order to support backwards compatible binary encodings.

Constructors

UnsizedHeader
Fields unsizedHeaderRaw ∷ !(ABlockOrBoundaryHdr ByteString) unsizedHeaderSlotNo ∷ !SlotNo unsizedHeaderHash ∷ !ByronHash

joinSizeHint ∷ UnsizedHeader → SizeInBytes → Header ByronBlock Source #

mkUnsizedHeader ∷ EpochSlots → ABlockOrBoundaryHdr ByteString → UnsizedHeader Source #

splitSizeHint ∷ Header ByronBlock → (UnsizedHeader, SizeInBytes) Source #

Inject Header
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → Header x → Header (HardForkBlock xs) 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 #
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 #
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 #
HasHeader blk ⇒ StandardHash (Header blk ∷ Type)
Instance details Defined in Ouroboros.Consensus.Block.Abstract
ShowProxy (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showProxy ∷ Proxy (Header ByronBlock) → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (Header (ShelleyBlock proto era) ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showProxy ∷ Proxy (Header (ShelleyBlock proto era)) → String Source #
ShelleyBasedEra era ⇒ ReconstructNestedCtxt Header (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods reconstructPrefixLen ∷ proxy (Header (ShelleyBlock proto era)) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header (ShelleyBlock proto era)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (ShelleyBlock proto era) Source #
Generic (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Associated Types type Rep (Header ByronBlock) ∷ Type → Type # Methods from ∷ Header ByronBlock → Rep (Header ByronBlock) x # to ∷ Rep (Header ByronBlock) x → Header ByronBlock #
Generic (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Associated Types type Rep (Header (ShelleyBlock proto era)) ∷ Type → Type # Methods from ∷ Header (ShelleyBlock proto era) → Rep (Header (ShelleyBlock proto era)) x # to ∷ Rep (Header (ShelleyBlock proto era)) x → Header (ShelleyBlock proto era) #
Show (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showsPrec ∷ Int → Header ByronBlock → ShowS # show ∷ Header ByronBlock → String # showList ∷ [Header ByronBlock] → ShowS #
ShelleyCompatible proto era ⇒ Show (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showsPrec ∷ Int → Header (ShelleyBlock proto era) → ShowS # show ∷ Header (ShelleyBlock proto era) → String # showList ∷ [Header (ShelleyBlock proto era)] → ShowS #
ShelleyCompatible proto era ⇒ DecCBOR (Annotator (Header (ShelleyBlock proto era))) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods decCBOR ∷ Decoder s (Annotator (Header (ShelleyBlock proto era))) Source # dropCBOR ∷ Proxy (Annotator (Header (ShelleyBlock proto era))) → Decoder s () Source # label ∷ Proxy (Annotator (Header (ShelleyBlock proto era))) → Text Source #
ShelleyCompatible proto era ⇒ EncCBOR (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods encCBOR ∷ Header (ShelleyBlock proto era) → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Header (ShelleyBlock proto era)) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Header (ShelleyBlock proto era)] → Size Source #
Eq (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods (==) ∷ Header ByronBlock → Header ByronBlock → Bool # (/=) ∷ Header ByronBlock → Header ByronBlock → Bool #
ShelleyCompatible proto era ⇒ Eq (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods (==) ∷ Header (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Bool # (/=) ∷ Header (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Bool #
NoThunks (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods noThunks ∷ Context → Header ByronBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header ByronBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header ByronBlock) → String Source #
ShelleyCompatible proto era ⇒ NoThunks (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods noThunks ∷ Context → Header (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (ShelleyBlock proto era) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (ShelleyBlock proto era)) → String Source #
SignedHeader (ShelleyProtocolHeader proto) ⇒ SignedHeader (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol Methods headerSigned ∷ Header (ShelleyBlock proto era) → Signed (Header (ShelleyBlock proto era)) Source #
Condense (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods condense ∷ Header ByronBlock → String Source #
ShelleyCompatible proto era ⇒ Condense (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods condense ∷ Header (ShelleyBlock proto era) → String Source #
HasHeader (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods getHeaderFields ∷ Header ByronBlock → HeaderFields (Header ByronBlock) Source #
ShelleyCompatible proto era ⇒ HasHeader (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeaderFields ∷ Header (ShelleyBlock proto era) → HeaderFields (Header (ShelleyBlock proto era)) 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 #
ShelleyCompatible proto era ⇒ DecodeDiskDep (NestedCtxt Header) (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDiskDep ∷ CodecConfig (ShelleyBlock proto era) → NestedCtxt Header (ShelleyBlock proto era) a → ∀ s. Decoder s (ByteString → a) Source #
ShelleyBasedEra era ⇒ DecodeDiskDepIx (NestedCtxt Header) (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDiskDepIx ∷ CodecConfig (ShelleyBlock proto era) → Decoder s (SomeSecond (NestedCtxt Header) (ShelleyBlock proto era)) Source #
ShelleyCompatible proto era ⇒ EncodeDiskDep (NestedCtxt Header) (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDiskDep ∷ CodecConfig (ShelleyBlock proto era) → NestedCtxt Header (ShelleyBlock proto era) a → a → Encoding Source #
ShelleyBasedEra era ⇒ EncodeDiskDepIx (NestedCtxt Header) (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDiskDepIx ∷ CodecConfig (ShelleyBlock proto era) → SomeSecond (NestedCtxt Header) (ShelleyBlock proto era) → Encoding Source #
ShelleyCompatible proto era ⇒ SerialiseNodeToNode (ShelleyBlock proto era) (Header (ShelleyBlock proto era)) Source #	CBOR-in-CBOR to be compatible with the wrapped (`Serialised`) variant.
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Encoding Source # decodeNodeToNode ∷ CodecConfig (ShelleyBlock proto era) → BlockNodeToNodeVersion (ShelleyBlock proto era) → ∀ s. Decoder s (Header (ShelleyBlock proto era)) Source #
ShelleyCompatible proto era ⇒ EncodeDisk (ShelleyBlock proto era) (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods encodeDisk ∷ CodecConfig (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Encoding Source #
ShelleyCompatible proto era ⇒ DecodeDisk (ShelleyBlock proto era) (ByteString → Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Serialisation Methods decodeDisk ∷ CodecConfig (ShelleyBlock proto era) → ∀ s. Decoder s (ByteString → Header (ShelleyBlock proto era)) Source #
data Header ByronBlock Source #	Byron header See `ByronBlock` for comments on why we cache certain values.
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block data Header ByronBlock = ByronHeader { byronHeaderRaw ∷ !(ABlockOrBoundaryHdr ByteString) byronHeaderSlotNo ∷ !SlotNo byronHeaderHash ∷ !ByronHash byronHeaderBlockSizeHint ∷ !SizeInBytes }
type HeaderHash (Header blk ∷ Type)
Instance details Defined in Ouroboros.Consensus.Block.Abstract type HeaderHash (Header blk ∷ Type) = HeaderHash blk
type Rep (Header ByronBlock) Source #
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block type Rep (Header ByronBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-cardano-0.16.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 (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block type Rep (Header (ShelleyBlock proto era)) = D1 ('MetaData "Header" "Ouroboros.Consensus.Shelley.Ledger.Block" "ouroboros-consensus-cardano-0.16.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyProtocolHeader proto)) :*: S1 ('MetaSel ('Just "shelleyHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyHash (ProtoCrypto proto)))))
type BlockProtocol (Header blk)
Instance details Defined in Ouroboros.Consensus.Block.Abstract type BlockProtocol (Header blk) = BlockProtocol blk
newtype Header (DisableDiffusionPipelining blk)
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype Header (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningHeader (Header blk)
newtype Header (SelectViewDiffusionPipelining blk)
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype Header (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningHeader (Header blk)
newtype Header (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block newtype Header (HardForkBlock xs) = HardForkHeader { getHardForkHeader ∷ OneEraHeader xs }
type Signed (Header (ShelleyBlock proto era)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol type Signed (Header (ShelleyBlock proto era)) = Signed (ShelleyProtocolHeader proto)
data Header (ShelleyBlock proto era) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block data Header (ShelleyBlock proto era) = ShelleyHeader { shelleyHeaderRaw ∷ !(ShelleyProtocolHeader proto) shelleyHeaderHash ∷ !(ShelleyHash (ProtoCrypto proto)) }