consensus-test
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.HardFork.Combinator.A

Synopsis

Documentation

data BlockA Source #

Constructors

BlkA 

Instances

Instances details
Generic BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep BlockA 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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])))

Methods

fromBlockARep BlockA x #

toRep BlockA x → BlockA #

Show BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

showsPrecIntBlockAShowS #

showBlockAString #

showList ∷ [BlockA] → ShowS #

Eq BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

(==)BlockABlockABool #

(/=)BlockABlockABool #

NoThunks BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ConvertRawHash BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

GetHeader BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

GetPrevHash BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

BlockSupportsDiffusionPipelining BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

BlockSupportsMetrics BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

BlockSupportsProtocol BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ConfigSupportsNode BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SingleEraBlock BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

CondenseConstraints BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasPartialLedgerConfig BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseConstraintsHFC BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

BasicEnvelopeValidation BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasAnnTip BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type TipInfo BlockA 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ValidateEnvelope BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

UpdateLedger BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

CommonProtocolParams BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

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

InspectLedger BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type LedgerWarning BlockA 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type LedgerUpdate BlockA 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

BlockSupportsLedgerQuery BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasTxs BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

LedgerSupportsMempool BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

TxLimits BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type TxMeasure BlockA 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

LedgerSupportsPeerSelection BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

LedgerSupportsProtocol BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NodeInitStorage BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasNetworkProtocolVersion BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClientConstraints BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNodeConstraints BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseDiskConstraints BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasBinaryBlockInfo BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Condense BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

condenseBlockAString Source #

HasHeader BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasNestedContent Header BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA SlotNo Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA Void Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA PartialLedgerConfigA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA ByteString Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDisk BlockA () Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

decodeDiskCodecConfig BlockA → ∀ s. Decoder s () Source #

EncodeDisk BlockA BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDisk BlockA () Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ReconstructNestedCtxt Header BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

