Block

Methods

(==) ∷ LeiosTestBlock → LeiosTestBlock → Bool #

(/=) ∷ LeiosTestBlock → LeiosTestBlock → Bool #

Generic LeiosTestBlock Source #

Instance details

Associated Types

type Rep LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type Rep LeiosTestBlock = D1 ('MetaData "LeiosTestBlock" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "LeiosTestBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "ltbHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Header LeiosTestBlock))))

Methods

from ∷ LeiosTestBlock → Rep LeiosTestBlock x #

to ∷ Rep LeiosTestBlock x → LeiosTestBlock #

Show LeiosTestBlock Source #

Instance details

Methods

showsPrec ∷ Int → LeiosTestBlock → ShowS #

show ∷ LeiosTestBlock → String #

showList ∷ [LeiosTestBlock] → ShowS #

NoThunks LeiosTestBlock Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy LeiosTestBlock → String Source #

ConvertRawHash LeiosTestBlock Source #

The raw hash is 32 bytes, as a real header hash is, so that a message that carries one has its real size. It holds the path's length and then one byte per path component, so a path component, a fork number, must be below 256.

Instance details

Associated Types

type HashSize LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type HashSize LeiosTestBlock = 32

Methods

toRawHash ∷ proxy LeiosTestBlock → HeaderHash LeiosTestBlock → ByteString Source #

toShortRawHash ∷ proxy LeiosTestBlock → HeaderHash LeiosTestBlock → ShortByteString Source #

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

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

unsafeFromRawHash ∷ proxy LeiosTestBlock → ByteString → HeaderHash LeiosTestBlock Source #

unsafeFromShortRawHash ∷ proxy LeiosTestBlock → ShortByteString → HeaderHash LeiosTestBlock Source #

hashSize ∷ proxy LeiosTestBlock → Word32 Source #

GetHeader LeiosTestBlock Source #

Instance details

Methods

getHeader ∷ LeiosTestBlock → Header LeiosTestBlock Source #

blockMatchesHeader ∷ Header LeiosTestBlock → LeiosTestBlock → Bool Source #

headerIsEBB ∷ Header LeiosTestBlock → Maybe EpochNo Source #

GetPrevHash LeiosTestBlock Source #

Instance details

BlockSupportsDiffusionPipelining LeiosTestBlock Source #

Methods

headerPrevHash ∷ Header LeiosTestBlock → ChainHash LeiosTestBlock Source #

Instance details

BlockSupportsMetrics LeiosTestBlock Source #

Associated Types

type TentativeHeaderState LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type TentativeHeaderState LeiosTestBlock = TentativeHeaderState (SelectViewDiffusionPipelining LeiosTestBlock)
type TentativeHeaderView LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type TentativeHeaderView LeiosTestBlock = TentativeHeaderView (SelectViewDiffusionPipelining LeiosTestBlock)

Instance details

BlockSupportsPeras LeiosTestBlock Source #

Methods

isSelfIssued ∷ BlockConfig LeiosTestBlock → Header LeiosTestBlock → WhetherSelfIssued Source #

A mock, as for TestBlock.

Instance details

BlockSupportsProtocol LeiosTestBlock Source #

Associated Types

type PerasVote LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type PerasVote LeiosTestBlock = MockPerasVote LeiosTestBlock
type PerasCert LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type PerasCert LeiosTestBlock = MockPerasCert LeiosTestBlock
type PerasError LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type PerasError LeiosTestBlock = MockPerasError LeiosTestBlock
type PerasCrypto LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type PerasCrypto LeiosTestBlock = MockPerasCrypto LeiosTestBlock
type PerasVotingCommitteeScheme LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type PerasVotingCommitteeScheme LeiosTestBlock = MockPerasVotingCommitteeScheme LeiosTestBlock

Methods

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

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

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

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

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

Instance details

BlockSupportsSanityCheck LeiosTestBlock Source #

Instance details

ConfigSupportsNode LeiosTestBlock Source #

Methods

configAllSecurityParams ∷ TopLevelConfig LeiosTestBlock → NonEmpty SecurityParam Source #

Instance details

HasHardForkHistory LeiosTestBlock Source #

Methods

getSystemStart ∷ BlockConfig LeiosTestBlock → SystemStart Source #

getNetworkMagic ∷ BlockConfig LeiosTestBlock → NetworkMagic Source #

Instance details

ImmutableEraParams LeiosTestBlock Source #

Associated Types

type HardForkIndices LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type HardForkIndices LeiosTestBlock = '[LeiosTestBlock]

Methods

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

Instance details

BasicEnvelopeValidation LeiosTestBlock Source #

Methods

immutableEraParams ∷ TopLevelConfig LeiosTestBlock → EraParams Source #

Instance details

Methods

expectedFirstBlockNo ∷ proxy LeiosTestBlock → BlockNo Source #

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

minimumPossibleSlotNo ∷ Proxy LeiosTestBlock → SlotNo Source #

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

HasAnnTip LeiosTestBlock Source #

Instance details

ValidateEnvelope LeiosTestBlock Source #

Associated Types

type TipInfo LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type TipInfo LeiosTestBlock = HeaderHash LeiosTestBlock

Methods

getTipInfo ∷ Header LeiosTestBlock → TipInfo LeiosTestBlock Source #

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

Instance details

GetBlockKeySets LeiosTestBlock Source #

Associated Types

type OtherHeaderEnvelopeError LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type OtherHeaderEnvelopeError LeiosTestBlock = Void

Methods

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

Instance details

Methods

getBlockKeySets ∷ LeiosTestBlock → LedgerTables LeiosTestBlock KeysMK Source #

UpdateLedger LeiosTestBlock Source #

Instance details

CommonProtocolParams LeiosTestBlock Source #

Instance details

Methods

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

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

InspectLedger LeiosTestBlock Source #

Instance details

BlockSupportsLedgerQuery LeiosTestBlock Source #

Associated Types

type LedgerWarning LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type LedgerWarning LeiosTestBlock = Void
type LedgerUpdate LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type LedgerUpdate LeiosTestBlock = Void

Methods

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

Instance details

LedgerSupportsMempool LeiosTestBlock Source #

Methods

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

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

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

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

Instance details

Methods

txInvariant ∷ GenTx LeiosTestBlock → Bool Source #

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

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

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

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

getTransactionKeySets ∷ GenTx LeiosTestBlock → LedgerTables LeiosTestBlock KeysMK Source #

prependMempoolDiffs ∷ TickedLedgerState LeiosTestBlock DiffMK → TickedLedgerState LeiosTestBlock DiffMK → TickedLedgerState LeiosTestBlock DiffMK Source #

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

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

TxLimits LeiosTestBlock Source #

Instance details

LedgerSupportsPeerSelection LeiosTestBlock Source #

Associated Types

type TxMeasurePhase1 LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type TxMeasurePhase1 LeiosTestBlock = IgnoringOverflow ByteSize32
type TxMeasurePhase2 LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type TxMeasurePhase2 LeiosTestBlock = TrivialTxMeasurePhase2
type TxEbMeasure LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type TxEbMeasure LeiosTestBlock = TxMeasure LeiosTestBlock

Methods

txWireSize ∷ GenTx LeiosTestBlock → SizeInBytes Source #

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

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

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

txEbMeasure ∷ proxy LeiosTestBlock → TxMeasure LeiosTestBlock → TxEbMeasure LeiosTestBlock Source #

ebCapacityTxMeasure ∷ ∀ (mk ∷ MapKind). LedgerConfig LeiosTestBlock → TickedLedgerState LeiosTestBlock mk → TxEbMeasure LeiosTestBlock Source #

mempoolEbReservation ∷ proxy LeiosTestBlock → TxEbMeasure LeiosTestBlock → TxMeasure LeiosTestBlock Source #

Instance details

LedgerSupportsProtocol LeiosTestBlock Source #

Methods

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

Instance details

NodeInitStorage LeiosTestBlock Source #

Methods

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

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

Instance details

HasNetworkProtocolVersion LeiosTestBlock Source #

Methods

nodeImmutableDbChunkInfo ∷ StorageConfig LeiosTestBlock → ChunkInfo Source #

nodeCheckIntegrity ∷ StorageConfig LeiosTestBlock → LeiosTestBlock → Bool Source #

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

Instance details

SupportedNetworkProtocolVersion LeiosTestBlock Source #

Associated Types

type BlockNodeToNodeVersion LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type BlockNodeToNodeVersion LeiosTestBlock = ()
type BlockNodeToClientVersion LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type BlockNodeToClientVersion LeiosTestBlock = ()

Instance details

RunNode LeiosTestBlock Source #

Instance details

SerialiseNodeToClientConstraints LeiosTestBlock Source #

Instance details

SerialiseNodeToNodeConstraints LeiosTestBlock Source #

Instance details

StateSupportsPerasEpochContext LeiosTestBlock Source #

Methods

estimateBlockSize ∷ Header LeiosTestBlock → SizeInBytes Source #

Instance details

SerialiseDiskConstraints LeiosTestBlock Source #

Associated Types

type MaybeEraIndexedEpochToPerasRoundInfo LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type MaybeEraIndexedEpochToPerasRoundInfo LeiosTestBlock = EpochToPerasRoundInfo

Methods

fromMaybeEraIndexedEpochToPerasRoundInfo ∷ proxy LeiosTestBlock → MaybeEraIndexedEpochToPerasRoundInfo LeiosTestBlock → EpochToPerasRoundInfo Source #

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

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

Instance details

HasBinaryBlockInfo LeiosTestBlock Source #

Instance details

Methods

getBinaryBlockInfo ∷ LeiosTestBlock → BinaryBlockInfo Source #

Condense LeiosTestBlock Source #

Instance details

Methods

condense ∷ LeiosTestBlock → String Source #

HasHeader LeiosTestBlock Source #

Instance details

Methods

getHeaderFields ∷ LeiosTestBlock → HeaderFields LeiosTestBlock #

Serialise LeiosTestBlock Source #

Instance details

Methods

encode ∷ LeiosTestBlock → Encoding Source #

decode ∷ Decoder s LeiosTestBlock Source #

encodeList ∷ [LeiosTestBlock] → Encoding Source #

decodeList ∷ Decoder s [LeiosTestBlock] Source #

HasNestedContent f LeiosTestBlock Source #

Instance details

Methods

unnest ∷ f LeiosTestBlock → DepPair (NestedCtxt f LeiosTestBlock) Source #

nest ∷ DepPair (NestedCtxt f LeiosTestBlock) → f LeiosTestBlock Source #

ApplyBlock LedgerState LeiosTestBlock Source #

Instance details

IsLedger LedgerState LeiosTestBlock Source #

Instance details

CanUpgradeLedgerTables LedgerState LeiosTestBlock Source #

Associated Types

type LedgerErr LedgerState LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type LedgerErr LedgerState LeiosTestBlock = LeiosTestBlockError

Methods

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

Instance details

HasLedgerTables LedgerState LeiosTestBlock Source #

Methods

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

Instance details

LedgerTablesAreTrivial LedgerState LeiosTestBlock Source #

Methods

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

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

Instance details

SerializeTablesWithHint LedgerState LeiosTestBlock Source #

Methods

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

Instance details

SerialiseNodeToClient LeiosTestBlock SlotNo Source #

Methods

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

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

Instance details

SerialiseNodeToClient LeiosTestBlock LeiosTestBlock Source #

Methods

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

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

Instance details

SerialiseNodeToClient LeiosTestBlock LeiosTestLedgerConfig Source #

Methods

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

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

Instance details

SerialiseNodeToNode LeiosTestBlock LeiosTestBlock Source #

Methods

encodeNodeToClient ∷ CodecConfig LeiosTestBlock → BlockNodeToClientVersion LeiosTestBlock → LeiosTestLedgerConfig → Encoding Source #

decodeNodeToClient ∷ CodecConfig LeiosTestBlock → BlockNodeToClientVersion LeiosTestBlock → ∀ s. Decoder s LeiosTestLedgerConfig Source #

Instance details

Methods

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

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

DecodeDisk LeiosTestBlock () Source #

Instance details

EncodeDisk LeiosTestBlock LeiosTestBlock Source #

Methods

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

Instance details

Methods

encodeDisk ∷ CodecConfig LeiosTestBlock → LeiosTestBlock → Encoding Source #

EncodeDisk LeiosTestBlock () Source #

Instance details

ReconstructNestedCtxt Header LeiosTestBlock Source #

Methods

encodeDisk ∷ CodecConfig LeiosTestBlock → () → Encoding Source #

Instance details

Methods

reconstructPrefixLen ∷ proxy (Header LeiosTestBlock) → PrefixLen Source #

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

StandardHash LeiosTestBlock Source #

Instance details

ShowProxy LeiosTestBlock Source #

Instance details

SerialiseBlockQueryResult LeiosTestBlock BlockQuery Source #

Methods

showProxy ∷ Proxy LeiosTestBlock → String #

Instance details

Methods

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

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

IndexedMemPack LedgerState LeiosTestBlock Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState LeiosTestBlock EmptyMK → Void → Int Source #

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

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

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

SameDepIndex2 (BlockQuery LeiosTestBlock) Source #

Instance details

Methods

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

SerialiseNodeToClient LeiosTestBlock (SomeBlockQuery (BlockQuery LeiosTestBlock)) Source #

Instance details

Methods

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

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

SerialiseNodeToClient LeiosTestBlock (GenTx LeiosTestBlock) Source #

Instance details

Methods

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

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

SerialiseNodeToClient LeiosTestBlock (GenTxId LeiosTestBlock) Source #

Instance details

Methods

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

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

SerialiseNodeToNode LeiosTestBlock (Header LeiosTestBlock) Source #

Instance details

Methods

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

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

SerialiseNodeToNode LeiosTestBlock (GenTx LeiosTestBlock) Source #

Instance details

Methods

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

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

SerialiseNodeToNode LeiosTestBlock (GenTxId LeiosTestBlock) Source #

Instance details

Methods

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

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

SerialiseNodeToNode LeiosTestBlock (SerialisedHeader LeiosTestBlock) Source #

Instance details

Methods

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

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

DecodeDisk LeiosTestBlock (AnnTip LeiosTestBlock) Source #

Instance details

Methods

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

EncodeDisk LeiosTestBlock (Header LeiosTestBlock) Source #

Instance details

Methods

encodeDisk ∷ CodecConfig LeiosTestBlock → Header LeiosTestBlock → Encoding Source #

EncodeDisk LeiosTestBlock (AnnTip LeiosTestBlock) Source #

Instance details

Methods

encodeDisk ∷ CodecConfig LeiosTestBlock → AnnTip LeiosTestBlock → Encoding Source #

ShowProxy (Header LeiosTestBlock) Source #

Instance details

Methods

showProxy ∷ Proxy (Header LeiosTestBlock) → String #

ShowProxy (GenTx LeiosTestBlock) Source #

Instance details

Methods

showProxy ∷ Proxy (GenTx LeiosTestBlock) → String #

ShowProxy (TxId (GenTx LeiosTestBlock)) Source #

Instance details

Methods

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

SerialiseNodeToClient LeiosTestBlock (Serialised LeiosTestBlock) Source #

Instance details

Methods

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

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

SerialiseNodeToNode LeiosTestBlock (Serialised LeiosTestBlock) Source #

Instance details

Methods

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

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

DecodeDisk LeiosTestBlock (LedgerState LeiosTestBlock EmptyMK) Source #

Instance details

Methods

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

DecodeDisk LeiosTestBlock (ByteString → Either DecoderError LeiosTestBlock) Source #

Instance details

Methods

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

DecodeDisk LeiosTestBlock (ByteString → Header LeiosTestBlock) Source #

Instance details

Methods

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

EncodeDisk LeiosTestBlock (LedgerState LeiosTestBlock EmptyMK) Source #

Instance details

Methods

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

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

Instance details

Methods

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

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

Instance details

Methods

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

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

Eq (Header LeiosTestBlock) Source #

Instance details

Methods

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

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

Eq (Validated (GenTx LeiosTestBlock)) Source #

Instance details

Methods

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

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

Eq (GenTx LeiosTestBlock) Source #

Instance details

Methods

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

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

Eq (TxId (GenTx LeiosTestBlock)) Source #

Instance details

Methods

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

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

Ord (TxId (GenTx LeiosTestBlock)) Source #

Instance details

Methods

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

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

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

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

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

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

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

Generic (BlockConfig LeiosTestBlock) Source #

Instance details

Associated Types

type Rep (BlockConfig LeiosTestBlock)
Instance details Defined in Test.Consensus.Leios.TestBlock type Rep (BlockConfig LeiosTestBlock) = D1 ('MetaData "BlockConfig" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (CodecConfig LeiosTestBlock) Source #

Instance details

Associated Types

type Rep (CodecConfig LeiosTestBlock)
Instance details Defined in Test.Consensus.Leios.TestBlock type Rep (CodecConfig LeiosTestBlock) = D1 ('MetaData "CodecConfig" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (Header LeiosTestBlock) Source #

Instance details

Associated Types

type Rep (Header LeiosTestBlock)
Instance details Defined in Test.Consensus.Leios.TestBlock type Rep (Header LeiosTestBlock)

Methods

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

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

Generic (StorageConfig LeiosTestBlock) Source #

Instance details

Associated Types

type Rep (StorageConfig LeiosTestBlock)
Instance details Defined in Test.Consensus.Leios.TestBlock type Rep (StorageConfig LeiosTestBlock) = D1 ('MetaData "StorageConfig" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (Validated (GenTx LeiosTestBlock)) Source #

Instance details

Associated Types

type Rep (Validated (GenTx LeiosTestBlock))

Instance details

type Rep (Validated (GenTx LeiosTestBlock)) = D1 ('MetaData "Validated" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "ValidatedLeiosTestGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedLeiosTestGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx LeiosTestBlock))))

Methods

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

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

Generic (GenTx LeiosTestBlock) Source #

Instance details

Associated Types

type Rep (GenTx LeiosTestBlock)
Instance details Defined in Test.Consensus.Leios.TestBlock type Rep (GenTx LeiosTestBlock) = D1 ('MetaData "GenTx" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestGenTx" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

Generic (TxId (GenTx LeiosTestBlock)) Source #

Instance details

Associated Types

type Rep (TxId (GenTx LeiosTestBlock))
Instance details Defined in Test.Consensus.Leios.TestBlock type Rep (TxId (GenTx LeiosTestBlock)) = D1 ('MetaData "TxId" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "LeiosTestTxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

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

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

Show (BlockConfig LeiosTestBlock) Source #

Instance details

Methods

showsPrec ∷ Int → BlockConfig LeiosTestBlock → ShowS #

show ∷ BlockConfig LeiosTestBlock → String #

showList ∷ [BlockConfig LeiosTestBlock] → ShowS #

Show (CodecConfig LeiosTestBlock) Source #

Instance details

Methods

showsPrec ∷ Int → CodecConfig LeiosTestBlock → ShowS #

show ∷ CodecConfig LeiosTestBlock → String #

showList ∷ [CodecConfig LeiosTestBlock] → ShowS #

Show (Header LeiosTestBlock) Source #

Instance details

Methods

showsPrec ∷ Int → Header LeiosTestBlock → ShowS #

show ∷ Header LeiosTestBlock → String #

showList ∷ [Header LeiosTestBlock] → ShowS #

Show (StorageConfig LeiosTestBlock) Source #

Instance details

Methods

showsPrec ∷ Int → StorageConfig LeiosTestBlock → ShowS #

show ∷ StorageConfig LeiosTestBlock → String #

showList ∷ [StorageConfig LeiosTestBlock] → ShowS #

Show (Validated (GenTx LeiosTestBlock)) Source #

Instance details

Methods

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

show ∷ Validated (GenTx LeiosTestBlock) → String #

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

Show (GenTx LeiosTestBlock) Source #

Instance details

Methods

showsPrec ∷ Int → GenTx LeiosTestBlock → ShowS #

show ∷ GenTx LeiosTestBlock → String #

showList ∷ [GenTx LeiosTestBlock] → ShowS #

Show (TxId (GenTx LeiosTestBlock)) Source #

Instance details

Methods

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

show ∷ TxId (GenTx LeiosTestBlock) → String #

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

NoThunks (BlockConfig LeiosTestBlock) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (BlockConfig LeiosTestBlock) → String Source #

NoThunks (CodecConfig LeiosTestBlock) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig LeiosTestBlock) → String Source #

NoThunks (Header LeiosTestBlock) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (Header LeiosTestBlock) → String Source #

NoThunks (StorageConfig LeiosTestBlock) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig LeiosTestBlock) → String Source #

NoThunks (Validated (GenTx LeiosTestBlock)) Source #

Instance details

Methods

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

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

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

NoThunks (GenTx LeiosTestBlock) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (GenTx LeiosTestBlock) → String Source #

NoThunks (TxId (GenTx LeiosTestBlock)) Source #

Instance details

Methods

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

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

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

GetTip (LedgerState LeiosTestBlock) Source #

Instance details

Methods

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

ConvertRawTxId (GenTx LeiosTestBlock) Source #

Instance details

Methods

toRawTxIdHash ∷ TxId (GenTx LeiosTestBlock) → ShortByteString Source #

HasTxId (GenTx LeiosTestBlock) Source #

Instance details

Methods

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

LedgerStateSupportsPeras (LedgerState LeiosTestBlock) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState LeiosTestBlock EmptyMK → PoolDistr Source #

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

CanStowLedgerTables (LedgerState LeiosTestBlock) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState LeiosTestBlock ValuesMK → LedgerState LeiosTestBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState LeiosTestBlock EmptyMK → LedgerState LeiosTestBlock ValuesMK Source #

Condense (Header LeiosTestBlock) Source #

Instance details

Methods

condense ∷ Header LeiosTestBlock → String Source #

HasHeader (Header LeiosTestBlock) Source #

Instance details

Methods

getHeaderFields ∷ Header LeiosTestBlock → HeaderFields (Header LeiosTestBlock) #

HasRawTxId (TxId (GenTx LeiosTestBlock)) Source #

Instance details

Associated Types

type RawTxId (TxId (GenTx LeiosTestBlock))
Instance details Defined in Test.Consensus.Leios.TestBlock type RawTxId (TxId (GenTx LeiosTestBlock)) = Word64

Methods

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

Serialise (Header LeiosTestBlock) Source #

Instance details

Methods

encode ∷ Header LeiosTestBlock → Encoding Source #

decode ∷ Decoder s (Header LeiosTestBlock) Source #

encodeList ∷ [Header LeiosTestBlock] → Encoding Source #

decodeList ∷ Decoder s [Header LeiosTestBlock] Source #

Serialise (RealPoint LeiosTestBlock) Source #

Instance details

Methods

encode ∷ RealPoint LeiosTestBlock → Encoding Source #

decode ∷ Decoder s (RealPoint LeiosTestBlock) Source #

encodeList ∷ [RealPoint LeiosTestBlock] → Encoding Source #

decodeList ∷ Decoder s [RealPoint LeiosTestBlock] Source #

Serialise (AnnTip LeiosTestBlock) Source #

Instance details

Methods

encode ∷ AnnTip LeiosTestBlock → Encoding Source #

decode ∷ Decoder s (AnnTip LeiosTestBlock) Source #

encodeList ∷ [AnnTip LeiosTestBlock] → Encoding Source #

decodeList ∷ Decoder s [AnnTip LeiosTestBlock] Source #

Serialise (GenTx LeiosTestBlock) Source #

Instance details

Methods

encode ∷ GenTx LeiosTestBlock → Encoding Source #

decode ∷ Decoder s (GenTx LeiosTestBlock) Source #

encodeList ∷ [GenTx LeiosTestBlock] → Encoding Source #

decodeList ∷ Decoder s [GenTx LeiosTestBlock] Source #

Serialise (TxId (GenTx LeiosTestBlock)) Source #

Instance details

Methods

encode ∷ TxId (GenTx LeiosTestBlock) → Encoding Source #

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

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

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

DecodeDiskDep (NestedCtxt Header) LeiosTestBlock Source #

Instance details

Methods

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

EncodeDiskDep (NestedCtxt Header) LeiosTestBlock Source #

Instance details

Methods

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

Eq (LedgerState LeiosTestBlock mk) Source #

Instance details

Methods

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

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

Generic (LedgerState LeiosTestBlock mk) Source #

Instance details

Associated Types

type Rep (LedgerState LeiosTestBlock mk)

Instance details

type Rep (LedgerState LeiosTestBlock mk) = D1 ('MetaData "LedgerState" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "LeiosTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "ltlsTip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point LeiosTestBlock))))

Methods

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

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

Show (LedgerState LeiosTestBlock mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState LeiosTestBlock mk → ShowS #

show ∷ LedgerState LeiosTestBlock mk → String #

showList ∷ [LedgerState LeiosTestBlock mk] → ShowS #

NoThunks (LedgerState LeiosTestBlock mk) Source #

Instance details

Methods

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

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

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

ShowQuery (BlockQuery LeiosTestBlock fp) Source #

Instance details

Methods

showResult ∷ BlockQuery LeiosTestBlock fp result → result → String #

Serialise (LedgerState LeiosTestBlock mk) Source #

Instance details

Methods

encode ∷ LedgerState LeiosTestBlock mk → Encoding Source #

decode ∷ Decoder s (LedgerState LeiosTestBlock mk) Source #

encodeList ∷ [LedgerState LeiosTestBlock mk] → Encoding Source #

decodeList ∷ Decoder s [LedgerState LeiosTestBlock mk] Source #

Serialise (ExtLedgerState LeiosTestBlock EmptyMK) Source #

Instance details

Methods

encode ∷ ExtLedgerState LeiosTestBlock EmptyMK → Encoding Source #

decode ∷ Decoder s (ExtLedgerState LeiosTestBlock EmptyMK) Source #

encodeList ∷ [ExtLedgerState LeiosTestBlock EmptyMK] → Encoding Source #

decodeList ∷ Decoder s [ExtLedgerState LeiosTestBlock EmptyMK] Source #

HasLedgerTables (Ticked LedgerState) LeiosTestBlock Source #

Instance details

Methods

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

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

LedgerTablesAreTrivial (Ticked LedgerState) LeiosTestBlock Source #

Instance details

Methods

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

ShowProxy (BlockQuery LeiosTestBlock) Source #

Instance details

Methods

showProxy ∷ Proxy (BlockQuery LeiosTestBlock) → String #

Show (NestedCtxt_ LeiosTestBlock f a) Source #

Instance details

Methods

showsPrec ∷ Int → NestedCtxt_ LeiosTestBlock f a → ShowS #

show ∷ NestedCtxt_ LeiosTestBlock f a → String #

showList ∷ [NestedCtxt_ LeiosTestBlock f a] → ShowS #

Show (BlockQuery LeiosTestBlock fp result) Source #

Instance details

Methods

showsPrec ∷ Int → BlockQuery LeiosTestBlock fp result → ShowS #

show ∷ BlockQuery LeiosTestBlock fp result → String #

showList ∷ [BlockQuery LeiosTestBlock fp result] → ShowS #

GetTip (Ticked LedgerState LeiosTestBlock) Source #

Instance details

Methods

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

LedgerStateSupportsPeras (Ticked LedgerState LeiosTestBlock) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState LeiosTestBlock EmptyMK → PoolDistr Source #

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

Generic (Ticked LedgerState LeiosTestBlock mk) Source #

Instance details

Associated Types

type Rep (Ticked LedgerState LeiosTestBlock mk)

Instance details

type Rep (Ticked LedgerState LeiosTestBlock mk) = D1 ('MetaData "Ticked" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "TickedLeiosTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedLeiosTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState LeiosTestBlock mk))))

Methods

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

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

NoThunks (Ticked LedgerState LeiosTestBlock mk) Source #

Instance details

Methods

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

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

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

type Rep LeiosTestBlock Source #

Instance details

type Rep LeiosTestBlock = D1 ('MetaData "LeiosTestBlock" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "LeiosTestBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "ltbHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Header LeiosTestBlock))))

data BlockConfig LeiosTestBlock Source #

Instance details

data BlockConfig LeiosTestBlock = LeiosTestBlockConfig

type BlockProtocol LeiosTestBlock Source #

Instance details

type BlockProtocol LeiosTestBlock = LeiosTestProtocol

data CodecConfig LeiosTestBlock Source #

Instance details

data CodecConfig LeiosTestBlock = LeiosTestCodecConfig

type HashSize LeiosTestBlock Source #

Instance details

type HashSize LeiosTestBlock = 32

data Header LeiosTestBlock Source #

The hash is a path through the tree of forks, exactly as TestHash: an identity assigned by the test rather than a digest of the contents. So two headers a test needs to be distinct must sit at different positions in the tree.

LIMIT: no chain may exceed maxLeiosTestChainLength blocks. The path is as long as the chain, and ConvertRawHash requires a fixed-size hash, so toRawHash throws beyond that.

data StorageConfig LeiosTestBlock Source #

Instance details

data StorageConfig LeiosTestBlock = LeiosTestStorageConfig

type CannotForge LeiosTestBlock Source #

The node under test has no credentials, so it never forges; these exist only because RunNode asks for them.

Instance details

type CannotForge LeiosTestBlock = Void

type ForgeStateInfo LeiosTestBlock Source #

Instance details

type ForgeStateInfo LeiosTestBlock = ()

type ForgeStateUpdateError LeiosTestBlock Source #

Instance details

type ForgeStateUpdateError LeiosTestBlock = Void

data NestedCtxt_ LeiosTestBlock f a Source #

Instance details

data NestedCtxt_ LeiosTestBlock f a where

CtxtLeiosTestBlock ∷ ∀ (f ∷ Type → Type). NestedCtxt_ LeiosTestBlock f (f LeiosTestBlock)

type TentativeHeaderState LeiosTestBlock Source #

Instance details

type TentativeHeaderState LeiosTestBlock = TentativeHeaderState (SelectViewDiffusionPipelining LeiosTestBlock)

type TentativeHeaderView LeiosTestBlock Source #

Instance details

type TentativeHeaderView LeiosTestBlock = TentativeHeaderView (SelectViewDiffusionPipelining LeiosTestBlock)

type PerasCert LeiosTestBlock Source #

Instance details

type PerasCert LeiosTestBlock = MockPerasCert LeiosTestBlock

type PerasCrypto LeiosTestBlock Source #

Instance details

type PerasCrypto LeiosTestBlock = MockPerasCrypto LeiosTestBlock

type PerasError LeiosTestBlock Source #

Instance details

type PerasError LeiosTestBlock = MockPerasError LeiosTestBlock

type PerasVote LeiosTestBlock Source #

Instance details

type PerasVote LeiosTestBlock = MockPerasVote LeiosTestBlock

type PerasVotingCommitteeScheme LeiosTestBlock Source #

Instance details

type PerasVotingCommitteeScheme LeiosTestBlock = MockPerasVotingCommitteeScheme LeiosTestBlock

type HardForkIndices LeiosTestBlock Source #

Instance details

type HardForkIndices LeiosTestBlock = '[LeiosTestBlock]

type OtherHeaderEnvelopeError LeiosTestBlock Source #

Instance details

type OtherHeaderEnvelopeError LeiosTestBlock = Void

type TipInfo LeiosTestBlock Source #

Instance details

type TipInfo LeiosTestBlock = HeaderHash LeiosTestBlock

type AuxLedgerEvent LeiosTestBlock Source #

Instance details

type AuxLedgerEvent LeiosTestBlock = VoidLedgerEvent

newtype LedgerState LeiosTestBlock mk Source #

Instance details

newtype LedgerState LeiosTestBlock mk = LeiosTestLedger {

ltlsTip ∷ Point LeiosTestBlock

}

type LedgerUpdate LeiosTestBlock Source #

Instance details

type LedgerUpdate LeiosTestBlock = Void

type LedgerWarning LeiosTestBlock Source #

Instance details

type LedgerWarning LeiosTestBlock = Void

data BlockQuery LeiosTestBlock fp result Source #

Instance details

data BlockQuery LeiosTestBlock fp result

type ApplyTxErr LeiosTestBlock Source #

Instance details

type ApplyTxErr LeiosTestBlock

data GenTx LeiosTestBlock Source #

Instance details

data GenTx LeiosTestBlock = LeiosTestGenTx

type TxEbMeasure LeiosTestBlock Source #

Instance details

type TxEbMeasure LeiosTestBlock = TxMeasure LeiosTestBlock

type TxMeasurePhase1 LeiosTestBlock Source #

Instance details

type TxMeasurePhase1 LeiosTestBlock = IgnoringOverflow ByteSize32

type TxMeasurePhase2 LeiosTestBlock Source #

Instance details

type TxMeasurePhase2 LeiosTestBlock = TrivialTxMeasurePhase2

type TxIn LeiosTestBlock Source #

Instance details

type TxIn LeiosTestBlock = Void

type TxOut LeiosTestBlock Source #

Instance details

type TxOut LeiosTestBlock = Void

type BlockNodeToClientVersion LeiosTestBlock Source #

Instance details

type BlockNodeToClientVersion LeiosTestBlock = ()

type BlockNodeToNodeVersion LeiosTestBlock Source #

Instance details

type BlockNodeToNodeVersion LeiosTestBlock = ()

type MaybeEraIndexedEpochToPerasRoundInfo LeiosTestBlock Source #

Instance details

type MaybeEraIndexedEpochToPerasRoundInfo LeiosTestBlock = EpochToPerasRoundInfo

type LedgerCfg LedgerState LeiosTestBlock Source #

Instance details

type LedgerCfg LedgerState LeiosTestBlock = LeiosTestLedgerConfig

type LedgerErr LedgerState LeiosTestBlock Source #

Instance details

type LedgerErr LedgerState LeiosTestBlock = LeiosTestBlockError

type HeaderHash LeiosTestBlock Source #

Instance details

type HeaderHash LeiosTestBlock = TestHash

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

Instance details

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

type Rep (BlockConfig LeiosTestBlock) Source #

Instance details

type Rep (BlockConfig LeiosTestBlock) = D1 ('MetaData "BlockConfig" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (CodecConfig LeiosTestBlock) Source #

Instance details

type Rep (CodecConfig LeiosTestBlock) = D1 ('MetaData "CodecConfig" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (Header LeiosTestBlock) Source #

Instance details

type Rep (Header LeiosTestBlock)

type Rep (StorageConfig LeiosTestBlock) Source #

Instance details

type Rep (StorageConfig LeiosTestBlock) = D1 ('MetaData "StorageConfig" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (Validated (GenTx LeiosTestBlock)) Source #

Instance details

type Rep (Validated (GenTx LeiosTestBlock)) = D1 ('MetaData "Validated" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "ValidatedLeiosTestGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedLeiosTestGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx LeiosTestBlock))))

type Rep (GenTx LeiosTestBlock) Source #

Instance details

type Rep (GenTx LeiosTestBlock) = D1 ('MetaData "GenTx" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestGenTx" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (TxId (GenTx LeiosTestBlock)) Source #

Instance details

type Rep (TxId (GenTx LeiosTestBlock)) = D1 ('MetaData "TxId" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "LeiosTestTxId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype Validated (GenTx LeiosTestBlock) Source #

Instance details

newtype Validated (GenTx LeiosTestBlock) = ValidatedLeiosTestGenTx {

forgetValidatedLeiosTestGenTx ∷ GenTx LeiosTestBlock

}

newtype TxId (GenTx LeiosTestBlock) Source #

Instance details

newtype TxId (GenTx LeiosTestBlock) = LeiosTestTxId Word64

type RawTxId (TxId (GenTx LeiosTestBlock)) Source #

Instance details

type RawTxId (TxId (GenTx LeiosTestBlock)) = Word64

type Rep (LedgerState LeiosTestBlock mk) Source #

Instance details

type Rep (LedgerState LeiosTestBlock mk) = D1 ('MetaData "LedgerState" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "LeiosTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "ltlsTip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point LeiosTestBlock))))

newtype Ticked LedgerState LeiosTestBlock (mk ∷ MapKind) Source #

Instance details

newtype Ticked LedgerState LeiosTestBlock (mk ∷ MapKind) = TickedLeiosTestLedger {

getTickedLeiosTestLedger ∷ LedgerState LeiosTestBlock mk

}

type Rep (Ticked LedgerState LeiosTestBlock mk) Source #

Instance details

type Rep (Ticked LedgerState LeiosTestBlock mk) = D1 ('MetaData "Ticked" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "TickedLeiosTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedLeiosTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState LeiosTestBlock mk))))

maxLeiosTestChainLength ∷ Int Source #

The cap this block's hash imposes on chain length: its 32 bytes hold the path's length and 31 path components. See the LIMIT on Header LeiosTestBlock.

Building chains

firstLeiosBlock ∷ Word64 → LeiosTestBlock Source #

The first block of the given fork, in slot 1.

forkLeiosBlock ∷ LeiosTestBlock → LeiosTestBlock Source #

A sibling of the given block: same slot and same predecessor, different hash.

setAnnouncement ∷ EbHash → BytesSize → LeiosTestBlock → LeiosTestBlock Source #

Announce the endorser block with this hash, claiming this size.

setCounterBelowImmTips ∷ LeiosTestBlock → LeiosTestBlock Source #

Put this header's operational certificate counter below the one the immutable tip records for its issuer, so that its announcement is accepted but not processed.

setInvalid ∷ LeiosTestBlock → LeiosTestBlock Source #

Make the protocol reject this header.

setIssuer ∷ Word64 → LeiosTestBlock → LeiosTestBlock Source #

setSlot ∷ SlotNo → LeiosTestBlock → LeiosTestBlock Source #

Move this block to another slot.

successorLeiosBlock ∷ LeiosTestBlock → LeiosTestBlock Source #

The successor of the given block: b -> b ++ [0], one slot later.

Ledger

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

Instance details

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

Instance details

Associated Types

type LedgerErr LedgerState LeiosTestBlock
Instance details Defined in Test.Consensus.Leios.TestBlock type LedgerErr LedgerState LeiosTestBlock = LeiosTestBlockError

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg LedgerState LeiosTestBlock → SlotNo → LedgerState LeiosTestBlock EmptyMK → LedgerResult LeiosTestBlock (Ticked LedgerState LeiosTestBlock 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

CanUpgradeLedgerTables LedgerState LeiosTestBlock Source #

Methods

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

Instance details

Methods

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

HasLedgerTables LedgerState LeiosTestBlock 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

Methods

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

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

LedgerTablesAreTrivial LedgerState LeiosTestBlock Source #

Methods

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

Instance details

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). LedgerState LeiosTestBlock mk → LedgerState LeiosTestBlock 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

SerializeTablesWithHint LedgerState LeiosTestBlock Source #

Methods

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

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

Instance details

Methods

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

decodeTablesWithHint ∷ LedgerState LeiosTestBlock EmptyMK → Decoder s (LedgerTables LeiosTestBlock 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 LeiosTestBlock Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState LeiosTestBlock EmptyMK → Void → Int Source #

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

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

indexedTypeName ∷ Proxy Void → LedgerState LeiosTestBlock 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) Source #

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

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

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

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

Defined in Test.Consensus.HardFork.Combinator

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

Defined in Test.Consensus.HardFork.Combinator

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

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

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

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

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

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 LeiosTestBlock (LedgerState LeiosTestBlock EmptyMK) Source #

Instance details

Methods

decodeDisk ∷ CodecConfig LeiosTestBlock → ∀ s. Decoder s (LedgerState LeiosTestBlock 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 LeiosTestBlock (LedgerState LeiosTestBlock EmptyMK) Source #

Instance details

Methods

encodeDisk ∷ CodecConfig LeiosTestBlock → LedgerState LeiosTestBlock 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 Source #

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

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

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

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). LedgerState LeiosTestBlock mk → Point (LedgerState LeiosTestBlock) 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 #

CanHardFork xs ⇒ LedgerStateSupportsPeras (LedgerState (HardForkBlock xs)) Source #

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

getPoolDistr ∷ LedgerState (HardForkBlock xs) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (HardForkBlock xs) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (LedgerState (DualBlock m a)) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState (DualBlock m a) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (DualBlock m a) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (LedgerState BlockA) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState BlockA EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (LedgerState BlockB) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState BlockB EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (LedgerState LeiosTestBlock) Source #

Instance details

Methods

getPoolDistr ∷ LedgerState LeiosTestBlock EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (LedgerState TestBlock) #

Instance details

Methods

getPoolDistr ∷ LedgerState TestBlock EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (LedgerState (TestBlockWith ptype)) #

Instance details

Defined in Test.Util.TestBlock

Methods

getPoolDistr ∷ LedgerState (TestBlockWith ptype) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → LedgerState (TestBlockWith ptype) EmptyMK → PerasParams blk Source #

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

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

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

Instance details

Methods

stowLedgerTables ∷ LedgerState LeiosTestBlock ValuesMK → LedgerState LeiosTestBlock EmptyMK Source #

unstowLedgerTables ∷ LedgerState LeiosTestBlock EmptyMK → LedgerState LeiosTestBlock 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) Source #

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

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 #

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

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

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 LeiosTestBlock mk) Source #

Instance details

Methods

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

(/=) ∷ LedgerState LeiosTestBlock mk → LedgerState LeiosTestBlock 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 #

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-5.0.0.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-5.0.0.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 LeiosTestBlock mk) Source #

Instance details

Associated Types

type Rep (LedgerState LeiosTestBlock mk)

Instance details

type Rep (LedgerState LeiosTestBlock mk) = D1 ('MetaData "LedgerState" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "LeiosTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "ltlsTip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point LeiosTestBlock))))

Methods

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

to ∷ Rep (LedgerState LeiosTestBlock mk) x → LedgerState LeiosTestBlock 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-5.0.0.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-5.0.0.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-5.0.0.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) Source #

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

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 LeiosTestBlock mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState LeiosTestBlock mk → ShowS #

show ∷ LedgerState LeiosTestBlock mk → String #

showList ∷ [LedgerState LeiosTestBlock 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 #

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

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

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 LeiosTestBlock mk) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (LedgerState LeiosTestBlock 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 LeiosTestBlock mk) Source #

Instance details

Methods

encode ∷ LedgerState LeiosTestBlock mk → Encoding Source #

decode ∷ Decoder s (LedgerState LeiosTestBlock mk) Source #

encodeList ∷ [LedgerState LeiosTestBlock mk] → Encoding Source #

decodeList ∷ Decoder s [LedgerState LeiosTestBlock 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) LeiosTestBlock Source #

Instance details

Methods

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

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

Instance details

Methods

convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). Ticked LedgerState LeiosTestBlock mk → Ticked LedgerState LeiosTestBlock 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) Source #

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

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

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

Instance details

Defined in Test.Consensus.HardFork.Combinator

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

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 #

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

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

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

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

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

Instance details

Methods

getTip ∷ ∀ (mk ∷ MapKind). Ticked LedgerState LeiosTestBlock mk → Point (Ticked LedgerState LeiosTestBlock) 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 #

CanHardFork xs ⇒ LedgerStateSupportsPeras (Ticked LedgerState (HardForkBlock xs)) Source #

LedgerStateSupportsPeras for the ticked hard fork ledger state, mirroring the instance for the unticked ledger state in Ouroboros.Consensus.HardFork.Combinator.Basics.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

Methods

getPoolDistr ∷ Ticked LedgerState (HardForkBlock xs) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (HardForkBlock xs) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (Ticked LedgerState (DualBlock m a)) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState (DualBlock m a) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (DualBlock m a) EmptyMK → PerasParams blk Source #

LedgerStateSupportsPeras (Ticked LedgerState BlockA) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState BlockA EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (Ticked LedgerState BlockB) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState BlockB EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (Ticked LedgerState LeiosTestBlock) Source #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState LeiosTestBlock EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (Ticked LedgerState TestBlock) #

Instance details

Methods

getPoolDistr ∷ Ticked LedgerState TestBlock EmptyMK → PoolDistr Source #

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

LedgerStateSupportsPeras (Ticked LedgerState (TestBlockWith ptype)) #

Instance details

Defined in Test.Util.TestBlock

Methods

getPoolDistr ∷ Ticked LedgerState (TestBlockWith ptype) EmptyMK → PoolDistr Source #

getPerasParams ∷ proxy blk → Ticked LedgerState (TestBlockWith ptype) EmptyMK → PerasParams blk Source #

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 #

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-5.0.0.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 LeiosTestBlock mk) Source #

Instance details

Associated Types

type Rep (Ticked LedgerState LeiosTestBlock mk)

Instance details

type Rep (Ticked LedgerState LeiosTestBlock mk) = D1 ('MetaData "Ticked" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "TickedLeiosTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedLeiosTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState LeiosTestBlock mk))))

Methods

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

to ∷ Rep (Ticked LedgerState LeiosTestBlock mk) x → Ticked LedgerState LeiosTestBlock 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-5.0.0.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 #

NoThunks (Ticked LedgerState (DualBlock m a) mk) Source #

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 #

NoThunks (Ticked LedgerState LeiosTestBlock mk) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (Ticked LedgerState LeiosTestBlock 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) Source #

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

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

}

newtype LedgerState LeiosTestBlock mk Source #

Instance details

newtype LedgerState LeiosTestBlock mk = LeiosTestLedger {

ltlsTip ∷ Point LeiosTestBlock

}

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

Instance details

type LedgerCfg LedgerState LeiosTestBlock = LeiosTestLedgerConfig

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

Instance details

type LedgerErr LedgerState LeiosTestBlock = LeiosTestBlockError

type LedgerErr LedgerState TestBlock #

Instance details

type LedgerErr LedgerState TestBlock = TestBlockError

type LedgerCfg LedgerState (HardForkBlock xs) Source #

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

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

Instance details

type LedgerCfg LedgerState (DualBlock m a) = DualLedgerConfig m a

type LedgerErr LedgerState (DualBlock m a) Source #

Instance details

type LedgerErr LedgerState (DualBlock m a) = DualLedgerError m a

newtype LedgerState (HardForkBlock xs) mk Source #

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-5.0.0.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-5.0.0.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 LeiosTestBlock mk) Source #

Instance details

type Rep (LedgerState LeiosTestBlock mk) = D1 ('MetaData "LedgerState" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "LeiosTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "ltlsTip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point LeiosTestBlock))))

type Rep (LedgerState TestBlock mk) #

Instance details

type Rep (LedgerState TestBlock mk) = D1 ('MetaData "LedgerState" "Test.Ouroboros.Storage.TestBlock" "ouroboros-consensus-5.0.0.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-5.0.0.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-5.0.0.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 Source #

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 LeiosTestBlock (mk ∷ MapKind) Source #

Instance details

newtype Ticked LedgerState LeiosTestBlock (mk ∷ MapKind) = TickedLeiosTestLedger {

getTickedLeiosTestLedger ∷ LedgerState LeiosTestBlock 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) Source #

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

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

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-5.0.0.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 LeiosTestBlock mk) Source #

Instance details

type Rep (Ticked LedgerState LeiosTestBlock mk) = D1 ('MetaData "Ticked" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'True) (C1 ('MetaCons "TickedLeiosTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedLeiosTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState LeiosTestBlock 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-5.0.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype) mk))))

data LeiosTestBlockError Source #

The block does not fit onto the ledger's tip.

Constructors

LeiosTestInvalidHash (ChainHash LeiosTestBlock) (ChainHash LeiosTestBlock)

Instances

Instances details

Eq LeiosTestBlockError Source #

Instance details

Methods

(==) ∷ LeiosTestBlockError → LeiosTestBlockError → Bool #

(/=) ∷ LeiosTestBlockError → LeiosTestBlockError → Bool #

Generic LeiosTestBlockError Source #

Instance details

Associated Types

type Rep LeiosTestBlockError

Instance details

type Rep LeiosTestBlockError = D1 ('MetaData "LeiosTestBlockError" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestInvalidHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash LeiosTestBlock)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash LeiosTestBlock))))

Methods

from ∷ LeiosTestBlockError → Rep LeiosTestBlockError x #

to ∷ Rep LeiosTestBlockError x → LeiosTestBlockError #

Show LeiosTestBlockError Source #

Instance details

Methods

showsPrec ∷ Int → LeiosTestBlockError → ShowS #

show ∷ LeiosTestBlockError → String #

showList ∷ [LeiosTestBlockError] → ShowS #

NoThunks LeiosTestBlockError Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy LeiosTestBlockError → String Source #

type Rep LeiosTestBlockError Source #

Instance details

type Rep LeiosTestBlockError = D1 ('MetaData "LeiosTestBlockError" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestInvalidHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash LeiosTestBlock)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash LeiosTestBlock))))

data LeiosTestLedgerConfig Source #

The forecast range is finite, so a test can reach OutsideForecastRange on demand.

Constructors

LeiosTestLedgerConfig
Fields ltlcHardForkParams ∷ !EraParams ltlcForecastRange ∷ !SlotNo ltlcLeios ∷ !LeiosLedgerView the ledger view, the same in every slot

Instances

Instances details

Generic LeiosTestLedgerConfig Source #

Instance details

Associated Types

type Rep LeiosTestLedgerConfig

Instance details

type Rep LeiosTestLedgerConfig = D1 ('MetaData "LeiosTestLedgerConfig" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestLedgerConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ltlcHardForkParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EraParams) :*: (S1 ('MetaSel ('Just "ltlcForecastRange") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "ltlcLeios") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LeiosLedgerView))))

Methods

from ∷ LeiosTestLedgerConfig → Rep LeiosTestLedgerConfig x #

to ∷ Rep LeiosTestLedgerConfig x → LeiosTestLedgerConfig #

Show LeiosTestLedgerConfig Source #

Instance details

NoThunks LeiosTestLedgerConfig Source #

Methods

showsPrec ∷ Int → LeiosTestLedgerConfig → ShowS #

show ∷ LeiosTestLedgerConfig → String #

showList ∷ [LeiosTestLedgerConfig] → ShowS #

Instance details

Serialise LeiosTestLedgerConfig Source #

Methods

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

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

showTypeOf ∷ Proxy LeiosTestLedgerConfig → String Source #

Instance details

SerialiseNodeToClient LeiosTestBlock LeiosTestLedgerConfig Source #

Methods

encode ∷ LeiosTestLedgerConfig → Encoding Source #

decode ∷ Decoder s LeiosTestLedgerConfig Source #

encodeList ∷ [LeiosTestLedgerConfig] → Encoding Source #

decodeList ∷ Decoder s [LeiosTestLedgerConfig] Source #

Instance details

Methods

encodeNodeToClient ∷ CodecConfig LeiosTestBlock → BlockNodeToClientVersion LeiosTestBlock → LeiosTestLedgerConfig → Encoding Source #

decodeNodeToClient ∷ CodecConfig LeiosTestBlock → BlockNodeToClientVersion LeiosTestBlock → ∀ s. Decoder s LeiosTestLedgerConfig Source #

type Rep LeiosTestLedgerConfig Source #

Instance details

type Rep LeiosTestLedgerConfig = D1 ('MetaData "LeiosTestLedgerConfig" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestLedgerConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ltlcHardForkParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EraParams) :*: (S1 ('MetaSel ('Just "ltlcForecastRange") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "ltlcLeios") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LeiosLedgerView))))

leiosTestInitExtLedger ∷ LeiosTestLedgerConfig → ExtLedgerState LeiosTestBlock ValuesMK Source #

Protocol

data LeiosTestInvalidHeader Source #

Constructors

LeiosTestInvalidHeader

Instances

Instances details

Eq LeiosTestInvalidHeader Source #

Instance details

Generic LeiosTestInvalidHeader Source #

Methods

(==) ∷ LeiosTestInvalidHeader → LeiosTestInvalidHeader → Bool #

(/=) ∷ LeiosTestInvalidHeader → LeiosTestInvalidHeader → Bool #

Instance details

Associated Types

type Rep LeiosTestInvalidHeader
Instance details Defined in Test.Consensus.Leios.TestBlock type Rep LeiosTestInvalidHeader = D1 ('MetaData "LeiosTestInvalidHeader" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestInvalidHeader" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ LeiosTestInvalidHeader → Rep LeiosTestInvalidHeader x #

to ∷ Rep LeiosTestInvalidHeader x → LeiosTestInvalidHeader #

Show LeiosTestInvalidHeader Source #

Instance details

NoThunks LeiosTestInvalidHeader Source #

Methods

showsPrec ∷ Int → LeiosTestInvalidHeader → ShowS #

show ∷ LeiosTestInvalidHeader → String #

showList ∷ [LeiosTestInvalidHeader] → ShowS #

Instance details

Methods

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

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

showTypeOf ∷ Proxy LeiosTestInvalidHeader → String Source #

type Rep LeiosTestInvalidHeader Source #

Instance details

LeiosProtocol LeiosTestProtocol Source #

type Rep LeiosTestInvalidHeader = D1 ('MetaData "LeiosTestInvalidHeader" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestInvalidHeader" 'PrefixI 'False) (U1 ∷ Type → Type))

data LeiosTestProtocol Source #

No leader schedule and no header crypto: a header is valid exactly when the test has not marked it invalid.

Instances

Instances details

Instance details

ConsensusProtocol LeiosTestProtocol Source #

Methods

getLeiosAnnouncement ∷ proxy LeiosTestProtocol → ValidateView LeiosTestProtocol → Maybe LeiosAnnouncement Source #

validateLeiosAnnouncement ∷ ConsensusConfig LeiosTestProtocol → ValidateView LeiosTestProtocol → SlotNo → Ticked (ChainDepState LeiosTestProtocol) → Except (ValidationErr LeiosTestProtocol) OCINStaleness Source #

getLeiosLedgerView ∷ proxy LeiosTestProtocol → LedgerView LeiosTestProtocol → Maybe LeiosLedgerView Source #

Instance details

Associated Types

type ChainDepState LeiosTestProtocol
Instance details Defined in Test.Consensus.Leios.TestBlock type ChainDepState LeiosTestProtocol = ()
type IsLeader LeiosTestProtocol
Instance details Defined in Test.Consensus.Leios.TestBlock type IsLeader LeiosTestProtocol = ()
type CanBeLeader LeiosTestProtocol
Instance details Defined in Test.Consensus.Leios.TestBlock type CanBeLeader LeiosTestProtocol = ()
type TiebreakerView LeiosTestProtocol
Instance details Defined in Test.Consensus.Leios.TestBlock type TiebreakerView LeiosTestProtocol = NoTiebreaker
type LedgerView LeiosTestProtocol
Instance details Defined in Test.Consensus.Leios.TestBlock type LedgerView LeiosTestProtocol = LeiosLedgerView
type ValidationErr LeiosTestProtocol
Instance details Defined in Test.Consensus.Leios.TestBlock type ValidationErr LeiosTestProtocol = LeiosTestInvalidHeader
type ValidateView LeiosTestProtocol
Instance details Defined in Test.Consensus.Leios.TestBlock type ValidateView LeiosTestProtocol = Header LeiosTestBlock

Methods

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

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

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

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

protocolSecurityParam ∷ ConsensusConfig LeiosTestProtocol → SecurityParam Source #

Generic (ConsensusConfig LeiosTestProtocol) Source #

Instance details

Associated Types

type Rep (ConsensusConfig LeiosTestProtocol)

Instance details

type Rep (ConsensusConfig LeiosTestProtocol) = D1 ('MetaData "ConsensusConfig" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestProtocolConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ltpcSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam)))

Methods

from ∷ ConsensusConfig LeiosTestProtocol → Rep (ConsensusConfig LeiosTestProtocol) x #

to ∷ Rep (ConsensusConfig LeiosTestProtocol) x → ConsensusConfig LeiosTestProtocol #

NoThunks (ConsensusConfig LeiosTestProtocol) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (ConsensusConfig LeiosTestProtocol) → String Source #

type CanBeLeader LeiosTestProtocol Source #

Instance details

type CanBeLeader LeiosTestProtocol = ()

type ChainDepState LeiosTestProtocol Source #

Instance details

type ChainDepState LeiosTestProtocol = ()

data ConsensusConfig LeiosTestProtocol Source #

Instance details

data ConsensusConfig LeiosTestProtocol = LeiosTestProtocolConfig {

ltpcSecurityParam ∷ !SecurityParam

}

type IsLeader LeiosTestProtocol Source #

Instance details

type IsLeader LeiosTestProtocol = ()

type LedgerView LeiosTestProtocol Source #

Instance details

type LedgerView LeiosTestProtocol = LeiosLedgerView

type TiebreakerView LeiosTestProtocol Source #

Instance details

type TiebreakerView LeiosTestProtocol = NoTiebreaker

type ValidateView LeiosTestProtocol Source #

Instance details

type ValidateView LeiosTestProtocol = Header LeiosTestBlock

type ValidationErr LeiosTestProtocol Source #

Instance details

type ValidationErr LeiosTestProtocol = LeiosTestInvalidHeader

type Rep (ConsensusConfig LeiosTestProtocol) Source #

Instance details

type Rep (ConsensusConfig LeiosTestProtocol) = D1 ('MetaData "ConsensusConfig" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestProtocolConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ltpcSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam)))

Node configuration

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details

Isomorphic BlockConfig Source #

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-5.0.0.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-5.0.0.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 LeiosTestBlock) Source #

Instance details

Associated Types

type Rep (BlockConfig LeiosTestBlock)
Instance details Defined in Test.Consensus.Leios.TestBlock type Rep (BlockConfig LeiosTestBlock) = D1 ('MetaData "BlockConfig" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

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

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

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-5.0.0.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-5.0.0.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 LeiosTestBlock) Source #

Instance details

Methods

showsPrec ∷ Int → BlockConfig LeiosTestBlock → ShowS #

show ∷ BlockConfig LeiosTestBlock → String #

showList ∷ [BlockConfig LeiosTestBlock] → ShowS #

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

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

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

Instance details

Methods

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

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

showTypeOf ∷ Proxy (BlockConfig LeiosTestBlock) → 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 LeiosTestBlock Source #

Instance details

data BlockConfig LeiosTestBlock = LeiosTestBlockConfig

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-5.0.0.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-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "BCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (BlockConfig LeiosTestBlock) Source #

Instance details

type Rep (BlockConfig LeiosTestBlock) = D1 ('MetaData "BlockConfig" "Test.Consensus.Leios.TestBlock" "ouroboros-consensus-5.0.0.0-inplace-consensus-diffusion-test" 'False) (C1 ('MetaCons "LeiosTestBlockConfig" 'PrefixI 'False) (U1 ∷ Type → Type))

type Rep (BlockConfig TestBlock) #

Instance details