Documentation

Methods

isSelfIssued ∷ BlockConfig BlockA → Header BlockA → WhetherSelfIssued Source #

BlockSupportsProtocol BlockA Source #

Instance details

Methods

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

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

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

ConfigSupportsNode BlockA Source #

Instance details

Methods

getSystemStart ∷ BlockConfig BlockA → SystemStart Source #

getNetworkMagic ∷ BlockConfig BlockA → NetworkMagic Source #

SingleEraBlock BlockA Source #

Instance details

Methods

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

singleEraInfo ∷ proxy BlockA → SingleEraInfo BlockA Source #

CondenseConstraints BlockA Source #

Instance details

HasPartialLedgerConfig BlockA Source #

Instance details

SerialiseConstraintsHFC BlockA Source #

Associated Types

type PartialLedgerConfig BlockA
Instance details Defined in Test.Consensus.HardFork.Combinator.A type PartialLedgerConfig BlockA = PartialLedgerConfigA

Methods

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

Instance details

BasicEnvelopeValidation BlockA Source #

Instance details

Methods

expectedFirstBlockNo ∷ proxy BlockA → BlockNo Source #

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

minimumPossibleSlotNo ∷ Proxy BlockA → SlotNo Source #

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

HasAnnTip BlockA Source #

Instance details

Associated Types

type TipInfo BlockA
Instance details Defined in Test.Consensus.HardFork.Combinator.A type TipInfo BlockA = HeaderHash BlockA

Methods

getTipInfo ∷ Header BlockA → TipInfo BlockA Source #

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

ValidateEnvelope BlockA Source #

Instance details

Associated Types

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

Methods

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

UpdateLedger BlockA Source #

Instance details

CommonProtocolParams BlockA Source #

Instance details

Methods

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

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

InspectLedger BlockA Source #

Instance details

BlockSupportsLedgerQuery BlockA Source #

Associated Types

type LedgerWarning BlockA
Instance details Defined in Test.Consensus.HardFork.Combinator.A type LedgerWarning BlockA = Void
type LedgerUpdate BlockA
Instance details Defined in Test.Consensus.HardFork.Combinator.A type LedgerUpdate BlockA

Methods

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

Instance details

Methods

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

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

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

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

HasTxs BlockA Source #

Instance details

Methods

extractTxs ∷ BlockA → [GenTx BlockA] Source #

LedgerSupportsMempool BlockA Source #

Instance details

Methods

txInvariant ∷ GenTx BlockA → Bool Source #

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

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

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

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

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

prependMempoolDiffs ∷ TickedLedgerState BlockA DiffMK → TickedLedgerState BlockA DiffMK → TickedLedgerState BlockA DiffMK Source #

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

TxLimits BlockA Source #

Instance details

LedgerSupportsPeerSelection BlockA Source #

Associated Types

type TxMeasure BlockA
Instance details Defined in Test.Consensus.HardFork.Combinator.A type TxMeasure BlockA = IgnoringOverflow ByteSize32

Methods

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

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

Instance details

Methods

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

LedgerSupportsProtocol BlockA Source #

Instance details

Methods

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

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

NodeInitStorage BlockA Source #

Instance details

HasNetworkProtocolVersion BlockA Source #

Methods

nodeImmutableDbChunkInfo ∷ StorageConfig BlockA → ChunkInfo Source #

nodeCheckIntegrity ∷ StorageConfig BlockA → BlockA → Bool Source #

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

Instance details

SerialiseNodeToClientConstraints BlockA Source #

Associated Types

type BlockNodeToNodeVersion BlockA
Instance details Defined in Test.Consensus.HardFork.Combinator.A type BlockNodeToNodeVersion BlockA = ()
type BlockNodeToClientVersion BlockA
Instance details Defined in Test.Consensus.HardFork.Combinator.A type BlockNodeToClientVersion BlockA = ()

Instance details

SerialiseNodeToNodeConstraints BlockA Source #

Instance details

SerialiseDiskConstraints BlockA Source #

Methods

estimateBlockSize ∷ Header BlockA → SizeInBytes Source #

Instance details

HasBinaryBlockInfo BlockA Source #

Instance details

Methods

getBinaryBlockInfo ∷ BlockA → BinaryBlockInfo Source #

Condense BlockA Source #

Instance details