StandardHash BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseBlockQueryResult BlockA BlockQuery Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SameDepIndex2 (BlockQuery BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA (GenTxId BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA (GenTxId BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA (SerialisedHeader BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDisk BlockA (AnnTip BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDisk BlockA (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDisk BlockA (AnnTip BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA (Serialised BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA (EpochInfo Identity, PartialLedgerConfigA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA (Serialised BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDisk BlockA (LedgerState BlockA EmptyMK) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDisk BlockA (ByteStringHeader BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDisk BlockA (ByteStringBlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDisk BlockA (LedgerState BlockA EmptyMK) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SameDepIndex (NestedCtxt_ BlockA f ∷ TypeType) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

TrivialDependency (NestedCtxt_ BlockA f ∷ TypeType) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Generic (BlockConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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) (U1TypeType))
Generic (CodecConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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) (U1TypeType))
Generic (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (Header BlockA) 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

fromHeader BlockARep (Header BlockA) x #

toRep (Header BlockA) x → Header BlockA #

Generic (StorageConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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) (U1TypeType))
Generic (Validated (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (Validated (GenTx BlockA)) 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Generic (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (GenTx BlockA) 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

fromGenTx BlockARep (GenTx BlockA) x #

toRep (GenTx BlockA) x → GenTx BlockA #

Generic (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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 ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

fromTxId (GenTx BlockA) → Rep (TxId (GenTx BlockA)) x #

toRep (TxId (GenTx BlockA)) x → TxId (GenTx BlockA) #

Show (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator

Show (Validated (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Show (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Show (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

showsPrecIntTxId (GenTx BlockA) → ShowS #

showTxId (GenTx BlockA) → String #

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

Eq (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator

Eq (Validated (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Eq (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

(==)GenTx BlockAGenTx BlockABool #

(/=)GenTx BlockAGenTx BlockABool #

Eq (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

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

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

Defined in Test.Consensus.HardFork.Combinator

Ord (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator

NoThunks (BlockConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (CodecConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (StorageConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator

NoThunks (Validated (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

GetTip (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

IsLedger (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ConvertRawTxId (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasTxId (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

CanStowLedgerTables (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasLedgerTables (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

LedgerTablesAreTrivial (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

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

Defined in Test.Consensus.HardFork.Combinator

SerializeTablesWithHint (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

CanUpgradeLedgerTables (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Condense (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Condense (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Condense (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasHeader (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (AnnTip BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (SerialisedHeader BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ApplyBlock (LedgerState BlockA) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDiskDep (NestedCtxt Header) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDiskDepIx (NestedCtxt Header) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDiskDep (NestedCtxt Header) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDiskDepIx (NestedCtxt Header) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Generic (LedgerState BlockA mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (LedgerState BlockA mk) 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

fromLedgerState BlockA mk → Rep (LedgerState BlockA mk) x #

toRep (LedgerState BlockA mk) x → LedgerState BlockA mk #

Show (LedgerState BlockA mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Eq (LedgerState BlockA mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (LedgerState BlockA mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

GetTip (Ticked (LedgerState BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

HasLedgerTables (Ticked (LedgerState BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

LedgerTablesAreTrivial (Ticked (LedgerState BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

ShowQuery (BlockQuery BlockA fp) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

showResultBlockQuery BlockA fp result → result → String Source #

Serialise (LedgerState BlockA mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

IndexedMemPack (LedgerState BlockA EmptyMK) Void Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator

Generic (Ticked (LedgerState BlockA) mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (Ticked (LedgerState BlockA) mk) 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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))))
Show (NestedCtxt_ BlockA f a) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Show (BlockQuery BlockA fp result) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

showsPrecIntBlockQuery BlockA fp result → ShowS #

showBlockQuery BlockA fp result → String #

showList ∷ [BlockQuery BlockA fp result] → ShowS #

Show (Ticked (LedgerState BlockA) mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Eq (Ticked (LedgerState BlockA) mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (Ticked (LedgerState BlockA) mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

CanHardFork '[BlockA, BlockB] Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator

HasCanonicalTxIn '[BlockA, BlockB] Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator

Associated Types

newtype CanonicalTxIn '[BlockA, BlockB] 
Instance details

Defined in Test.Consensus.HardFork.Combinator

HasHardForkTxOut '[BlockA, BlockB] Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator

Associated Types

type HardForkTxOut '[BlockA, BlockB] 
Instance details

Defined in Test.Consensus.HardFork.Combinator

BlockSupportsHFLedgerQuery '[BlockA, BlockB] Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator

SerialiseHFC '[BlockA, BlockB] Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator

type Rep BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

type BlockProtocol BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data CodecConfig BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data Header BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data StorageConfig BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type CannotForge BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type ForgeStateInfo BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type ForgeStateUpdateError BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data NestedCtxt_ BlockA f a Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data NestedCtxt_ BlockA f a where
type TentativeHeaderState BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type TentativeHeaderView BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type PartialLedgerConfig BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type OtherHeaderEnvelopeError BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type TipInfo BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data LedgerState BlockA mk Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type LedgerUpdate BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type LedgerWarning BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data BlockQuery BlockA fp result Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data BlockQuery BlockA fp result
type ApplyTxErr BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data GenTx BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type TxMeasure BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type BlockNodeToClientVersion BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type BlockNodeToNodeVersion BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type HeaderHash BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type TrivialIndex (NestedCtxt_ BlockA f ∷ TypeType) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type Rep (BlockConfig BlockA) Source # 
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) (U1TypeType))
type Rep (CodecConfig BlockA) Source # 
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) (U1TypeType))
type Rep (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

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) (U1TypeType))
type Rep (Validated (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type Rep (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

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 ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))
newtype Validated (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type AuxLedgerEvent (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type LedgerCfg (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type LedgerErr (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

newtype TxId (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

newtype TxId (GenTx BlockA) = TxIdA Int
type TxIn (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type TxOut (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type Rep (LedgerState BlockA mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

type Rep (Ticked (LedgerState BlockA) mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator

newtype CanonicalTxIn '[BlockA, BlockB] Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator

type HardForkTxOut '[BlockA, BlockB] Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator

data ProtocolA Source #

Instances

Instances details
HasPartialConsensusConfig ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ConsensusProtocol ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (ConsensusConfig ProtocolA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type PartialConsensusConfig ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type CanBeLeader ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type ChainDepState ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data ConsensusConfig ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type IsLeader ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type LedgerView ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type SelectView ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type ValidateView ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type ValidationErr ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

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

Instances

Instances details
Generic PartialLedgerConfigA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep PartialLedgerConfigA 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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])))))
NoThunks PartialLedgerConfigA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise PartialLedgerConfigA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA PartialLedgerConfigA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA (EpochInfo Identity, PartialLedgerConfigA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type Rep PartialLedgerConfigA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

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) (U1TypeType))
Show TxPayloadA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Eq TxPayloadA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

(==)TxPayloadATxPayloadABool #

(/=)TxPayloadATxPayloadABool #

NoThunks TxPayloadA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise TxPayloadA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type Rep TxPayloadA Source # 
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) (U1TypeType))

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

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

fromBlockConfig (TestBlockWith ptype) → Rep (BlockConfig (TestBlockWith ptype)) x #

toRep (BlockConfig (TestBlockWith ptype)) x → BlockConfig (TestBlockWith ptype) #

Generic (BlockConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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) (U1TypeType))
Generic (BlockConfig BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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) (U1TypeType))
Show (BlockConfig (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

NoThunks (BlockConfig (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

NoThunks (BlockConfig (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

NoThunks (BlockConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (BlockConfig BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data BlockConfig BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data BlockConfig BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

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) (U1TypeType))
type Rep (BlockConfig BlockB) Source # 
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) (U1TypeType))
newtype BlockConfig (DisableDiffusionPipelining blk) 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype BlockConfig (SelectViewDiffusionPipelining blk) 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype BlockConfig (HardForkBlock xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

data BlockConfig (TestBlockWith ptype) 
Instance details

Defined in Test.Util.TestBlock

data BlockConfig (DualBlock m a) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

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

Generic (CodecConfig (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Associated Types

type Rep (CodecConfig (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

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

fromCodecConfig (DualBlock m a) → Rep (CodecConfig (DualBlock m a)) x #

toRep (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) (U1TypeType))
Generic (CodecConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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) (U1TypeType))
Generic (CodecConfig BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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) (U1TypeType))
Show (CodecConfig TestBlock) 
Instance details

Defined in Test.Util.TestBlock

CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

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

Defined in Ouroboros.Consensus.Ledger.Dual

NoThunks (CodecConfig TestBlock) 
Instance details

Defined in Test.Util.TestBlock

NoThunks (CodecConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (CodecConfig BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data CodecConfig TestBlock

The TestBlock does not need any codec config

Instance details

Defined in Test.Util.TestBlock

data CodecConfig BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data CodecConfig BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type Rep (CodecConfig (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

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) (U1TypeType))
type Rep (CodecConfig BlockA) Source # 
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) (U1TypeType))
type Rep (CodecConfig BlockB) Source # 
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) (U1TypeType))
newtype CodecConfig (HardForkBlock xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

data CodecConfig (DualBlock m a) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

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)))))
Generic (ConsensusConfig (Bft c)) 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type Rep (ConsensusConfig (Bft c)) 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

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

fromConsensusConfig (Bft c) → Rep (ConsensusConfig (Bft c)) x #

toRep (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))))
Generic (ConsensusConfig (PBft c)) 
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

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)))
CanHardFork xs ⇒ NoThunks (ConsensusConfig (HardForkProtocol xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

BftCrypto c ⇒ NoThunks (ConsensusConfig (Bft c)) 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

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

Defined in Ouroboros.Consensus.Protocol.ModChainSel

NoThunks (ConsensusConfig (PBft c)) 
Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

NoThunks (ConsensusConfig ProtocolA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (ConsensusConfig ProtocolB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data ConsensusConfig ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data ConsensusConfig ProtocolB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Protocol.BFT

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

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)))
data ConsensusConfig (HardForkProtocol xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

data ConsensusConfig (Bft c)

(Static) node configuration

Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

newtype ConsensusConfig (PBft c)

(Static) node configuration

Instance details

Defined in Ouroboros.Consensus.Protocol.PBFT

newtype ConsensusConfig (ModChainSel p s) 
Instance details

Defined in Ouroboros.Consensus.Protocol.ModChainSel

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

projectNoHardForks blk ⇒ GenTx (HardForkBlock '[blk]) → GenTx blk Source #

injectNoHardForks blk ⇒ GenTx blk → GenTx (HardForkBlock '[blk]) Source #

SerialiseNodeToClient BlockA (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA (GenTxId BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockB (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToClient BlockB (GenTxId BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToNode BlockA (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA (GenTxId BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockB (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToNode BlockB (GenTxId BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showProxyProxy (GenTx (DualBlock m a)) → String Source #

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

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showProxyProxy (TxId (GenTx (DualBlock m a))) → String Source #

Generic (Validated (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (Validated (GenTx BlockA)) 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Generic (Validated (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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) (V1TypeType)
Generic (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (GenTx BlockA) 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

fromGenTx BlockARep (GenTx BlockA) x #

toRep (GenTx BlockA) x → GenTx BlockA #

Generic (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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) (V1TypeType)

Methods

fromGenTx BlockBRep (GenTx BlockB) x #

toRep (GenTx BlockB) x → GenTx BlockB #

Generic (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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 ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

fromTxId (GenTx BlockA) → Rep (TxId (GenTx BlockA)) x #

toRep (TxId (GenTx BlockA)) x → TxId (GenTx BlockA) #

Generic (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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) (V1TypeType)

Methods

fromTxId (GenTx BlockB) → Rep (TxId (GenTx BlockB)) x #

toRep (TxId (GenTx BlockB)) x → TxId (GenTx BlockB) #

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

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrecIntValidated (GenTx (DualBlock m a)) → ShowS #

showValidated (GenTx (DualBlock m a)) → String #

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

Show (Validated (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Show (Validated (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrecIntGenTx (DualBlock m a) → ShowS #

showGenTx (DualBlock m a) → String #

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

Show (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Show (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrecIntTxId (GenTx (DualBlock m a)) → ShowS #

showTxId (GenTx (DualBlock m a)) → String #

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

Show (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

showsPrecIntTxId (GenTx BlockA) → ShowS #

showTxId (GenTx BlockA) → String #

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

Show (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

showsPrecIntTxId (GenTx BlockB) → ShowS #

showTxId (GenTx BlockB) → String #

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

Eq (Validated (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Eq (Validated (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Eq (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

(==)GenTx BlockAGenTx BlockABool #

(/=)GenTx BlockAGenTx BlockABool #

Eq (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

(==)GenTx BlockBGenTx BlockBBool #

(/=)GenTx BlockBGenTx BlockBBool #

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

Defined in Ouroboros.Consensus.Ledger.Dual

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

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

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

Eq (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

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

maxTxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

minTxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

Ord (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Ord (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

NoThunks (Validated (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (Validated (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

NoThunks (GenTx (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

NoThunks (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

NoThunks (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

ConvertRawTxId (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ConvertRawTxId (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

txIdGenTx (DualBlock m a) → TxId (GenTx (DualBlock m a)) Source #

HasTxId (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasTxId (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Condense (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Condense (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Condense (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Condense (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Serialise (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Serialise (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data GenTx BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data GenTx BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator.A

type Rep (Validated (GenTx BlockB)) Source # 
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) (V1TypeType)
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

Defined in Test.Consensus.HardFork.Combinator.A

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

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) (V1TypeType)
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

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 ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))
type Rep (TxId (GenTx BlockB)) Source # 
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) (V1TypeType)
newtype Validated (GenTx (HardForkBlock xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

data Validated (GenTx (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

newtype Validated (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data Validated (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

newtype GenTx (HardForkBlock xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype TxId (GenTx (HardForkBlock xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype TxId (GenTx (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

newtype TxId (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

newtype TxId (GenTx BlockA) = TxIdA Int
data TxId (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data GenTx (DualBlock m a) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data family Header blk Source #

Instances

Instances details
Inject Header 
Instance details

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

Methods

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

Isomorphic Header 
Instance details

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

Methods

projectNoHardForks blk ⇒ Header (HardForkBlock '[blk]) → Header blk Source #

injectNoHardForks blk ⇒ Header blk → Header (HardForkBlock '[blk]) Source #

HasNestedContent Header BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasNestedContent Header BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

ReconstructNestedCtxt Header BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ReconstructNestedCtxt Header BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToNode BlockA (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockB (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

EncodeDisk BlockA (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDisk BlockB (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

ReconstructNestedCtxt Header (TestBlockWith ptype) 
Instance details

Defined in Test.Util.TestBlock

StandardHash blk ⇒ StandardHash (Header blk ∷ Type) 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

Typeable ptype ⇒ ShowProxy (Header (TestBlockWith ptype) ∷ Type) 
Instance details

Defined in Test.Util.TestBlock

Methods

showProxyProxy (Header (TestBlockWith ptype)) → String Source #

HasNestedContent Header m ⇒ HasNestedContent Header (DualBlock m a) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

DecodeDisk BlockA (ByteStringHeader BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDisk BlockB (ByteStringHeader BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

ReconstructNestedCtxt Header m ⇒ ReconstructNestedCtxt Header (DualBlock m a) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

(Typeable m, Typeable a) ⇒ ShowProxy (DualHeader m a ∷ Type) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showProxyProxy (DualHeader m a) → String Source #

Generic (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (Header BlockA) 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

fromHeader BlockARep (Header BlockA) x #

toRep (Header BlockA) x → Header BlockA #

Generic (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Associated Types

type Rep (Header BlockB) 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Methods

fromHeader BlockBRep (Header BlockB) x #

toRep (Header BlockB) x → Header BlockB #

Show ptype ⇒ Show (Header (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

Methods

showsPrecIntHeader (TestBlockWith ptype) → ShowS #

showHeader (TestBlockWith ptype) → String #

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

Show (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Show (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Eq ptype ⇒ Eq (Header (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

Methods

(==)Header (TestBlockWith ptype) → Header (TestBlockWith ptype) → Bool #

(/=)Header (TestBlockWith ptype) → Header (TestBlockWith ptype) → Bool #

Eq (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Eq (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

NoThunks (Header (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

NoThunks ptype ⇒ NoThunks (Header (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

NoThunks (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SignedHeader (Header (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

(Typeable ptype, Eq ptype) ⇒ Condense (Header (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

Methods

condenseHeader (TestBlockWith ptype) → String Source #

Condense (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Condense (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Typeable ptype ⇒ HasHeader (Header (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

HasHeader (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasHeader (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Serialise ptype ⇒ Serialise (Header (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

Serialise (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

DecodeDiskDep (NestedCtxt Header) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDiskDep (NestedCtxt Header) BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

DecodeDiskDepIx (NestedCtxt Header) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDiskDepIx (NestedCtxt Header) BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

EncodeDiskDep (NestedCtxt Header) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDiskDep (NestedCtxt Header) BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

EncodeDiskDepIx (NestedCtxt Header) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDiskDepIx (NestedCtxt Header) BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Serialise ptype ⇒ DecodeDiskDep (NestedCtxt Header) (TestBlockWith ptype) 
Instance details

Defined in Test.Util.TestBlock

Methods

decodeDiskDepCodecConfig (TestBlockWith ptype) → NestedCtxt Header (TestBlockWith ptype) a → ∀ s. Decoder s (ByteString → a) Source #

Serialise ptype ⇒ EncodeDisk (TestBlockWith ptype) (Header (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

Serialise ptype ⇒ EncodeDiskDep (NestedCtxt Header) (TestBlockWith ptype) 
Instance details

Defined in Test.Util.TestBlock

Serialise ptype ⇒ DecodeDisk (TestBlockWith ptype) (ByteStringHeader (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

Methods

decodeDiskCodecConfig (TestBlockWith ptype) → ∀ s. Decoder s (ByteStringHeader (TestBlockWith ptype)) Source #

EncodeDiskDep (NestedCtxt Header) m ⇒ EncodeDiskDep (NestedCtxt Header) (DualBlock m a) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

encodeDiskDepCodecConfig (DualBlock m a) → NestedCtxt Header (DualBlock m a) a0 → a0 → Encoding Source #

EncodeDiskDepIx (NestedCtxt Header) m ⇒ EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Show (Header m) ⇒ Show (DualHeader m a) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrecIntDualHeader m a → ShowS #

showDualHeader m a → String #

showList ∷ [DualHeader m a] → ShowS #

Bridge m a ⇒ HasHeader (DualHeader m a) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data Header BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data Header BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type HeaderHash (Header blk ∷ Type) 
Instance details

Defined in Ouroboros.Consensus.Block.Abstract

type HeaderHash (Header blk ∷ Type) = HeaderHash blk
type Rep (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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 (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Block.Abstract

newtype Header (DisableDiffusionPipelining blk) 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype Header (SelectViewDiffusionPipelining blk) 
Instance details

Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining

newtype Header (HardForkBlock xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

newtype Header (TestBlockWith ptype) 
Instance details

Defined in Test.Util.TestBlock

type Signed (Header (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

type Signed (Header (TestBlockWith ptype)) = ()
newtype Header (DualBlock m a) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

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

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDisk BlockB (LedgerState BlockB EmptyMK) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

EncodeDisk BlockA (LedgerState BlockA EmptyMK) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDisk BlockB (LedgerState BlockB EmptyMK) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

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

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

GetTip (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

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

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

Defined in Ouroboros.Consensus.Ledger.Dual

Associated Types

type LedgerErr (LedgerState (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type AuxLedgerEvent (LedgerState (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

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 AuxLedgerEvent (LedgerState (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

IsLedger (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

IsLedger (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

CanStowLedgerTables (LedgerState TestBlock) 
Instance details

Defined in Test.Util.TestBlock

CanStowLedgerTables (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

CanStowLedgerTables (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

(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

Defined in Ouroboros.Consensus.Ledger.Dual

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

HasLedgerTables (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasLedgerTables (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

LedgerTablesAreTrivial (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

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

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

Defined in Test.Consensus.HardFork.Combinator

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

Defined in Ouroboros.Consensus.Ledger.Dual

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

Defined in Test.Util.LedgerStateOnlyTables

SerializeTablesWithHint (LedgerState TestBlock) 
Instance details

Defined in Test.Util.TestBlock

SerializeTablesWithHint (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerializeTablesWithHint (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

CanUpgradeLedgerTables (LedgerState (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

CanUpgradeLedgerTables (LedgerState (OTBlock k v)) 
Instance details

Defined in Test.Util.LedgerStateOnlyTables

Methods

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

CanUpgradeLedgerTables (LedgerState TestBlock) 
Instance details

Defined in Test.Util.TestBlock

CanUpgradeLedgerTables (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

CanUpgradeLedgerTables (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

ApplyBlock (LedgerState BlockA) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ApplyBlock (LedgerState BlockB) BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

PayloadSemantics ptype ⇒ ApplyBlock (LedgerState (TestBlockWith ptype)) (TestBlockWith ptype) 
Instance details

Defined in Test.Util.TestBlock

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

Defined in Ouroboros.Consensus.Ledger.Dual

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

Defined in Test.Util.TestBlock

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

Defined in Test.Util.TestBlock

Generic (LedgerState (OTBlock k v) mk) 
Instance details

Defined in Test.Util.LedgerStateOnlyTables

Associated Types

type Rep (LedgerState (OTBlock k v) mk) 
Instance details

Defined in Test.Util.LedgerStateOnlyTables

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

fromLedgerState (OTBlock k v) mk → Rep (LedgerState (OTBlock k v) mk) x #

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

fromLedgerState (TestBlockWith ptype) mk → Rep (LedgerState (TestBlockWith ptype) mk) x #

toRep (LedgerState (TestBlockWith ptype) mk) x → LedgerState (TestBlockWith ptype) mk #

Generic (LedgerState BlockA mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (LedgerState BlockA mk) 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

fromLedgerState BlockA mk → Rep (LedgerState BlockA mk) x #

toRep (LedgerState BlockA mk) x → LedgerState BlockA mk #

Generic (LedgerState BlockB mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

fromLedgerState BlockB mk → Rep (LedgerState BlockB mk) x #

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

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

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrecIntLedgerState (DualBlock m a) mk → ShowS #

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

showsPrecIntLedgerState (TestBlockWith ptype) mk → ShowS #

showLedgerState (TestBlockWith ptype) mk → String #

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

Show (LedgerState BlockA mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Show (LedgerState BlockB mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

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

Defined in Ouroboros.Consensus.Ledger.Dual

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

Defined in Test.Consensus.HardFork.Combinator.A

Eq (LedgerState BlockB mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

NoThunks (LedgerState (DualBlock m a) mk) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

NoThunks (PayloadDependentState ptype mk) ⇒ NoThunks (LedgerState (TestBlockWith ptype) mk) 
Instance details

Defined in Test.Util.TestBlock

NoThunks (LedgerState BlockA mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (LedgerState BlockB mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

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

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

GetTip (Ticked (LedgerState BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Util.LedgerStateOnlyTables

(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

Defined in Ouroboros.Consensus.Ledger.Dual

HasLedgerTables (Ticked (LedgerState TestBlock)) 
Instance details

Defined in Test.Util.TestBlock

HasLedgerTables (Ticked (LedgerState BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasLedgerTables (Ticked (LedgerState BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Util.LedgerStateOnlyTables

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

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

LedgerTablesAreTrivial (Ticked (LedgerState BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Serialise (LedgerState BlockA mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (LedgerState BlockB mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

MemPack v ⇒ IndexedMemPack (LedgerState (OTBlock k v) EmptyMK) v 
Instance details

Defined in Test.Util.LedgerStateOnlyTables

Methods

indexedPackedByteCountLedgerState (OTBlock k v) EmptyMK → v → Int Source #

indexedPackMLedgerState (OTBlock k v) EmptyMK → v → Pack s () Source #

indexedUnpackMBuffer b ⇒ LedgerState (OTBlock k v) EmptyMKUnpack b v Source #

indexedTypeNameLedgerState (OTBlock k v) EmptyMKString Source #

IndexedMemPack (LedgerState TestBlock EmptyMK) Void 
Instance details

Defined in Test.Util.TestBlock

IndexedMemPack (LedgerState BlockA EmptyMK) Void Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

IndexedMemPack (LedgerState BlockB EmptyMK) Void Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator

StandardHash blk ⇒ StandardHash (LedgerState blk ∷ MapKindType) 
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

fromTicked (LedgerState (TestBlockWith ptype)) mk → Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) x #

toRep (Ticked (LedgerState (TestBlockWith ptype)) mk) x → Ticked (LedgerState (TestBlockWith ptype)) mk #

Generic (Ticked (LedgerState BlockA) mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (Ticked (LedgerState BlockA) mk) 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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))))
Show (Ticked (LedgerState BlockA) mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

(Show k, Show v, Show (mk k v)) ⇒ Show (OTLedgerState k v mk) 
Instance details

Defined in Test.Util.LedgerStateOnlyTables

Methods

showsPrecIntOTLedgerState k v mk → ShowS #

showOTLedgerState k v mk → String #

showList ∷ [OTLedgerState k v mk] → ShowS #

Eq (Ticked (LedgerState BlockA) mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Util.LedgerStateOnlyTables

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

Defined in Ouroboros.Consensus.Ledger.Dual

(NoThunksMK mk, NoThunks (PayloadDependentState ptype mk)) ⇒ NoThunks (Ticked (LedgerState (TestBlockWith ptype)) mk) 
Instance details

Defined in Test.Util.TestBlock

NoThunks (Ticked (LedgerState BlockA) mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (Ticked (LedgerState BlockB) mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

(NoThunks k, NoThunks v, NoThunks (mk k v)) ⇒ NoThunks (OTLedgerState k v mk) 
Instance details

Defined in Test.Util.LedgerStateOnlyTables

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

projectNoHardForks blk ⇒ Flip LedgerState mk (HardForkBlock '[blk]) → Flip LedgerState mk blk Source #

injectNoHardForks blk ⇒ Flip LedgerState mk blk → Flip LedgerState mk (HardForkBlock '[blk]) Source #

data LedgerState BlockA mk Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data LedgerState BlockB mk Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type AuxLedgerEvent (LedgerState (HardForkBlock xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type AuxLedgerEvent (LedgerState (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

type AuxLedgerEvent (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type AuxLedgerEvent (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type LedgerCfg (LedgerState (HardForkBlock xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

type LedgerCfg (LedgerState (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type LedgerCfg (LedgerState (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

type LedgerCfg (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type LedgerCfg (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type LedgerErr (LedgerState (HardForkBlock xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type LedgerErr (LedgerState (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type LedgerErr (LedgerState (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

type LedgerErr (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type LedgerErr (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

newtype LedgerState (HardForkBlock xs) mk 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

data LedgerState (TestBlockWith ptype) mk 
Instance details

Defined in Test.Util.TestBlock

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 (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type TxIn (LedgerState TestBlock) 
Instance details

Defined in Test.Util.TestBlock

type TxIn (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type TxIn (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type TxOut (LedgerState (HardForkBlock xs))

Must be the HardForkTxOut type

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

type TxOut (LedgerState (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

type TxOut (LedgerState TestBlock) 
Instance details

Defined in Test.Util.TestBlock

type TxOut (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type TxOut (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type Rep (LedgerState (OTBlock k v) mk) 
Instance details

Defined in Test.Util.LedgerStateOnlyTables

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

Defined in Test.Consensus.HardFork.Combinator.A

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

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))))
data LedgerState (DualBlock m a) mk 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data LedgerState (OTBlock k v) mk 
Instance details

Defined in Test.Util.LedgerStateOnlyTables

type TxIn (OTLedgerState k v) 
Instance details

Defined in Test.Util.LedgerStateOnlyTables

type TxIn (OTLedgerState k v) = k
type TxOut (OTLedgerState k v) 
Instance details

Defined in Test.Util.LedgerStateOnlyTables

type TxOut (OTLedgerState k v) = v
data Ticked (LedgerState (HardForkBlock xs) ∷ MapKindType) (mk ∷ MapKind) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger

data Ticked (LedgerState (DualBlock m a) ∷ MapKindType) (mk ∷ MapKind) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

newtype Ticked (LedgerState (TestBlockWith ptype) ∷ MapKindType) (mk ∷ MapKind) 
Instance details

Defined in Test.Util.TestBlock

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

Ticking has no state on the A ledger state

Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Ticking has no state on the B ledger state

Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type HeaderHash (LedgerState blk ∷ MapKindType) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Basics

type HeaderHash (LedgerState blk ∷ MapKindType) = 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

Defined in Test.Consensus.HardFork.Combinator.A

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

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

fromLedgerTables l mk → Rep (LedgerTables l mk) x #

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

showsPrecIntLedgerTables l mk → ShowS #

showLedgerTables 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

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 InitHint (LedgerTables l ValuesMK) 
Instance details

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

type ReadHint (LedgerTables l ValuesMK) 
Instance details

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

type WriteHint (LedgerTables l DiffMK) 
Instance details

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

data family NestedCtxt_ blk ∷ (TypeType) → TypeType 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 ∷ TypeType) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

sameDepIndexNestedCtxt_ (DualBlock m a) f a0 → NestedCtxt_ (DualBlock m a) f b → Maybe (a0 :~: b) Source #

SameDepIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ TypeType) 
Instance details

Defined in Test.Util.TestBlock

Methods

sameDepIndexNestedCtxt_ (TestBlockWith ptype) f a → NestedCtxt_ (TestBlockWith ptype) f b → Maybe (a :~: b) Source #

SameDepIndex (NestedCtxt_ BlockA f ∷ TypeType) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

SameDepIndex (NestedCtxt_ BlockB f ∷ TypeType) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

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

TrivialDependency (NestedCtxt_ (TestBlockWith ptype) f ∷ TypeType) 
Instance details

Defined in Test.Util.TestBlock

TrivialDependency (NestedCtxt_ BlockA f ∷ TypeType) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

TrivialDependency (NestedCtxt_ BlockB f ∷ TypeType) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Show (NestedCtxt_ m f x) ⇒ Show (NestedCtxt_ (DualBlock m a) f x) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrecIntNestedCtxt_ (DualBlock m a) f x → ShowS #

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

showsPrecIntNestedCtxt_ (TestBlockWith ptype) f a → ShowS #

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

Show (NestedCtxt_ BlockB f a) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data NestedCtxt_ BlockA f a Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data NestedCtxt_ BlockA f a where
data NestedCtxt_ BlockB f a Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data NestedCtxt_ BlockB f a where
type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ TypeType) 
Instance details

Defined in Test.Util.TestBlock

type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ TypeType) = f (TestBlockWith ptype)
type TrivialIndex (NestedCtxt_ BlockA f ∷ TypeType) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type TrivialIndex (NestedCtxt_ BlockB f ∷ TypeType) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data NestedCtxt_ (HardForkBlock xs) a b 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Block

data NestedCtxt_ (HardForkBlock xs) a b where
data NestedCtxt_ (TestBlockWith ptype) f a 
Instance details

Defined in Test.Util.TestBlock

data NestedCtxt_ (TestBlockWith ptype) f a where
newtype NestedCtxt_ (DualBlock m a) f x 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

newtype NestedCtxt_ (DualBlock m a) f x where

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

Generic (StorageConfig (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

Associated Types

type Rep (StorageConfig (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

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))))
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) (U1TypeType))
Generic (StorageConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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) (U1TypeType))
Generic (StorageConfig BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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) (U1TypeType))
Show (StorageConfig TestBlock) 
Instance details

Defined in Test.Util.TestBlock

CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

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

Defined in Ouroboros.Consensus.Ledger.Dual

NoThunks (StorageConfig TestBlock) 
Instance details

Defined in Test.Util.TestBlock

NoThunks (StorageConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (StorageConfig BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data StorageConfig TestBlock

The TestBlock does not need any storage config

Instance details

Defined in Test.Util.TestBlock

data StorageConfig BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data StorageConfig BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type Rep (StorageConfig (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

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) (U1TypeType))
type Rep (StorageConfig BlockA) Source # 
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) (U1TypeType))
type Rep (StorageConfig BlockB) Source # 
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) (U1TypeType))
newtype StorageConfig (HardForkBlock xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

data StorageConfig (DualBlock m a) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

data family TxId blk Source #

A generalized transaction, GenTx, identifier.

Instances

Instances details
SerialiseNodeToClient BlockA (GenTxId BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockB (GenTxId BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToNode BlockA (GenTxId BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockB (GenTxId BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showProxyProxy (TxId (GenTx (DualBlock m a))) → String Source #

Generic (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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 ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

fromTxId (GenTx BlockA) → Rep (TxId (GenTx BlockA)) x #

toRep (TxId (GenTx BlockA)) x → TxId (GenTx BlockA) #

Generic (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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) (V1TypeType)

Methods

fromTxId (GenTx BlockB) → Rep (TxId (GenTx BlockB)) x #

toRep (TxId (GenTx BlockB)) x → TxId (GenTx BlockB) #

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

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

showsPrecIntTxId (GenTx (DualBlock m a)) → ShowS #

showTxId (GenTx (DualBlock m a)) → String #

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

Show (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

showsPrecIntTxId (GenTx BlockA) → ShowS #

showTxId (GenTx BlockA) → String #

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

Show (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

showsPrecIntTxId (GenTx BlockB) → ShowS #

showTxId (GenTx BlockB) → String #

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

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

Defined in Ouroboros.Consensus.Ledger.Dual

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

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

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

Eq (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

Methods

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

maxTxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

minTxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) #

Ord (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Ord (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Ouroboros.Consensus.Ledger.Dual

NoThunks (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Condense (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Condense (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Serialise (TxId (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (TxId (GenTx BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

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 ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))
type Rep (TxId (GenTx BlockB)) Source # 
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) (V1TypeType)
newtype TxId (GenTx (HardForkBlock xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

newtype TxId (GenTx (DualBlock m a)) 
Instance details

Defined in Ouroboros.Consensus.Ledger.Dual

newtype TxId (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

newtype TxId (GenTx BlockA) = TxIdA Int
data TxId (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Orphan instances