Documentation

Associated Types

type Rep BlockB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep BlockB = D1 ('MetaData "BlockB" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "BlkB" 'PrefixI 'True) (S1 ('MetaSel ('Just "blkB_header") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Header BlockB))))

Methods

from ∷ BlockB → Rep BlockB x #

to ∷ Rep BlockB x → BlockB #

Show BlockB Source #

Instance details

Methods

showsPrec ∷ Int → BlockB → ShowS #

show ∷ BlockB → String #

showList ∷ [BlockB] → ShowS #

Eq BlockB Source #

Instance details

Methods

(==) ∷ BlockB → BlockB → Bool #

(/=) ∷ BlockB → BlockB → Bool #

NoThunks BlockB Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy BlockB → String Source #

ConvertRawHash BlockB Source #

Instance details

Methods

toRawHash ∷ proxy BlockB → HeaderHash BlockB → ByteString Source #

fromRawHash ∷ proxy BlockB → ByteString → HeaderHash BlockB Source #

toShortRawHash ∷ proxy BlockB → HeaderHash BlockB → ShortByteString Source #

fromShortRawHash ∷ proxy BlockB → ShortByteString → HeaderHash BlockB Source #

hashSize ∷ proxy BlockB → Word32 Source #

GetHeader BlockB Source #

Instance details

Methods

getHeader ∷ BlockB → Header BlockB Source #

blockMatchesHeader ∷ Header BlockB → BlockB → Bool Source #

headerIsEBB ∷ Header BlockB → Maybe EpochNo Source #

GetPrevHash BlockB Source #

Instance details

BlockSupportsDiffusionPipelining BlockB Source #

Methods

headerPrevHash ∷ Header BlockB → ChainHash BlockB Source #

Instance details

Associated Types

type TentativeHeaderState BlockB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type TentativeHeaderState BlockB = TentativeHeaderState (SelectViewDiffusionPipelining BlockB)
type TentativeHeaderView BlockB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type TentativeHeaderView BlockB = TentativeHeaderView (SelectViewDiffusionPipelining BlockB)

Methods

initialTentativeHeaderState ∷ Proxy BlockB → TentativeHeaderState BlockB Source #

tentativeHeaderView ∷ BlockConfig BlockB → Header BlockB → TentativeHeaderView BlockB Source #

applyTentativeHeaderView ∷ Proxy BlockB → TentativeHeaderView BlockB → TentativeHeaderState BlockB → Maybe (TentativeHeaderState BlockB) Source #

BlockSupportsMetrics BlockB Source #

Instance details

Methods

isSelfIssued ∷ BlockConfig BlockB → Header BlockB → WhetherSelfIssued Source #

BlockSupportsProtocol BlockB Source #

Instance details

Methods

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

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

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

ConfigSupportsNode BlockB Source #

Instance details

Methods

getSystemStart ∷ BlockConfig BlockB → SystemStart Source #

getNetworkMagic ∷ BlockConfig BlockB → NetworkMagic Source #

SingleEraBlock BlockB Source #

Instance details

Methods

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

singleEraInfo ∷ proxy BlockB → SingleEraInfo BlockB Source #

CondenseConstraints BlockB Source #

Instance details

HasPartialLedgerConfig BlockB Source #

Instance details

SerialiseConstraintsHFC BlockB Source #

Associated Types

type PartialLedgerConfig BlockB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type PartialLedgerConfig BlockB = LedgerConfig BlockB

Methods

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

Instance details

BasicEnvelopeValidation BlockB Source #

Instance details

Methods

expectedFirstBlockNo ∷ proxy BlockB → BlockNo Source #

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

minimumPossibleSlotNo ∷ Proxy BlockB → SlotNo Source #

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

HasAnnTip BlockB Source #

Instance details

Associated Types

type TipInfo BlockB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type TipInfo BlockB = HeaderHash BlockB

Methods

getTipInfo ∷ Header BlockB → TipInfo BlockB Source #

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

ValidateEnvelope BlockB Source #

Instance details

Associated Types

type OtherHeaderEnvelopeError BlockB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type OtherHeaderEnvelopeError BlockB = Void

Methods

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

GetBlockKeySets BlockB Source #

Instance details

Methods

getBlockKeySets ∷ BlockB → LedgerTables BlockB KeysMK Source #

UpdateLedger BlockB Source #

Instance details

CommonProtocolParams BlockB Source #

Instance details

Methods

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

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

InspectLedger BlockB Source #

Instance details

BlockSupportsLedgerQuery BlockB Source #

Associated Types

type LedgerWarning BlockB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type LedgerWarning BlockB = Void
type LedgerUpdate BlockB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type LedgerUpdate BlockB = Void

Methods

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

Instance details

Methods

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

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

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

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

HasTxs BlockB Source #

Instance details

Methods

extractTxs ∷ BlockB → [GenTx BlockB] Source #

LedgerSupportsMempool BlockB Source #

Instance details

Methods

txInvariant ∷ GenTx BlockB → Bool Source #

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

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

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

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

getTransactionKeySets ∷ GenTx BlockB → LedgerTables BlockB KeysMK Source #

prependMempoolDiffs ∷ TickedLedgerState BlockB DiffMK → TickedLedgerState BlockB DiffMK → TickedLedgerState BlockB DiffMK Source #

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

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

TxLimits BlockB Source #

Instance details

LedgerSupportsPeerSelection BlockB Source #

Associated Types

type TxMeasure BlockB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type TxMeasure BlockB = IgnoringOverflow ByteSize32

Methods

txWireSize ∷ GenTx BlockB → SizeInBytes Source #

txMeasure ∷ LedgerConfig BlockB → TickedLedgerState BlockB ValuesMK → GenTx BlockB → Except (ApplyTxErr BlockB) (TxMeasure BlockB) Source #

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

Instance details

Methods

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

LedgerSupportsPeras BlockB Source #

Instance details

Methods

getLatestPerasCertRound ∷ ∀ (mk ∷ MapKind). LedgerState BlockB mk → Maybe PerasRoundNo Source #

LedgerSupportsProtocol BlockB Source #

Instance details

Methods

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

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

NodeInitStorage BlockB Source #

Instance details

HasNetworkProtocolVersion BlockB Source #

Methods

nodeImmutableDbChunkInfo ∷ StorageConfig BlockB → ChunkInfo Source #

nodeCheckIntegrity ∷ StorageConfig BlockB → BlockB → Bool Source #

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

Instance details

SerialiseNodeToClientConstraints BlockB Source #

Associated Types

type BlockNodeToNodeVersion BlockB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type BlockNodeToNodeVersion BlockB = ()
type BlockNodeToClientVersion BlockB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type BlockNodeToClientVersion BlockB = ()

Instance details

SerialiseNodeToNodeConstraints BlockB Source #

Instance details

SerialiseDiskConstraints BlockB Source #

Methods

estimateBlockSize ∷ Header BlockB → SizeInBytes Source #

Instance details

HasBinaryBlockInfo BlockB Source #

Instance details

Methods

getBinaryBlockInfo ∷ BlockB → BinaryBlockInfo Source #

Condense BlockB Source #

Instance details

Methods

condense ∷ BlockB → String Source #

HasHeader BlockB Source #

Instance details

Methods

getHeaderFields ∷ BlockB → HeaderFields BlockB #

Serialise BlockB Source #

Instance details

Methods

encode ∷ BlockB → Encoding Source #

decode ∷ Decoder s BlockB Source #

encodeList ∷ [BlockB] → Encoding Source #

decodeList ∷ Decoder s [BlockB] Source #

HasNestedContent Header BlockB Source #

Instance details

Methods

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

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

ApplyBlock LedgerState BlockB Source #

Instance details

Methods

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

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

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

IsLedger LedgerState BlockB Source #

Instance details

CanUpgradeLedgerTables LedgerState BlockB Source #

Associated Types

type LedgerErr LedgerState BlockB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type LedgerErr LedgerState BlockB = Void

Methods

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

Instance details

Methods

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

HasLedgerTables LedgerState BlockB Source #

Instance details

LedgerTablesAreTrivial LedgerState BlockB Source #

Methods

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

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

Instance details

SerializeTablesWithHint LedgerState BlockB Source #

Methods

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

Instance details

Methods

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

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

SerialiseNodeToClient BlockB SlotNo Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB Void Source #

Instance details

Methods

encodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → Void → Encoding Source #

decodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → ∀ s. Decoder s Void Source #

SerialiseNodeToClient BlockB BlockB Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB ByteString Source #

Instance details

Methods

encodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → ByteString → Encoding Source #

decodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → ∀ s. Decoder s ByteString Source #

SerialiseNodeToNode BlockB BlockB Source #

Instance details

Methods

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

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

DecodeDisk BlockB () Source #

Instance details

Methods

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

EncodeDisk BlockB BlockB Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockB → BlockB → Encoding Source #

EncodeDisk BlockB () Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockB → () → Encoding Source #

ReconstructNestedCtxt Header BlockB Source #

Instance details

Methods

reconstructPrefixLen ∷ proxy (Header BlockB) → PrefixLen Source #

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

StandardHash BlockB Source #

Instance details

SerialiseBlockQueryResult BlockB BlockQuery Source #

Instance details

Methods

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

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

IndexedMemPack LedgerState BlockB Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState BlockB EmptyMK → Void → Int Source #

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

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

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

SameDepIndex2 (BlockQuery BlockB) Source #

Instance details

Methods

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

SerializeTablesWithHint LedgerState (HardForkBlock '[BlockA, BlockB]) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB (SomeBlockQuery (BlockQuery BlockB)) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB (GenTx BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB (GenTxId BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (Header BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (GenTx BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (GenTxId BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (SerialisedHeader BlockB) Source #

Instance details

Methods

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

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

DecodeDisk BlockB (AnnTip BlockB) Source #

Instance details

Methods

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

EncodeDisk BlockB (Header BlockB) Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockB → Header BlockB → Encoding Source #

EncodeDisk BlockB (AnnTip BlockB) Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockB → AnnTip BlockB → Encoding Source #

IndexedMemPack LedgerState (HardForkBlock '[BlockA, BlockB]) (DefaultHardForkTxOut '[BlockA, BlockB]) Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → Unpack s b (DefaultHardForkTxOut '[BlockA, BlockB]) Source #

indexedTypeName ∷ Proxy (DefaultHardForkTxOut '[BlockA, BlockB]) → LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → String Source #

SerialiseNodeToClient BlockB (Serialised BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (Serialised BlockB) Source #

Instance details

Methods

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

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

DecodeDisk BlockB (LedgerState BlockB EmptyMK) Source #

Instance details

Methods

decodeDisk ∷ CodecConfig BlockB → ∀ s. Decoder s (LedgerState BlockB EmptyMK) Source #

DecodeDisk BlockB (ByteString → Either DecoderError BlockB) Source #

Instance details

Methods

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

DecodeDisk BlockB (ByteString → Header BlockB) Source #

Instance details

Methods

decodeDisk ∷ CodecConfig BlockB → ∀ s. Decoder s (ByteString → Header BlockB) Source #

EncodeDisk BlockB (LedgerState BlockB EmptyMK) Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockB → LedgerState BlockB EmptyMK → Encoding Source #

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

Instance details

Methods

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

TrivialDependency (NestedCtxt_ BlockB f ∷ Type → Type) Source #

Instance details

Methods

hasSingleIndex ∷ NestedCtxt_ BlockB f a → NestedCtxt_ BlockB f b → a :~: b Source #

indexIsTrivial ∷ NestedCtxt_ BlockB f (TrivialIndex (NestedCtxt_ BlockB f) ∷ Type) Source #

Generic (BlockConfig BlockB) Source #

Instance details

Associated Types

type Rep (BlockConfig BlockB)
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (BlockConfig BlockB) = D1 ('MetaData "BlockConfig" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "BCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (CodecConfig BlockB) Source #

Instance details

Associated Types

type Rep (CodecConfig BlockB)
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (CodecConfig BlockB) = D1 ('MetaData "CodecConfig" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "CCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (Header BlockB) Source #

Instance details

Associated Types

type Rep (Header BlockB)

Instance details

type Rep (Header BlockB) = D1 ('MetaData "Header" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "HdrB" 'PrefixI 'True) (S1 ('MetaSel ('Just "hdrB_fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderFields BlockB)) :*: S1 ('MetaSel ('Just "hdrB_prev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash BlockB))))

Methods

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

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

Generic (StorageConfig BlockB) Source #

Instance details

Associated Types

type Rep (StorageConfig BlockB)
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (StorageConfig BlockB) = D1 ('MetaData "StorageConfig" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "SCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (Validated (GenTx BlockB)) Source #

Instance details

Associated Types

type Rep (Validated (GenTx BlockB))
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (Validated (GenTx BlockB)) = D1 ('MetaData "Validated" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (V1 ∷ Type → Type)

Methods

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

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

Generic (GenTx BlockB) Source #

Instance details

Associated Types

type Rep (GenTx BlockB)
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (GenTx BlockB) = D1 ('MetaData "GenTx" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (V1 ∷ Type → Type)

Methods

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

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

Generic (TxId (GenTx BlockB)) Source #

Instance details

Associated Types

type Rep (TxId (GenTx BlockB))
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (TxId (GenTx BlockB)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (V1 ∷ Type → Type)

Methods

from ∷ TxId (GenTx BlockB) → Rep (TxId (GenTx BlockB)) x #

to ∷ Rep (TxId (GenTx BlockB)) x → TxId (GenTx BlockB) #

Show (Header BlockB) Source #

Instance details

Methods

showsPrec ∷ Int → Header BlockB → ShowS #

show ∷ Header BlockB → String #

showList ∷ [Header BlockB] → ShowS #

Show (CanonicalTxIn '[BlockA, BlockB]) Source #

Instance details

Methods

showsPrec ∷ Int → CanonicalTxIn '[BlockA, BlockB] → ShowS #

show ∷ CanonicalTxIn '[BlockA, BlockB] → String #

showList ∷ [CanonicalTxIn '[BlockA, BlockB]] → ShowS #

Show (Validated (GenTx BlockB)) Source #

Instance details

Methods

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

show ∷ Validated (GenTx BlockB) → String #

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

Show (GenTx BlockB) Source #

Instance details

Methods

showsPrec ∷ Int → GenTx BlockB → ShowS #

show ∷ GenTx BlockB → String #

showList ∷ [GenTx BlockB] → ShowS #

Show (TxId (GenTx BlockB)) Source #

Instance details

Methods

showsPrec ∷ Int → TxId (GenTx BlockB) → ShowS #

show ∷ TxId (GenTx BlockB) → String #

showList ∷ [TxId (GenTx BlockB)] → ShowS #

Eq (Header BlockB) Source #

Instance details

Methods

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

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

Eq (CanonicalTxIn '[BlockA, BlockB]) Source #

Instance details

Methods

(==) ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Bool #

(/=) ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Bool #

Eq (Validated (GenTx BlockB)) Source #

Instance details

Methods

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

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

Eq (GenTx BlockB) Source #

Instance details

Methods

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

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

Eq (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

Ord (CanonicalTxIn '[BlockA, BlockB]) Source #

Instance details

Methods

compare ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Ordering #

(<) ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Bool #

(<=) ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Bool #

(>) ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Bool #

(>=) ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → Bool #

max ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] #

min ∷ CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] → CanonicalTxIn '[BlockA, BlockB] #

Ord (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

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

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

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

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

MemPack (CanonicalTxIn '[BlockA, BlockB]) Source #

Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ CanonicalTxIn '[BlockA, BlockB] → Int Source #

packM ∷ CanonicalTxIn '[BlockA, BlockB] → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (CanonicalTxIn '[BlockA, BlockB]) Source #

NoThunks (BlockConfig BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (BlockConfig BlockB) → String Source #

NoThunks (CodecConfig BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig BlockB) → String Source #

NoThunks (Header BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (Header BlockB) → String Source #

NoThunks (StorageConfig BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig BlockB) → String Source #

NoThunks (CanonicalTxIn '[BlockA, BlockB]) Source #

Instance details

Methods

noThunks ∷ Context → CanonicalTxIn '[BlockA, BlockB] → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn '[BlockA, BlockB] → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn '[BlockA, BlockB]) → String Source #

NoThunks (Validated (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

NoThunks (GenTx BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (GenTx BlockB) → String Source #

NoThunks (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

GetTip (LedgerState BlockB) Source #

Instance details

Methods

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

ConvertRawTxId (GenTx BlockB) Source #

Instance details

Methods

toRawTxIdHash ∷ TxId (GenTx BlockB) → ShortByteString Source #

HasTxId (GenTx BlockB) Source #

Instance details

Methods

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

CanStowLedgerTables (LedgerState BlockB) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState BlockB ValuesMK → LedgerState BlockB EmptyMK Source #

unstowLedgerTables ∷ LedgerState BlockB EmptyMK → LedgerState BlockB ValuesMK Source #

Condense (Header BlockB) Source #

Instance details

Methods

condense ∷ Header BlockB → String Source #

Condense (GenTx BlockB) Source #

Instance details

Methods

condense ∷ GenTx BlockB → String Source #

Condense (TxId (GenTx BlockB)) Source #

Instance details

Methods

condense ∷ TxId (GenTx BlockB) → String Source #

HasHeader (Header BlockB) Source #

Instance details

Methods

getHeaderFields ∷ Header BlockB → HeaderFields (Header BlockB) #

Serialise (Header BlockB) Source #

Instance details

Methods

encode ∷ Header BlockB → Encoding Source #

decode ∷ Decoder s (Header BlockB) Source #

encodeList ∷ [Header BlockB] → Encoding Source #

decodeList ∷ Decoder s [Header BlockB] Source #

Serialise (AnnTip BlockB) Source #

Instance details

Methods

encode ∷ AnnTip BlockB → Encoding Source #

decode ∷ Decoder s (AnnTip BlockB) Source #

encodeList ∷ [AnnTip BlockB] → Encoding Source #

decodeList ∷ Decoder s [AnnTip BlockB] Source #

Serialise (GenTx BlockB) Source #

Instance details

Methods

encode ∷ GenTx BlockB → Encoding Source #

decode ∷ Decoder s (GenTx BlockB) Source #

encodeList ∷ [GenTx BlockB] → Encoding Source #

decodeList ∷ Decoder s [GenTx BlockB] Source #

Serialise (TxId (GenTx BlockB)) Source #

Instance details

Methods

encode ∷ TxId (GenTx BlockB) → Encoding Source #

decode ∷ Decoder s (TxId (GenTx BlockB)) Source #

encodeList ∷ [TxId (GenTx BlockB)] → Encoding Source #

decodeList ∷ Decoder s [TxId (GenTx BlockB)] Source #

Serialise (SerialisedHeader BlockB) Source #

Instance details

Methods

encode ∷ SerialisedHeader BlockB → Encoding Source #

decode ∷ Decoder s (SerialisedHeader BlockB) Source #

encodeList ∷ [SerialisedHeader BlockB] → Encoding Source #

decodeList ∷ Decoder s [SerialisedHeader BlockB] Source #

DecodeDiskDep (NestedCtxt Header) BlockB Source #

Instance details

Methods

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

DecodeDiskDepIx (NestedCtxt Header) BlockB Source #

Instance details

Methods

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

EncodeDiskDep (NestedCtxt Header) BlockB Source #

Instance details

Methods

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

EncodeDiskDepIx (NestedCtxt Header) BlockB Source #

Instance details

Methods

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

Generic (LedgerState BlockB mk) Source #

Instance details

Associated Types

type Rep (LedgerState BlockB mk)
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (LedgerState BlockB mk) = D1 ('MetaData "LedgerState" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LgrB" 'PrefixI 'True) (S1 ('MetaSel ('Just "lgrB_tip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point BlockB))))

Methods

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

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

Show (LedgerState BlockB mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState BlockB mk → ShowS #

show ∷ LedgerState BlockB mk → String #

showList ∷ [LedgerState BlockB mk] → ShowS #

Eq (LedgerState BlockB mk) Source #

Instance details

Methods

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

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

NoThunks (LedgerState BlockB mk) Source #

Instance details

Methods

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

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

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

ShowQuery (BlockQuery BlockB fp) Source #

Instance details

Methods

showResult ∷ BlockQuery BlockB fp result → result → String #

Serialise (LedgerState BlockB mk) Source #

Instance details

Methods

encode ∷ LedgerState BlockB mk → Encoding Source #

decode ∷ Decoder s (LedgerState BlockB mk) Source #

encodeList ∷ [LedgerState BlockB mk] → Encoding Source #

decodeList ∷ Decoder s [LedgerState BlockB mk] Source #

HasLedgerTables (Ticked LedgerState) BlockB Source #

Instance details

Methods

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

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

LedgerTablesAreTrivial (Ticked LedgerState) BlockB Source #

Instance details

Methods

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

IndexedMemPack (Ticked LedgerState) (HardForkBlock '[BlockA, BlockB]) (DefaultHardForkTxOut '[BlockA, BlockB]) Source #

Instance details

Methods

indexedPackedByteCount ∷ Ticked LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Int Source #

indexedPackM ∷ Ticked LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. Ticked LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → Unpack s b (DefaultHardForkTxOut '[BlockA, BlockB]) Source #

indexedTypeName ∷ Proxy (DefaultHardForkTxOut '[BlockA, BlockB]) → Ticked LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → String Source #

Show (NestedCtxt_ BlockB f a) Source #

Instance details

Methods

showsPrec ∷ Int → NestedCtxt_ BlockB f a → ShowS #

show ∷ NestedCtxt_ BlockB f a → String #

showList ∷ [NestedCtxt_ BlockB f a] → ShowS #

Show (BlockQuery BlockB fp result) Source #

Instance details

Methods

showsPrec ∷ Int → BlockQuery BlockB fp result → ShowS #

show ∷ BlockQuery BlockB fp result → String #

showList ∷ [BlockQuery BlockB fp result] → ShowS #

CanHardFork '[BlockA, BlockB] Source #

Instance details

Associated Types

type HardForkTxMeasure '[BlockA, BlockB]
Instance details Defined in Test.Consensus.HardFork.Combinator type HardForkTxMeasure '[BlockA, BlockB] = IgnoringOverflow ByteSize32

Methods

hardForkEraTranslation ∷ EraTranslation '[BlockA, BlockB] Source #

hardForkChainSel ∷ Tails AcrossEraTiebreaker '[BlockA, BlockB] Source #

hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) '[BlockA, BlockB] Source #

hardForkInjTxMeasure ∷ NS WrapTxMeasure '[BlockA, BlockB] → HardForkTxMeasure '[BlockA, BlockB] Source #

HasCanonicalTxIn '[BlockA, BlockB] Source #

Instance details

Associated Types

newtype CanonicalTxIn '[BlockA, BlockB]
Instance details Defined in Test.Consensus.HardFork.Combinator newtype CanonicalTxIn '[BlockA, BlockB] = BlockABTxIn { getBlockABTxIn ∷ Void }

Methods

injectCanonicalTxIn ∷ Index '[BlockA, BlockB] x → TxIn x → CanonicalTxIn '[BlockA, BlockB] Source #

ejectCanonicalTxIn ∷ Index '[BlockA, BlockB] x → CanonicalTxIn '[BlockA, BlockB] → TxIn x Source #

HasHardForkTxOut '[BlockA, BlockB] Source #

Instance details

Associated Types

type HardForkTxOut '[BlockA, BlockB]
Instance details Defined in Test.Consensus.HardFork.Combinator type HardForkTxOut '[BlockA, BlockB] = DefaultHardForkTxOut '[BlockA, BlockB]

Methods

injectHardForkTxOut ∷ Index '[BlockA, BlockB] x → TxOut x → HardForkTxOut '[BlockA, BlockB] Source #

ejectHardForkTxOut ∷ Index '[BlockA, BlockB] x → HardForkTxOut '[BlockA, BlockB] → TxOut x Source #

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

txOutTranslations ∷ Tails (Fn2 WrapTxOut) '[BlockA, BlockB] Source #

BlockSupportsHFLedgerQuery '[BlockA, BlockB] Source #

Instance details

Methods

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

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

queryLedgerGetTraversingFilter ∷ Index '[BlockA, BlockB] x → BlockQuery x 'QFTraverseTables result → TxOut (HardForkBlock '[BlockA, BlockB]) → Bool Source #

SerialiseHFC '[BlockA, BlockB] Source #

Instance details

Methods

encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[BlockA, BlockB]) → HardForkBlock '[BlockA, BlockB] → Encoding Source #

decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[BlockA, BlockB]) → ∀ s. Decoder s (ByteString → Either DecoderError (HardForkBlock '[BlockA, BlockB])) Source #

reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock '[BlockA, BlockB])) → PrefixLen Source #

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

getHfcBinaryBlockInfo ∷ HardForkBlock '[BlockA, BlockB] → BinaryBlockInfo Source #

estimateHfcBlockSize ∷ Header (HardForkBlock '[BlockA, BlockB]) → SizeInBytes Source #

GetTip (Ticked LedgerState BlockB) Source #

Instance details

Methods

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

NoThunks (Ticked LedgerState BlockB mk) Source #

Instance details

Methods

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

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

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

type Rep BlockB Source #

Instance details

type Rep BlockB = D1 ('MetaData "BlockB" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "BlkB" 'PrefixI 'True) (S1 ('MetaSel ('Just "blkB_header") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Header BlockB))))

data BlockConfig BlockB Source #

Instance details

data BlockConfig BlockB = BCfgB

type BlockProtocol BlockB Source #

Instance details

type BlockProtocol BlockB = ProtocolB

data CodecConfig BlockB Source #

Instance details

data CodecConfig BlockB = CCfgB

data Header BlockB Source #

data StorageConfig BlockB Source #

Instance details

data StorageConfig BlockB = SCfgB

type CannotForge BlockB Source #

Instance details

type CannotForge BlockB = Void

type ForgeStateInfo BlockB Source #

Instance details

type ForgeStateInfo BlockB = ()

type ForgeStateUpdateError BlockB Source #

Instance details

type ForgeStateUpdateError BlockB = Void

data NestedCtxt_ BlockB f a Source #

Instance details

data NestedCtxt_ BlockB f a where

CtxtB ∷ ∀ (f ∷ Type → Type). NestedCtxt_ BlockB f (f BlockB)

type TentativeHeaderState BlockB Source #

Instance details

type TentativeHeaderState BlockB = TentativeHeaderState (SelectViewDiffusionPipelining BlockB)

type TentativeHeaderView BlockB Source #

Instance details

type TentativeHeaderView BlockB = TentativeHeaderView (SelectViewDiffusionPipelining BlockB)

type PartialLedgerConfig BlockB Source #

Instance details

type PartialLedgerConfig BlockB = LedgerConfig BlockB

type OtherHeaderEnvelopeError BlockB Source #

Instance details

type OtherHeaderEnvelopeError BlockB = Void

type TipInfo BlockB Source #

Instance details

type TipInfo BlockB = HeaderHash BlockB

type AuxLedgerEvent BlockB Source #

Instance details

type AuxLedgerEvent BlockB = VoidLedgerEvent

data LedgerState BlockB mk Source #

Instance details

data LedgerState BlockB mk = LgrB {

lgrB_tip ∷ Point BlockB

}

type LedgerUpdate BlockB Source #

Instance details

type LedgerUpdate BlockB = Void

type LedgerWarning BlockB Source #

Instance details

type LedgerWarning BlockB = Void

data BlockQuery BlockB fp result Source #

Instance details

data BlockQuery BlockB fp result

type ApplyTxErr BlockB Source #

Instance details

type ApplyTxErr BlockB = Void

data GenTx BlockB Source #

Instance details

data GenTx BlockB

type TxMeasure BlockB Source #

Instance details

type TxMeasure BlockB = IgnoringOverflow ByteSize32

type TxIn BlockB Source #

Instance details

type TxIn BlockB = Void

type TxOut BlockB Source #

Instance details

type TxOut BlockB = Void

type BlockNodeToClientVersion BlockB Source #

Instance details

type BlockNodeToClientVersion BlockB = ()

type BlockNodeToNodeVersion BlockB Source #

Instance details

type BlockNodeToNodeVersion BlockB = ()

type LedgerCfg LedgerState BlockB Source #

Instance details

type LedgerCfg LedgerState BlockB

type LedgerErr LedgerState BlockB Source #

Instance details

type LedgerErr LedgerState BlockB = Void

type HeaderHash BlockB Source #

Instance details

type HeaderHash BlockB = ByteString

type TrivialIndex (NestedCtxt_ BlockB f ∷ Type → Type) Source #

Instance details

type TrivialIndex (NestedCtxt_ BlockB f ∷ Type → Type) = f BlockB

type Rep (BlockConfig BlockB) Source #

Instance details

type Rep (BlockConfig BlockB) = D1 ('MetaData "BlockConfig" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "BCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (CodecConfig BlockB) Source #

Instance details

type Rep (CodecConfig BlockB) = D1 ('MetaData "CodecConfig" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "CCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (Header BlockB) Source #

Instance details

type Rep (Header BlockB) = D1 ('MetaData "Header" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "HdrB" 'PrefixI 'True) (S1 ('MetaSel ('Just "hdrB_fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderFields BlockB)) :*: S1 ('MetaSel ('Just "hdrB_prev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash BlockB))))

type Rep (StorageConfig BlockB) Source #

Instance details

type Rep (StorageConfig BlockB) = D1 ('MetaData "StorageConfig" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "SCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (Validated (GenTx BlockB)) Source #

Instance details

type Rep (Validated (GenTx BlockB)) = D1 ('MetaData "Validated" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (V1 ∷ Type → Type)

type Rep (GenTx BlockB) Source #

Instance details

type Rep (GenTx BlockB) = D1 ('MetaData "GenTx" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (V1 ∷ Type → Type)

type Rep (TxId (GenTx BlockB)) Source #

Instance details

type Rep (TxId (GenTx BlockB)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (V1 ∷ Type → Type)

data Validated (GenTx BlockB) Source #

Instance details

data Validated (GenTx BlockB)

data TxId (GenTx BlockB) Source #

Instance details

data TxId (GenTx BlockB)

type Rep (LedgerState BlockB mk) Source #

Instance details

type Rep (LedgerState BlockB mk) = D1 ('MetaData "LedgerState" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LgrB" 'PrefixI 'True) (S1 ('MetaSel ('Just "lgrB_tip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point BlockB))))

newtype Ticked LedgerState BlockB (mk ∷ MapKind) Source #

Ticking has no state on the B ledger state

Instance details

newtype Ticked LedgerState BlockB (mk ∷ MapKind) = TickedLedgerStateB {

getTickedLedgerStateB ∷ LedgerState BlockB mk

}

type HardForkTxMeasure '[BlockA, BlockB] Source #

Instance details

type HardForkTxMeasure '[BlockA, BlockB] = IgnoringOverflow ByteSize32

newtype CanonicalTxIn '[BlockA, BlockB] Source #

Instance details

newtype CanonicalTxIn '[BlockA, BlockB] = BlockABTxIn {

getBlockABTxIn ∷ Void

}

type HardForkTxOut '[BlockA, BlockB] Source #

Instance details

HasPartialConsensusConfig ProtocolB Source #

type HardForkTxOut '[BlockA, BlockB] = DefaultHardForkTxOut '[BlockA, BlockB]

data ProtocolB Source #

Instances

Instances details

Instance details

Associated Types

type PartialConsensusConfig ProtocolB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type PartialConsensusConfig ProtocolB = ConsensusConfig ProtocolB

Methods

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

toPartialConsensusConfig ∷ proxy ProtocolB → ConsensusConfig ProtocolB → PartialConsensusConfig ProtocolB Source #

ConsensusProtocol ProtocolB Source #

Instance details

Associated Types

type ChainDepState ProtocolB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type ChainDepState ProtocolB = ()
type IsLeader ProtocolB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type IsLeader ProtocolB = ()
type CanBeLeader ProtocolB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type CanBeLeader ProtocolB = ()
type TiebreakerView ProtocolB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type TiebreakerView ProtocolB = NoTiebreaker
type LedgerView ProtocolB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type LedgerView ProtocolB = ()
type ValidationErr ProtocolB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type ValidationErr ProtocolB = Void
type ValidateView ProtocolB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type ValidateView ProtocolB = ()

Methods

checkIsLeader ∷ ConsensusConfig ProtocolB → CanBeLeader ProtocolB → SlotNo → Ticked (ChainDepState ProtocolB) → Maybe (IsLeader ProtocolB) Source #

tickChainDepState ∷ ConsensusConfig ProtocolB → LedgerView ProtocolB → SlotNo → ChainDepState ProtocolB → Ticked (ChainDepState ProtocolB) Source #

updateChainDepState ∷ ConsensusConfig ProtocolB → ValidateView ProtocolB → SlotNo → Ticked (ChainDepState ProtocolB) → Except (ValidationErr ProtocolB) (ChainDepState ProtocolB) Source #

reupdateChainDepState ∷ ConsensusConfig ProtocolB → ValidateView ProtocolB → SlotNo → Ticked (ChainDepState ProtocolB) → ChainDepState ProtocolB Source #

protocolSecurityParam ∷ ConsensusConfig ProtocolB → SecurityParam Source #

NoThunks (ConsensusConfig ProtocolB) Source #

Instance details

Methods

noThunks ∷ Context → ConsensusConfig ProtocolB → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConsensusConfig ProtocolB → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConsensusConfig ProtocolB) → String Source #

type PartialConsensusConfig ProtocolB Source #

Instance details

type PartialConsensusConfig ProtocolB = ConsensusConfig ProtocolB

type CanBeLeader ProtocolB Source #

Instance details

type CanBeLeader ProtocolB = ()

type ChainDepState ProtocolB Source #

Instance details

type ChainDepState ProtocolB = ()

data ConsensusConfig ProtocolB Source #

Instance details

data ConsensusConfig ProtocolB = CfgB {

cfgB_k ∷ SecurityParam
cfgB_leadInSlots ∷ Set SlotNo

}

type IsLeader ProtocolB Source #

Instance details

type IsLeader ProtocolB = ()

type LedgerView ProtocolB Source #

Instance details

type LedgerView ProtocolB = ()

type TiebreakerView ProtocolB Source #

Instance details

type TiebreakerView ProtocolB = NoTiebreaker

type ValidateView ProtocolB Source #

Instance details

type ValidateView ProtocolB = ()

type ValidationErr ProtocolB Source #

Instance details

type ValidationErr ProtocolB = Void

blockForgingB ∷ ∀ (m ∷ Type → Type). Monad m ⇒ BlockForging m BlockB Source #

safeZoneB ∷ SecurityParam → SafeZone Source #

A basic SafeZone

The mock B ledger has no transactions and so can't end and so needs no safezone. However, we give it a default one anyway, since that makes the test more realistic.

Type family instances

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details

Isomorphic BlockConfig

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ BlockConfig (HardForkBlock '[blk]) → BlockConfig blk Source #

inject ∷ NoHardForks blk ⇒ BlockConfig blk → BlockConfig (HardForkBlock '[blk]) Source #

Generic (BlockConfig BlockA) Source #

Instance details

Associated Types

type Rep (BlockConfig BlockA)
Instance details Defined in Test.Consensus.HardFork.Combinator.A type Rep (BlockConfig BlockA) = D1 ('MetaData "BlockConfig" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "BCfgA" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (BlockConfig BlockB) Source #

Instance details

Associated Types

type Rep (BlockConfig BlockB)
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (BlockConfig BlockB) = D1 ('MetaData "BlockConfig" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "BCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (BlockConfig TestBlock)

Instance details

Associated Types

type Rep (BlockConfig TestBlock)

Instance details

type Rep (BlockConfig TestBlock) = D1 ('MetaData "BlockConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockEBBsAllowed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))

Methods

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

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

Generic (BlockConfig (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (BlockConfig (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock type Rep (BlockConfig (TestBlockWith ptype)) = D1 ('MetaData "BlockConfig" "Test.Util.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))

Methods

from ∷ BlockConfig (TestBlockWith ptype) → Rep (BlockConfig (TestBlockWith ptype)) x #

to ∷ Rep (BlockConfig (TestBlockWith ptype)) x → BlockConfig (TestBlockWith ptype) #

Show (BlockConfig (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → BlockConfig (TestBlockWith ptype) → ShowS #

show ∷ BlockConfig (TestBlockWith ptype) → String #

showList ∷ [BlockConfig (TestBlockWith ptype)] → ShowS #

CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

showTypeOf ∷ Proxy (BlockConfig (HardForkBlock xs)) → String Source #

NoThunks (BlockConfig (DualBlock m a))

Instance details

Methods

noThunks ∷ Context → BlockConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BlockConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BlockConfig (DualBlock m a)) → String Source #

NoThunks (BlockConfig BlockA) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (BlockConfig BlockA) → String Source #

NoThunks (BlockConfig BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (BlockConfig BlockB) → String Source #

NoThunks (BlockConfig TestBlock)

Instance details

Methods

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

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

showTypeOf ∷ Proxy (BlockConfig TestBlock) → String Source #

NoThunks (BlockConfig (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy (BlockConfig (TestBlockWith ptype)) → String Source #

data BlockConfig BlockA Source #

Instance details

data BlockConfig BlockA = BCfgA

data BlockConfig BlockB Source #

Instance details

data BlockConfig BlockB = BCfgB

data BlockConfig TestBlock

Instance details

data BlockConfig TestBlock = TestBlockConfig {

testBlockEBBsAllowed ∷ !Bool
testBlockNumCoreNodes ∷ !NumCoreNodes

}

type Rep (BlockConfig BlockA) Source #

Instance details

type Rep (BlockConfig BlockA) = D1 ('MetaData "BlockConfig" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "BCfgA" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (BlockConfig BlockB) Source #

Instance details

type Rep (BlockConfig BlockB) = D1 ('MetaData "BlockConfig" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "BCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (BlockConfig TestBlock)

Instance details

type Rep (BlockConfig TestBlock) = D1 ('MetaData "BlockConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockEBBsAllowed") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))

type Rep (BlockConfig (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

type Rep (BlockConfig (TestBlockWith ptype)) = D1 ('MetaData "BlockConfig" "Test.Util.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))

newtype BlockConfig (DisableDiffusionPipelining blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype BlockConfig (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningBlockConfig (BlockConfig blk)

newtype BlockConfig (SelectViewDiffusionPipelining blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype BlockConfig (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)

newtype BlockConfig (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig {

hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs

}

data BlockConfig (TestBlockWith ptype)

Instance details

Defined in Test.Util.TestBlock

data BlockConfig (TestBlockWith ptype) = TestBlockConfig {

testBlockNumCoreNodes ∷ !NumCoreNodes

}

data BlockConfig (DualBlock m a)

Instance details

data BlockConfig (DualBlock m a) = DualBlockConfig {

dualBlockConfigMain ∷ BlockConfig m
dualBlockConfigAux ∷ BlockConfig a

}

data family CodecConfig blk Source #

Static configuration required for serialisation and deserialisation of types pertaining to this type of block.

Data family instead of type family to get better type inference.

Instances

Instances details

Isomorphic CodecConfig

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ CodecConfig (HardForkBlock '[blk]) → CodecConfig blk Source #

inject ∷ NoHardForks blk ⇒ CodecConfig blk → CodecConfig (HardForkBlock '[blk]) Source #

Generic (CodecConfig (DualBlock m a))

Instance details

Associated Types

type Rep (CodecConfig (DualBlock m a))

Instance details

type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "DualCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualCodecConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig m)) :*: S1 ('MetaSel ('Just "dualCodecConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig a))))

Methods

from ∷ CodecConfig (DualBlock m a) → Rep (CodecConfig (DualBlock m a)) x #

to ∷ Rep (CodecConfig (DualBlock m a)) x → CodecConfig (DualBlock m a) #

Generic (CodecConfig BlockA) Source #

Instance details

Associated Types

type Rep (CodecConfig BlockA)
Instance details Defined in Test.Consensus.HardFork.Combinator.A type Rep (CodecConfig BlockA) = D1 ('MetaData "CodecConfig" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "CCfgA" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (CodecConfig BlockB) Source #

Instance details

Associated Types

type Rep (CodecConfig BlockB)
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (CodecConfig BlockB) = D1 ('MetaData "CodecConfig" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "CCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (CodecConfig TestBlock)

Instance details

Associated Types

type Rep (CodecConfig TestBlock)
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (CodecConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (CodecConfig TestBlock)
Instance details Defined in Test.Util.TestBlock type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Util.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Show (CodecConfig TestBlock)

Instance details

Methods

showsPrec ∷ Int → CodecConfig TestBlock → ShowS #

show ∷ CodecConfig TestBlock → String #

showList ∷ [CodecConfig TestBlock] → ShowS #

Show (CodecConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → CodecConfig TestBlock → ShowS #

show ∷ CodecConfig TestBlock → String #

showList ∷ [CodecConfig TestBlock] → ShowS #

CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig (HardForkBlock xs)) → String Source #

(NoThunks (CodecConfig m), NoThunks (CodecConfig a)) ⇒ NoThunks (CodecConfig (DualBlock m a))

Instance details

Methods

noThunks ∷ Context → CodecConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CodecConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CodecConfig (DualBlock m a)) → String Source #

NoThunks (CodecConfig BlockA) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig BlockA) → String Source #

NoThunks (CodecConfig BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig BlockB) → String Source #

NoThunks (CodecConfig TestBlock)

Instance details

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig TestBlock) → String Source #

NoThunks (CodecConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig TestBlock) → String Source #

ToExpr (CodecConfig TestBlock)

Instance details

Methods

toExpr ∷ CodecConfig TestBlock → Expr Source #

listToExpr ∷ [CodecConfig TestBlock] → Expr Source #

data CodecConfig BlockA Source #

Instance details

data CodecConfig BlockA = CCfgA

data CodecConfig BlockB Source #

Instance details

data CodecConfig BlockB = CCfgB

data CodecConfig TestBlock

Instance details

data CodecConfig TestBlock = TestBlockCodecConfig

data CodecConfig TestBlock

Instance details

Defined in Test.Util.TestBlock

data CodecConfig TestBlock = TestBlockCodecConfig

type Rep (CodecConfig (DualBlock m a))

Instance details

type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "DualCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualCodecConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig m)) :*: S1 ('MetaSel ('Just "dualCodecConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig a))))

type Rep (CodecConfig BlockA) Source #

Instance details

type Rep (CodecConfig BlockA) = D1 ('MetaData "CodecConfig" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "CCfgA" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (CodecConfig BlockB) Source #

Instance details

type Rep (CodecConfig BlockB) = D1 ('MetaData "CodecConfig" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "CCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (CodecConfig TestBlock)

Instance details

type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (CodecConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Util.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

newtype CodecConfig (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig {

hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs

}

data CodecConfig (DualBlock m a)

Instance details

data CodecConfig (DualBlock m a) = DualCodecConfig {

dualCodecConfigMain ∷ !(CodecConfig m)
dualCodecConfigAux ∷ !(CodecConfig a)

}

data family ConsensusConfig p Source #

Static configuration required to run the consensus protocol

Every method in the ConsensusProtocol class takes the consensus configuration as a parameter, so having this as a data family rather than a type family resolves most ambiguity.

Defined out of the class so that protocols can define this type without having to define the entire protocol at the same time (or indeed in the same module).

Instances

Instances details

Generic (ConsensusConfig (HardForkProtocol xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Associated Types

type Rep (ConsensusConfig (HardForkProtocol xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type Rep (ConsensusConfig (HardForkProtocol xs)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "HardForkConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkConsensusConfigK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam) :*: (S1 ('MetaSel ('Just "hardForkConsensusConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :*: S1 ('MetaSel ('Just "hardForkConsensusConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraConsensusConfig xs)))))

Methods

from ∷ ConsensusConfig (HardForkProtocol xs) → Rep (ConsensusConfig (HardForkProtocol xs)) x #

to ∷ Rep (ConsensusConfig (HardForkProtocol xs)) x → ConsensusConfig (HardForkProtocol xs) #

Generic (ConsensusConfig (Bft c))

Instance details

Associated Types

type Rep (ConsensusConfig (Bft c))

Instance details

type Rep (ConsensusConfig (Bft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "BftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "bftParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BftParams) :*: (S1 ('MetaSel ('Just "bftSignKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyDSIGN (BftDSIGN c))) :*: S1 ('MetaSel ('Just "bftVerKeys") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map NodeId (VerKeyDSIGN (BftDSIGN c)))))))

Methods

from ∷ ConsensusConfig (Bft c) → Rep (ConsensusConfig (Bft c)) x #

to ∷ Rep (ConsensusConfig (Bft c)) x → ConsensusConfig (Bft c) #

Generic (ConsensusConfig (ModChainSel p t))

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Associated Types

type Rep (ConsensusConfig (ModChainSel p t))

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type Rep (ConsensusConfig (ModChainSel p t)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "McsConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mcsConfigP") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig p))))

Methods

from ∷ ConsensusConfig (ModChainSel p t) → Rep (ConsensusConfig (ModChainSel p t)) x #

to ∷ Rep (ConsensusConfig (ModChainSel p t)) x → ConsensusConfig (ModChainSel p t) #

Generic (ConsensusConfig (PBft c))

Instance details

Associated Types

type Rep (ConsensusConfig (PBft c))
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT type Rep (ConsensusConfig (PBft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "PBftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PBftParams)))

Methods

from ∷ ConsensusConfig (PBft c) → Rep (ConsensusConfig (PBft c)) x #

to ∷ Rep (ConsensusConfig (PBft c)) x → ConsensusConfig (PBft c) #

CanHardFork xs ⇒ NoThunks (ConsensusConfig (HardForkProtocol xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

noThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConsensusConfig (HardForkProtocol xs)) → String Source #

BftCrypto c ⇒ NoThunks (ConsensusConfig (Bft c))

Instance details

Methods

noThunks ∷ Context → ConsensusConfig (Bft c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConsensusConfig (Bft c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConsensusConfig (Bft c)) → String Source #

ConsensusProtocol p ⇒ NoThunks (ConsensusConfig (ModChainSel p t))

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Methods

noThunks ∷ Context → ConsensusConfig (ModChainSel p t) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConsensusConfig (ModChainSel p t) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConsensusConfig (ModChainSel p t)) → String Source #

NoThunks (ConsensusConfig (PBft c))

Instance details

Methods

noThunks ∷ Context → ConsensusConfig (PBft c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConsensusConfig (PBft c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConsensusConfig (PBft c)) → String Source #

NoThunks (ConsensusConfig ProtocolA) Source #

Instance details

Methods

noThunks ∷ Context → ConsensusConfig ProtocolA → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConsensusConfig ProtocolA → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConsensusConfig ProtocolA) → String Source #

NoThunks (ConsensusConfig ProtocolB) Source #

Instance details

Methods

noThunks ∷ Context → ConsensusConfig ProtocolB → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConsensusConfig ProtocolB → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConsensusConfig ProtocolB) → String Source #

data ConsensusConfig ProtocolA Source #

Instance details

data ConsensusConfig ProtocolA = CfgA {

cfgA_k ∷ SecurityParam
cfgA_leadInSlots ∷ Set SlotNo

}

data ConsensusConfig ProtocolB Source #

Instance details

data ConsensusConfig ProtocolB = CfgB {

cfgB_k ∷ SecurityParam
cfgB_leadInSlots ∷ Set SlotNo

}

type Rep (ConsensusConfig (HardForkProtocol xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type Rep (ConsensusConfig (HardForkProtocol xs)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "HardForkConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkConsensusConfigK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam) :*: (S1 ('MetaSel ('Just "hardForkConsensusConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :*: S1 ('MetaSel ('Just "hardForkConsensusConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraConsensusConfig xs)))))

type Rep (ConsensusConfig (Bft c))

Instance details

type Rep (ConsensusConfig (Bft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "BftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "bftParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BftParams) :*: (S1 ('MetaSel ('Just "bftSignKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyDSIGN (BftDSIGN c))) :*: S1 ('MetaSel ('Just "bftVerKeys") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map NodeId (VerKeyDSIGN (BftDSIGN c)))))))

type Rep (ConsensusConfig (ModChainSel p t))

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

type Rep (ConsensusConfig (ModChainSel p t)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "McsConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mcsConfigP") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig p))))

type Rep (ConsensusConfig (PBft c))

Instance details

type Rep (ConsensusConfig (PBft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "PBftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PBftParams)))

data ConsensusConfig (HardForkProtocol xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

data ConsensusConfig (HardForkProtocol xs) = HardForkConsensusConfig {

hardForkConsensusConfigK ∷ !SecurityParam
hardForkConsensusConfigShape ∷ !(Shape xs)
hardForkConsensusConfigPerEra ∷ !(PerEraConsensusConfig xs)

}

data ConsensusConfig (Bft c)

(Static) node configuration

Instance details

data ConsensusConfig (Bft c) = BftConfig {

bftParams ∷ !BftParams
bftSignKey ∷ !(SignKeyDSIGN (BftDSIGN c))
bftVerKeys ∷ !(Map NodeId (VerKeyDSIGN (BftDSIGN c)))

}

newtype ConsensusConfig (PBft c)

(Static) node configuration

Instance details

newtype ConsensusConfig (PBft c) = PBftConfig {

pbftParams ∷ PBftParams

}

newtype ConsensusConfig (ModChainSel p t)

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

newtype ConsensusConfig (ModChainSel p t) = McsConsensusConfig {

mcsConfigP ∷ ConsensusConfig p

}

data family GenTx blk Source #

Generalized transaction

The mempool (and, accordingly, blocks) consist of "generalized transactions"; this could be "proper" transactions (transferring funds) but also other kinds of things such as update proposals, delegations, etc.

Instances

Instances details

Inject GenTx

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary

Methods

inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → GenTx x → GenTx (HardForkBlock xs) Source #

Isomorphic GenTx

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ GenTx (HardForkBlock '[blk]) → GenTx blk Source #

inject ∷ NoHardForks blk ⇒ GenTx blk → GenTx (HardForkBlock '[blk]) Source #

SerialiseNodeToClient BlockA (GenTx BlockA) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockA (GenTxId BlockA) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB (GenTx BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB (GenTxId BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockA (GenTx BlockA) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockA (GenTxId BlockA) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (GenTx BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (GenTxId BlockB) Source #

Instance details

Methods

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

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

Typeable xs ⇒ ShowProxy (GenTx (HardForkBlock xs) ∷ Type)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showProxy ∷ Proxy (GenTx (HardForkBlock xs)) → String #

(Typeable m, Typeable a) ⇒ ShowProxy (GenTx (DualBlock m a) ∷ Type)

Instance details

Methods

showProxy ∷ Proxy (GenTx (DualBlock m a)) → String #

Typeable xs ⇒ ShowProxy (TxId (GenTx (HardForkBlock xs)) ∷ Type)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showProxy ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String #

(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type)

Instance details

Methods

showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String #

Generic (Validated (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type Rep (Validated (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))

Methods

from ∷ Validated (GenTx (HardForkBlock xs)) → Rep (Validated (GenTx (HardForkBlock xs))) x #

to ∷ Rep (Validated (GenTx (HardForkBlock xs))) x → Validated (GenTx (HardForkBlock xs)) #

Generic (Validated (GenTx BlockA)) Source #

Instance details

Associated Types

type Rep (Validated (GenTx BlockA))
Instance details Defined in Test.Consensus.HardFork.Combinator.A type Rep (Validated (GenTx BlockA)) = Rep (GenTx BlockA)

Methods

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

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

Generic (Validated (GenTx BlockB)) Source #

Instance details

Associated Types

type Rep (Validated (GenTx BlockB))
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (Validated (GenTx BlockB)) = D1 ('MetaData "Validated" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (V1 ∷ Type → Type)

Methods

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

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

Generic (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type Rep (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))

Methods

from ∷ GenTx (HardForkBlock xs) → Rep (GenTx (HardForkBlock xs)) x #

to ∷ Rep (GenTx (HardForkBlock xs)) x → GenTx (HardForkBlock xs) #

Generic (GenTx BlockA) Source #

Instance details

Associated Types

type Rep (GenTx BlockA)

Instance details

type Rep (GenTx BlockA) = D1 ('MetaData "GenTx" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "TxA" 'PrefixI 'True) (S1 ('MetaSel ('Just "txA_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxId (GenTx BlockA))) :*: S1 ('MetaSel ('Just "txA_payload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxPayloadA)))

Methods

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

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

Generic (GenTx BlockB) Source #

Instance details

Associated Types

type Rep (GenTx BlockB)
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (GenTx BlockB) = D1 ('MetaData "GenTx" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (V1 ∷ Type → Type)

Methods

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

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

Generic (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type Rep (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

Methods

from ∷ TxId (GenTx (HardForkBlock xs)) → Rep (TxId (GenTx (HardForkBlock xs))) x #

to ∷ Rep (TxId (GenTx (HardForkBlock xs))) x → TxId (GenTx (HardForkBlock xs)) #

Generic (TxId (GenTx BlockA)) Source #

Instance details

Associated Types

type Rep (TxId (GenTx BlockA))
Instance details Defined in Test.Consensus.HardFork.Combinator.A type Rep (TxId (GenTx BlockA)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "TxIdA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from ∷ TxId (GenTx BlockA) → Rep (TxId (GenTx BlockA)) x #

to ∷ Rep (TxId (GenTx BlockA)) x → TxId (GenTx BlockA) #

Generic (TxId (GenTx BlockB)) Source #

Instance details

Associated Types

type Rep (TxId (GenTx BlockB))
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (TxId (GenTx BlockB)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (V1 ∷ Type → Type)

Methods

from ∷ TxId (GenTx BlockB) → Rep (TxId (GenTx BlockB)) x #

to ∷ Rep (TxId (GenTx BlockB)) x → TxId (GenTx BlockB) #

CanHardFork xs ⇒ Show (Validated (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec ∷ Int → Validated (GenTx (HardForkBlock xs)) → ShowS #

show ∷ Validated (GenTx (HardForkBlock xs)) → String #

showList ∷ [Validated (GenTx (HardForkBlock xs))] → ShowS #

Bridge m a ⇒ Show (Validated (GenTx (DualBlock m a)))

Instance details

Methods

showsPrec ∷ Int → Validated (GenTx (DualBlock m a)) → ShowS #

show ∷ Validated (GenTx (DualBlock m a)) → String #

showList ∷ [Validated (GenTx (DualBlock m a))] → ShowS #

Show (Validated (GenTx BlockA)) Source #

Instance details

Methods

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

show ∷ Validated (GenTx BlockA) → String #

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

Show (Validated (GenTx BlockB)) Source #

Instance details

Methods

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

show ∷ Validated (GenTx BlockB) → String #

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

CanHardFork xs ⇒ Show (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec ∷ Int → GenTx (HardForkBlock xs) → ShowS #

show ∷ GenTx (HardForkBlock xs) → String #

showList ∷ [GenTx (HardForkBlock xs)] → ShowS #

Bridge m a ⇒ Show (GenTx (DualBlock m a))

Instance details

Methods

showsPrec ∷ Int → GenTx (DualBlock m a) → ShowS #

show ∷ GenTx (DualBlock m a) → String #

showList ∷ [GenTx (DualBlock m a)] → ShowS #

Show (GenTx BlockA) Source #

Instance details

Methods

showsPrec ∷ Int → GenTx BlockA → ShowS #

show ∷ GenTx BlockA → String #

showList ∷ [GenTx BlockA] → ShowS #

Show (GenTx BlockB) Source #

Instance details

Methods

showsPrec ∷ Int → GenTx BlockB → ShowS #

show ∷ GenTx BlockB → String #

showList ∷ [GenTx BlockB] → ShowS #

CanHardFork xs ⇒ Show (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec ∷ Int → TxId (GenTx (HardForkBlock xs)) → ShowS #

show ∷ TxId (GenTx (HardForkBlock xs)) → String #

showList ∷ [TxId (GenTx (HardForkBlock xs))] → ShowS #

Show (GenTxId m) ⇒ Show (TxId (GenTx (DualBlock m a)))

Instance details

Methods

showsPrec ∷ Int → TxId (GenTx (DualBlock m a)) → ShowS #

show ∷ TxId (GenTx (DualBlock m a)) → String #

showList ∷ [TxId (GenTx (DualBlock m a))] → ShowS #

Show (TxId (GenTx BlockA)) Source #

Instance details

Methods

showsPrec ∷ Int → TxId (GenTx BlockA) → ShowS #

show ∷ TxId (GenTx BlockA) → String #

showList ∷ [TxId (GenTx BlockA)] → ShowS #

Show (TxId (GenTx BlockB)) Source #

Instance details

Methods

showsPrec ∷ Int → TxId (GenTx BlockB) → ShowS #

show ∷ TxId (GenTx BlockB) → String #

showList ∷ [TxId (GenTx BlockB)] → ShowS #

CanHardFork xs ⇒ Eq (Validated (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool #

(/=) ∷ Validated (GenTx (HardForkBlock xs)) → Validated (GenTx (HardForkBlock xs)) → Bool #

Eq (Validated (GenTx BlockA)) Source #

Instance details

Methods

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

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

Eq (Validated (GenTx BlockB)) Source #

Instance details

Methods

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

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

CanHardFork xs ⇒ Eq (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) ∷ GenTx (HardForkBlock xs) → GenTx (HardForkBlock xs) → Bool #

(/=) ∷ GenTx (HardForkBlock xs) → GenTx (HardForkBlock xs) → Bool #

Eq (GenTx BlockA) Source #

Instance details

Methods

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

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

Eq (GenTx BlockB) Source #

Instance details

Methods

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

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

CanHardFork xs ⇒ Eq (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(/=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

Eq (GenTxId m) ⇒ Eq (TxId (GenTx (DualBlock m a)))

Instance details

Methods

(==) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(/=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

Eq (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

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

Eq (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

CanHardFork xs ⇒ Ord (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

compare ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Ordering #

(<) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(<=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(>) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(>=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

max ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #

min ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #

Ord (GenTxId m) ⇒ Ord (TxId (GenTx (DualBlock m a)))

Instance details

Methods

compare ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Ordering #

(<) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(<=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(>) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(>=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

max ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

min ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

Ord (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

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

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

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

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

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

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

Ord (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

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

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

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

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

CanHardFork xs ⇒ NoThunks (Validated (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

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

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

showTypeOf ∷ Proxy (Validated (GenTx (HardForkBlock xs))) → String Source #

NoThunks (Validated (GenTx (DualBlock m a)))

Instance details

Methods

noThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Validated (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Validated (GenTx (DualBlock m a))) → String Source #

NoThunks (Validated (GenTx BlockA)) Source #

Instance details

Methods

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

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

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

NoThunks (Validated (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

CanHardFork xs ⇒ NoThunks (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

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

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

showTypeOf ∷ Proxy (GenTx (HardForkBlock xs)) → String Source #

NoThunks (GenTx (DualBlock m a))

Instance details

Methods

noThunks ∷ Context → GenTx (DualBlock m a) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → GenTx (DualBlock m a) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (GenTx (DualBlock m a)) → String Source #

NoThunks (GenTx BlockA) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (GenTx BlockA) → String Source #

NoThunks (GenTx BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (GenTx BlockB) → String Source #

CanHardFork xs ⇒ NoThunks (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

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

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

showTypeOf ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #

NoThunks (TxId (GenTx (DualBlock m a)))

Instance details

Methods

noThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxId (GenTx (DualBlock m a))) → String Source #

NoThunks (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

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

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

NoThunks (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

ConvertRawTxId (GenTx BlockA) Source #

Instance details

Methods

toRawTxIdHash ∷ TxId (GenTx BlockA) → ShortByteString Source #

ConvertRawTxId (GenTx BlockB) Source #

Instance details

Methods

toRawTxIdHash ∷ TxId (GenTx BlockB) → ShortByteString Source #

CanHardFork xs ⇒ HasTxId (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

txId ∷ GenTx (HardForkBlock xs) → TxId (GenTx (HardForkBlock xs)) Source #

Bridge m a ⇒ HasTxId (GenTx (DualBlock m a))

Instance details

Methods

txId ∷ GenTx (DualBlock m a) → TxId (GenTx (DualBlock m a)) Source #

HasTxId (GenTx BlockA) Source #

Instance details

Methods

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

HasTxId (GenTx BlockB) Source #

Instance details

Methods

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

All CondenseConstraints xs ⇒ Condense (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense ∷ GenTx (HardForkBlock xs) → String Source #

Condense (GenTx BlockA) Source #

Instance details

Methods

condense ∷ GenTx BlockA → String Source #

Condense (GenTx BlockB) Source #

Instance details

Methods

condense ∷ GenTx BlockB → String Source #

All CondenseConstraints xs ⇒ Condense (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense ∷ TxId (GenTx (HardForkBlock xs)) → String Source #

Condense (TxId (GenTx BlockA)) Source #

Instance details

Methods

condense ∷ TxId (GenTx BlockA) → String Source #

Condense (TxId (GenTx BlockB)) Source #

Instance details

Methods

condense ∷ TxId (GenTx BlockB) → String Source #

Serialise (GenTx BlockA) Source #

Instance details

Methods

encode ∷ GenTx BlockA → Encoding Source #

decode ∷ Decoder s (GenTx BlockA) Source #

encodeList ∷ [GenTx BlockA] → Encoding Source #

decodeList ∷ Decoder s [GenTx BlockA] Source #

Serialise (GenTx BlockB) Source #

Instance details

Methods

encode ∷ GenTx BlockB → Encoding Source #

decode ∷ Decoder s (GenTx BlockB) Source #

encodeList ∷ [GenTx BlockB] → Encoding Source #

decodeList ∷ Decoder s [GenTx BlockB] Source #

Serialise (TxId (GenTx BlockA)) Source #

Instance details

Methods

encode ∷ TxId (GenTx BlockA) → Encoding Source #

decode ∷ Decoder s (TxId (GenTx BlockA)) Source #

encodeList ∷ [TxId (GenTx BlockA)] → Encoding Source #

decodeList ∷ Decoder s [TxId (GenTx BlockA)] Source #

Serialise (TxId (GenTx BlockB)) Source #

Instance details

Methods

encode ∷ TxId (GenTx BlockB) → Encoding Source #

decode ∷ Decoder s (TxId (GenTx BlockB)) Source #

encodeList ∷ [TxId (GenTx BlockB)] → Encoding Source #

decodeList ∷ Decoder s [TxId (GenTx BlockB)] Source #

Show (TxId (GenTx blk)) ⇒ ToExpr (TxId (GenTx blk))

Instance details

Defined in Test.Util.Orphans.ToExpr

Methods

toExpr ∷ TxId (GenTx blk) → Expr Source #

listToExpr ∷ [TxId (GenTx blk)] → Expr Source #

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTx (HardForkBlock xs) → Encoding Source #

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

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source #

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

SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTx (HardForkBlock xs) → Encoding Source #

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

SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source #

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

(ToExpr (GenTx blk), LedgerSupportsMempool blk, measure ~ TxMeasure blk, ToExpr measure, ToExpr (Validated (GenTx blk))) ⇒ ToExpr (TxTicket measure (Validated (GenTx blk)))

Instance details

Defined in Test.Util.Orphans.ToExpr

Methods

toExpr ∷ TxTicket measure (Validated (GenTx blk)) → Expr Source #

listToExpr ∷ [TxTicket measure (Validated (GenTx blk))] → Expr Source #

data GenTx BlockA Source #

Instance details

data GenTx BlockA = TxA {

txA_id ∷ TxId (GenTx BlockA)
txA_payload ∷ TxPayloadA

}

data GenTx BlockB Source #

Instance details

data GenTx BlockB

type Rep (Validated (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))

type Rep (Validated (GenTx BlockA)) Source #

Instance details

type Rep (Validated (GenTx BlockA)) = Rep (GenTx BlockA)

type Rep (Validated (GenTx BlockB)) Source #

Instance details

type Rep (Validated (GenTx BlockB)) = D1 ('MetaData "Validated" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (V1 ∷ Type → Type)

type Rep (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))

type Rep (GenTx BlockA) Source #

Instance details

type Rep (GenTx BlockA) = D1 ('MetaData "GenTx" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "TxA" 'PrefixI 'True) (S1 ('MetaSel ('Just "txA_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxId (GenTx BlockA))) :*: S1 ('MetaSel ('Just "txA_payload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxPayloadA)))

type Rep (GenTx BlockB) Source #

Instance details

type Rep (GenTx BlockB) = D1 ('MetaData "GenTx" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (V1 ∷ Type → Type)

type Rep (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

type Rep (TxId (GenTx BlockA)) Source #

Instance details

type Rep (TxId (GenTx BlockA)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "TxIdA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

type Rep (TxId (GenTx BlockB)) Source #

Instance details

type Rep (TxId (GenTx BlockB)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (V1 ∷ Type → Type)

newtype Validated (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx {

getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs

}

data Validated (GenTx (DualBlock m a))

Instance details

data Validated (GenTx (DualBlock m a)) = ValidatedDualGenTx {

}

newtype Validated (GenTx BlockA) Source #

Instance details

newtype Validated (GenTx BlockA) = ValidatedGenTxA {

forgetValidatedGenTxA ∷ GenTx BlockA

}

data Validated (GenTx BlockB) Source #

Instance details

data Validated (GenTx BlockB)

newtype GenTx (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype GenTx (HardForkBlock xs) = HardForkGenTx {

getHardForkGenTx ∷ OneEraGenTx xs

}

newtype TxId (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId {

getHardForkGenTxId ∷ OneEraGenTxId xs

}

newtype TxId (GenTx (DualBlock m a))

Instance details

newtype TxId (GenTx (DualBlock m a)) = DualGenTxId {

dualGenTxIdMain ∷ GenTxId m

}

newtype TxId (GenTx BlockA) Source #

Instance details

newtype TxId (GenTx BlockA) = TxIdA Int

data TxId (GenTx BlockB) Source #

Instance details

data TxId (GenTx BlockB)

data GenTx (DualBlock m a)

Instance details

data GenTx (DualBlock m a) = DualGenTx {

dualGenTxMain ∷ GenTx m
dualGenTxAux ∷ GenTx a
dualGenTxBridge ∷ BridgeTx m a

}

data family Header blk Source #

Instances

data family LedgerState blk (mk ∷ MapKind) Source #

Ledger state associated with a block

This is the Consensus notion of a Ledger ledger state. Each block type is associated with one of the Ledger types for the ledger state. Virtually every concept in this codebase revolves around this type, or the referenced blk. Whenever we use the type variable l we intend to signal that the expected instantiation is either a LedgerState or some wrapper over it (like the ExtLedgerState).

This type is parametrized over mk :: MapKind to express the LedgerTables contained in such a LedgerState. See LedgerTables for a more thorough description.

The main operations we can do with a LedgerState are ticking (defined in IsLedger), and applying a block (defined in ApplyBlock).

Instances

Instances details

ApplyBlock LedgerState BlockA Source #

Instance details

Methods

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

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

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

ApplyBlock LedgerState BlockB Source #

Instance details

Methods

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

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

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

ApplyBlock LedgerState TestBlock

Instance details

Methods

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

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

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

IsLedger LedgerState BlockA Source #

Instance details

Associated Types

type LedgerErr LedgerState BlockA
Instance details Defined in Test.Consensus.HardFork.Combinator.A type LedgerErr LedgerState BlockA = Void

Methods

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

IsLedger LedgerState BlockB Source #

Instance details

Associated Types

type LedgerErr LedgerState BlockB
Instance details Defined in Test.Consensus.HardFork.Combinator.B type LedgerErr LedgerState BlockB = Void

Methods

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

IsLedger LedgerState TestBlock

Instance details

CanUpgradeLedgerTables LedgerState BlockA Source #

Associated Types

type LedgerErr LedgerState TestBlock
Instance details Defined in Test.Ouroboros.Storage.TestBlock type LedgerErr LedgerState TestBlock = TestBlockError

Methods

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

Instance details

CanUpgradeLedgerTables LedgerState BlockB Source #

Methods

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

Instance details

Methods

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

CanUpgradeLedgerTables LedgerState TestBlock

Instance details

Methods

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

CanUpgradeLedgerTables LedgerState TestBlock

Instance details

Defined in Test.Util.TestBlock

Methods

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

HasLedgerTables LedgerState BlockA Source #

Instance details

Methods

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

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

HasLedgerTables LedgerState BlockB Source #

Instance details

Methods

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

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

HasLedgerTables LedgerState TestBlock

Instance details

LedgerTablesAreTrivial LedgerState BlockA Source #

Methods

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

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

HasLedgerTables LedgerState TestBlock

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

Instance details

LedgerTablesAreTrivial LedgerState BlockB Source #

Methods

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

Instance details

Methods

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

LedgerTablesAreTrivial LedgerState TestBlock

Instance details

SerializeTablesWithHint LedgerState BlockA Source #

Methods

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

LedgerTablesAreTrivial LedgerState TestBlock

Instance details

Defined in Test.Util.TestBlock

Methods

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

Instance details

SerializeTablesWithHint LedgerState BlockB Source #

Methods

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

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

Instance details

Methods

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

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

SerializeTablesWithHint LedgerState TestBlock

Instance details

Methods

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

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

SerializeTablesWithHint LedgerState TestBlock

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

IndexedMemPack LedgerState BlockA Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState BlockA EmptyMK → Void → Int Source #

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

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

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

IndexedMemPack LedgerState BlockB Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState BlockB EmptyMK → Void → Int Source #

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

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

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

IndexedMemPack LedgerState TestBlock Void

Instance details

Methods

indexedPackedByteCount ∷ LedgerState TestBlock EmptyMK → Void → Int Source #

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

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

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

IndexedMemPack LedgerState TestBlock Void

Instance details

Defined in Test.Util.TestBlock

Methods

indexedPackedByteCount ∷ LedgerState TestBlock EmptyMK → Void → Int Source #

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

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

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

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ ApplyBlock LedgerState (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

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

PayloadSemantics ptype ⇒ ApplyBlock LedgerState (TestBlockWith ptype)

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

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

CanHardFork xs ⇒ IsLedger LedgerState (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Associated Types

type LedgerErr LedgerState (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xs

Methods

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

PayloadSemantics ptype ⇒ IsLedger LedgerState (TestBlockWith ptype)

Instance details

Defined in Test.Util.TestBlock

Associated Types

type LedgerErr LedgerState (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock type LedgerErr LedgerState (TestBlockWith ptype) = TestBlockError ptype

Methods

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

(CanHardFork xs, HasHardForkTxOut xs) ⇒ CanUpgradeLedgerTables LedgerState (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ HasLedgerTables LedgerState (HardForkBlock xs)

Warning: projectLedgerTables and withLedgerTables are prohibitively expensive when using big tables or when used multiple times. See the TxOut instance for the HardForkBlock for more information.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

SerializeTablesWithHint LedgerState (HardForkBlock '[BlockA, BlockB]) Source #

Instance details

Methods

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

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

IndexedMemPack LedgerState (HardForkBlock '[BlockA, BlockB]) (DefaultHardForkTxOut '[BlockA, BlockB]) Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → Unpack s b (DefaultHardForkTxOut '[BlockA, BlockB]) Source #

indexedTypeName ∷ Proxy (DefaultHardForkTxOut '[BlockA, BlockB]) → LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → String Source #

Bridge m a ⇒ ApplyBlock LedgerState (DualBlock m a)

Instance details

Methods

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

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

reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (DualBlock m a) → DualBlock m a → Ticked LedgerState (DualBlock m a) ValuesMK → LedgerResult (DualBlock m a) (LedgerState (DualBlock m a) DiffMK) Source #

Bridge m a ⇒ IsLedger LedgerState (DualBlock m a)

Instance details

Associated Types

type LedgerErr LedgerState (DualBlock m a)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual type LedgerErr LedgerState (DualBlock m a) = DualLedgerError m a

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState (DualBlock m a) → SlotNo → LedgerState (DualBlock m a) EmptyMK → LedgerResult (DualBlock m a) (Ticked LedgerState (DualBlock m a) DiffMK) Source #

CanUpgradeLedgerTables LedgerState (DualBlock m a)

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (DualBlock m a) mk1 → LedgerState (DualBlock m a) mk2 → LedgerTables (DualBlock m a) ValuesMK → LedgerTables (DualBlock m a) ValuesMK Source #

CanUpgradeLedgerTables LedgerState (OTBlock k v)

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (OTBlock k v) mk1 → LedgerState (OTBlock k v) mk2 → LedgerTables (OTBlock k v) ValuesMK → LedgerTables (OTBlock k v) ValuesMK Source #

(Bridge m a, HasLedgerTables LedgerState m) ⇒ HasLedgerTables LedgerState (DualBlock m a)

Instance details

Methods

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

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

(Ord k, Eq v, NoThunks k, NoThunks v) ⇒ HasLedgerTables LedgerState (OTBlock k v)

Instance details

Methods

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

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

(Ord (TxIn m), MemPack (TxIn m), MemPack (TxOut m)) ⇒ SerializeTablesWithHint LedgerState (DualBlock m a)

Instance details

Methods

encodeTablesWithHint ∷ LedgerState (DualBlock m a) EmptyMK → LedgerTables (DualBlock m a) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (DualBlock m a) EmptyMK → Decoder s (LedgerTables (DualBlock m a) ValuesMK) Source #

(Ord k, MemPack k, MemPack v) ⇒ SerializeTablesWithHint LedgerState (OTBlock k v)

Instance details

Methods

encodeTablesWithHint ∷ LedgerState (OTBlock k v) EmptyMK → LedgerTables (OTBlock k v) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (OTBlock k v) EmptyMK → Decoder s (LedgerTables (OTBlock k v) ValuesMK) Source #

DecodeDisk BlockA (LedgerState BlockA EmptyMK) Source #

Instance details

Methods

decodeDisk ∷ CodecConfig BlockA → ∀ s. Decoder s (LedgerState BlockA EmptyMK) Source #

DecodeDisk BlockB (LedgerState BlockB EmptyMK) Source #

Instance details

Methods

decodeDisk ∷ CodecConfig BlockB → ∀ s. Decoder s (LedgerState BlockB EmptyMK) Source #

DecodeDisk TestBlock (LedgerState TestBlock EmptyMK)

Instance details

Methods

decodeDisk ∷ CodecConfig TestBlock → ∀ s. Decoder s (LedgerState TestBlock EmptyMK) Source #

EncodeDisk BlockA (LedgerState BlockA EmptyMK) Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockA → LedgerState BlockA EmptyMK → Encoding Source #

EncodeDisk BlockB (LedgerState BlockB EmptyMK) Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockB → LedgerState BlockB EmptyMK → Encoding Source #

EncodeDisk TestBlock (LedgerState TestBlock EmptyMK)

Instance details

Methods

encodeDisk ∷ CodecConfig TestBlock → LedgerState TestBlock EmptyMK → Encoding Source #

(txout ~ TxOut m, IndexedMemPack LedgerState m txout) ⇒ IndexedMemPack LedgerState (DualBlock m a) txout

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (DualBlock m a) EmptyMK → txout → Int Source #

indexedPackM ∷ LedgerState (DualBlock m a) EmptyMK → txout → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (DualBlock m a) EmptyMK → Unpack s b txout Source #

indexedTypeName ∷ Proxy txout → LedgerState (DualBlock m a) EmptyMK → String Source #

MemPack v ⇒ IndexedMemPack LedgerState (OTBlock k v) v

Instance details

Methods

indexedPackedByteCount ∷ LedgerState (OTBlock k v) EmptyMK → v → Int Source #

indexedPackM ∷ LedgerState (OTBlock k v) EmptyMK → v → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (OTBlock k v) EmptyMK → Unpack s b v Source #

indexedTypeName ∷ Proxy v → LedgerState (OTBlock k v) EmptyMK → String Source #

CanHardFork xs ⇒ GetTip (LedgerState (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

Bridge m a ⇒ GetTip (LedgerState (DualBlock m a))

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState (DualBlock m a) mk → Point (LedgerState (DualBlock m a)) Source #

GetTip (LedgerState BlockA) Source #

Instance details

Methods

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

GetTip (LedgerState BlockB) Source #

Instance details

Methods

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

GetTip (LedgerState TestBlock)

Instance details

Methods

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

GetTip (LedgerState (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

Methods

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

All (Compose CanStowLedgerTables LedgerState) xs ⇒ CanStowLedgerTables (LedgerState (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

stowLedgerTables ∷ LedgerState (HardForkBlock xs) ValuesMK → LedgerState (HardForkBlock xs) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (HardForkBlock xs) EmptyMK → LedgerState (HardForkBlock xs) ValuesMK Source #

CanStowLedgerTables (LedgerState m) ⇒ CanStowLedgerTables (LedgerState (DualBlock m a))

Instance details

Methods

stowLedgerTables ∷ LedgerState (DualBlock m a) ValuesMK → LedgerState (DualBlock m a) EmptyMK Source #

unstowLedgerTables ∷ LedgerState (DualBlock m a) EmptyMK → LedgerState (DualBlock m a) ValuesMK Source #

CanStowLedgerTables (LedgerState BlockA) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState BlockA ValuesMK → LedgerState BlockA EmptyMK Source #

unstowLedgerTables ∷ LedgerState BlockA EmptyMK → LedgerState BlockA ValuesMK Source #

CanStowLedgerTables (LedgerState BlockB) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState BlockB ValuesMK → LedgerState BlockB EmptyMK Source #

unstowLedgerTables ∷ LedgerState BlockB EmptyMK → LedgerState BlockB ValuesMK Source #

CanStowLedgerTables (LedgerState TestBlock)

Instance details

Methods

stowLedgerTables ∷ LedgerState TestBlock ValuesMK → LedgerState TestBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState TestBlock EmptyMK → LedgerState TestBlock ValuesMK Source #

CanStowLedgerTables (LedgerState TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

stowLedgerTables ∷ LedgerState TestBlock ValuesMK → LedgerState TestBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState TestBlock EmptyMK → LedgerState TestBlock ValuesMK Source #

SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (LedgerState (HardForkBlock xs) EmptyMK) Source #

PayloadSemantics ptype ⇒ DecodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype) EmptyMK)

Instance details

Defined in Test.Util.TestBlock

Methods

decodeDisk ∷ CodecConfig (TestBlockWith ptype) → ∀ s. Decoder s (LedgerState (TestBlockWith ptype) EmptyMK) Source #

SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk

Methods

encodeDisk ∷ CodecConfig (HardForkBlock xs) → LedgerState (HardForkBlock xs) EmptyMK → Encoding Source #

PayloadSemantics ptype ⇒ EncodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype) EmptyMK)

Instance details

Defined in Test.Util.TestBlock

Methods

encodeDisk ∷ CodecConfig (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) EmptyMK → Encoding Source #

(IsNonEmpty xs, SListI xs, All (Compose Arbitrary (Flip LedgerState mk)) xs) ⇒ Arbitrary (LedgerState (HardForkBlock xs) mk)

Instance details

Defined in Test.Util.Orphans.Arbitrary

Methods

arbitrary ∷ Gen (LedgerState (HardForkBlock xs) mk) Source #

shrink ∷ LedgerState (HardForkBlock xs) mk → [LedgerState (HardForkBlock xs) mk] Source #

Generic (LedgerState BlockA mk) Source #

Instance details

Associated Types

type Rep (LedgerState BlockA mk)

Instance details

type Rep (LedgerState BlockA mk) = D1 ('MetaData "LedgerState" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LgrA" 'PrefixI 'True) (S1 ('MetaSel ('Just "lgrA_tip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point BlockA)) :*: S1 ('MetaSel ('Just "lgrA_transition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SlotNo))))

Methods

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

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

Generic (LedgerState BlockB mk) Source #

Instance details

Associated Types

type Rep (LedgerState BlockB mk)
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (LedgerState BlockB mk) = D1 ('MetaData "LedgerState" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LgrB" 'PrefixI 'True) (S1 ('MetaSel ('Just "lgrB_tip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point BlockB))))

Methods

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

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

Generic (LedgerState TestBlock mk)

Instance details

Associated Types

type Rep (LedgerState TestBlock mk)

Instance details

type Rep (LedgerState TestBlock mk) = D1 ('MetaData "LedgerState" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastAppliedPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point TestBlock)) :*: (S1 ('MetaSel ('Just "lastAppliedHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainHash TestBlock)) :*: S1 ('MetaSel ('Just "latestPerasCertRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe PerasRoundNo)))))

Methods

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

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

Generic (LedgerState (OTBlock k v) mk)

Instance details

Associated Types

type Rep (LedgerState (OTBlock k v) mk)

Instance details

type Rep (LedgerState (OTBlock k v) mk) = D1 ('MetaData "LedgerState" "Test.Util.LedgerStateOnlyTables" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "OTLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "otlsLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ValuesMK k v)) :*: S1 ('MetaSel ('Just "otlsLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OTLedgerTables k v mk))))

Methods

from ∷ LedgerState (OTBlock k v) mk → Rep (LedgerState (OTBlock k v) mk) x #

to ∷ Rep (LedgerState (OTBlock k v) mk) x → LedgerState (OTBlock k v) mk #

Generic (LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

type Rep (LedgerState (TestBlockWith ptype) mk) = D1 ('MetaData "LedgerState" "Test.Util.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastAppliedPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point (TestBlockWith ptype))) :*: S1 ('MetaSel ('Just "payloadDependentState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PayloadDependentState ptype mk))))

Methods

from ∷ LedgerState (TestBlockWith ptype) mk → Rep (LedgerState (TestBlockWith ptype) mk) x #

to ∷ Rep (LedgerState (TestBlockWith ptype) mk) x → LedgerState (TestBlockWith ptype) mk #

(ShowMK mk, CanHardFork xs) ⇒ Show (LedgerState (HardForkBlock xs) mk)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

showsPrec ∷ Int → LedgerState (HardForkBlock xs) mk → ShowS #

show ∷ LedgerState (HardForkBlock xs) mk → String #

showList ∷ [LedgerState (HardForkBlock xs) mk] → ShowS #

(Bridge m a, ShowMK mk) ⇒ Show (LedgerState (DualBlock m a) mk)

Instance details

Methods

showsPrec ∷ Int → LedgerState (DualBlock m a) mk → ShowS #

show ∷ LedgerState (DualBlock m a) mk → String #

showList ∷ [LedgerState (DualBlock m a) mk] → ShowS #

Show (LedgerState BlockA mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState BlockA mk → ShowS #

show ∷ LedgerState BlockA mk → String #

showList ∷ [LedgerState BlockA mk] → ShowS #

Show (LedgerState BlockB mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState BlockB mk → ShowS #

show ∷ LedgerState BlockB mk → String #

showList ∷ [LedgerState BlockB mk] → ShowS #

Show (LedgerState TestBlock mk)

Instance details

Methods

showsPrec ∷ Int → LedgerState TestBlock mk → ShowS #

show ∷ LedgerState TestBlock mk → String #

showList ∷ [LedgerState TestBlock mk] → ShowS #

(ShowMK mk, PayloadSemantics ptype) ⇒ Show (LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → LedgerState (TestBlockWith ptype) mk → ShowS #

show ∷ LedgerState (TestBlockWith ptype) mk → String #

showList ∷ [LedgerState (TestBlockWith ptype) mk] → ShowS #

(EqMK mk, CanHardFork xs) ⇒ Eq (LedgerState (HardForkBlock xs) mk)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

(==) ∷ LedgerState (HardForkBlock xs) mk → LedgerState (HardForkBlock xs) mk → Bool #

(/=) ∷ LedgerState (HardForkBlock xs) mk → LedgerState (HardForkBlock xs) mk → Bool #

(Bridge m a, EqMK mk) ⇒ Eq (LedgerState (DualBlock m a) mk)

Instance details

Methods

(==) ∷ LedgerState (DualBlock m a) mk → LedgerState (DualBlock m a) mk → Bool #

(/=) ∷ LedgerState (DualBlock m a) mk → LedgerState (DualBlock m a) mk → Bool #

Eq (LedgerState BlockA mk) Source #

Instance details

Methods

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

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

Eq (LedgerState BlockB mk) Source #

Instance details

Methods

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

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

Eq (LedgerState TestBlock mk)

Instance details

Methods

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

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

Eq (PayloadDependentState ptype mk) ⇒ Eq (LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

Methods

(==) ∷ LedgerState (TestBlockWith ptype) mk → LedgerState (TestBlockWith ptype) mk → Bool #

(/=) ∷ LedgerState (TestBlockWith ptype) mk → LedgerState (TestBlockWith ptype) mk → Bool #

(NoThunksMK mk, CanHardFork xs) ⇒ NoThunks (LedgerState (HardForkBlock xs) mk)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs) mk) → String Source #

NoThunks (LedgerState (DualBlock m a) mk)

Instance details

Methods

noThunks ∷ Context → LedgerState (DualBlock m a) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerState (DualBlock m a) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerState (DualBlock m a) mk) → String Source #

NoThunks (LedgerState BlockA mk) Source #

Instance details

Methods

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

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

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

NoThunks (LedgerState BlockB mk) Source #

Instance details

Methods

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

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

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

NoThunks (LedgerState TestBlock mk)

Instance details

Methods

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

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

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

NoThunks (PayloadDependentState ptype mk) ⇒ NoThunks (LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy (LedgerState (TestBlockWith ptype) mk) → String Source #

(Ord k, Eq v) ⇒ CanStowLedgerTables (OTLedgerState k v)

Instance details

Methods

stowLedgerTables ∷ OTLedgerState k v ValuesMK → OTLedgerState k v EmptyMK Source #

unstowLedgerTables ∷ OTLedgerState k v EmptyMK → OTLedgerState k v ValuesMK Source #

Serialise (LedgerState BlockA mk) Source #

Instance details

Methods

encode ∷ LedgerState BlockA mk → Encoding Source #

decode ∷ Decoder s (LedgerState BlockA mk) Source #

encodeList ∷ [LedgerState BlockA mk] → Encoding Source #

decodeList ∷ Decoder s [LedgerState BlockA mk] Source #

Serialise (LedgerState BlockB mk) Source #

Instance details

Methods

encode ∷ LedgerState BlockB mk → Encoding Source #

decode ∷ Decoder s (LedgerState BlockB mk) Source #

encodeList ∷ [LedgerState BlockB mk] → Encoding Source #

decodeList ∷ Decoder s [LedgerState BlockB mk] Source #

Serialise (LedgerState TestBlock mk)

Instance details

Methods

encode ∷ LedgerState TestBlock mk → Encoding Source #

decode ∷ Decoder s (LedgerState TestBlock mk) Source #

encodeList ∷ [LedgerState TestBlock mk] → Encoding Source #

decodeList ∷ Decoder s [LedgerState TestBlock mk] Source #

PayloadSemantics ptype ⇒ Serialise (LedgerState (TestBlockWith ptype) EmptyMK)

Instance details

Defined in Test.Util.TestBlock

Methods

encode ∷ LedgerState (TestBlockWith ptype) EmptyMK → Encoding Source #

decode ∷ Decoder s (LedgerState (TestBlockWith ptype) EmptyMK) Source #

encodeList ∷ [LedgerState (TestBlockWith ptype) EmptyMK] → Encoding Source #

decodeList ∷ Decoder s [LedgerState (TestBlockWith ptype) EmptyMK] Source #

ToExpr (LedgerState TestBlock EmptyMK)

Instance details

Methods

toExpr ∷ LedgerState TestBlock EmptyMK → Expr Source #

listToExpr ∷ [LedgerState TestBlock EmptyMK] → Expr Source #

HasLedgerTables (Ticked LedgerState) BlockA Source #

Instance details

Methods

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

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

HasLedgerTables (Ticked LedgerState) BlockB Source #

Instance details

Methods

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

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

HasLedgerTables (Ticked LedgerState) TestBlock

Instance details

Methods

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

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

HasLedgerTables (Ticked LedgerState) TestBlock

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

LedgerTablesAreTrivial (Ticked LedgerState) BlockA Source #

Instance details

Methods

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

LedgerTablesAreTrivial (Ticked LedgerState) BlockB Source #

Instance details

Methods

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

LedgerTablesAreTrivial (Ticked LedgerState) TestBlock

Instance details

Methods

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

LedgerTablesAreTrivial (Ticked LedgerState) TestBlock

Instance details

Defined in Test.Util.TestBlock

Methods

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

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ HasLedgerTables (Ticked LedgerState) (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

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

StandardHash blk ⇒ StandardHash (LedgerState blk ∷ MapKind → Type)

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

IndexedMemPack (Ticked LedgerState) (HardForkBlock '[BlockA, BlockB]) (DefaultHardForkTxOut '[BlockA, BlockB]) Source #

Instance details

Methods

indexedPackedByteCount ∷ Ticked LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Int Source #

indexedPackM ∷ Ticked LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. Ticked LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → Unpack s b (DefaultHardForkTxOut '[BlockA, BlockB]) Source #

indexedTypeName ∷ Proxy (DefaultHardForkTxOut '[BlockA, BlockB]) → Ticked LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → String Source #

(Bridge m a, HasLedgerTables (Ticked LedgerState) m) ⇒ HasLedgerTables (Ticked LedgerState) (DualBlock m a)

Instance details

Methods

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

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

(Show k, Show v, Show (mk k v)) ⇒ Show (OTLedgerState k v mk)

Instance details

Methods

showsPrec ∷ Int → OTLedgerState k v mk → ShowS #

show ∷ OTLedgerState k v mk → String #

showList ∷ [OTLedgerState k v mk] → ShowS #

(Ord k, Eq v, Eq (mk k v)) ⇒ Eq (OTLedgerState k v mk)

Instance details

Methods

(==) ∷ OTLedgerState k v mk → OTLedgerState k v mk → Bool #

(/=) ∷ OTLedgerState k v mk → OTLedgerState k v mk → Bool #

(NoThunks k, NoThunks v, NoThunks (mk k v)) ⇒ NoThunks (OTLedgerState k v mk)

Instance details

Methods

noThunks ∷ Context → OTLedgerState k v mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → OTLedgerState k v mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (OTLedgerState k v mk) → String Source #

CanHardFork xs ⇒ GetTip (Ticked LedgerState (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

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

Bridge m a ⇒ GetTip (Ticked LedgerState (DualBlock m a))

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState (DualBlock m a) mk → Point (Ticked LedgerState (DualBlock m a)) Source #

GetTip (Ticked LedgerState BlockA) Source #

Instance details

Methods

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

GetTip (Ticked LedgerState BlockB) Source #

Instance details

Methods

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

GetTip (Ticked LedgerState TestBlock)

Instance details

Methods

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

GetTip (Ticked LedgerState (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

Methods

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

Generic (Ticked LedgerState BlockA mk) Source #

Instance details

Associated Types

type Rep (Ticked LedgerState BlockA mk)

Instance details

type Rep (Ticked LedgerState BlockA mk) = D1 ('MetaData "Ticked" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "TickedLedgerStateA" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedLedgerStateA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState BlockA mk))))

Methods

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

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

Generic (Ticked LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (Ticked LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

type Rep (Ticked LedgerState (TestBlockWith ptype) mk) = D1 ('MetaData "Ticked" "Test.Util.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype) mk))))

Methods

from ∷ Ticked LedgerState (TestBlockWith ptype) mk → Rep (Ticked LedgerState (TestBlockWith ptype) mk) x #

to ∷ Rep (Ticked LedgerState (TestBlockWith ptype) mk) x → Ticked LedgerState (TestBlockWith ptype) mk #

Show (Ticked LedgerState BlockA mk) Source #

Instance details

Methods

showsPrec ∷ Int → Ticked LedgerState BlockA mk → ShowS #

show ∷ Ticked LedgerState BlockA mk → String #

showList ∷ [Ticked LedgerState BlockA mk] → ShowS #

Eq (Ticked LedgerState BlockA mk) Source #

Instance details

Methods

(==) ∷ Ticked LedgerState BlockA mk → Ticked LedgerState BlockA mk → Bool #

(/=) ∷ Ticked LedgerState BlockA mk → Ticked LedgerState BlockA mk → Bool #

NoThunks (Ticked LedgerState (DualBlock m a) mk)

Instance details

Methods

noThunks ∷ Context → Ticked LedgerState (DualBlock m a) mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Ticked LedgerState (DualBlock m a) mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Ticked LedgerState (DualBlock m a) mk) → String Source #

NoThunks (Ticked LedgerState BlockA mk) Source #

Instance details

Methods

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

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

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

NoThunks (Ticked LedgerState BlockB mk) Source #

Instance details

Methods

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

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

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

(NoThunksMK mk, NoThunks (PayloadDependentState ptype mk)) ⇒ NoThunks (Ticked LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

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

Inject (Flip LedgerState mk)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary

Methods

inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → Flip LedgerState mk x → Flip LedgerState mk (HardForkBlock xs) Source #

Isomorphic (Flip LedgerState mk)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ Flip LedgerState mk (HardForkBlock '[blk]) → Flip LedgerState mk blk Source #

inject ∷ NoHardForks blk ⇒ Flip LedgerState mk blk → Flip LedgerState mk (HardForkBlock '[blk]) Source #

data LedgerState BlockA mk Source #

Instance details

data LedgerState BlockA mk = LgrA {

lgrA_tip ∷ Point BlockA
lgrA_transition ∷ Maybe SlotNo

}

data LedgerState BlockB mk Source #

Instance details

data LedgerState BlockB mk = LgrB {

lgrB_tip ∷ Point BlockB

}

data LedgerState TestBlock mk

Instance details

data LedgerState TestBlock mk = TestLedger {

lastAppliedPoint ∷ !(Point TestBlock)
lastAppliedHash ∷ !(ChainHash TestBlock)
latestPerasCertRound ∷ !(Maybe PerasRoundNo)

}

type LedgerCfg LedgerState BlockA Source #

Instance details

type LedgerCfg LedgerState BlockA = (EpochInfo Identity, PartialLedgerConfigA)

type LedgerCfg LedgerState BlockB Source #

Instance details

type LedgerCfg LedgerState BlockB

type LedgerCfg LedgerState TestBlock

Instance details

type LedgerCfg LedgerState TestBlock = EraParams

type LedgerErr LedgerState BlockA Source #

Instance details

type LedgerErr LedgerState BlockA = Void

type LedgerErr LedgerState BlockB Source #

Instance details

type LedgerErr LedgerState BlockB = Void

type LedgerErr LedgerState TestBlock

Instance details

type LedgerErr LedgerState TestBlock = TestBlockError

type LedgerCfg LedgerState (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type LedgerCfg LedgerState (HardForkBlock xs) = HardForkLedgerConfig xs

type LedgerCfg LedgerState (TestBlockWith ptype)

Instance details

Defined in Test.Util.TestBlock

type LedgerCfg LedgerState (TestBlockWith ptype) = TestBlockLedgerConfig

type LedgerErr LedgerState (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xs

type LedgerErr LedgerState (TestBlockWith ptype)

Instance details

Defined in Test.Util.TestBlock

type LedgerErr LedgerState (TestBlockWith ptype) = TestBlockError ptype

type LedgerCfg LedgerState (DualBlock m a)

Instance details

type LedgerCfg LedgerState (DualBlock m a) = DualLedgerConfig m a

type LedgerErr LedgerState (DualBlock m a)

Instance details

type LedgerErr LedgerState (DualBlock m a) = DualLedgerError m a

newtype LedgerState (HardForkBlock xs) mk

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype LedgerState (HardForkBlock xs) mk = HardForkLedgerState {

hardForkLedgerStatePerEra ∷ HardForkState (Flip LedgerState mk) xs

}

data LedgerState (TestBlockWith ptype) mk

Instance details

Defined in Test.Util.TestBlock

data LedgerState (TestBlockWith ptype) mk = TestLedger {

lastAppliedPoint ∷ Point (TestBlockWith ptype)
payloadDependentState ∷ PayloadDependentState ptype mk

}

type Rep (LedgerState BlockA mk) Source #

Instance details

type Rep (LedgerState BlockA mk) = D1 ('MetaData "LedgerState" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LgrA" 'PrefixI 'True) (S1 ('MetaSel ('Just "lgrA_tip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point BlockA)) :*: S1 ('MetaSel ('Just "lgrA_transition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SlotNo))))

type Rep (LedgerState BlockB mk) Source #

Instance details

type Rep (LedgerState BlockB mk) = D1 ('MetaData "LedgerState" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LgrB" 'PrefixI 'True) (S1 ('MetaSel ('Just "lgrB_tip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point BlockB))))

type Rep (LedgerState TestBlock mk)

Instance details

type Rep (LedgerState TestBlock mk) = D1 ('MetaData "LedgerState" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastAppliedPoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point TestBlock)) :*: (S1 ('MetaSel ('Just "lastAppliedHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ChainHash TestBlock)) :*: S1 ('MetaSel ('Just "latestPerasCertRound") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe PerasRoundNo)))))

type Rep (LedgerState (OTBlock k v) mk)

Instance details

type Rep (LedgerState (OTBlock k v) mk) = D1 ('MetaData "LedgerState" "Test.Util.LedgerStateOnlyTables" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "OTLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "otlsLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ValuesMK k v)) :*: S1 ('MetaSel ('Just "otlsLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OTLedgerTables k v mk))))

type Rep (LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

type Rep (LedgerState (TestBlockWith ptype) mk) = D1 ('MetaData "LedgerState" "Test.Util.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastAppliedPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point (TestBlockWith ptype))) :*: S1 ('MetaSel ('Just "payloadDependentState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PayloadDependentState ptype mk))))

data LedgerState (DualBlock m a) mk

Instance details

data LedgerState (DualBlock m a) mk = DualLedgerState {

dualLedgerStateMain ∷ LedgerState m mk
dualLedgerStateAux ∷ LedgerState a ValuesMK
dualLedgerStateBridge ∷ BridgeLedger m a

}

data LedgerState (OTBlock k v) mk

Instance details

data LedgerState (OTBlock k v) mk = OTLedgerState {

otlsLedgerState ∷ ValuesMK k v
otlsLedgerTables ∷ OTLedgerTables k v mk

}

newtype Ticked LedgerState BlockA (mk ∷ MapKind) Source #

Ticking has no state on the A ledger state

Instance details

newtype Ticked LedgerState BlockA (mk ∷ MapKind) = TickedLedgerStateA {

getTickedLedgerStateA ∷ LedgerState BlockA mk

}

newtype Ticked LedgerState BlockB (mk ∷ MapKind) Source #

Ticking has no state on the B ledger state

Instance details

newtype Ticked LedgerState BlockB (mk ∷ MapKind) = TickedLedgerStateB {

getTickedLedgerStateB ∷ LedgerState BlockB mk

}

newtype Ticked LedgerState TestBlock (mk ∷ MapKind)

Instance details

newtype Ticked LedgerState TestBlock (mk ∷ MapKind) = TickedTestLedger {

getTickedTestLedger ∷ LedgerState TestBlock mk

}

data Ticked LedgerState (HardForkBlock xs ∷ Type) (mk ∷ MapKind)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked LedgerState (HardForkBlock xs ∷ Type) (mk ∷ MapKind) = TickedHardForkLedgerState {

tickedHardForkLedgerStateTransition ∷ !TransitionInfo
tickedHardForkLedgerStatePerEra ∷ !(HardForkState (FlipTickedLedgerState mk) xs)

}

newtype Ticked LedgerState (TestBlockWith ptype ∷ Type) (mk ∷ MapKind)

Instance details

Defined in Test.Util.TestBlock

newtype Ticked LedgerState (TestBlockWith ptype ∷ Type) (mk ∷ MapKind) = TickedTestLedger {

getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) mk

}

data Ticked LedgerState (DualBlock m a ∷ Type) (mk ∷ MapKind)

Instance details

data Ticked LedgerState (DualBlock m a ∷ Type) (mk ∷ MapKind) = TickedDualLedgerState {

tickedDualLedgerStateMain ∷ Ticked LedgerState m mk
tickedDualLedgerStateAux ∷ Ticked LedgerState a ValuesMK
tickedDualLedgerStateBridge ∷ BridgeLedger m a
tickedDualLedgerStateAuxOrig ∷ LedgerState a ValuesMK

}

type HeaderHash (LedgerState blk ∷ MapKind → Type)

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

type HeaderHash (LedgerState blk ∷ MapKind → Type) = HeaderHash blk

type Rep (Ticked LedgerState BlockA mk) Source #

Instance details

type Rep (Ticked LedgerState BlockA mk) = D1 ('MetaData "Ticked" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "TickedLedgerStateA" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedLedgerStateA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState BlockA mk))))

type Rep (Ticked LedgerState (TestBlockWith ptype) mk)

Instance details

Defined in Test.Util.TestBlock

type Rep (Ticked LedgerState (TestBlockWith ptype) mk) = D1 ('MetaData "Ticked" "Test.Util.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype) mk))))

newtype LedgerTables blk (mk ∷ MapKind) Source #

The Ledger Tables represent the portion of the data on disk that has been pulled from disk and attached to the in-memory Ledger State or that will eventually be written to disk.

With UTxO-HD and the split of the Ledger ledger state into the in-memory part and the on-disk part, this splitting was reflected in the new type parameter added to the (Consensus) LedgerState, to which we refer as "the MapKind" or mk.

Every LedgerState (or LedgerState-like type, such as the ExtLedgerState) is associated with a LedgerTables and they both share the mk. They both are of kind LedgerStateKind. LedgerTables is just a way to refer only to a partial view of the on-disk data without having the rest of the in-memory LedgerState in scope.

The mk can be instantiated to anything that is map-like, i.e. that expects two type parameters, the key and the value.

Constructors

LedgerTables
Fields getLedgerTables ∷ mk (TxIn blk) (TxOut blk)

Instances

Instances details

(∀ k v. LedgerTableConstraints' l k v ⇒ Monoid (mk k v), LedgerTableConstraints l) ⇒ Monoid (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Combinators

Methods

mempty ∷ LedgerTables l mk #

mappend ∷ LedgerTables l mk → LedgerTables l mk → LedgerTables l mk #

mconcat ∷ [LedgerTables l mk] → LedgerTables l mk #

(∀ k v. LedgerTableConstraints' blk k v ⇒ Semigroup (mk k v), LedgerTableConstraints blk) ⇒ Semigroup (LedgerTables blk mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Combinators

Methods

(<>) ∷ LedgerTables blk mk → LedgerTables blk mk → LedgerTables blk mk #

sconcat ∷ NonEmpty (LedgerTables blk mk) → LedgerTables blk mk #

stimes ∷ Integral b ⇒ b → LedgerTables blk mk → LedgerTables blk mk #

Generic (LedgerTables blk mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Associated Types

type Rep (LedgerTables blk mk)
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.Basics type Rep (LedgerTables blk mk) = D1 ('MetaData "LedgerTables" "Ouroboros.Consensus.Ledger.Tables.Basics" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "LedgerTables" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk (TxIn blk) (TxOut blk)))))

Methods

from ∷ LedgerTables blk mk → Rep (LedgerTables blk mk) x #

to ∷ Rep (LedgerTables blk mk) x → LedgerTables blk mk #

Show (mk (TxIn blk) (TxOut blk)) ⇒ Show (LedgerTables blk mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

showsPrec ∷ Int → LedgerTables blk mk → ShowS #

show ∷ LedgerTables blk mk → String #

showList ∷ [LedgerTables blk mk] → ShowS #

Eq (mk (TxIn blk) (TxOut blk)) ⇒ Eq (LedgerTables blk mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

(==) ∷ LedgerTables blk mk → LedgerTables blk mk → Bool #

(/=) ∷ LedgerTables blk mk → LedgerTables blk mk → Bool #

NoThunks (mk (TxIn blk) (TxOut blk)) ⇒ NoThunks (LedgerTables blk mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

noThunks ∷ Context → LedgerTables blk mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerTables blk mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerTables blk mk) → String Source #

type Rep (LedgerTables blk mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type Rep (LedgerTables blk mk) = D1 ('MetaData "LedgerTables" "Ouroboros.Consensus.Ledger.Tables.Basics" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "LedgerTables" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk (TxIn blk) (TxOut blk)))))

data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type Source #

Context identifying what kind of block we have

In almost all places we will use NestedCtxt rather than NestedCtxt_.

Instances

Instances details

CanHardFork xs ⇒ SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header ∷ Type → Type)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods sameDepIndex ∷ NestedCtxt_ (HardForkBlock xs) Header a → NestedCtxt_ (HardForkBlock xs) Header b → Maybe (a :~: b) Source #
SameDepIndex (NestedCtxt_ m f) ⇒ SameDepIndex (NestedCtxt_ (DualBlock m a) f ∷ Type → Type)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex ∷ NestedCtxt_ (DualBlock m a) f a0 → NestedCtxt_ (DualBlock m a) f b → Maybe (a0 :~: b) Source #
SameDepIndex (NestedCtxt_ BlockA f ∷ Type → Type) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods sameDepIndex ∷ NestedCtxt_ BlockA f a → NestedCtxt_ BlockA f b → Maybe (a :~: b) Source #
SameDepIndex (NestedCtxt_ BlockB f ∷ Type → Type) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods sameDepIndex ∷ NestedCtxt_ BlockB f a → NestedCtxt_ BlockB f b → Maybe (a :~: b) Source #
SameDepIndex (NestedCtxt_ TestBlock f ∷ Type → Type)
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods sameDepIndex ∷ NestedCtxt_ TestBlock f a → NestedCtxt_ TestBlock f b → Maybe (a :~: b) Source #
SameDepIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type)
Instance details Defined in Test.Util.TestBlock Methods sameDepIndex ∷ NestedCtxt_ (TestBlockWith ptype) f a → NestedCtxt_ (TestBlockWith ptype) f b → Maybe (a :~: b) Source #
TrivialDependency (NestedCtxt_ BlockA f ∷ Type → Type) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods hasSingleIndex ∷ NestedCtxt_ BlockA f a → NestedCtxt_ BlockA f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ BlockA f (TrivialIndex (NestedCtxt_ BlockA f) ∷ Type) Source #
TrivialDependency (NestedCtxt_ BlockB f ∷ Type → Type) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods hasSingleIndex ∷ NestedCtxt_ BlockB f a → NestedCtxt_ BlockB f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ BlockB f (TrivialIndex (NestedCtxt_ BlockB f) ∷ Type) Source #
TrivialDependency (NestedCtxt_ TestBlock f ∷ Type → Type)
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods hasSingleIndex ∷ NestedCtxt_ TestBlock f a → NestedCtxt_ TestBlock f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ TestBlock f (TrivialIndex (NestedCtxt_ TestBlock f) ∷ Type) Source #
TrivialDependency (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type)
Instance details Defined in Test.Util.TestBlock Methods hasSingleIndex ∷ NestedCtxt_ (TestBlockWith ptype) f a → NestedCtxt_ (TestBlockWith ptype) f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ (TestBlockWith ptype) f (TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f) ∷ Type) Source #
All SingleEraBlock xs ⇒ Show (NestedCtxt_ (HardForkBlock xs) Header a)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block Methods showsPrec ∷ Int → NestedCtxt_ (HardForkBlock xs) Header a → ShowS # show ∷ NestedCtxt_ (HardForkBlock xs) Header a → String # showList ∷ [NestedCtxt_ (HardForkBlock xs) Header a] → ShowS #
Show (NestedCtxt_ m f x) ⇒ Show (NestedCtxt_ (DualBlock m a) f x)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → NestedCtxt_ (DualBlock m a) f x → ShowS # show ∷ NestedCtxt_ (DualBlock m a) f x → String # showList ∷ [NestedCtxt_ (DualBlock m a) f x] → ShowS #
Show (NestedCtxt_ BlockA f a) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → NestedCtxt_ BlockA f a → ShowS # show ∷ NestedCtxt_ BlockA f a → String # showList ∷ [NestedCtxt_ BlockA f a] → ShowS #
Show (NestedCtxt_ BlockB f a) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods showsPrec ∷ Int → NestedCtxt_ BlockB f a → ShowS # show ∷ NestedCtxt_ BlockB f a → String # showList ∷ [NestedCtxt_ BlockB f a] → ShowS #
Show (NestedCtxt_ TestBlock f a)
Instance details Defined in Test.Ouroboros.Storage.TestBlock Methods showsPrec ∷ Int → NestedCtxt_ TestBlock f a → ShowS # show ∷ NestedCtxt_ TestBlock f a → String # showList ∷ [NestedCtxt_ TestBlock f a] → ShowS #
Show (NestedCtxt_ (TestBlockWith ptype) f a)
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → NestedCtxt_ (TestBlockWith ptype) f a → ShowS # show ∷ NestedCtxt_ (TestBlockWith ptype) f a → String # showList ∷ [NestedCtxt_ (TestBlockWith ptype) f a] → ShowS #
data NestedCtxt_ BlockA f a Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data NestedCtxt_ BlockA f a where CtxtA ∷ ∀ (f ∷ Type → Type). NestedCtxt_ BlockA f (f BlockA)
data NestedCtxt_ BlockB f a Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data NestedCtxt_ BlockB f a where CtxtB ∷ ∀ (f ∷ Type → Type). NestedCtxt_ BlockB f (f BlockB)
data NestedCtxt_ TestBlock f a
Instance details Defined in Test.Ouroboros.Storage.TestBlock data NestedCtxt_ TestBlock f a where CtxtTestBlock ∷ ∀ (f ∷ Type → Type). NestedCtxt_ TestBlock f (f TestBlock)
type TrivialIndex (NestedCtxt_ BlockA f ∷ Type → Type) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type TrivialIndex (NestedCtxt_ BlockA f ∷ Type → Type) = f BlockA
type TrivialIndex (NestedCtxt_ BlockB f ∷ Type → Type) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type TrivialIndex (NestedCtxt_ BlockB f ∷ Type → Type) = f BlockB
type TrivialIndex (NestedCtxt_ TestBlock f ∷ Type → Type)
Instance details Defined in Test.Ouroboros.Storage.TestBlock type TrivialIndex (NestedCtxt_ TestBlock f ∷ Type → Type) = f TestBlock
type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type)
Instance details Defined in Test.Util.TestBlock type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type) = f (TestBlockWith ptype)
data NestedCtxt_ (HardForkBlock xs) a b
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block data NestedCtxt_ (HardForkBlock xs) a b where NCZ ∷ ∀ x (a ∷ Type → Type) b (xs1 ∷ [Type]). !(NestedCtxt_ x a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b NCS ∷ ∀ (xs1 ∷ [Type]) (a ∷ Type → Type) b x. !(NestedCtxt_ (HardForkBlock xs1) a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b
data NestedCtxt_ (TestBlockWith ptype) f a
Instance details Defined in Test.Util.TestBlock data NestedCtxt_ (TestBlockWith ptype) f a where CtxtTestBlock ∷ ∀ ptype (f ∷ Type → Type). NestedCtxt_ (TestBlockWith ptype) f (f (TestBlockWith ptype))
newtype NestedCtxt_ (DualBlock m a) f x
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype NestedCtxt_ (DualBlock m a) f x where CtxtDual ∷ ∀ m (f ∷ Type → Type) x a. NestedCtxt_ m f x → NestedCtxt_ (DualBlock m a) f x

data family StorageConfig blk Source #

Config needed for the NodeInitStorage class. Defined here to avoid circular dependencies.

Instances

Instances details

Isomorphic StorageConfig

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

project ∷ NoHardForks blk ⇒ StorageConfig (HardForkBlock '[blk]) → StorageConfig blk Source #

inject ∷ NoHardForks blk ⇒ StorageConfig blk → StorageConfig (HardForkBlock '[blk]) Source #

Generic (StorageConfig (DualBlock m a))

Instance details

Associated Types

type Rep (StorageConfig (DualBlock m a))

Instance details

type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "DualStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualStorageConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig m)) :*: S1 ('MetaSel ('Just "dualStorageConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig a))))

Methods

from ∷ StorageConfig (DualBlock m a) → Rep (StorageConfig (DualBlock m a)) x #

to ∷ Rep (StorageConfig (DualBlock m a)) x → StorageConfig (DualBlock m a) #

Generic (StorageConfig BlockA) Source #

Instance details

Associated Types

type Rep (StorageConfig BlockA)
Instance details Defined in Test.Consensus.HardFork.Combinator.A type Rep (StorageConfig BlockA) = D1 ('MetaData "StorageConfig" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "SCfgA" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (StorageConfig BlockB) Source #

Instance details

Associated Types

type Rep (StorageConfig BlockB)
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (StorageConfig BlockB) = D1 ('MetaData "StorageConfig" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "SCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (StorageConfig TestBlock)

Instance details

Associated Types

type Rep (StorageConfig TestBlock)
Instance details Defined in Test.Ouroboros.Storage.TestBlock type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (StorageConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (StorageConfig TestBlock)
Instance details Defined in Test.Util.TestBlock type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Util.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Show (StorageConfig TestBlock)

Instance details

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

Show (StorageConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig (HardForkBlock xs)) → String Source #

(NoThunks (StorageConfig m), NoThunks (StorageConfig a)) ⇒ NoThunks (StorageConfig (DualBlock m a))

Instance details

Methods

noThunks ∷ Context → StorageConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StorageConfig (DualBlock m a) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StorageConfig (DualBlock m a)) → String Source #

NoThunks (StorageConfig BlockA) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig BlockA) → String Source #

NoThunks (StorageConfig BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig BlockB) → String Source #

NoThunks (StorageConfig TestBlock)

Instance details

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig TestBlock) → String Source #

NoThunks (StorageConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig TestBlock) → String Source #

data StorageConfig BlockA Source #

Instance details

data StorageConfig BlockA = SCfgA

data StorageConfig BlockB Source #

Instance details

data StorageConfig BlockB = SCfgB

data StorageConfig TestBlock

Instance details

data StorageConfig TestBlock = TestBlockStorageConfig

data StorageConfig TestBlock

Instance details

Defined in Test.Util.TestBlock

data StorageConfig TestBlock = TestBlockStorageConfig

type Rep (StorageConfig (DualBlock m a))

Instance details

type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-3.0.1.0-inplace" 'False) (C1 ('MetaCons "DualStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualStorageConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig m)) :*: S1 ('MetaSel ('Just "dualStorageConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig a))))

type Rep (StorageConfig BlockA) Source #

Instance details

type Rep (StorageConfig BlockA) = D1 ('MetaData "StorageConfig" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "SCfgA" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (StorageConfig BlockB) Source #

Instance details

type Rep (StorageConfig BlockB) = D1 ('MetaData "StorageConfig" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "SCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (StorageConfig TestBlock)

Instance details

type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (StorageConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Util.TestBlock" "ouroboros-consensus-3.0.1.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

newtype StorageConfig (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig {

hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs

}

data StorageConfig (DualBlock m a)

Instance details

data StorageConfig (DualBlock m a) = DualStorageConfig {

dualStorageConfigMain ∷ !(StorageConfig m)
dualStorageConfigAux ∷ !(StorageConfig a)

}

data family TxId blk Source #

A generalized transaction, GenTx, identifier.

Instances

Instances details

SerialiseNodeToClient BlockA (GenTxId BlockA) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB (GenTxId BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockA (GenTxId BlockA) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (GenTxId BlockB) Source #

Instance details

Methods

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

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

Typeable xs ⇒ ShowProxy (TxId (GenTx (HardForkBlock xs)) ∷ Type)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showProxy ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String #

(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type)

Instance details

Methods

showProxy ∷ Proxy (TxId (GenTx (DualBlock m a))) → String #

Generic (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Associated Types

type Rep (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

Methods

from ∷ TxId (GenTx (HardForkBlock xs)) → Rep (TxId (GenTx (HardForkBlock xs))) x #

to ∷ Rep (TxId (GenTx (HardForkBlock xs))) x → TxId (GenTx (HardForkBlock xs)) #

Generic (TxId (GenTx BlockA)) Source #

Instance details

Associated Types

type Rep (TxId (GenTx BlockA))
Instance details Defined in Test.Consensus.HardFork.Combinator.A type Rep (TxId (GenTx BlockA)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "TxIdA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from ∷ TxId (GenTx BlockA) → Rep (TxId (GenTx BlockA)) x #

to ∷ Rep (TxId (GenTx BlockA)) x → TxId (GenTx BlockA) #

Generic (TxId (GenTx BlockB)) Source #

Instance details

Associated Types

type Rep (TxId (GenTx BlockB))
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (TxId (GenTx BlockB)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'False) (V1 ∷ Type → Type)

Methods

from ∷ TxId (GenTx BlockB) → Rep (TxId (GenTx BlockB)) x #

to ∷ Rep (TxId (GenTx BlockB)) x → TxId (GenTx BlockB) #

CanHardFork xs ⇒ Show (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

showsPrec ∷ Int → TxId (GenTx (HardForkBlock xs)) → ShowS #

show ∷ TxId (GenTx (HardForkBlock xs)) → String #

showList ∷ [TxId (GenTx (HardForkBlock xs))] → ShowS #

Show (GenTxId m) ⇒ Show (TxId (GenTx (DualBlock m a)))

Instance details

Methods

showsPrec ∷ Int → TxId (GenTx (DualBlock m a)) → ShowS #

show ∷ TxId (GenTx (DualBlock m a)) → String #

showList ∷ [TxId (GenTx (DualBlock m a))] → ShowS #

Show (TxId (GenTx BlockA)) Source #

Instance details

Methods

showsPrec ∷ Int → TxId (GenTx BlockA) → ShowS #

show ∷ TxId (GenTx BlockA) → String #

showList ∷ [TxId (GenTx BlockA)] → ShowS #

Show (TxId (GenTx BlockB)) Source #

Instance details

Methods

showsPrec ∷ Int → TxId (GenTx BlockB) → ShowS #

show ∷ TxId (GenTx BlockB) → String #

showList ∷ [TxId (GenTx BlockB)] → ShowS #

CanHardFork xs ⇒ Eq (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

(==) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(/=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

Eq (GenTxId m) ⇒ Eq (TxId (GenTx (DualBlock m a)))

Instance details

Methods

(==) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(/=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

Eq (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

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

Eq (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

CanHardFork xs ⇒ Ord (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

compare ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Ordering #

(<) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(<=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(>) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

(>=) ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → Bool #

max ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #

min ∷ TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) → TxId (GenTx (HardForkBlock xs)) #

Ord (GenTxId m) ⇒ Ord (TxId (GenTx (DualBlock m a)))

Instance details

Methods

compare ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Ordering #

(<) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(<=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(>) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

(>=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool #

max ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

min ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

Ord (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

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

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

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

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

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

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

Ord (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

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

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

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

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

CanHardFork xs ⇒ NoThunks (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

Methods

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

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

showTypeOf ∷ Proxy (TxId (GenTx (HardForkBlock xs))) → String Source #

NoThunks (TxId (GenTx (DualBlock m a)))

Instance details

Methods

noThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxId (GenTx (DualBlock m a)) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxId (GenTx (DualBlock m a))) → String Source #

NoThunks (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

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

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

NoThunks (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

All CondenseConstraints xs ⇒ Condense (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condense ∷ TxId (GenTx (HardForkBlock xs)) → String Source #

Condense (TxId (GenTx BlockA)) Source #

Instance details

Methods

condense ∷ TxId (GenTx BlockA) → String Source #

Condense (TxId (GenTx BlockB)) Source #

Instance details

Methods

condense ∷ TxId (GenTx BlockB) → String Source #

Serialise (TxId (GenTx BlockA)) Source #

Instance details

Methods

encode ∷ TxId (GenTx BlockA) → Encoding Source #

decode ∷ Decoder s (TxId (GenTx BlockA)) Source #

encodeList ∷ [TxId (GenTx BlockA)] → Encoding Source #

decodeList ∷ Decoder s [TxId (GenTx BlockA)] Source #

Serialise (TxId (GenTx BlockB)) Source #

Instance details

Methods

encode ∷ TxId (GenTx BlockB) → Encoding Source #

decode ∷ Decoder s (TxId (GenTx BlockB)) Source #

encodeList ∷ [TxId (GenTx BlockB)] → Encoding Source #

decodeList ∷ Decoder s [TxId (GenTx BlockB)] Source #

Show (TxId (GenTx blk)) ⇒ ToExpr (TxId (GenTx blk))

Instance details

Defined in Test.Util.Orphans.ToExpr

Methods

toExpr ∷ TxId (GenTx blk) → Expr Source #

listToExpr ∷ [TxId (GenTx blk)] → Expr Source #

SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient

Methods

encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source #

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

SerialiseHFC xs ⇒ SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode

Methods

encodeNodeToNode ∷ CodecConfig (HardForkBlock xs) → BlockNodeToNodeVersion (HardForkBlock xs) → GenTxId (HardForkBlock xs) → Encoding Source #

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

type Rep (TxId (GenTx (HardForkBlock xs)))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-3.0.1.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))

type Rep (TxId (GenTx BlockA)) Source #

Instance details

type Rep (TxId (GenTx BlockA)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-3.0.1.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "TxIdA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

type Rep (TxId (GenTx BlockB)) Source #

Instance details