Documentation

Associated Types

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

Methods

from ∷ BlockB → Rep BlockB x #

to ∷ Rep BlockB x → BlockB #

Show BlockB Source #

Instance details

Methods

showsPrec ∷ Int → BlockB → ShowS #

show ∷ BlockB → String #

showList ∷ [BlockB] → ShowS #

Eq BlockB Source #

Instance details

Methods

(==) ∷ BlockB → BlockB → Bool #

(/=) ∷ BlockB → BlockB → Bool #

NoThunks BlockB Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy BlockB → String Source #

ConvertRawHash BlockB Source #

Instance details

Methods

toRawHash ∷ proxy BlockB → HeaderHash BlockB → ByteString Source #

fromRawHash ∷ proxy BlockB → ByteString → HeaderHash BlockB Source #

toShortRawHash ∷ proxy BlockB → HeaderHash BlockB → ShortByteString Source #

fromShortRawHash ∷ proxy BlockB → ShortByteString → HeaderHash BlockB Source #

hashSize ∷ proxy BlockB → Word32 Source #

GetHeader BlockB Source #

Instance details

Methods

getHeader ∷ BlockB → Header BlockB Source #

blockMatchesHeader ∷ Header BlockB → BlockB → Bool Source #

headerIsEBB ∷ Header BlockB → Maybe EpochNo Source #

GetPrevHash BlockB Source #

Instance details

BlockSupportsDiffusionPipelining BlockB Source #

Methods

headerPrevHash ∷ Header BlockB → ChainHash BlockB Source #

Instance details

Associated Types

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

Methods

initialTentativeHeaderState ∷ Proxy BlockB → TentativeHeaderState BlockB Source #

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

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

BlockSupportsMetrics BlockB Source #

Instance details

Methods

isSelfIssued ∷ BlockConfig BlockB → Header BlockB → WhetherSelfIssued Source #

BlockSupportsProtocol BlockB Source #

Instance details

Methods

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

selectView ∷ BlockConfig BlockB → Header BlockB → SelectView (BlockProtocol BlockB) Source #

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

ConfigSupportsNode BlockB Source #

Instance details

Methods

getSystemStart ∷ BlockConfig BlockB → SystemStart Source #

getNetworkMagic ∷ BlockConfig BlockB → NetworkMagic Source #

SingleEraBlock BlockB Source #

Instance details

Methods

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

singleEraInfo ∷ proxy BlockB → SingleEraInfo BlockB Source #

CondenseConstraints BlockB Source #

Instance details

HasPartialLedgerConfig BlockB Source #

Instance details

SerialiseConstraintsHFC BlockB Source #

Associated Types

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

Methods

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

Instance details

BasicEnvelopeValidation BlockB Source #

Instance details

Methods

expectedFirstBlockNo ∷ proxy BlockB → BlockNo Source #

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

minimumPossibleSlotNo ∷ Proxy BlockB → SlotNo Source #

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

HasAnnTip BlockB Source #

Instance details

Associated Types

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

Methods

getTipInfo ∷ Header BlockB → TipInfo BlockB Source #

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

ValidateEnvelope BlockB Source #

Instance details

Associated Types

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

Methods

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

UpdateLedger BlockB Source #

Instance details

CommonProtocolParams BlockB Source #

Instance details

Methods

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

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

InspectLedger BlockB Source #

Instance details

BlockSupportsLedgerQuery BlockB Source #

Associated Types

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

Methods

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

Instance details

Methods

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

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

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

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

HasTxs BlockB Source #

Instance details

Methods

extractTxs ∷ BlockB → [GenTx BlockB] Source #

LedgerSupportsMempool BlockB Source #

Instance details

Methods

txInvariant ∷ GenTx BlockB → Bool Source #

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

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

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

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

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

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

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

TxLimits BlockB Source #

Instance details

LedgerSupportsPeerSelection BlockB Source #

Associated Types

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

Methods

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

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

Instance details

Methods

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

LedgerSupportsProtocol BlockB Source #

Instance details

Methods

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

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

NodeInitStorage BlockB Source #

Instance details

HasNetworkProtocolVersion BlockB Source #

Methods

nodeImmutableDbChunkInfo ∷ StorageConfig BlockB → ChunkInfo Source #

nodeCheckIntegrity ∷ StorageConfig BlockB → BlockB → Bool Source #

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

Instance details

SerialiseNodeToClientConstraints BlockB Source #

Associated Types

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

Instance details

SerialiseNodeToNodeConstraints BlockB Source #

Instance details

SerialiseDiskConstraints BlockB Source #

Methods

estimateBlockSize ∷ Header BlockB → SizeInBytes Source #

Instance details

HasBinaryBlockInfo BlockB Source #

Instance details

Methods

getBinaryBlockInfo ∷ BlockB → BinaryBlockInfo Source #

Condense BlockB Source #

Instance details

Methods

condense ∷ BlockB → String Source #

HasHeader BlockB Source #

Instance details

Methods

getHeaderFields ∷ BlockB → HeaderFields BlockB Source #

Serialise BlockB Source #

Instance details

Methods

encode ∷ BlockB → Encoding Source #

decode ∷ Decoder s BlockB Source #

encodeList ∷ [BlockB] → Encoding Source #

decodeList ∷ Decoder s [BlockB] Source #

HasNestedContent Header BlockB Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB SlotNo Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB Void Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB BlockB Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB ByteString Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB BlockB Source #

Instance details

Methods

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

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

DecodeDisk BlockB () Source #

Instance details

Methods

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

EncodeDisk BlockB BlockB Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockB → BlockB → Encoding Source #

EncodeDisk BlockB () Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockB → () → Encoding Source #

ReconstructNestedCtxt Header BlockB Source #

Instance details

Methods

reconstructPrefixLen ∷ proxy (Header BlockB) → PrefixLen Source #

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

StandardHash BlockB Source #

Instance details

SerialiseBlockQueryResult BlockB BlockQuery Source #

Instance details

Methods

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

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

SameDepIndex2 (BlockQuery BlockB) Source #

Instance details

Methods

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