Methods

condense ∷ BlockA → String Source #

HasHeader BlockA Source #

Instance details

Methods

getHeaderFields ∷ BlockA → HeaderFields BlockA Source #

Serialise BlockA Source #

Instance details

Methods

encode ∷ BlockA → Encoding Source #

decode ∷ Decoder s BlockA Source #

encodeList ∷ [BlockA] → Encoding Source #

decodeList ∷ Decoder s [BlockA] Source #

HasNestedContent Header BlockA Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockA SlotNo Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockA Void Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockA BlockA Source #

Instance details

SerialiseNodeToClient BlockA PartialLedgerConfigA Source #

Methods

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

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

Instance details

Methods

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

decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s PartialLedgerConfigA Source #

SerialiseNodeToNode BlockA ByteString Source #

Instance details

Methods

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

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

SerialiseNodeToNode BlockA BlockA Source #

Instance details

Methods

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

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

DecodeDisk BlockA () Source #

Instance details

Methods

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

EncodeDisk BlockA BlockA Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockA → BlockA → Encoding Source #

EncodeDisk BlockA () Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockA → () → Encoding Source #

ReconstructNestedCtxt Header BlockA Source #

Instance details

Methods

reconstructPrefixLen ∷ proxy (Header BlockA) → PrefixLen Source #

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

StandardHash BlockA Source #

Instance details

SerialiseBlockQueryResult BlockA BlockQuery Source #

Instance details

Methods

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

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

SameDepIndex2 (BlockQuery BlockA) Source #

Instance details

Methods

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

SerialiseNodeToClient BlockA (SomeBlockQuery (BlockQuery BlockA)) Source #

Instance details

Methods

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

decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s (SomeBlockQuery (BlockQuery BlockA)) 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 #

SerialiseNodeToNode BlockA (Header BlockA) Source #

Instance details

Methods

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

decodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → ∀ s. Decoder s (Header BlockA) 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 BlockA (SerialisedHeader BlockA) Source #

Instance details

Methods

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

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

DecodeDisk BlockA (AnnTip BlockA) Source #

Instance details

Methods

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

EncodeDisk BlockA (Header BlockA) Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockA → Header BlockA → Encoding Source #

EncodeDisk BlockA (AnnTip BlockA) Source #

Instance details

Methods

encodeDisk ∷ CodecConfig BlockA → AnnTip BlockA → Encoding Source #

SerialiseNodeToClient BlockA (Serialised BlockA) Source #

Instance details

Methods

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

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

SerialiseNodeToClient BlockA (EpochInfo Identity, PartialLedgerConfigA) Source #

Instance details

Methods

encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → (EpochInfo Identity, PartialLedgerConfigA) → Encoding Source #

decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s (EpochInfo Identity, PartialLedgerConfigA) Source #

SerialiseNodeToNode BlockA (Serialised BlockA) Source #

Instance details

Methods

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

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

DecodeDisk BlockA (LedgerState BlockA EmptyMK) Source #

Instance details

Methods

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

DecodeDisk BlockA (ByteString → Header BlockA) Source #

Instance details

Methods

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

DecodeDisk BlockA (ByteString → BlockA) Source #

Instance details

Methods

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

EncodeDisk BlockA (LedgerState BlockA EmptyMK) Source #

Instance details

Methods

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

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

Instance details

Methods

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

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

Instance details

Methods

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

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

Generic (BlockConfig BlockA) Source #

Instance details

Associated Types

