consensus-test
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.HardFork.Combinator.A

Synopsis

Documentation

data BlockA Source #

Constructors

BlkA 

Instances

Instances details
Generic BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep BlockATypeType #

Methods

fromBlockARep BlockA x #

toRep BlockA x → BlockA #

Show BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

showsPrecIntBlockAShowS #

showBlockAString #

showList ∷ [BlockA] → ShowS #

Eq BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

(==)BlockABlockABool #

(/=)BlockABlockABool #

NoThunks BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ConvertRawHash BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

GetHeader BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

GetPrevHash BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

BlockSupportsDiffusionPipelining BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

BlockSupportsMetrics BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

BlockSupportsProtocol BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ConfigSupportsNode BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SingleEraBlock BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

CondenseConstraints BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasPartialLedgerConfig BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type PartialLedgerConfig BlockA Source #

SerialiseConstraintsHFC BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

BasicEnvelopeValidation BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasAnnTip BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type TipInfo BlockA Source #

ValidateEnvelope BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

UpdateLedger BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

CommonProtocolParams BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

InspectLedger BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

BlockSupportsLedgerQuery BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasTxs BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

LedgerSupportsMempool BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

TxLimits BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type TxMeasure BlockA Source #

LedgerSupportsPeerSelection BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

LedgerSupportsProtocol BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NodeInitStorage BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasNetworkProtocolVersion BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClientConstraints BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNodeConstraints BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseDiskConstraints BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasBinaryBlockInfo BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Condense BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

condenseBlockAString Source #

HasHeader BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasNestedContent Header BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA Void Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA SlotNo Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA ByteString Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDisk BlockA () Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

EncodeDisk BlockA BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDisk BlockA () Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ReconstructNestedCtxt Header BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