SerialiseNodeToClient BlockB (SomeBlockQuery (BlockQuery BlockB)) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB (GenTx BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB (GenTxId BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (Header BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (GenTx BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (GenTxId BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (SerialisedHeader BlockB) Source #

Instance details

Methods

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

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

DecodeDisk BlockB (AnnTip BlockB) Source #

Instance details

Methods

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

EncodeDisk BlockB (Header BlockB) Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockB → Header BlockB → Encoding Source #

EncodeDisk BlockB (AnnTip BlockB) Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockB → AnnTip BlockB → Encoding Source #

SerialiseNodeToClient BlockB (Serialised BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (Serialised BlockB) Source #

Instance details

Methods

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

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

DecodeDisk BlockB (LedgerState BlockB EmptyMK) Source #

Instance details

Methods

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

DecodeDisk BlockB (ByteString → Header BlockB) Source #

Instance details

Methods

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

DecodeDisk BlockB (ByteString → BlockB) Source #

Instance details

Methods

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

EncodeDisk BlockB (LedgerState BlockB EmptyMK) Source #

Instance details

Methods

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

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

Instance details

Methods

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

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

Instance details

Methods

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

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

Generic (BlockConfig BlockB) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (CodecConfig BlockB) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (Header BlockB) Source #

Instance details

Associated Types

type Rep (Header BlockB)

Instance details

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

Methods

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

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

Generic (StorageConfig BlockB) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (Validated (GenTx BlockB)) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (GenTx BlockB) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (TxId (GenTx BlockB)) Source #

Instance details

Associated Types

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

Methods

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

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

Show (Header BlockB) Source #

Instance details

Methods

showsPrec ∷ Int → Header BlockB → ShowS #

show ∷ Header BlockB → String #

showList ∷ [Header BlockB] → ShowS #

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

Instance details

Methods

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

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

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

Show (Validated (GenTx BlockB)) Source #

Instance details

Methods

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

show ∷ Validated (GenTx BlockB) → String #

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

Show (GenTx BlockB) Source #

Instance details

Methods

showsPrec ∷ Int → GenTx BlockB → ShowS #

show ∷ GenTx BlockB → String #

showList ∷ [GenTx BlockB] → ShowS #

Show (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

show ∷ TxId (GenTx BlockB) → String #

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

Eq (Header BlockB) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

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

Eq (Validated (GenTx BlockB)) Source #

Instance details

Methods

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

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

Eq (GenTx BlockB) Source #

Instance details

Methods

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

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

Eq (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

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

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

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

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

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

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

Ord (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

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

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

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

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

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

Instance details

Methods

typeName ∷ String Source #

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

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

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

NoThunks (BlockConfig BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (BlockConfig BlockB) → String Source #

NoThunks (CodecConfig BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig BlockB) → String Source #

NoThunks (Header BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (Header BlockB) → String Source #

NoThunks (StorageConfig BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig BlockB) → String Source #

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

Instance details

Methods

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

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

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

NoThunks (Validated (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

NoThunks (GenTx BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (GenTx BlockB) → String Source #

NoThunks (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

GetTip (LedgerState BlockB) Source #

Instance details

Methods

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

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
type AuxLedgerEvent (LedgerState BlockB)
Instance details Defined in Test.Consensus.HardFork.Combinator.B type AuxLedgerEvent (LedgerState BlockB) = VoidLedgerEvent (LedgerState BlockB)

Methods

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

ConvertRawTxId (GenTx BlockB) Source #

Instance details

Methods

toRawTxIdHash ∷ TxId (GenTx BlockB) → ShortByteString Source #

HasTxId (GenTx BlockB) Source #

Instance details

Methods

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

CanStowLedgerTables (LedgerState BlockB) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState BlockB ValuesMK → LedgerState BlockB EmptyMK Source #

unstowLedgerTables ∷ LedgerState BlockB EmptyMK → LedgerState BlockB ValuesMK Source #

HasLedgerTables (LedgerState BlockB) Source #

Instance details

Methods

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

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

LedgerTablesAreTrivial (LedgerState BlockB) Source #

Instance details

Methods

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

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

Instance details

Methods

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

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

SerializeTablesWithHint (LedgerState BlockB) Source #

Instance details

Methods

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

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

CanUpgradeLedgerTables (LedgerState BlockB) Source #

Instance details

Methods

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

Condense (Header BlockB) Source #

Instance details

Methods

condense ∷ Header BlockB → String Source #

Condense (GenTx BlockB) Source #

Instance details

Methods

condense ∷ GenTx BlockB → String Source #

Condense (TxId (GenTx BlockB)) Source #

Instance details

Methods

condense ∷ TxId (GenTx BlockB) → String Source #

HasHeader (Header BlockB) Source #

Instance details

Methods

getHeaderFields ∷ Header BlockB → HeaderFields (Header BlockB) Source #

Serialise (Header BlockB) Source #

Instance details

Methods

encode ∷ Header BlockB → Encoding Source #

decode ∷ Decoder s (Header BlockB) Source #

encodeList ∷ [Header BlockB] → Encoding Source #

decodeList ∷ Decoder s [Header BlockB] Source #

Serialise (AnnTip BlockB) Source #

Instance details

Methods

encode ∷ AnnTip BlockB → Encoding Source #

decode ∷ Decoder s (AnnTip BlockB) Source #

encodeList ∷ [AnnTip BlockB] → Encoding Source #

decodeList ∷ Decoder s [AnnTip BlockB] Source #

Serialise (GenTx BlockB) Source #

Instance details

Methods

encode ∷ GenTx BlockB → Encoding Source #

decode ∷ Decoder s (GenTx BlockB) Source #

encodeList ∷ [GenTx BlockB] → Encoding Source #

decodeList ∷ Decoder s [GenTx BlockB] Source #

Serialise (TxId (GenTx BlockB)) Source #

Instance details

Methods

encode ∷ TxId (GenTx BlockB) → Encoding Source #

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

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

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

Serialise (SerialisedHeader BlockB) Source #

Instance details

Methods

encode ∷ SerialisedHeader BlockB → Encoding Source #

decode ∷ Decoder s (SerialisedHeader BlockB) Source #

encodeList ∷ [SerialisedHeader BlockB] → Encoding Source #

decodeList ∷ Decoder s [SerialisedHeader BlockB] Source #

ApplyBlock (LedgerState BlockB) BlockB Source #

Instance details

Methods

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

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

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

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

DecodeDiskDep (NestedCtxt Header) BlockB Source #

Instance details

Methods

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

DecodeDiskDepIx (NestedCtxt Header) BlockB Source #

Instance details

Methods

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

EncodeDiskDep (NestedCtxt Header) BlockB Source #

Instance details

Methods

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

EncodeDiskDepIx (NestedCtxt Header) BlockB Source #

Instance details

Methods

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

Generic (LedgerState BlockB mk) Source #

Instance details

Associated Types

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

Methods

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

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

Show (LedgerState BlockB mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState BlockB mk → ShowS #

show ∷ LedgerState BlockB mk → String #

showList ∷ [LedgerState BlockB mk] → ShowS #

Eq (LedgerState BlockB mk) Source #

Instance details

Methods

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

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

NoThunks (LedgerState BlockB mk) Source #

Instance details

Methods

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

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

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

GetTip (Ticked (LedgerState BlockB)) Source #

Instance details

Methods

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

HasLedgerTables (Ticked (LedgerState BlockB)) Source #

Instance details

Methods

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

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

LedgerTablesAreTrivial (Ticked (LedgerState BlockB)) Source #

Instance details

Methods

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

ShowQuery (BlockQuery BlockB fp) Source #

Instance details

Methods

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

IndexedMemPack (LedgerState BlockB EmptyMK) Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState BlockB EmptyMK → Void → Int Source #

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

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

indexedTypeName ∷ LedgerState BlockB EmptyMK → String Source #

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

Instance details

Methods

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

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

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

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

Show (NestedCtxt_ BlockB f a) Source #

Instance details

Methods

showsPrec ∷ Int → NestedCtxt_ BlockB f a → ShowS #

show ∷ NestedCtxt_ BlockB f a → String #

showList ∷ [NestedCtxt_ BlockB f a] → ShowS #

Show (BlockQuery BlockB fp result) Source #

Instance details

Methods

showsPrec ∷ Int → BlockQuery BlockB fp result → ShowS #

show ∷ BlockQuery BlockB fp result → String #

showList ∷ [BlockQuery BlockB fp result] → ShowS #

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 #

CanHardFork '[BlockA, BlockB] Source #

Instance details

Associated Types

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

Methods

hardForkEraTranslation ∷ EraTranslation '[BlockA, BlockB] Source #

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

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

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

HasCanonicalTxIn '[BlockA, BlockB] Source #

Instance details

Associated Types

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

Methods

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

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

HasHardForkTxOut '[BlockA, BlockB] Source #

Instance details

Associated Types

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

Methods

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

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

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

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

BlockSupportsHFLedgerQuery '[BlockA, BlockB] Source #

Instance details

Methods

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

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

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

SerialiseHFC '[BlockA, BlockB] Source #

Instance details

Methods

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

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

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

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

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

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

type Rep BlockB Source #

Instance details

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

data BlockConfig BlockB Source #

Instance details

data BlockConfig BlockB = BCfgB

type BlockProtocol BlockB Source #

Instance details

type BlockProtocol BlockB = ProtocolB

data CodecConfig BlockB Source #

Instance details

data CodecConfig BlockB = CCfgB

data Header BlockB Source #

data StorageConfig BlockB Source #

Instance details

data StorageConfig BlockB = SCfgB

type CannotForge BlockB Source #

Instance details

type CannotForge BlockB = Void

type ForgeStateInfo BlockB Source #

Instance details

type ForgeStateInfo BlockB = ()

type ForgeStateUpdateError BlockB Source #

Instance details

type ForgeStateUpdateError BlockB = Void

data NestedCtxt_ BlockB f a Source #

Instance details

data NestedCtxt_ BlockB f a where

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

type TentativeHeaderState BlockB Source #

Instance details

type TentativeHeaderState BlockB = TentativeHeaderState (SelectViewDiffusionPipelining BlockB)

type TentativeHeaderView BlockB Source #

Instance details

type TentativeHeaderView BlockB = TentativeHeaderView (SelectViewDiffusionPipelining BlockB)

type PartialLedgerConfig BlockB Source #

Instance details

type PartialLedgerConfig BlockB = LedgerConfig BlockB

type OtherHeaderEnvelopeError BlockB Source #

Instance details

type OtherHeaderEnvelopeError BlockB = Void

type TipInfo BlockB Source #

Instance details

type TipInfo BlockB = HeaderHash BlockB

data LedgerState BlockB mk Source #

Instance details

data LedgerState BlockB mk = LgrB {

lgrB_tip ∷ Point BlockB

}

type LedgerUpdate BlockB Source #

Instance details

type LedgerUpdate BlockB = Void

type LedgerWarning BlockB Source #

Instance details

type LedgerWarning BlockB = Void

data BlockQuery BlockB fp result Source #

Instance details

data BlockQuery BlockB fp result

type ApplyTxErr BlockB Source #

Instance details

type ApplyTxErr BlockB = Void

data GenTx BlockB Source #

Instance details

data GenTx BlockB

type TxMeasure BlockB Source #

Instance details

type TxMeasure BlockB = IgnoringOverflow ByteSize32

type BlockNodeToClientVersion BlockB Source #

Instance details

type BlockNodeToClientVersion BlockB = ()

type BlockNodeToNodeVersion BlockB Source #

Instance details

type BlockNodeToNodeVersion BlockB = ()

type HeaderHash BlockB Source #

Instance details

type HeaderHash BlockB = ByteString

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

Instance details

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

type Rep (BlockConfig BlockB) Source #

Instance details

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

type Rep (CodecConfig BlockB) Source #

Instance details

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

type Rep (Header BlockB) Source #

Instance details

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

type Rep (StorageConfig BlockB) Source #

Instance details

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

type Rep (Validated (GenTx BlockB)) Source #

Instance details

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

type Rep (GenTx BlockB) Source #

Instance details

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

type Rep (TxId (GenTx BlockB)) Source #

Instance details

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

data Validated (GenTx BlockB) Source #

Instance details

data Validated (GenTx BlockB)

type AuxLedgerEvent (LedgerState BlockB) Source #

Instance details

type AuxLedgerEvent (LedgerState BlockB) = VoidLedgerEvent (LedgerState BlockB)

type LedgerCfg (LedgerState BlockB) Source #

Instance details

type LedgerCfg (LedgerState BlockB)

type LedgerErr (LedgerState BlockB) Source #

Instance details

type LedgerErr (LedgerState BlockB) = Void

data TxId (GenTx BlockB) Source #

Instance details

data TxId (GenTx BlockB)

type TxIn (LedgerState BlockB) Source #

Instance details

type TxIn (LedgerState BlockB) = Void

type TxOut (LedgerState BlockB) Source #

Instance details

type TxOut (LedgerState BlockB) = Void

type Rep (LedgerState BlockB mk) Source #

Instance details

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

newtype Ticked (LedgerState BlockB) (mk ∷ MapKind) Source #

Ticking has no state on the B ledger state

Instance details

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

getTickedLedgerStateB ∷ LedgerState BlockB mk

}

type HardForkTxMeasure '[BlockA, BlockB] Source #

Instance details

type HardForkTxMeasure '[BlockA, BlockB] = IgnoringOverflow ByteSize32

newtype CanonicalTxIn '[BlockA, BlockB] Source #

Instance details

newtype CanonicalTxIn '[BlockA, BlockB] = BlockABTxIn {

getBlockABTxIn ∷ Void

}

type HardForkTxOut '[BlockA, BlockB] Source #

Instance details

HasPartialConsensusConfig ProtocolB Source #

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

data ProtocolB Source #

Instances

Instances details

Instance details

Associated Types

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

Methods

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

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

ConsensusProtocol ProtocolB Source #

Instance details

Associated Types

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

Methods

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

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

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

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

protocolSecurityParam ∷ ConsensusConfig ProtocolB → SecurityParam Source #

NoThunks (ConsensusConfig ProtocolB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (ConsensusConfig ProtocolB) → String Source #

type PartialConsensusConfig ProtocolB Source #

Instance details

type PartialConsensusConfig ProtocolB = ConsensusConfig ProtocolB

type CanBeLeader ProtocolB Source #

Instance details

type CanBeLeader ProtocolB = ()

type ChainDepState ProtocolB Source #

Instance details

type ChainDepState ProtocolB = ()

data ConsensusConfig ProtocolB Source #

Instance details

data ConsensusConfig ProtocolB = CfgB {

cfgB_k ∷ SecurityParam
cfgB_leadInSlots ∷ Set SlotNo

}

type IsLeader ProtocolB Source #

Instance details

type IsLeader ProtocolB = ()

type LedgerView ProtocolB Source #

Instance details

type LedgerView ProtocolB = ()

type SelectView ProtocolB Source #

Instance details

type SelectView ProtocolB = BlockNo

type ValidateView ProtocolB Source #

Instance details

type ValidateView ProtocolB = ()

type ValidationErr ProtocolB Source #

Instance details

type ValidationErr ProtocolB = Void

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

safeZoneB ∷ SecurityParam → SafeZone Source #

A basic SafeZone

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

Type family instances

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details

Isomorphic BlockConfig

Instance details

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

Methods

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

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

Generic (BlockConfig (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-0.27.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) #

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-diffusion-0.23.0.0-inplace-consensus-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-diffusion-0.23.0.0-inplace-consensus-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 #

Show (BlockConfig (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

Methods

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

show ∷ BlockConfig (TestBlockWith ptype) → String #

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

CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

NoThunks (BlockConfig (DualBlock m a))

Instance details

Methods

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

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

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

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

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 #

data BlockConfig BlockA Source #

Instance details

data BlockConfig BlockA = BCfgA

data BlockConfig BlockB Source #

Instance details

data BlockConfig BlockB = BCfgB

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-0.27.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes)))

type Rep (BlockConfig BlockA) Source #

Instance details

type Rep (BlockConfig BlockA) = D1 ('MetaData "BlockConfig" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.23.0.0-inplace-consensus-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-diffusion-0.23.0.0-inplace-consensus-test" 'False) (C1 ('MetaCons "BCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))

newtype BlockConfig (DisableDiffusionPipelining blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

newtype BlockConfig (SelectViewDiffusionPipelining blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

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

newtype BlockConfig (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig {

hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs

}

data BlockConfig (TestBlockWith ptype)

Instance details

Defined in Test.Util.TestBlock

data BlockConfig (TestBlockWith ptype) = TestBlockConfig {

testBlockNumCoreNodes ∷ !NumCoreNodes

}

data BlockConfig (DualBlock m a)

Instance details

data BlockConfig (DualBlock m a) = DualBlockConfig {

dualBlockConfigMain ∷ BlockConfig m
dualBlockConfigAux ∷ BlockConfig a

}

data family CodecConfig blk Source #

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

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

Instances

Instances details

Isomorphic CodecConfig

Instance details

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

Methods

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

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

Generic (CodecConfig (DualBlock m a))

Instance details

Associated Types

type Rep (CodecConfig (DualBlock m a))

Instance details

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

Methods

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

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

Generic (CodecConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

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

Generic (CodecConfig BlockA) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (CodecConfig BlockB) Source #

Instance details

Associated Types

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

Methods

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

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

Show (CodecConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → CodecConfig TestBlock → ShowS #

show ∷ CodecConfig TestBlock → String #

showList ∷ [CodecConfig TestBlock] → ShowS #

CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

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

Instance details

Methods

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

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

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

NoThunks (CodecConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig TestBlock) → String Source #

NoThunks (CodecConfig BlockA) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig BlockA) → String Source #

NoThunks (CodecConfig BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (CodecConfig BlockB) → String Source #

data CodecConfig TestBlock

The TestBlock does not need any codec config

Instance details

Defined in Test.Util.TestBlock

data CodecConfig TestBlock = TestBlockCodecConfig

data CodecConfig BlockA Source #

Instance details

data CodecConfig BlockA = CCfgA

data CodecConfig BlockB Source #

Instance details

data CodecConfig BlockB = CCfgB

type Rep (CodecConfig (DualBlock m a))

Instance details

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

type Rep (CodecConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

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

type Rep (CodecConfig BlockA) Source #

Instance details

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

type Rep (CodecConfig BlockB) Source #

Instance details

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

newtype CodecConfig (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig {

hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs

}

data CodecConfig (DualBlock m a)

Instance details

data CodecConfig (DualBlock m a) = DualCodecConfig {

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

}

data family ConsensusConfig p Source #

Static configuration required to run the consensus protocol

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

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

Instances

Instances details

Generic (ConsensusConfig (HardForkProtocol xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Associated Types

type Rep (ConsensusConfig (HardForkProtocol xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

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

Methods

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

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

Generic (ConsensusConfig (Bft c))

Instance details

Associated Types

type Rep (ConsensusConfig (Bft c))

Instance details

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

Methods

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

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

Generic (ConsensusConfig (ModChainSel p s))

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Associated Types

type Rep (ConsensusConfig (ModChainSel p s))

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

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

Methods

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

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

Generic (ConsensusConfig (PBft c))

Instance details

Associated Types

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

Methods

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

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

CanHardFork xs ⇒ NoThunks (ConsensusConfig (HardForkProtocol xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

BftCrypto c ⇒ NoThunks (ConsensusConfig (Bft c))

Instance details

Methods

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

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

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

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

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

Methods

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

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

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

NoThunks (ConsensusConfig (PBft c))

Instance details

Methods

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

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

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

NoThunks (ConsensusConfig ProtocolA) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (ConsensusConfig ProtocolA) → String Source #

NoThunks (ConsensusConfig ProtocolB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (ConsensusConfig ProtocolB) → String Source #

data ConsensusConfig ProtocolA Source #

Instance details

data ConsensusConfig ProtocolA = CfgA {

cfgA_k ∷ SecurityParam
cfgA_leadInSlots ∷ Set SlotNo

}

data ConsensusConfig ProtocolB Source #

Instance details

data ConsensusConfig ProtocolB = CfgB {

cfgB_k ∷ SecurityParam
cfgB_leadInSlots ∷ Set SlotNo

}

type Rep (ConsensusConfig (HardForkProtocol xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

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

type Rep (ConsensusConfig (Bft c))

Instance details

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

type Rep (ConsensusConfig (ModChainSel p s))

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

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

type Rep (ConsensusConfig (PBft c))

Instance details

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

data ConsensusConfig (HardForkProtocol xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

data ConsensusConfig (HardForkProtocol xs) = HardForkConsensusConfig {

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

}

data ConsensusConfig (Bft c)

(Static) node configuration

Instance details

data ConsensusConfig (Bft c) = BftConfig {

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

}

newtype ConsensusConfig (PBft c)

(Static) node configuration

Instance details

newtype ConsensusConfig (PBft c) = PBftConfig {

pbftParams ∷ PBftParams

}

newtype ConsensusConfig (ModChainSel p s)

Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

newtype ConsensusConfig (ModChainSel p s) = McsConsensusConfig {

mcsConfigP ∷ ConsensusConfig p

}

data family GenTx blk Source #

Generalized transaction

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

Instances

Instances details

Inject GenTx

Instance details

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

Methods

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

Isomorphic GenTx

Instance details

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

Methods

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

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

SerialiseNodeToClient BlockA (GenTx BlockA) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockA (GenTxId BlockA) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB (GenTx BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB (GenTxId BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockA (GenTx BlockA) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockA (GenTxId BlockA) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (GenTx BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (GenTxId BlockB) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

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

Instance details

Methods

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

Generic (Validated (GenTx BlockA)) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (Validated (GenTx BlockB)) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (GenTx BlockA) Source #

Instance details

Associated Types

type Rep (GenTx BlockA)

Instance details

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

Methods

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

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

Generic (GenTx BlockB) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (TxId (GenTx BlockA)) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (TxId (GenTx BlockB)) Source #

Instance details

Associated Types

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

Methods

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

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

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

Instance details

Methods

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

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

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

Show (Validated (GenTx BlockA)) Source #

Instance details

Methods

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

show ∷ Validated (GenTx BlockA) → String #

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

Show (Validated (GenTx BlockB)) Source #

Instance details

Methods

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

show ∷ Validated (GenTx BlockB) → String #

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

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

Instance details

Methods

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

show ∷ GenTx (DualBlock m a) → String #

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

Show (GenTx BlockA) Source #

Instance details

Methods

showsPrec ∷ Int → GenTx BlockA → ShowS #

show ∷ GenTx BlockA → String #

showList ∷ [GenTx BlockA] → ShowS #

Show (GenTx BlockB) Source #

Instance details

Methods

showsPrec ∷ Int → GenTx BlockB → ShowS #

show ∷ GenTx BlockB → String #

showList ∷ [GenTx BlockB] → ShowS #

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

Instance details

Methods

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

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

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

Show (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

show ∷ TxId (GenTx BlockA) → String #

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

Show (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

show ∷ TxId (GenTx BlockB) → String #

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

Eq (Validated (GenTx BlockA)) Source #

Instance details

Methods

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

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

Eq (Validated (GenTx BlockB)) Source #

Instance details

Methods

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

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

Eq (GenTx BlockA) Source #

Instance details

Methods

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

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

Eq (GenTx BlockB) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

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

Eq (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

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

Eq (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

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

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

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

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

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

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

Ord (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

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

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

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

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

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

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

Ord (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

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

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

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

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

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

Instance details

Methods

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

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

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

NoThunks (Validated (GenTx BlockA)) Source #

Instance details

Methods

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

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

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

NoThunks (Validated (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

NoThunks (GenTx (DualBlock m a))

Instance details

Methods

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

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

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

NoThunks (GenTx BlockA) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (GenTx BlockA) → String Source #

NoThunks (GenTx BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (GenTx BlockB) → String Source #

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

Instance details

Methods

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

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

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

NoThunks (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

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

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

NoThunks (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

ConvertRawTxId (GenTx BlockA) Source #

Instance details

Methods

toRawTxIdHash ∷ TxId (GenTx BlockA) → ShortByteString Source #

ConvertRawTxId (GenTx BlockB) Source #

Instance details

Methods

toRawTxIdHash ∷ TxId (GenTx BlockB) → ShortByteString Source #

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

Instance details

Methods

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

HasTxId (GenTx BlockA) Source #

Instance details

Methods

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

HasTxId (GenTx BlockB) Source #

Instance details

Methods

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

Condense (GenTx BlockA) Source #

Instance details

Methods

condense ∷ GenTx BlockA → String Source #

Condense (GenTx BlockB) Source #

Instance details

Methods

condense ∷ GenTx BlockB → String Source #

Condense (TxId (GenTx BlockA)) Source #

Instance details

Methods

condense ∷ TxId (GenTx BlockA) → String Source #

Condense (TxId (GenTx BlockB)) Source #

Instance details

Methods

condense ∷ TxId (GenTx BlockB) → String Source #

Serialise (GenTx BlockA) Source #

Instance details

Methods

encode ∷ GenTx BlockA → Encoding Source #

decode ∷ Decoder s (GenTx BlockA) Source #

encodeList ∷ [GenTx BlockA] → Encoding Source #

decodeList ∷ Decoder s [GenTx BlockA] Source #

Serialise (GenTx BlockB) Source #

Instance details

Methods

encode ∷ GenTx BlockB → Encoding Source #

decode ∷ Decoder s (GenTx BlockB) Source #

encodeList ∷ [GenTx BlockB] → Encoding Source #

decodeList ∷ Decoder s [GenTx BlockB] Source #

Serialise (TxId (GenTx BlockA)) Source #

Instance details

Methods

encode ∷ TxId (GenTx BlockA) → Encoding Source #

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

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

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

Serialise (TxId (GenTx BlockB)) Source #

Instance details

Methods

encode ∷ TxId (GenTx BlockB) → Encoding Source #

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

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

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

data GenTx BlockA Source #

Instance details

data GenTx BlockA = TxA {

txA_id ∷ TxId (GenTx BlockA)
txA_payload ∷ TxPayloadA

}

data GenTx BlockB Source #

Instance details

data GenTx BlockB

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

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

type Rep (Validated (GenTx BlockA)) Source #

Instance details

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

type Rep (Validated (GenTx BlockB)) Source #

Instance details

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

type Rep (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

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

type Rep (GenTx BlockA) Source #

Instance details

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

type Rep (GenTx BlockB) Source #

Instance details

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

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

type Rep (TxId (GenTx BlockA)) Source #

Instance details

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

type Rep (TxId (GenTx BlockB)) Source #

Instance details

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

newtype Validated (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

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

getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs

}

data Validated (GenTx (DualBlock m a))

Instance details

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

}

newtype Validated (GenTx BlockA) Source #

Instance details

newtype Validated (GenTx BlockA) = ValidatedGenTxA {

forgetValidatedGenTxA ∷ GenTx BlockA

}

data Validated (GenTx BlockB) Source #

Instance details

data Validated (GenTx BlockB)

newtype GenTx (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype GenTx (HardForkBlock xs) = HardForkGenTx {

getHardForkGenTx ∷ OneEraGenTx xs

}

newtype TxId (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

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

getHardForkGenTxId ∷ OneEraGenTxId xs

}

newtype TxId (GenTx (DualBlock m a))

Instance details

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

dualGenTxIdMain ∷ GenTxId m

}

newtype TxId (GenTx BlockA) Source #

Instance details

newtype TxId (GenTx BlockA) = TxIdA Int

data TxId (GenTx BlockB) Source #

Instance details

data TxId (GenTx BlockB)

data GenTx (DualBlock m a)

Instance details

data GenTx (DualBlock m a) = DualGenTx {

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

}

data family Header blk Source #

Instances

data family LedgerState blk (mk ∷ MapKind) Source #

Ledger state associated with a block

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

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

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

Instances

Instances details

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 #

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 #

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

Instance details

Methods

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

GetTip (LedgerState (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

Instance details

Associated Types

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

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → SlotNo → LedgerState (DualBlock m a) EmptyMK → LedgerResult (LedgerState (DualBlock m a)) (Ticked (LedgerState (DualBlock m a)) 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
type AuxLedgerEvent (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) = VoidLedgerEvent (LedgerState (TestBlockWith ptype))

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → SlotNo → LedgerState (TestBlockWith ptype) EmptyMK → LedgerResult (LedgerState (TestBlockWith ptype)) (Ticked (LedgerState (TestBlockWith ptype)) 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
type AuxLedgerEvent (LedgerState BlockA)
Instance details Defined in Test.Consensus.HardFork.Combinator.A type AuxLedgerEvent (LedgerState BlockA) = VoidLedgerEvent (LedgerState BlockA)

Methods

applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockA) → SlotNo → LedgerState BlockA EmptyMK → LedgerResult (LedgerState 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
type AuxLedgerEvent (LedgerState BlockB)
Instance details Defined in Test.Consensus.HardFork.Combinator.B type AuxLedgerEvent (LedgerState BlockB) = VoidLedgerEvent (LedgerState BlockB)

Methods

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

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

Instance details

Methods

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

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

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

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 #

(Bridge m a, NoThunks (TxOut (LedgerState m)), NoThunks (TxIn (LedgerState m)), Show (TxOut (LedgerState m)), Show (TxIn (LedgerState m)), Eq (TxOut (LedgerState m)), Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m))) ⇒ HasLedgerTables (LedgerState (DualBlock m a))

Instance details

Methods

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

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

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

HasLedgerTables (LedgerState BlockA) Source #

Instance details

Methods

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

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

HasLedgerTables (LedgerState BlockB) Source #

Instance details

Methods

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

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

LedgerTablesAreTrivial (LedgerState BlockA) Source #

Instance details

Methods

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

LedgerTablesAreTrivial (LedgerState BlockB) Source #

Instance details

Methods

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

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

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

Instance details

Methods

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

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

SerializeTablesWithHint (LedgerState TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

SerializeTablesWithHint (LedgerState BlockA) Source #

Instance details

Methods

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

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

SerializeTablesWithHint (LedgerState BlockB) Source #

Instance details

Methods

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

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

CanUpgradeLedgerTables (LedgerState (DualBlock m a))

Instance details

Methods

upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (DualBlock m a) mk1 → LedgerState (DualBlock m a) mk2 → LedgerTables (LedgerState (DualBlock m a)) ValuesMK → LedgerTables (LedgerState (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 (LedgerState (OTBlock k v)) ValuesMK → LedgerTables (LedgerState (OTBlock k v)) 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 (LedgerState TestBlock) ValuesMK → LedgerTables (LedgerState TestBlock) ValuesMK Source #

CanUpgradeLedgerTables (LedgerState BlockA) Source #

Instance details

Methods

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

CanUpgradeLedgerTables (LedgerState BlockB) Source #

Instance details

Methods

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

ApplyBlock (LedgerState BlockA) BlockA Source #

Instance details

Methods

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

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

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

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

ApplyBlock (LedgerState BlockB) BlockB Source #

Instance details

Methods

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

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

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

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

PayloadSemantics ptype ⇒ ApplyBlock (LedgerState (TestBlockWith ptype)) (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 (LedgerState (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 (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype) DiffMK)) Source #

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

getBlockKeySets ∷ TestBlockWith ptype → LedgerTables (LedgerState (TestBlockWith ptype)) KeysMK Source #

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

Instance details

Methods

applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) ValuesMK → Except (LedgerErr (LedgerState (DualBlock m a))) (LedgerResult (LedgerState (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 (LedgerState (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 (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a) DiffMK) Source #

getBlockKeySets ∷ DualBlock m a → LedgerTables (LedgerState (DualBlock m a)) KeysMK 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 #

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 #

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-0.27.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-0.27.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 #

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-diffusion-0.23.0.0-inplace-consensus-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-diffusion-0.23.0.0-inplace-consensus-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 #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

show ∷ LedgerState (HardForkBlock xs) mk → String #

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

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

Instance details

Methods

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

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

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

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

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 #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

Instance details

Methods

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

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

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

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 #

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

NoThunks (LedgerState (DualBlock m a) mk)

Instance details

Methods

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

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

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

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

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 #

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

Instance details

Methods

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

GetTip (Ticked (LedgerState (TestBlockWith ptype)))

Instance details

Defined in Test.Util.TestBlock

Methods

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

(Ord k, Eq v, MemPack k, MemPack 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 #

(Bridge m a, NoThunks (TxOut (LedgerState m)), NoThunks (TxIn (LedgerState m)), Show (TxOut (LedgerState m)), Show (TxIn (LedgerState m)), Eq (TxOut (LedgerState m)), Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m))) ⇒ HasLedgerTables (Ticked (LedgerState (DualBlock m a)))

Instance details

Methods

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

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

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

HasLedgerTables (Ticked (LedgerState BlockA)) Source #

Instance details

Methods

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

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

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

(Ord k, Eq v, Show k, Show v, MemPack k, MemPack v, NoThunks k, NoThunks v) ⇒ HasLedgerTables (OTLedgerState k v)

Instance details

Methods

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

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

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 #

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 #

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 #

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

Instance details

Methods

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

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

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

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

MemPack v ⇒ IndexedMemPack (LedgerState (OTBlock k v) EmptyMK) 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 ⇒ LedgerState (OTBlock k v) EmptyMK → Unpack b v Source #

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

IndexedMemPack (LedgerState TestBlock EmptyMK) 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 ⇒ LedgerState TestBlock EmptyMK → Unpack b Void Source #

indexedTypeName ∷ LedgerState TestBlock EmptyMK → String Source #

IndexedMemPack (LedgerState BlockA EmptyMK) Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState BlockA EmptyMK → Void → Int Source #

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

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

indexedTypeName ∷ LedgerState BlockA EmptyMK → String Source #

IndexedMemPack (LedgerState BlockB EmptyMK) Void Source #

Instance details

Methods

indexedPackedByteCount ∷ LedgerState BlockB EmptyMK → Void → Int Source #

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

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

indexedTypeName ∷ LedgerState BlockB EmptyMK → String Source #

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

Instance details

Methods

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

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

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

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

StandardHash blk ⇒ StandardHash (LedgerState blk ∷ MapKind → Type)

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

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-0.27.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 #

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-diffusion-0.23.0.0-inplace-consensus-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 #

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 #

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

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 #

(Ord k, Eq v, Eq (mk k v)) ⇒ Eq (OTLedgerState k v mk)

Instance details

Methods

(==) ∷ OTLedgerState k v mk → OTLedgerState k v mk → Bool #

(/=) ∷ OTLedgerState k v mk → OTLedgerState k v mk → Bool #

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

Instance details

Methods

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

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

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

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

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

Inject (Flip LedgerState mk)

Instance details

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

Methods

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

Isomorphic (Flip LedgerState mk)

Instance details

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

Methods

project ∷ NoHardForks blk ⇒ Flip LedgerState mk (HardForkBlock '[blk]) → Flip LedgerState mk blk Source #

inject ∷ NoHardForks blk ⇒ Flip LedgerState mk blk → Flip LedgerState mk (HardForkBlock '[blk]) Source #

data LedgerState BlockA mk Source #

Instance details

data LedgerState BlockA mk = LgrA {

lgrA_tip ∷ Point BlockA
lgrA_transition ∷ Maybe SlotNo

}

data LedgerState BlockB mk Source #

Instance details

data LedgerState BlockB mk = LgrB {

lgrB_tip ∷ Point BlockB

}

type AuxLedgerEvent (LedgerState (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type AuxLedgerEvent (LedgerState (HardForkBlock xs)) = OneEraLedgerEvent xs

type AuxLedgerEvent (LedgerState (DualBlock m a))

Instance details

type AuxLedgerEvent (LedgerState (DualBlock m a)) = AuxLedgerEvent (LedgerState m)

type AuxLedgerEvent (LedgerState (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) = VoidLedgerEvent (LedgerState (TestBlockWith ptype))

type AuxLedgerEvent (LedgerState BlockA) Source #

Instance details

type AuxLedgerEvent (LedgerState BlockA) = VoidLedgerEvent (LedgerState BlockA)

type AuxLedgerEvent (LedgerState BlockB) Source #

Instance details

type AuxLedgerEvent (LedgerState BlockB) = VoidLedgerEvent (LedgerState BlockB)

type LedgerCfg (LedgerState (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type LedgerCfg (LedgerState (HardForkBlock xs)) = HardForkLedgerConfig xs

type LedgerCfg (LedgerState (DualBlock m a))

Instance details

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

type LedgerCfg (LedgerState (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

type LedgerCfg (LedgerState (TestBlockWith ptype)) = TestBlockLedgerConfig

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 LedgerErr (LedgerState (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerErr (LedgerState (HardForkBlock xs)) = HardForkLedgerError xs

type LedgerErr (LedgerState (DualBlock m a))

Instance details

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

type LedgerErr (LedgerState (TestBlockWith ptype))

Instance details

Defined in Test.Util.TestBlock

type LedgerErr (LedgerState (TestBlockWith ptype)) = TestBlockError ptype

type LedgerErr (LedgerState BlockA) Source #

Instance details

type LedgerErr (LedgerState BlockA) = Void

type LedgerErr (LedgerState BlockB) Source #

Instance details

type LedgerErr (LedgerState BlockB) = Void

newtype LedgerState (HardForkBlock xs) mk

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype LedgerState (HardForkBlock xs) mk = HardForkLedgerState {

hardForkLedgerStatePerEra ∷ HardForkState (Flip LedgerState mk) xs

}

data LedgerState (TestBlockWith ptype) mk

Instance details

Defined in Test.Util.TestBlock

data LedgerState (TestBlockWith ptype) mk = TestLedger {

lastAppliedPoint ∷ Point (TestBlockWith ptype)
payloadDependentState ∷ PayloadDependentState ptype mk

}

type TxIn (LedgerState (HardForkBlock xs))

Must be the CannonicalTxIn type, but this will probably change in the future to NS WrapTxIn xs. See HasCanonicalTxIn.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type TxIn (LedgerState (HardForkBlock xs)) = CanonicalTxIn xs

type TxIn (LedgerState (DualBlock m a))

Instance details

type TxIn (LedgerState (DualBlock m a)) = TxIn (LedgerState m)

type TxIn (LedgerState TestBlock)

Instance details

Defined in Test.Util.TestBlock

type TxIn (LedgerState TestBlock) = Void

type TxIn (LedgerState BlockA) Source #

Instance details

type TxIn (LedgerState BlockA) = Void

type TxIn (LedgerState BlockB) Source #

Instance details

type TxIn (LedgerState BlockB) = Void

type TxOut (LedgerState (HardForkBlock xs))

Must be the HardForkTxOut type

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type TxOut (LedgerState (HardForkBlock xs)) = HardForkTxOut xs

type TxOut (LedgerState (DualBlock m a))

Instance details

type TxOut (LedgerState (DualBlock m a)) = TxOut (LedgerState m)

type TxOut (LedgerState TestBlock)

Instance details

Defined in Test.Util.TestBlock

type TxOut (LedgerState TestBlock) = Void

type TxOut (LedgerState BlockA) Source #

Instance details

type TxOut (LedgerState BlockA) = Void

type TxOut (LedgerState BlockB) Source #

Instance details

type TxOut (LedgerState BlockB) = Void

type Rep (LedgerState (OTBlock k v) mk)

Instance details

type Rep (LedgerState (OTBlock k v) mk) = D1 ('MetaData "LedgerState" "Test.Util.LedgerStateOnlyTables" "ouroboros-consensus-0.27.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-0.27.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))))

type Rep (LedgerState BlockA mk) Source #

Instance details

type Rep (LedgerState BlockA mk) = D1 ('MetaData "LedgerState" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.23.0.0-inplace-consensus-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-diffusion-0.23.0.0-inplace-consensus-test" 'False) (C1 ('MetaCons "LgrB" 'PrefixI 'True) (S1 ('MetaSel ('Just "lgrB_tip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point BlockB))))

data LedgerState (DualBlock m a) mk

Instance details

data LedgerState (DualBlock m a) mk = DualLedgerState {

dualLedgerStateMain ∷ LedgerState m mk
dualLedgerStateAux ∷ LedgerState a ValuesMK
dualLedgerStateBridge ∷ BridgeLedger m a

}

data LedgerState (OTBlock k v) mk

Instance details

data LedgerState (OTBlock k v) mk = OTLedgerState {

otlsLedgerState ∷ ValuesMK k v
otlsLedgerTables ∷ OTLedgerTables k v mk

}

type TxIn (OTLedgerState k v)

Instance details

type TxIn (OTLedgerState k v) = k

type TxOut (OTLedgerState k v)

Instance details

type TxOut (OTLedgerState k v) = v

data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind) = TickedHardForkLedgerState {

tickedHardForkLedgerStateTransition ∷ !TransitionInfo
tickedHardForkLedgerStatePerEra ∷ !(HardForkState (FlipTickedLedgerState mk) xs)

}

data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind)

Instance details

data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind) = TickedDualLedgerState {

tickedDualLedgerStateMain ∷ Ticked (LedgerState m) mk
tickedDualLedgerStateAux ∷ Ticked (LedgerState a) ValuesMK
tickedDualLedgerStateBridge ∷ BridgeLedger m a
tickedDualLedgerStateAuxOrig ∷ LedgerState a ValuesMK

}

newtype Ticked (LedgerState (TestBlockWith ptype) ∷ MapKind → Type) (mk ∷ MapKind)

Instance details

Defined in Test.Util.TestBlock

newtype Ticked (LedgerState (TestBlockWith ptype) ∷ MapKind → Type) (mk ∷ MapKind) = TickedTestLedger {

getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) 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

}

type HeaderHash (LedgerState blk ∷ MapKind → Type)

Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

type HeaderHash (LedgerState blk ∷ MapKind → Type) = HeaderHash blk

type Rep (Ticked (LedgerState (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-0.27.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype) mk))))

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-diffusion-0.23.0.0-inplace-consensus-test" 'True) (C1 ('MetaCons "TickedLedgerStateA" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedLedgerStateA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState BlockA mk))))

newtype LedgerTables (l ∷ LedgerStateKind) (mk ∷ MapKind) Source #

The Ledger Tables represent the portion of the data on disk that has been pulled from disk and attached to the in-memory Ledger State or that will eventually be written to disk.

With UTxO-HD and the split of the Ledger ledger state into the in-memory part and the on-disk part, this splitting was reflected in the new type parameter added to the (Consensus) LedgerState, to which we refer as "the MapKind" or mk.

Every LedgerState (or LedgerState-like type, such as the ExtLedgerState) is associated with a LedgerTables and they both share the mk. They both are of kind LedgerStateKind. LedgerTables is just a way to refer only to a partial view of the on-disk data without having the rest of the in-memory LedgerState in scope.

The mk can be instantiated to anything that is map-like, i.e. that expects two type parameters, the key and the value.

Constructors

LedgerTables
Fields getLedgerTables ∷ mk (TxIn l) (TxOut l)

Instances

Instances details

(Ord (TxIn l), Eq (TxOut l), Show (TxIn l), Show (TxOut l), NoThunks (TxIn l), NoThunks (TxOut l), MemPack (TxIn l), IndexedMemPack (MemPackIdx l EmptyMK) (TxOut l)) ⇒ HasLedgerTables (LedgerTables l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables

Methods

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

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

Generic (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Associated Types

type Rep (LedgerTables l mk)
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.Basics type Rep (LedgerTables l mk) = D1 ('MetaData "LedgerTables" "Ouroboros.Consensus.Ledger.Tables.Basics" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "LedgerTables" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk (TxIn l) (TxOut l)))))

Methods

from ∷ LedgerTables l mk → Rep (LedgerTables l mk) x #

to ∷ Rep (LedgerTables l mk) x → LedgerTables l mk #

Show (mk (TxIn l) (TxOut l)) ⇒ Show (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

showsPrec ∷ Int → LedgerTables l mk → ShowS #

show ∷ LedgerTables l mk → String #

showList ∷ [LedgerTables l mk] → ShowS #

Eq (mk (TxIn l) (TxOut l)) ⇒ Eq (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

(==) ∷ LedgerTables l mk → LedgerTables l mk → Bool #

(/=) ∷ LedgerTables l mk → LedgerTables l mk → Bool #

NoThunks (mk (TxIn l) (TxOut l)) ⇒ NoThunks (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

Methods

noThunks ∷ Context → LedgerTables l mk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → LedgerTables l mk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (LedgerTables l mk) → String Source #

type TxIn (LedgerTables l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxIn (LedgerTables l) = TxIn l

type TxOut (LedgerTables l)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type TxOut (LedgerTables l) = TxOut l

type Rep (LedgerTables l mk)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables.Basics

type Rep (LedgerTables l mk) = D1 ('MetaData "LedgerTables" "Ouroboros.Consensus.Ledger.Tables.Basics" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "LedgerTables" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk (TxIn l) (TxOut l)))))

type SerializeTablesHint (LedgerTables l ValuesMK)

Instance details

Defined in Ouroboros.Consensus.Ledger.Tables

type SerializeTablesHint (LedgerTables l ValuesMK) = l EmptyMK

type InitHint (LedgerTables l ValuesMK)

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API

type InitHint (LedgerTables l ValuesMK) = l EmptyMK

type ReadHint (LedgerTables l ValuesMK)

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API

type ReadHint (LedgerTables l ValuesMK) = l EmptyMK

type WriteHint (LedgerTables l DiffMK)

Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.V1.BackingStore.API

type WriteHint (LedgerTables l DiffMK) = (l EmptyMK, l EmptyMK)

data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type Source #

Context identifying what kind of block we have

In almost all places we will use NestedCtxt rather than NestedCtxt_.

Instances

Instances details

SameDepIndex (NestedCtxt_ m f) ⇒ SameDepIndex (NestedCtxt_ (DualBlock m a) f ∷ Type → Type)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex ∷ NestedCtxt_ (DualBlock m a) f a0 → NestedCtxt_ (DualBlock m a) f b → Maybe (a0 :~: b) Source #
SameDepIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type)
Instance details Defined in Test.Util.TestBlock Methods sameDepIndex ∷ NestedCtxt_ (TestBlockWith ptype) f a → NestedCtxt_ (TestBlockWith ptype) f b → Maybe (a :~: b) Source #
SameDepIndex (NestedCtxt_ BlockA f ∷ Type → Type) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods sameDepIndex ∷ NestedCtxt_ BlockA f a → NestedCtxt_ BlockA f b → Maybe (a :~: b) Source #
SameDepIndex (NestedCtxt_ BlockB f ∷ Type → Type) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods sameDepIndex ∷ NestedCtxt_ BlockB f a → NestedCtxt_ BlockB f b → Maybe (a :~: b) Source #
TrivialDependency (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type)
Instance details Defined in Test.Util.TestBlock Methods hasSingleIndex ∷ NestedCtxt_ (TestBlockWith ptype) f a → NestedCtxt_ (TestBlockWith ptype) f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ (TestBlockWith ptype) f (TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f) ∷ Type) Source #
TrivialDependency (NestedCtxt_ BlockA f ∷ Type → Type) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods hasSingleIndex ∷ NestedCtxt_ BlockA f a → NestedCtxt_ BlockA f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ BlockA f (TrivialIndex (NestedCtxt_ BlockA f) ∷ Type) Source #
TrivialDependency (NestedCtxt_ BlockB f ∷ Type → Type) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods hasSingleIndex ∷ NestedCtxt_ BlockB f a → NestedCtxt_ BlockB f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ BlockB f (TrivialIndex (NestedCtxt_ BlockB f) ∷ Type) Source #
Show (NestedCtxt_ m f x) ⇒ Show (NestedCtxt_ (DualBlock m a) f x)
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → NestedCtxt_ (DualBlock m a) f x → ShowS # show ∷ NestedCtxt_ (DualBlock m a) f x → String # showList ∷ [NestedCtxt_ (DualBlock m a) f x] → ShowS #
Show (NestedCtxt_ (TestBlockWith ptype) f a)
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → NestedCtxt_ (TestBlockWith ptype) f a → ShowS # show ∷ NestedCtxt_ (TestBlockWith ptype) f a → String # showList ∷ [NestedCtxt_ (TestBlockWith ptype) f a] → ShowS #
Show (NestedCtxt_ BlockA f a) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → NestedCtxt_ BlockA f a → ShowS # show ∷ NestedCtxt_ BlockA f a → String # showList ∷ [NestedCtxt_ BlockA f a] → ShowS #
Show (NestedCtxt_ BlockB f a) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods showsPrec ∷ Int → NestedCtxt_ BlockB f a → ShowS # show ∷ NestedCtxt_ BlockB f a → String # showList ∷ [NestedCtxt_ BlockB f a] → ShowS #
data NestedCtxt_ BlockA f a Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data NestedCtxt_ BlockA f a where CtxtA ∷ ∀ (f ∷ Type → Type). NestedCtxt_ BlockA f (f BlockA)
data NestedCtxt_ BlockB f a Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data NestedCtxt_ BlockB f a where CtxtB ∷ ∀ (f ∷ Type → Type). NestedCtxt_ BlockB f (f BlockB)
type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type)
Instance details Defined in Test.Util.TestBlock type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type) = f (TestBlockWith ptype)
type TrivialIndex (NestedCtxt_ BlockA f ∷ Type → Type) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type TrivialIndex (NestedCtxt_ BlockA f ∷ Type → Type) = f BlockA
type TrivialIndex (NestedCtxt_ BlockB f ∷ Type → Type) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type TrivialIndex (NestedCtxt_ BlockB f ∷ Type → Type) = f BlockB
data NestedCtxt_ (HardForkBlock xs) a b
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block data NestedCtxt_ (HardForkBlock xs) a b where NCZ ∷ ∀ x (a ∷ Type → Type) b (xs1 ∷ [Type]). !(NestedCtxt_ x a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b NCS ∷ ∀ (xs1 ∷ [Type]) (a ∷ Type → Type) b x. !(NestedCtxt_ (HardForkBlock xs1) a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b
data NestedCtxt_ (TestBlockWith ptype) f a
Instance details Defined in Test.Util.TestBlock data NestedCtxt_ (TestBlockWith ptype) f a where CtxtTestBlock ∷ ∀ ptype (f ∷ Type → Type). NestedCtxt_ (TestBlockWith ptype) f (f (TestBlockWith ptype))
newtype NestedCtxt_ (DualBlock m a) f x
Instance details Defined in Ouroboros.Consensus.Ledger.Dual newtype NestedCtxt_ (DualBlock m a) f x where CtxtDual ∷ ∀ m (f ∷ Type → Type) x a. NestedCtxt_ m f x → NestedCtxt_ (DualBlock m a) f x

data family StorageConfig blk Source #

Config needed for the NodeInitStorage class. Defined here to avoid circular dependencies.

Instances

Instances details

Isomorphic StorageConfig

Instance details

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

Methods

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

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

Generic (StorageConfig (DualBlock m a))

Instance details

Associated Types

type Rep (StorageConfig (DualBlock m a))

Instance details

type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.27.0.0-inplace" 'False) (C1 ('MetaCons "DualStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualStorageConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig m)) :*: S1 ('MetaSel ('Just "dualStorageConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig a))))

Methods

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

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

Generic (StorageConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Associated Types

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

Methods

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

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

Generic (StorageConfig BlockA) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (StorageConfig BlockB) Source #

Instance details

Associated Types

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

Methods

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

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

Show (StorageConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

showsPrec ∷ Int → StorageConfig TestBlock → ShowS #

show ∷ StorageConfig TestBlock → String #

showList ∷ [StorageConfig TestBlock] → ShowS #

CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

Methods

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

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

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

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

Instance details

Methods

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

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

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

NoThunks (StorageConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig TestBlock) → String Source #

NoThunks (StorageConfig BlockA) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig BlockA) → String Source #

NoThunks (StorageConfig BlockB) Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy (StorageConfig BlockB) → String Source #

data StorageConfig TestBlock

The TestBlock does not need any storage config

Instance details

Defined in Test.Util.TestBlock

data StorageConfig TestBlock = TestBlockStorageConfig

data StorageConfig BlockA Source #

Instance details

data StorageConfig BlockA = SCfgA

data StorageConfig BlockB Source #

Instance details

data StorageConfig BlockB = SCfgB

type Rep (StorageConfig (DualBlock m a))

Instance details

type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.27.0.0-inplace" 'False) (C1 ('MetaCons "DualStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualStorageConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig m)) :*: S1 ('MetaSel ('Just "dualStorageConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig a))))

type Rep (StorageConfig TestBlock)

Instance details

Defined in Test.Util.TestBlock

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

type Rep (StorageConfig BlockA) Source #

Instance details

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

type Rep (StorageConfig BlockB) Source #

Instance details

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

newtype StorageConfig (HardForkBlock xs)

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig {

hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs

}

data StorageConfig (DualBlock m a)

Instance details

data StorageConfig (DualBlock m a) = DualStorageConfig {

dualStorageConfigMain ∷ !(StorageConfig m)
dualStorageConfigAux ∷ !(StorageConfig a)

}

data family TxId blk Source #

A generalized transaction, GenTx, identifier.

Instances

Instances details

SerialiseNodeToClient BlockA (GenTxId BlockA) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockB (GenTxId BlockB) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockA (GenTxId BlockA) Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockB (GenTxId BlockB) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

Generic (TxId (GenTx BlockA)) Source #

Instance details

Associated Types

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

Methods

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

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

Generic (TxId (GenTx BlockB)) Source #

Instance details

Associated Types

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

Methods

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

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

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

Instance details

Methods

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

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

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

Show (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

show ∷ TxId (GenTx BlockA) → String #

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

Show (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

show ∷ TxId (GenTx BlockB) → String #

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

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

Instance details

Methods

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

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

Eq (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

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

Eq (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

Instance details

Methods

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

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

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

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

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

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

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

Ord (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

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

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

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

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

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

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

Ord (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

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

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

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

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

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

Instance details

Methods

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

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

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

NoThunks (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

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

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

NoThunks (TxId (GenTx BlockB)) Source #

Instance details

Methods

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

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

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

Condense (TxId (GenTx BlockA)) Source #

Instance details

Methods

condense ∷ TxId (GenTx BlockA) → String Source #

Condense (TxId (GenTx BlockB)) Source #

Instance details

Methods

condense ∷ TxId (GenTx BlockB) → String Source #

Serialise (TxId (GenTx BlockA)) Source #

Instance details

Methods

encode ∷ TxId (GenTx BlockA) → Encoding Source #

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

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

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

Serialise (TxId (GenTx BlockB)) Source #

Instance details

Methods

encode ∷ TxId (GenTx BlockB) → Encoding Source #

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

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

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

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

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

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

type Rep (TxId (GenTx BlockA)) Source #

Instance details

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

type Rep (TxId (GenTx BlockB)) Source #

Instance details

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

newtype TxId (GenTx (HardForkBlock xs))

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

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

getHardForkGenTxId ∷ OneEraGenTxId xs

}

newtype TxId (GenTx (DualBlock m a))

Instance details

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

dualGenTxIdMain ∷ GenTxId m

}

newtype TxId (GenTx BlockA) Source #

Instance details

newtype TxId (GenTx BlockA) = TxIdA Int

data TxId (GenTx BlockB) Source #

Instance details