consensus-test
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.HardFork.Combinator.B

Synopsis

Documentation

data BlockB Source #

Constructors

BlkB 

Instances

Instances details
Generic BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Associated Types

type Rep BlockB 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Methods

fromBlockBRep BlockB x #

toRep BlockB x → BlockB #

Show BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

showsPrecIntBlockBShowS #

showBlockBString #

showList ∷ [BlockB] → ShowS #

Eq BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

(==)BlockBBlockBBool #

(/=)BlockBBlockBBool #

NoThunks BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

ConvertRawHash BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

GetHeader BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

GetPrevHash BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

BlockSupportsDiffusionPipelining BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

BlockSupportsMetrics BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

BlockSupportsProtocol BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

ConfigSupportsNode BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SingleEraBlock BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

CondenseConstraints BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

HasPartialLedgerConfig BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseConstraintsHFC BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

BasicEnvelopeValidation BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

HasAnnTip BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Associated Types

type TipInfo BlockB 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

ValidateEnvelope BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

UpdateLedger BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

CommonProtocolParams BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

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

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

InspectLedger BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Associated Types

type LedgerWarning BlockB 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type LedgerUpdate BlockB 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

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

BlockSupportsLedgerQuery BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

HasTxs BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

LedgerSupportsMempool BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

TxLimits BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Associated Types

type TxMeasure BlockB 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

LedgerSupportsPeerSelection BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

LedgerSupportsProtocol BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

NodeInitStorage BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

HasNetworkProtocolVersion BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToClientConstraints BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToNodeConstraints BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseDiskConstraints BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

HasBinaryBlockInfo BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Condense BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

condenseBlockBString Source #

HasHeader BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Serialise BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

HasNestedContent Header BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToClient BlockB SlotNo Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToClient BlockB Void Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToClient BlockB BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToNode BlockB ByteString Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToNode BlockB BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

DecodeDisk BlockB () Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

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

EncodeDisk BlockB BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

EncodeDisk BlockB () Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

ReconstructNestedCtxt Header BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

StandardHash BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseBlockQueryResult BlockB BlockQuery Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SameDepIndex2 (BlockQuery BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

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

SerialiseNodeToClient BlockB (SomeBlockQuery (BlockQuery BlockB)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator.B

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

SerialiseNodeToNode BlockB (SerialisedHeader BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

DecodeDisk BlockB (AnnTip BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

EncodeDisk BlockB (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

EncodeDisk BlockB (AnnTip BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToClient BlockB (Serialised BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

SerialiseNodeToNode BlockB (Serialised BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

DecodeDisk BlockB (LedgerState BlockB EmptyMK) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

DecodeDisk BlockB (ByteStringHeader BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

DecodeDisk BlockB (ByteStringBlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

EncodeDisk BlockB (LedgerState BlockB EmptyMK) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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_ BlockB f ∷ TypeType) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

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

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator

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

Defined in Test.Consensus.HardFork.Combinator.B

Show (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator

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

Defined in Test.Consensus.HardFork.Combinator.B

Eq (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

(==)GenTx BlockBGenTx BlockBBool #

(/=)GenTx BlockBGenTx BlockBBool #

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 (CanonicalTxIn '[BlockA, BlockB]) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator

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

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator

NoThunks (BlockConfig BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

NoThunks (CodecConfig BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

NoThunks (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

NoThunks (StorageConfig BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator

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

Defined in Test.Consensus.HardFork.Combinator.B

NoThunks (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator.B

GetTip (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

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

IsLedger (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

ConvertRawTxId (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

HasTxId (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

CanStowLedgerTables (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

HasLedgerTables (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

SerializeTablesWithHint (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

CanUpgradeLedgerTables (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Condense (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Condense (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator.B

HasHeader (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Serialise (Header BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Serialise (AnnTip BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Serialise (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator.B

Serialise (SerialisedHeader BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

ApplyBlock (LedgerState BlockB) BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

DecodeDiskDep (NestedCtxt Header) BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

DecodeDiskDepIx (NestedCtxt Header) BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

EncodeDiskDep (NestedCtxt Header) BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

EncodeDiskDepIx (NestedCtxt Header) BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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 #

Show (LedgerState BlockB mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Eq (LedgerState BlockB mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

NoThunks (LedgerState BlockB mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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 #

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

Defined in Test.Consensus.HardFork.Combinator.B

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 #

ShowQuery (BlockQuery BlockB fp) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

showResultBlockQuery BlockB fp result → result → String Source #

Serialise (LedgerState BlockB mk) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Show (NestedCtxt_ BlockB f a) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Show (BlockQuery BlockB fp result) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Methods

showsPrecIntBlockQuery BlockB fp result → ShowS #

showBlockQuery BlockB fp result → String #

showList ∷ [BlockQuery BlockB fp result] → ShowS #

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

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator.B

type BlockProtocol BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data CodecConfig BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data Header BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data StorageConfig BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type CannotForge BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type ForgeStateInfo BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type ForgeStateUpdateError BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data NestedCtxt_ BlockB f a Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator.B

type TentativeHeaderView BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type PartialLedgerConfig BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type OtherHeaderEnvelopeError BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type TipInfo BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data LedgerState BlockB mk Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type LedgerUpdate BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type LedgerWarning BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data BlockQuery BlockB fp result Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator.B

data GenTx BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type TxMeasure BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type BlockNodeToClientVersion BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type BlockNodeToNodeVersion BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type HeaderHash BlockB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Defined in Test.Consensus.HardFork.Combinator.B

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))
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))
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 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))
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 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 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)
data Validated (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type AuxLedgerEvent (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type LedgerCfg (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type LedgerErr (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data TxId (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type TxIn (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type TxOut (LedgerState BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

Instances

Instances details
HasPartialConsensusConfig ProtocolB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

ConsensusProtocol ProtocolB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

NoThunks (ConsensusConfig ProtocolB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type PartialConsensusConfig ProtocolB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type CanBeLeader ProtocolB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type ChainDepState ProtocolB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

data ConsensusConfig ProtocolB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type IsLeader ProtocolB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type LedgerView ProtocolB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type SelectView ProtocolB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type ValidateView ProtocolB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type ValidationErr ProtocolB Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

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

safeZoneBSecurityParamSafeZone Source #

A basic SafeZone

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

Type family instances

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details
Isomorphic BlockConfig 
Instance details

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

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