StandardHash BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA (GenTxId BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA (GenTxId BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA (SerialisedHeader BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseResult BlockA (BlockQuery BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDisk BlockA (AnnTip BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDisk BlockA (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDisk BlockA (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDisk BlockA (AnnTip BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDisk BlockA (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA (Serialised BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToNode BlockA (Serialised BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDisk BlockA (ByteStringHeader BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDisk BlockA (ByteStringBlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

SerialiseNodeToClient BlockA (SomeSecond BlockQuery BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Generic (BlockConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (BlockConfig BlockA) ∷ TypeType #

Generic (CodecConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (CodecConfig BlockA) ∷ TypeType #

Generic (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (Header BlockA) ∷ TypeType #

Methods

fromHeader BlockARep (Header BlockA) x #

toRep (Header BlockA) x → Header BlockA #

Generic (StorageConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (StorageConfig BlockA) ∷ TypeType #

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

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (Validated (GenTx BlockA)) ∷ TypeType #

Generic (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (LedgerState BlockA) ∷ TypeType #

Generic (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (GenTx BlockA) ∷ TypeType #

Methods

fromGenTx BlockARep (GenTx BlockA) x #

toRep (GenTx BlockA) x → GenTx BlockA #

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

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (TxId (GenTx BlockA)) ∷ TypeType #

Methods

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

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

Show (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

Show (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Show (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

Methods

showsPrecIntTxId (GenTx BlockA) → ShowS #

showTxId (GenTx BlockA) → String #

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

Eq (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

Eq (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Eq (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

(==)GenTx BlockAGenTx BlockABool #

(/=)GenTx BlockAGenTx BlockABool #

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

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

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

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

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (BlockConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (CodecConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (StorageConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

GetTip (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

IsLedger (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ConvertRawTxId (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasTxId (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Condense (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Condense (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

SameDepIndex (BlockQuery BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

HasHeader (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ShowQuery (BlockQuery BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

showResultBlockQuery BlockA result → result → String Source #

Serialise (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (AnnTip BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

Serialise (SerialisedHeader BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ApplyBlock (LedgerState BlockA) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDiskDep (NestedCtxt Header) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

DecodeDiskDepIx (NestedCtxt Header) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDiskDep (NestedCtxt Header) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

EncodeDiskDepIx (NestedCtxt Header) BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Show (BlockQuery BlockA result) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

showsPrecIntBlockQuery BlockA result → ShowS #

showBlockQuery BlockA result → String #

showList ∷ [BlockQuery BlockA result] → ShowS #

SameDepIndex (NestedCtxt_ BlockA f) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

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

TrivialDependency (NestedCtxt_ BlockA f) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type TrivialIndex (NestedCtxt_ BlockA f) Source #

Show (NestedCtxt_ BlockA f a) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

CanHardFork '[BlockA, BlockB] Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator

Associated Types

type HardForkTxMeasure '[BlockA, BlockB] Source #

SerialiseHFC '[BlockA, BlockB] Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator

type Rep BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

type BlockProtocol BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data CodecConfig BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data Header BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data StorageConfig BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type CannotForge BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type ForgeStateInfo BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type ForgeStateUpdateError BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data NestedCtxt_ BlockA f a Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

type TentativeHeaderView BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type PartialLedgerConfig BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type OtherHeaderEnvelopeError BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type TipInfo BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data LedgerState BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type LedgerUpdate BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type LedgerWarning BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data BlockQuery BlockA result Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data BlockQuery BlockA result
type ApplyTxErr BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data GenTx BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type TxMeasure BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type BlockNodeToClientVersion BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type BlockNodeToNodeVersion BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type HeaderHash BlockA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type 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.17.1.0-inplace-consensus-test" 'False) (C1 ('MetaCons "BCfgA" 'PrefixI 'False) (U1TypeType))
type Rep (CodecConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type Rep (CodecConfig BlockA) = D1 ('MetaData "CodecConfig" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.17.1.0-inplace-consensus-test" 'False) (C1 ('MetaCons "CCfgA" 'PrefixI 'False) (U1TypeType))
type Rep (Header BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator.A

type Rep (StorageConfig BlockA) = D1 ('MetaData "StorageConfig" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.17.1.0-inplace-consensus-test" 'False) (C1 ('MetaCons "SCfgA" 'PrefixI 'False) (U1TypeType))
type Rep (Validated (GenTx BlockA)) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type Rep (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type Rep (LedgerState BlockA) = D1 ('MetaData "LedgerState" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.17.1.0-inplace-consensus-test" 'False) (C1 ('MetaCons "LgrA" 'PrefixI 'True) (S1 ('MetaSel ('Just "lgrA_tip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point BlockA)) :*: S1 ('MetaSel ('Just "lgrA_transition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SlotNo))))
type Rep (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.17.1.0-inplace-consensus-test" 'False) (C1 ('MetaCons "TxA" 'PrefixI 'True) (S1 ('MetaSel ('Just "txA_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxId (GenTx BlockA))) :*: S1 ('MetaSel ('Just "txA_payload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxPayloadA)))
type Rep (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.17.1.0-inplace-consensus-test" 'True) (C1 ('MetaCons "TxIdA" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))
newtype Validated (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type AuxLedgerEvent (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type LedgerCfg (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type LedgerErr (LedgerState BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

newtype TxId (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

newtype TxId (GenTx BlockA) = TxIdA Int
newtype Ticked (LedgerState BlockA) Source #

Ticking has no state on the A ledger state

Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type TrivialIndex (NestedCtxt_ BlockA f) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

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

Defined in Test.Consensus.HardFork.Combinator

data ProtocolA Source #

Instances

Instances details
HasPartialConsensusConfig ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

ConsensusProtocol ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

NoThunks (ConsensusConfig ProtocolA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type PartialConsensusConfig ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type CanBeLeader ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type ChainDepState ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

data ConsensusConfig ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type IsLeader ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type LedgerView ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type SelectView ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type ValidateView ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type ValidationErr ProtocolA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

stabilityWindowASecurityParamWord64 Source #

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

Additional types

data TxPayloadA Source #

Constructors

InitiateAtoB 

Instances

Instances details
Generic TxPayloadA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep TxPayloadATypeType #

Show TxPayloadA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Eq TxPayloadA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Methods

(==)TxPayloadATxPayloadABool #

(/=)TxPayloadATxPayloadABool #

NoThunks TxPayloadA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Serialise TxPayloadA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type Rep TxPayloadA Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

type Rep TxPayloadA = D1 ('MetaData "TxPayloadA" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.17.1.0-inplace-consensus-test" 'False) (C1 ('MetaCons "InitiateAtoB" 'PrefixI 'False) (U1TypeType))

Type family instances

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details
Generic (BlockConfig (TestBlockWith ptype)) 
Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (BlockConfig (TestBlockWith ptype)) ∷ TypeType #

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

Generic (BlockConfig BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Associated Types

type Rep (BlockConfig BlockB) ∷ TypeType #

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 (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.20.1.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.17.1.0-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.17.1.0-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 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
Generic (CodecConfig TestBlock) 
Instance details

Defined in Test.Util.TestBlock

Associated Types

type Rep (CodecConfig TestBlock) ∷ TypeType #

Generic (CodecConfig BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (CodecConfig BlockA) ∷ TypeType #

Generic (CodecConfig BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

Associated Types

type Rep (CodecConfig BlockB) ∷ TypeType #

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 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 TestBlock) 
Instance details

Defined in Test.Util.TestBlock

type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Util.TestBlock" "ouroboros-consensus-0.20.1.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.17.1.0-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.17.1.0-inplace-consensus-test" 'False) (C1 ('MetaCons "CCfgB" 'PrefixI 'False) (U1TypeType))
newtype CodecConfig (HardForkBlock xs) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Basics

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

Generic (ConsensusConfig (Bft c)) 
Instance details

Defined in Ouroboros.Consensus.Protocol.BFT

Associated Types

type Rep (ConsensusConfig (Bft c)) ∷ TypeType #

Methods

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

toRep (ConsensusConfig (Bft c)) x → ConsensusConfig (Bft c) #

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

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

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

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

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (Validated (GenTx BlockA)) ∷ TypeType #

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

Defined in Test.Consensus.HardFork.Combinator.B

Associated Types

type Rep (Validated (GenTx BlockB)) ∷ TypeType #

Generic (GenTx BlockA) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.A

Associated Types

type Rep (GenTx BlockA) ∷ TypeType #

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

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

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

Methods

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

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

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

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

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.20.1.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.17.1.0-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.20.1.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.17.1.0-inplace-consensus-test" 'False) (C1 ('MetaCons "TxA" 'PrefixI 'True) (S1 ('MetaSel ('Just "txA_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxId (GenTx BlockA))) :*: S1 ('MetaSel ('Just "txA_payload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxPayloadA)))
type Rep (GenTx BlockB) Source # 
Instance details

Defined in Test.Consensus.HardFork.Combinator.B

type Rep (GenTx BlockB) = D1 ('MetaData "GenTx" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-diffusion-0.17.1.0-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.20.1.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.17.1.0-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.17.1.0-inplace-consensus-test" 'False) (V1TypeType)
newtype Validated (GenTx (HardForkBlock xs)) 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool

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