type Rep (BlockConfig BlockA)
Instance details Defined in Test.Consensus.HardFork.Combinator.A type Rep (BlockConfig BlockA) = D1 ('MetaData "BlockConfig" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-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 (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.22.0.1-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 (Header BlockA) Source #

Instance details

Associated Types

type Rep (Header BlockA)

Instance details

type Rep (Header BlockA) = D1 ('MetaData "Header" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "HdrA" 'PrefixI 'True) (S1 ('MetaSel ('Just "hdrA_fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderFields BlockA)) :*: S1 ('MetaSel ('Just "hdrA_prev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash BlockA))))

Methods

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

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

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.22.0.1-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 (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 (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.22.0.1-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 (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.22.0.1-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) #

Show (Header BlockA) Source #

Instance details

Methods

showsPrec ∷ Int → Header BlockA → ShowS #

show ∷ Header BlockA → String #

showList ∷ [Header BlockA] → 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 BlockA)) Source #

Instance details

Methods

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

show ∷ Validated (GenTx BlockA) → String #

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

Show (GenTx BlockA) Source #

Instance details

Methods

showsPrec ∷ Int → GenTx BlockA → ShowS #

show ∷ GenTx BlockA → String #

showList ∷ [GenTx BlockA] → 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 #

Eq (Header BlockA) Source #

Instance details

Methods

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

(/=) ∷ Header BlockA → Header BlockA → 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 BlockA)) Source #

Instance details

Methods

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

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

Eq (GenTx BlockA) Source #

Instance details

Methods

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

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

Eq (TxId (GenTx BlockA)) Source #

Instance details

Methods

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

(/=) ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → 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 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) #

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

Instance details

Methods

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

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

showTypeOf ∷ Proxy (Header BlockA) → 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 (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 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 (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 (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 #

GetTip (LedgerState BlockA) Source #

Instance details

Methods

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

ConvertRawTxId (GenTx BlockA) Source #

Instance details

Methods

toRawTxIdHash ∷ TxId (GenTx BlockA) → ShortByteString Source #

HasTxId (GenTx BlockA) Source #

Instance details

Methods

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

CanStowLedgerTables (LedgerState BlockA) Source #

Instance details

Methods

stowLedgerTables ∷ LedgerState BlockA ValuesMK → LedgerState BlockA EmptyMK Source #

unstowLedgerTables ∷ LedgerState BlockA EmptyMK → LedgerState BlockA ValuesMK 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 #

LedgerTablesAreTrivial (LedgerState BlockA) Source #

Instance details

Methods

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

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 #

Condense (Header BlockA) Source #

Instance details

Methods

condense ∷ Header BlockA → String Source #

Condense (GenTx BlockA) Source #

Instance details

Methods

condense ∷ GenTx BlockA → String Source #

Condense (TxId (GenTx BlockA)) Source #

Instance details

Methods

condense ∷ TxId (GenTx BlockA) → String Source #

HasHeader (Header BlockA) Source #

Instance details

Methods

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

Serialise (Header BlockA) Source #

Instance details

Methods

encode ∷ Header BlockA → Encoding Source #

decode ∷ Decoder s (Header BlockA) Source #

encodeList ∷ [Header BlockA] → Encoding Source #

decodeList ∷ Decoder s [Header BlockA] Source #

Serialise (AnnTip BlockA) Source #

Instance details

Methods

encode ∷ AnnTip BlockA → Encoding Source #

decode ∷ Decoder s (AnnTip BlockA) Source #

encodeList ∷ [AnnTip BlockA] → Encoding Source #

decodeList ∷ Decoder s [AnnTip BlockA] 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 (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 (SerialisedHeader BlockA) Source #

Instance details

Methods

encode ∷ SerialisedHeader BlockA → Encoding Source #

decode ∷ Decoder s (SerialisedHeader BlockA) Source #

encodeList ∷ [SerialisedHeader BlockA] → Encoding Source #

decodeList ∷ Decoder s [SerialisedHeader BlockA] 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 #

DecodeDiskDep (NestedCtxt Header) BlockA Source #

Instance details

Methods

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

DecodeDiskDepIx (NestedCtxt Header) BlockA Source #

Instance details

Methods

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

EncodeDiskDep (NestedCtxt Header) BlockA Source #

Instance details

Methods

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

EncodeDiskDepIx (NestedCtxt Header) BlockA Source #

Instance details

Methods

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

Generic (LedgerState BlockA mk) Source #

Instance details

Associated Types

type Rep (LedgerState BlockA mk)

Instance details

type Rep (LedgerState BlockA mk) = D1 ('MetaData "LedgerState" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-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 #

Show (LedgerState BlockA mk) Source #

Instance details

Methods

showsPrec ∷ Int → LedgerState BlockA mk → ShowS #

show ∷ LedgerState BlockA mk → String #

showList ∷ [LedgerState BlockA mk] → ShowS #

Eq (LedgerState BlockA mk) Source #

Instance details

Methods

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

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

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 #

GetTip (Ticked (LedgerState BlockA)) Source #

Instance details

Methods

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

LedgerTablesAreTrivial (Ticked (LedgerState BlockA)) Source #

Instance details

Methods

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

ShowQuery (BlockQuery BlockA fp) Source #

Instance details

Methods

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

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

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.22.0.1-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 (NestedCtxt_ BlockA f a) Source #

Instance details

Methods

showsPrec ∷ Int → NestedCtxt_ BlockA f a → ShowS #

show ∷ NestedCtxt_ BlockA f a → String #

showList ∷ [NestedCtxt_ BlockA f a] → ShowS #

Show (BlockQuery BlockA fp result) Source #

Instance details

Methods

showsPrec ∷ Int → BlockQuery BlockA fp result → ShowS #

show ∷ BlockQuery BlockA fp result → String #

showList ∷ [BlockQuery BlockA fp result] → ShowS #

Show (Ticked (LedgerState BlockA) mk) Source #

Instance details

Methods

showsPrec ∷ Int → Ticked (LedgerState BlockA) mk → ShowS #

show ∷ Ticked (LedgerState BlockA) mk → String #

showList ∷ [Ticked (LedgerState BlockA) mk] → ShowS #

Eq (Ticked (LedgerState BlockA) mk) Source #

Instance details

Methods

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

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

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

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

Instance details

type Rep BlockA = D1 ('MetaData "BlockA" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "BlkA" 'PrefixI 'True) (S1 ('MetaSel ('Just "blkA_header") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Header BlockA)) :*: S1 ('MetaSel ('Just "blkA_body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GenTx BlockA])))

data BlockConfig BlockA Source #

Instance details

data BlockConfig BlockA = BCfgA

type BlockProtocol BlockA Source #

Instance details

type BlockProtocol BlockA = ProtocolA

data CodecConfig BlockA Source #

Instance details

data CodecConfig BlockA = CCfgA

data Header BlockA Source #

data StorageConfig BlockA Source #

Instance details

data StorageConfig BlockA = SCfgA

type CannotForge BlockA Source #

Instance details

type CannotForge BlockA = Void

type ForgeStateInfo BlockA Source #

Instance details

type ForgeStateInfo BlockA = ()

type ForgeStateUpdateError BlockA Source #

Instance details

type ForgeStateUpdateError BlockA = Void

data NestedCtxt_ BlockA f a Source #

Instance details

data NestedCtxt_ BlockA f a where

CtxtA ∷ ∀ (f ∷ Type → Type). NestedCtxt_ BlockA f (f BlockA)

type TentativeHeaderState BlockA Source #

Instance details

type TentativeHeaderState BlockA = TentativeHeaderState (SelectViewDiffusionPipelining BlockA)

type TentativeHeaderView BlockA Source #

Instance details

type TentativeHeaderView BlockA = TentativeHeaderView (SelectViewDiffusionPipelining BlockA)

type PartialLedgerConfig BlockA Source #

Instance details

type PartialLedgerConfig BlockA = PartialLedgerConfigA

type OtherHeaderEnvelopeError BlockA Source #

Instance details

type OtherHeaderEnvelopeError BlockA = Void

type TipInfo BlockA Source #

Instance details

type TipInfo BlockA = HeaderHash BlockA

data LedgerState BlockA mk Source #

Instance details

data LedgerState BlockA mk = LgrA {

lgrA_tip ∷ Point BlockA
lgrA_transition ∷ Maybe SlotNo

}

type LedgerUpdate BlockA Source #

Instance details

type LedgerUpdate BlockA

type LedgerWarning BlockA Source #

Instance details

type LedgerWarning BlockA = Void

data BlockQuery BlockA fp result Source #

Instance details

data BlockQuery BlockA fp result

type ApplyTxErr BlockA Source #

Instance details

type ApplyTxErr BlockA = Void

data GenTx BlockA Source #

Instance details

data GenTx BlockA = TxA {

txA_id ∷ TxId (GenTx BlockA)
txA_payload ∷ TxPayloadA

}

type TxMeasure BlockA Source #

Instance details

type TxMeasure BlockA = IgnoringOverflow ByteSize32

type BlockNodeToClientVersion BlockA Source #

Instance details

type BlockNodeToClientVersion BlockA = ()

type BlockNodeToNodeVersion BlockA Source #

Instance details

type BlockNodeToNodeVersion BlockA = ()

type HeaderHash BlockA Source #

Instance details

type HeaderHash BlockA = ByteString

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

Instance details

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

type Rep (BlockConfig BlockA) Source #

Instance details

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

type Rep (Header BlockA) Source #

Instance details

type Rep (Header BlockA) = D1 ('MetaData "Header" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "HdrA" 'PrefixI 'True) (S1 ('MetaSel ('Just "hdrA_fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderFields BlockA)) :*: S1 ('MetaSel ('Just "hdrA_prev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash BlockA))))

type Rep (StorageConfig BlockA) Source #

Instance details

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

type Rep (Validated (GenTx BlockA)) Source #

Instance details

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

type Rep (GenTx BlockA) Source #

Instance details

type Rep (GenTx BlockA) = D1 ('MetaData "GenTx" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-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 (TxId (GenTx BlockA)) Source #

Instance details

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

newtype Validated (GenTx BlockA) Source #

Instance details

newtype Validated (GenTx BlockA) = ValidatedGenTxA {

forgetValidatedGenTxA ∷ GenTx BlockA

}

type AuxLedgerEvent (LedgerState BlockA) Source #

Instance details

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

type LedgerCfg (LedgerState BlockA) Source #

Instance details

type LedgerCfg (LedgerState BlockA) = (EpochInfo Identity, PartialLedgerConfigA)

type LedgerErr (LedgerState BlockA) Source #

Instance details

type LedgerErr (LedgerState BlockA) = Void

newtype TxId (GenTx BlockA) Source #

Instance details

newtype TxId (GenTx BlockA) = TxIdA Int

type TxIn (LedgerState BlockA) Source #

Instance details

type TxIn (LedgerState BlockA) = Void

type TxOut (LedgerState BlockA) Source #

Instance details

type TxOut (LedgerState BlockA) = Void

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.22.0.1-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))))

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

}

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.22.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "TickedLedgerStateA" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedLedgerStateA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState BlockA 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 ProtocolA Source #

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

data ProtocolA Source #

Instances

Instances details

Instance details

Associated Types

type PartialConsensusConfig ProtocolA
Instance details Defined in Test.Consensus.HardFork.Combinator.A type PartialConsensusConfig ProtocolA = ConsensusConfig ProtocolA

Methods

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

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

ConsensusProtocol ProtocolA Source #

Instance details

Associated Types

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

Methods

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

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

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

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

protocolSecurityParam ∷ ConsensusConfig ProtocolA → SecurityParam 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 #

type PartialConsensusConfig ProtocolA Source #

Instance details

type PartialConsensusConfig ProtocolA = ConsensusConfig ProtocolA

type CanBeLeader ProtocolA Source #

Instance details

type CanBeLeader ProtocolA = ()

type ChainDepState ProtocolA Source #

Instance details

type ChainDepState ProtocolA = ()

data ConsensusConfig ProtocolA Source #

Instance details

data ConsensusConfig ProtocolA = CfgA {

cfgA_k ∷ SecurityParam
cfgA_leadInSlots ∷ Set SlotNo

}

type IsLeader ProtocolA Source #

Instance details

type IsLeader ProtocolA = ()

type LedgerView ProtocolA Source #

Instance details

type LedgerView ProtocolA = ()

type SelectView ProtocolA Source #

Instance details

type SelectView ProtocolA = BlockNo

type ValidateView ProtocolA Source #

Instance details

type ValidateView ProtocolA = ()

type ValidationErr ProtocolA Source #

Instance details

type ValidationErr ProtocolA = Void

blockForgingA ∷ ∀ (m ∷ Type → Type). Monad m ⇒ BlockForging m BlockA Source #

safeFromTipA ∷ SecurityParam → Word64 Source #

See safeFromTip

stabilityWindowA ∷ SecurityParam → Word64 Source #

This mock ledger assumes that every node is honest and online, every slot has a single leader, and ever message arrives before the next slot. So a run of k slots is guaranteed to extend the chain by k blocks.

Additional types

data PartialLedgerConfigA Source #

Constructors

LCfgA
Fields lcfgA_k ∷ SecurityParam lcfgA_systemStart ∷ SystemStart lcfgA_forgeTxs ∷ Map SlotNo [GenTx BlockA]

Instances

Instances details

Generic PartialLedgerConfigA Source #

Instance details

Associated Types

type Rep PartialLedgerConfigA

Instance details

type Rep PartialLedgerConfigA = D1 ('MetaData "PartialLedgerConfigA" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "LCfgA" 'PrefixI 'True) (S1 ('MetaSel ('Just "lcfgA_k") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecurityParam) :*: (S1 ('MetaSel ('Just "lcfgA_systemStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SystemStart) :*: S1 ('MetaSel ('Just "lcfgA_forgeTxs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map SlotNo [GenTx BlockA])))))

Methods

from ∷ PartialLedgerConfigA → Rep PartialLedgerConfigA x #

to ∷ Rep PartialLedgerConfigA x → PartialLedgerConfigA #

NoThunks PartialLedgerConfigA Source #

Instance details

Serialise PartialLedgerConfigA Source #

Methods

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

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

showTypeOf ∷ Proxy PartialLedgerConfigA → String Source #

Instance details

SerialiseNodeToClient BlockA PartialLedgerConfigA Source #

Methods

encode ∷ PartialLedgerConfigA → Encoding Source #

decode ∷ Decoder s PartialLedgerConfigA Source #

encodeList ∷ [PartialLedgerConfigA] → Encoding Source #

decodeList ∷ Decoder s [PartialLedgerConfigA] Source #

Instance details

Methods

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

decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s PartialLedgerConfigA Source #

SerialiseNodeToClient BlockA (EpochInfo Identity, PartialLedgerConfigA) Source #

Instance details

Methods

encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → (EpochInfo Identity, PartialLedgerConfigA) → Encoding Source #

decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s (EpochInfo Identity, PartialLedgerConfigA) Source #

type Rep PartialLedgerConfigA Source #

Instance details

type Rep PartialLedgerConfigA = D1 ('MetaData "PartialLedgerConfigA" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "LCfgA" 'PrefixI 'True) (S1 ('MetaSel ('Just "lcfgA_k") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecurityParam) :*: (S1 ('MetaSel ('Just "lcfgA_systemStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SystemStart) :*: S1 ('MetaSel ('Just "lcfgA_forgeTxs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map SlotNo [GenTx BlockA])))))

data TxPayloadA Source #

Constructors

InitiateAtoB

Instances

Instances details

Generic TxPayloadA Source #

Instance details

Associated Types

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

Methods

from ∷ TxPayloadA → Rep TxPayloadA x #

to ∷ Rep TxPayloadA x → TxPayloadA #

Show TxPayloadA Source #

Instance details

Methods

showsPrec ∷ Int → TxPayloadA → ShowS #

show ∷ TxPayloadA → String #

showList ∷ [TxPayloadA] → ShowS #

Eq TxPayloadA Source #

Instance details

Methods

(==) ∷ TxPayloadA → TxPayloadA → Bool #

(/=) ∷ TxPayloadA → TxPayloadA → Bool #

NoThunks TxPayloadA Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy TxPayloadA → String Source #

Serialise TxPayloadA Source #

Instance details

Methods

encode ∷ TxPayloadA → Encoding Source #

decode ∷ Decoder s TxPayloadA Source #

encodeList ∷ [TxPayloadA] → Encoding Source #

decodeList ∷ Decoder s [TxPayloadA] Source #

type Rep TxPayloadA Source #

Instance details

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

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.26.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.22.0.1-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.22.0.1-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.26.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.22.0.1-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.22.0.1-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.26.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.26.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.22.0.1-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.22.0.1-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.26.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.26.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.22.0.1-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.22.0.1-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.26.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.26.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.26.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.26.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.26.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.26.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.26.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.26.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.22.0.1-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.22.0.1-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.22.0.1-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.22.0.1-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.22.0.1-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.26.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.22.0.1-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.26.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.22.0.1-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.22.0.1-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.26.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.22.0.1-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.22.0.1-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.26.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.26.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.22.0.1-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.22.0.1-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.26.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.22.0.1-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.26.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.26.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.22.0.1-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.22.0.1-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.26.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.22.0.1-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.26.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.26.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.26.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.26.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.22.0.1-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.22.0.1-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.26.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.26.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.22.0.1-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.22.0.1-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.22.0.1-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.22.0.1-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.26.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.22.0.1-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.22.0.1-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