Safe Haskell	None
Language	Haskell2010

Test.Consensus.HardFork.Combinator.A

Contents

Additional types
Type family instances
Orphan instances

Synopsis

data BlockA = BlkA {
- blkA_header ∷ Header BlockA
- blkA_body ∷ [GenTx BlockA]
}
data ProtocolA
blockForgingA ∷ Monad m ⇒ BlockForging m BlockA
safeFromTipA ∷ SecurityParam → Word64
stabilityWindowA ∷ SecurityParam → Word64
data PartialLedgerConfigA = LCfgA {
- lcfgA_k ∷ SecurityParam
- lcfgA_systemStart ∷ SystemStart
- lcfgA_forgeTxs ∷ Map SlotNo [GenTx BlockA]
}
data TxPayloadA = InitiateAtoB
data family BlockConfig blk
data family CodecConfig blk
data family ConsensusConfig p
data family GenTx blk
data family Header blk
data family LedgerState blk
data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type
data family StorageConfig blk
data family TxId tx

Documentation

data BlockA Source #

Constructors

BlkA
Fields blkA_header ∷ Header BlockA blkA_body ∷ [GenTx BlockA]

Instances

Instances details

Generic BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep BlockA ∷ Type → Type # Methods from ∷ BlockA → Rep BlockA x # to ∷ Rep BlockA x → BlockA #
Show BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → BlockA → ShowS # show ∷ BlockA → String # showList ∷ [BlockA] → ShowS #
Eq BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods (==) ∷ BlockA → BlockA → Bool # (/=) ∷ BlockA → BlockA → Bool #
NoThunks BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → BlockA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BlockA → String Source #
ConvertRawHash BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods toRawHash ∷ proxy BlockA → HeaderHash BlockA → ByteString Source # fromRawHash ∷ proxy BlockA → ByteString → HeaderHash BlockA Source # toShortRawHash ∷ proxy BlockA → HeaderHash BlockA → ShortByteString Source # fromShortRawHash ∷ proxy BlockA → ShortByteString → HeaderHash BlockA Source # hashSize ∷ proxy BlockA → Word32 Source #
GetHeader BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods getHeader ∷ BlockA → Header BlockA Source # blockMatchesHeader ∷ Header BlockA → BlockA → Bool Source # headerIsEBB ∷ Header BlockA → Maybe EpochNo Source #
GetPrevHash BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods headerPrevHash ∷ Header BlockA → ChainHash BlockA Source #
BlockSupportsDiffusionPipelining BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type TentativeHeaderState BlockA Source # type TentativeHeaderView BlockA Source # Methods initialTentativeHeaderState ∷ Proxy BlockA → TentativeHeaderState BlockA Source # tentativeHeaderView ∷ BlockConfig BlockA → Header BlockA → TentativeHeaderView BlockA Source # applyTentativeHeaderView ∷ Proxy BlockA → TentativeHeaderView BlockA → TentativeHeaderState BlockA → Maybe (TentativeHeaderState BlockA) Source #
BlockSupportsMetrics BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods isSelfIssued ∷ BlockConfig BlockA → Header BlockA → WhetherSelfIssued Source #
BlockSupportsProtocol BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods validateView ∷ BlockConfig BlockA → Header BlockA → ValidateView (BlockProtocol BlockA) Source # selectView ∷ BlockConfig BlockA → Header BlockA → SelectView (BlockProtocol BlockA) Source # projectChainOrderConfig ∷ BlockConfig BlockA → ChainOrderConfig (SelectView (BlockProtocol BlockA)) Source #
ConfigSupportsNode BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods getSystemStart ∷ BlockConfig BlockA → SystemStart Source # getNetworkMagic ∷ BlockConfig BlockA → NetworkMagic Source #
SingleEraBlock BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods singleEraTransition ∷ PartialLedgerConfig BlockA → EraParams → Bound → LedgerState BlockA → Maybe EpochNo Source # singleEraInfo ∷ proxy BlockA → SingleEraInfo BlockA Source #
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 # Methods completeLedgerConfig ∷ proxy BlockA → EpochInfo (Except PastHorizonException) → PartialLedgerConfig BlockA → LedgerConfig 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 Methods expectedFirstBlockNo ∷ proxy BlockA → BlockNo Source # expectedNextBlockNo ∷ proxy BlockA → TipInfo BlockA → TipInfo BlockA → BlockNo → BlockNo Source # minimumPossibleSlotNo ∷ Proxy BlockA → SlotNo Source # minimumNextSlotNo ∷ proxy BlockA → TipInfo BlockA → TipInfo BlockA → SlotNo → SlotNo Source #
HasAnnTip BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type TipInfo BlockA Source # Methods getTipInfo ∷ Header BlockA → TipInfo BlockA Source # tipInfoHash ∷ proxy BlockA → TipInfo BlockA → HeaderHash BlockA Source #
ValidateEnvelope BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type OtherHeaderEnvelopeError BlockA Source # Methods additionalEnvelopeChecks ∷ TopLevelConfig BlockA → LedgerView (BlockProtocol BlockA) → Header BlockA → Except (OtherHeaderEnvelopeError BlockA) () Source #
UpdateLedger BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A
CommonProtocolParams BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods maxHeaderSize ∷ LedgerState BlockA → Word32 Source # maxTxSize ∷ LedgerState BlockA → Word32 Source #
InspectLedger BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type LedgerWarning BlockA Source # type LedgerUpdate BlockA Source # Methods inspectLedger ∷ TopLevelConfig BlockA → LedgerState BlockA → LedgerState BlockA → [LedgerEvent BlockA] Source #
BlockSupportsLedgerQuery BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods answerBlockQuery ∷ ExtLedgerCfg BlockA → BlockQuery BlockA result → ExtLedgerState BlockA → result Source # blockQueryIsSupportedOnVersion ∷ BlockQuery BlockA result → BlockNodeToClientVersion BlockA → Bool Source #
HasTxs BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods extractTxs ∷ BlockA → [GenTx BlockA] Source #
LedgerSupportsMempool BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods txInvariant ∷ GenTx BlockA → Bool Source # applyTx ∷ LedgerConfig BlockA → WhetherToIntervene → SlotNo → GenTx BlockA → TickedLedgerState BlockA → Except (ApplyTxErr BlockA) (TickedLedgerState BlockA, Validated (GenTx BlockA)) Source # reapplyTx ∷ LedgerConfig BlockA → SlotNo → Validated (GenTx BlockA) → TickedLedgerState BlockA → Except (ApplyTxErr BlockA) (TickedLedgerState BlockA) Source # txForgetValidated ∷ Validated (GenTx BlockA) → GenTx BlockA Source #
TxLimits BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type TxMeasure BlockA Source # Methods txMeasure ∷ LedgerConfig BlockA → TickedLedgerState BlockA → GenTx BlockA → Except (ApplyTxErr BlockA) (TxMeasure BlockA) Source # blockCapacityTxMeasure ∷ LedgerConfig BlockA → TickedLedgerState BlockA → TxMeasure BlockA Source #
LedgerSupportsPeerSelection BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods getPeers ∷ LedgerState BlockA → [(PoolStake, NonEmpty StakePoolRelay)] Source #
LedgerSupportsProtocol BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods protocolLedgerView ∷ LedgerConfig BlockA → Ticked (LedgerState BlockA) → LedgerView (BlockProtocol BlockA) Source # ledgerViewForecastAt ∷ LedgerConfig BlockA → LedgerState BlockA → Forecast (LedgerView (BlockProtocol BlockA)) Source #
NodeInitStorage BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods nodeImmutableDbChunkInfo ∷ StorageConfig BlockA → ChunkInfo Source # nodeCheckIntegrity ∷ StorageConfig BlockA → BlockA → Bool Source # nodeInitChainDB ∷ IOLike m ⇒ StorageConfig BlockA → InitChainDB m BlockA → m () Source #
HasNetworkProtocolVersion BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type BlockNodeToNodeVersion BlockA Source # type BlockNodeToClientVersion BlockA Source #
SerialiseNodeToClientConstraints BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A
SerialiseNodeToNodeConstraints BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods estimateBlockSize ∷ Header BlockA → SizeInBytes Source #
SerialiseDiskConstraints BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A
HasBinaryBlockInfo BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods getBinaryBlockInfo ∷ BlockA → BinaryBlockInfo Source #
Condense BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods condense ∷ BlockA → String Source #
HasHeader BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods getHeaderFields ∷ BlockA → HeaderFields BlockA Source #
Serialise BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ BlockA → Encoding Source # decode ∷ Decoder s BlockA Source # encodeList ∷ [BlockA] → Encoding Source # decodeList ∷ Decoder s [BlockA] Source #
HasNestedContent Header BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods unnest ∷ Header BlockA → DepPair (NestedCtxt Header BlockA) Source # nest ∷ DepPair (NestedCtxt Header BlockA) → Header BlockA Source #
SerialiseNodeToClient BlockA Void Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → Void → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s Void Source #
SerialiseNodeToClient BlockA SlotNo Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → SlotNo → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s SlotNo Source #
SerialiseNodeToClient BlockA BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → BlockA → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s BlockA Source #
SerialiseNodeToClient BlockA PartialLedgerConfigA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → PartialLedgerConfigA → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s PartialLedgerConfigA Source #
SerialiseNodeToNode BlockA ByteString Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → ByteString → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → ∀ s. Decoder s ByteString Source #
SerialiseNodeToNode BlockA BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → BlockA → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → ∀ s. Decoder s BlockA Source #
DecodeDisk BlockA () Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDisk ∷ CodecConfig BlockA → ∀ s. Decoder s () Source #
EncodeDisk BlockA BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDisk ∷ CodecConfig BlockA → BlockA → Encoding Source #
EncodeDisk BlockA () Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDisk ∷ CodecConfig BlockA → () → Encoding Source #
ReconstructNestedCtxt Header BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods reconstructPrefixLen ∷ proxy (Header BlockA) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header BlockA) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) BlockA Source #
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 Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → GenTx BlockA → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s (GenTx BlockA) Source #
SerialiseNodeToClient BlockA (GenTxId BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → GenTxId BlockA → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s (GenTxId BlockA) Source #
SerialiseNodeToNode BlockA (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → Header BlockA → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → ∀ s. Decoder s (Header BlockA) Source #
SerialiseNodeToNode BlockA (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → GenTx BlockA → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → ∀ s. Decoder s (GenTx BlockA) Source #
SerialiseNodeToNode BlockA (GenTxId BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → GenTxId BlockA → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → ∀ s. Decoder s (GenTxId BlockA) Source #
SerialiseNodeToNode BlockA (SerialisedHeader BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → SerialisedHeader BlockA → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → ∀ s. Decoder s (SerialisedHeader BlockA) Source #
SerialiseResult BlockA (BlockQuery BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeResult ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → BlockQuery BlockA result → result → Encoding Source # decodeResult ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → BlockQuery BlockA result → ∀ s. Decoder s result Source #
DecodeDisk BlockA (AnnTip BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDisk ∷ CodecConfig BlockA → ∀ s. Decoder s (AnnTip BlockA) Source #
DecodeDisk BlockA (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDisk ∷ CodecConfig BlockA → ∀ s. Decoder s (LedgerState BlockA) Source #
EncodeDisk BlockA (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDisk ∷ CodecConfig BlockA → Header BlockA → Encoding Source #
EncodeDisk BlockA (AnnTip BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDisk ∷ CodecConfig BlockA → AnnTip BlockA → Encoding Source #
EncodeDisk BlockA (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDisk ∷ CodecConfig BlockA → LedgerState BlockA → Encoding Source #
SerialiseNodeToClient BlockA (Serialised BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → Serialised BlockA → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s (Serialised BlockA) Source #
SerialiseNodeToClient BlockA (EpochInfo Identity, PartialLedgerConfigA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → (EpochInfo Identity, PartialLedgerConfigA) → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s (EpochInfo Identity, PartialLedgerConfigA) Source #
SerialiseNodeToNode BlockA (Serialised BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → Serialised BlockA → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → ∀ s. Decoder s (Serialised BlockA) Source #
DecodeDisk BlockA (ByteString → Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDisk ∷ CodecConfig BlockA → ∀ s. Decoder s (ByteString → Header BlockA) Source #
DecodeDisk BlockA (ByteString → BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDisk ∷ CodecConfig BlockA → ∀ s. Decoder s (ByteString → BlockA) Source #
SerialiseNodeToClient BlockA (SomeSecond BlockQuery BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → SomeSecond BlockQuery BlockA → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s (SomeSecond BlockQuery BlockA) Source #
Generic (BlockConfig BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (BlockConfig BlockA) ∷ Type → Type # Methods from ∷ BlockConfig BlockA → Rep (BlockConfig BlockA) x # to ∷ Rep (BlockConfig BlockA) x → BlockConfig BlockA #
Generic (CodecConfig BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (CodecConfig BlockA) ∷ Type → Type # Methods from ∷ CodecConfig BlockA → Rep (CodecConfig BlockA) x # to ∷ Rep (CodecConfig BlockA) x → CodecConfig BlockA #
Generic (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (Header BlockA) ∷ Type → Type # Methods from ∷ Header BlockA → Rep (Header BlockA) x # to ∷ Rep (Header BlockA) x → Header BlockA #
Generic (StorageConfig BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (StorageConfig BlockA) ∷ Type → Type # Methods from ∷ StorageConfig BlockA → Rep (StorageConfig BlockA) x # to ∷ Rep (StorageConfig BlockA) x → StorageConfig BlockA #
Generic (Validated (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (Validated (GenTx BlockA)) ∷ Type → Type # Methods from ∷ Validated (GenTx BlockA) → Rep (Validated (GenTx BlockA)) x # to ∷ Rep (Validated (GenTx BlockA)) x → Validated (GenTx BlockA) #
Generic (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (LedgerState BlockA) ∷ Type → Type # Methods from ∷ LedgerState BlockA → Rep (LedgerState BlockA) x # to ∷ Rep (LedgerState BlockA) x → LedgerState BlockA #
Generic (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (GenTx BlockA) ∷ Type → Type # Methods from ∷ GenTx BlockA → Rep (GenTx BlockA) x # to ∷ Rep (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)) ∷ Type → Type # Methods from ∷ TxId (GenTx BlockA) → Rep (TxId (GenTx BlockA)) x # to ∷ Rep (TxId (GenTx BlockA)) x → TxId (GenTx BlockA) #
Show (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → Header BlockA → ShowS # show ∷ Header BlockA → String # showList ∷ [Header BlockA] → ShowS #
Show (Validated (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → Validated (GenTx BlockA) → ShowS # show ∷ Validated (GenTx BlockA) → String # showList ∷ [Validated (GenTx BlockA)] → ShowS #
Show (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → LedgerState BlockA → ShowS # show ∷ LedgerState BlockA → String # showList ∷ [LedgerState BlockA] → ShowS #
Show (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → GenTx BlockA → ShowS # show ∷ GenTx BlockA → String # showList ∷ [GenTx BlockA] → ShowS #
Show (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → TxId (GenTx BlockA) → ShowS # show ∷ TxId (GenTx BlockA) → String # showList ∷ [TxId (GenTx BlockA)] → ShowS #
Eq (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods (==) ∷ Header BlockA → Header BlockA → Bool # (/=) ∷ Header BlockA → Header BlockA → Bool #
Eq (Validated (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods (==) ∷ Validated (GenTx BlockA) → Validated (GenTx BlockA) → Bool # (/=) ∷ Validated (GenTx BlockA) → Validated (GenTx BlockA) → Bool #
Eq (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods (==) ∷ LedgerState BlockA → LedgerState BlockA → Bool # (/=) ∷ LedgerState BlockA → LedgerState BlockA → Bool #
Eq (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods (==) ∷ GenTx BlockA → GenTx BlockA → Bool # (/=) ∷ GenTx BlockA → GenTx BlockA → 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 #
Ord (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods compare ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Ordering # (<) ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Bool # (<=) ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Bool # (>) ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Bool # (>=) ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Bool # max ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → TxId (GenTx BlockA) # min ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → TxId (GenTx BlockA) #
NoThunks (BlockConfig BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → BlockConfig BlockA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig BlockA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig BlockA) → String Source #
NoThunks (CodecConfig BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → CodecConfig BlockA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig BlockA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig BlockA) → String Source #
NoThunks (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → Header BlockA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header BlockA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header BlockA) → String Source #
NoThunks (StorageConfig BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → StorageConfig BlockA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig BlockA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig BlockA) → String Source #
NoThunks (Validated (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → Validated (GenTx BlockA) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx BlockA) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx BlockA)) → String Source #
NoThunks (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → LedgerState BlockA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState BlockA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState BlockA) → String Source #
NoThunks (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → GenTx BlockA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx BlockA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx BlockA) → String Source #
NoThunks (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → TxId (GenTx BlockA) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx BlockA) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx BlockA)) → String Source #
NoThunks (Ticked (LedgerState BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → Ticked (LedgerState BlockA) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState BlockA) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState BlockA)) → String Source #
GetTip (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods getTip ∷ LedgerState BlockA → Point (LedgerState BlockA) Source #
GetTip (Ticked (LedgerState BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods getTip ∷ Ticked (LedgerState BlockA) → Point (Ticked (LedgerState BlockA)) Source #
IsLedger (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type LedgerErr (LedgerState BlockA) Source # type AuxLedgerEvent (LedgerState BlockA) Source # Methods applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockA) → SlotNo → LedgerState BlockA → LedgerResult (LedgerState BlockA) (Ticked (LedgerState BlockA)) Source #
ConvertRawTxId (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods toRawTxIdHash ∷ TxId (GenTx BlockA) → ShortByteString Source #
HasTxId (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods txId ∷ GenTx BlockA → TxId (GenTx BlockA) Source #
Condense (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods condense ∷ Header BlockA → String Source #
Condense (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods condense ∷ GenTx BlockA → String Source #
Condense (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods condense ∷ TxId (GenTx BlockA) → String Source #
SameDepIndex (BlockQuery BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods sameDepIndex ∷ BlockQuery BlockA a → BlockQuery BlockA b → Maybe (a :~: b) Source #
HasHeader (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods getHeaderFields ∷ Header BlockA → HeaderFields (Header BlockA) Source #
ShowQuery (BlockQuery BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showResult ∷ BlockQuery BlockA result → result → String Source #
Serialise (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ Header BlockA → Encoding Source # decode ∷ Decoder s (Header BlockA) Source # encodeList ∷ [Header BlockA] → Encoding Source # decodeList ∷ Decoder s [Header BlockA] Source #
Serialise (AnnTip BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ AnnTip BlockA → Encoding Source # decode ∷ Decoder s (AnnTip BlockA) Source # encodeList ∷ [AnnTip BlockA] → Encoding Source # decodeList ∷ Decoder s [AnnTip BlockA] Source #
Serialise (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ LedgerState BlockA → Encoding Source # decode ∷ Decoder s (LedgerState BlockA) Source # encodeList ∷ [LedgerState BlockA] → Encoding Source # decodeList ∷ Decoder s [LedgerState BlockA] Source #
Serialise (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ GenTx BlockA → Encoding Source # decode ∷ Decoder s (GenTx BlockA) Source # encodeList ∷ [GenTx BlockA] → Encoding Source # decodeList ∷ Decoder s [GenTx BlockA] Source #
Serialise (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ TxId (GenTx BlockA) → Encoding Source # decode ∷ Decoder s (TxId (GenTx BlockA)) Source # encodeList ∷ [TxId (GenTx BlockA)] → Encoding Source # decodeList ∷ Decoder s [TxId (GenTx BlockA)] Source #
Serialise (SerialisedHeader BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ SerialisedHeader BlockA → Encoding Source # decode ∷ Decoder s (SerialisedHeader BlockA) Source # encodeList ∷ [SerialisedHeader BlockA] → Encoding Source # decodeList ∷ Decoder s [SerialisedHeader BlockA] Source #
ApplyBlock (LedgerState BlockA) BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState BlockA) → BlockA → Ticked (LedgerState BlockA) → Except (LedgerErr (LedgerState BlockA)) (LedgerResult (LedgerState BlockA) (LedgerState BlockA)) Source # applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockA) → BlockA → Ticked (LedgerState BlockA) → Except (LedgerErr (LedgerState BlockA)) (LedgerResult (LedgerState BlockA) (LedgerState BlockA)) Source # reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockA) → BlockA → Ticked (LedgerState BlockA) → LedgerResult (LedgerState BlockA) (LedgerState BlockA) Source #
DecodeDiskDep (NestedCtxt Header) BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDiskDep ∷ CodecConfig BlockA → NestedCtxt Header BlockA a → ∀ s. Decoder s (ByteString → a) Source #
DecodeDiskDepIx (NestedCtxt Header) BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDiskDepIx ∷ CodecConfig BlockA → Decoder s (SomeSecond (NestedCtxt Header) BlockA) Source #
EncodeDiskDep (NestedCtxt Header) BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDiskDep ∷ CodecConfig BlockA → NestedCtxt Header BlockA a → a → Encoding Source #
EncodeDiskDepIx (NestedCtxt Header) BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDiskDepIx ∷ CodecConfig BlockA → SomeSecond (NestedCtxt Header) BlockA → Encoding Source #
Show (BlockQuery BlockA result) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → BlockQuery BlockA result → ShowS # show ∷ BlockQuery BlockA result → String # showList ∷ [BlockQuery BlockA result] → ShowS #
SameDepIndex (NestedCtxt_ BlockA f) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods sameDepIndex ∷ NestedCtxt_ 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 # Methods hasSingleIndex ∷ NestedCtxt_ BlockA f a → NestedCtxt_ BlockA f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ BlockA f (TrivialIndex (NestedCtxt_ BlockA f)) Source #
Show (NestedCtxt_ BlockA f a) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → NestedCtxt_ BlockA f a → ShowS # show ∷ NestedCtxt_ BlockA f a → String # showList ∷ [NestedCtxt_ BlockA f a] → ShowS #
CanHardFork '[BlockA, BlockB] Source #
Instance details Defined in Test.Consensus.HardFork.Combinator Associated Types type HardForkTxMeasure '[BlockA, BlockB] Source # Methods hardForkEraTranslation ∷ EraTranslation '[BlockA, BlockB] Source # hardForkChainSel ∷ Tails AcrossEraSelection '[BlockA, BlockB] Source # hardForkInjectTxs ∷ InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) '[BlockA, BlockB] Source # hardForkInjTxMeasure ∷ NS WrapTxMeasure '[BlockA, BlockB] → HardForkTxMeasure '[BlockA, BlockB] Source #
SerialiseHFC '[BlockA, BlockB] Source #
Instance details Defined in Test.Consensus.HardFork.Combinator Methods encodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[BlockA, BlockB]) → HardForkBlock '[BlockA, BlockB] → Encoding Source # decodeDiskHfcBlock ∷ CodecConfig (HardForkBlock '[BlockA, BlockB]) → ∀ s. Decoder s (ByteString → HardForkBlock '[BlockA, BlockB]) Source # reconstructHfcPrefixLen ∷ proxy (Header (HardForkBlock '[BlockA, BlockB])) → PrefixLen Source # reconstructHfcNestedCtxt ∷ proxy (Header (HardForkBlock '[BlockA, BlockB])) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (HardForkBlock '[BlockA, BlockB]) Source # getHfcBinaryBlockInfo ∷ HardForkBlock '[BlockA, BlockB] → BinaryBlockInfo Source # estimateHfcBlockSize ∷ Header (HardForkBlock '[BlockA, BlockB]) → SizeInBytes Source #
type Rep BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type Rep BlockA = D1 ('MetaData "BlockA" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "BlkA" 'PrefixI 'True) (S1 ('MetaSel ('Just "blkA_header") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Header BlockA)) :*: S1 ('MetaSel ('Just "blkA_body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GenTx BlockA])))
data BlockConfig BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data BlockConfig BlockA = BCfgA
type BlockProtocol BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type BlockProtocol BlockA = ProtocolA
data CodecConfig BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data CodecConfig BlockA = CCfgA
data Header BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data Header BlockA = HdrA { hdrA_fields ∷ HeaderFields BlockA hdrA_prev ∷ ChainHash BlockA }
data StorageConfig BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data StorageConfig BlockA = SCfgA
type CannotForge BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type CannotForge BlockA = Void
type ForgeStateInfo BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type ForgeStateInfo BlockA = ()
type ForgeStateUpdateError BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type ForgeStateUpdateError BlockA = Void
data NestedCtxt_ BlockA f a Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data NestedCtxt_ BlockA f a where CtxtA ∷ ∀ (f ∷ Type → Type). NestedCtxt_ BlockA f (f BlockA)
type TentativeHeaderState BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type TentativeHeaderState BlockA = TentativeHeaderState (SelectViewDiffusionPipelining BlockA)
type TentativeHeaderView BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type TentativeHeaderView BlockA = TentativeHeaderView (SelectViewDiffusionPipelining BlockA)
type PartialLedgerConfig BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type PartialLedgerConfig BlockA = PartialLedgerConfigA
type OtherHeaderEnvelopeError BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type OtherHeaderEnvelopeError BlockA = Void
type TipInfo BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type TipInfo BlockA = HeaderHash BlockA
data LedgerState BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data LedgerState BlockA = LgrA { lgrA_tip ∷ Point BlockA lgrA_transition ∷ Maybe SlotNo }
type LedgerUpdate BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type LedgerUpdate BlockA
type LedgerWarning BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type LedgerWarning BlockA = Void
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 type ApplyTxErr BlockA = Void
data GenTx BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data GenTx BlockA = TxA { txA_id ∷ TxId (GenTx BlockA) txA_payload ∷ TxPayloadA }
type TxMeasure BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type TxMeasure BlockA = IgnoringOverflow ByteSize32
type BlockNodeToClientVersion BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type BlockNodeToClientVersion BlockA = ()
type BlockNodeToNodeVersion BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type BlockNodeToNodeVersion BlockA = ()
type HeaderHash BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type HeaderHash BlockA = ByteString
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.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "BCfgA" 'PrefixI 'False) (U1 ∷ Type → Type))
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.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "CCfgA" 'PrefixI 'False) (U1 ∷ Type → Type))
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.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "HdrA" 'PrefixI 'True) (S1 ('MetaSel ('Just "hdrA_fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderFields BlockA)) :*: S1 ('MetaSel ('Just "hdrA_prev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash BlockA))))
type Rep (StorageConfig BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type Rep (StorageConfig BlockA) = D1 ('MetaData "StorageConfig" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "SCfgA" 'PrefixI 'False) (U1 ∷ Type → Type))
type Rep (Validated (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type Rep (Validated (GenTx BlockA)) = Rep (GenTx BlockA)
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.21.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 (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.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "TxA" 'PrefixI 'True) (S1 ('MetaSel ('Just "txA_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxId (GenTx BlockA))) :*: S1 ('MetaSel ('Just "txA_payload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxPayloadA)))
type Rep (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type Rep (TxId (GenTx BlockA)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.21.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "TxIdA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))
newtype Validated (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A newtype Validated (GenTx BlockA) = ValidatedGenTxA { forgetValidatedGenTxA ∷ GenTx BlockA }
type AuxLedgerEvent (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type AuxLedgerEvent (LedgerState BlockA) = VoidLedgerEvent (LedgerState BlockA)
type LedgerCfg (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type LedgerCfg (LedgerState BlockA) = (EpochInfo Identity, PartialLedgerConfigA)
type LedgerErr (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type LedgerErr (LedgerState BlockA) = Void
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 newtype Ticked (LedgerState BlockA) = TickedLedgerStateA { getTickedLedgerStateA ∷ LedgerState BlockA }
type TrivialIndex (NestedCtxt_ BlockA f) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type TrivialIndex (NestedCtxt_ BlockA f) = f BlockA
type HardForkTxMeasure '[BlockA, BlockB] Source #
Instance details Defined in Test.Consensus.HardFork.Combinator type HardForkTxMeasure '[BlockA, BlockB] = IgnoringOverflow ByteSize32

data ProtocolA Source #

Instances

Instances details

HasPartialConsensusConfig ProtocolA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type PartialConsensusConfig ProtocolA Source # Methods completeConsensusConfig ∷ proxy ProtocolA → EpochInfo (Except PastHorizonException) → PartialConsensusConfig ProtocolA → ConsensusConfig ProtocolA Source # toPartialConsensusConfig ∷ proxy ProtocolA → ConsensusConfig ProtocolA → PartialConsensusConfig ProtocolA Source #
ConsensusProtocol ProtocolA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type ChainDepState ProtocolA Source # type IsLeader ProtocolA Source # type CanBeLeader ProtocolA Source # type SelectView ProtocolA Source # type LedgerView ProtocolA Source # type ValidationErr ProtocolA Source # type ValidateView ProtocolA Source # Methods checkIsLeader ∷ ConsensusConfig ProtocolA → CanBeLeader ProtocolA → SlotNo → Ticked (ChainDepState ProtocolA) → Maybe (IsLeader ProtocolA) Source # tickChainDepState ∷ ConsensusConfig ProtocolA → LedgerView ProtocolA → SlotNo → ChainDepState ProtocolA → Ticked (ChainDepState ProtocolA) Source # updateChainDepState ∷ ConsensusConfig ProtocolA → ValidateView ProtocolA → SlotNo → Ticked (ChainDepState ProtocolA) → Except (ValidationErr ProtocolA) (ChainDepState ProtocolA) Source # reupdateChainDepState ∷ ConsensusConfig ProtocolA → ValidateView ProtocolA → SlotNo → Ticked (ChainDepState ProtocolA) → ChainDepState ProtocolA Source # protocolSecurityParam ∷ ConsensusConfig ProtocolA → SecurityParam Source #
NoThunks (ConsensusConfig ProtocolA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → ConsensusConfig ProtocolA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig ProtocolA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig ProtocolA) → String Source #
type PartialConsensusConfig ProtocolA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type PartialConsensusConfig ProtocolA = ConsensusConfig ProtocolA
type CanBeLeader ProtocolA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type CanBeLeader ProtocolA = ()
type ChainDepState ProtocolA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type ChainDepState ProtocolA = ()
data ConsensusConfig ProtocolA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data ConsensusConfig ProtocolA = CfgA { cfgA_k ∷ SecurityParam cfgA_leadInSlots ∷ Set SlotNo }
type IsLeader ProtocolA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type IsLeader ProtocolA = ()
type LedgerView ProtocolA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type LedgerView ProtocolA = ()
type SelectView ProtocolA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type SelectView ProtocolA = BlockNo
type ValidateView ProtocolA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type ValidateView ProtocolA = ()
type ValidationErr ProtocolA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type ValidationErr ProtocolA = Void

blockForgingA ∷ Monad m ⇒ BlockForging m BlockA Source #

safeFromTipA ∷ SecurityParam → Word64 Source #

See safeFromTip

stabilityWindowA ∷ SecurityParam → Word64 Source #

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

Additional types

data PartialLedgerConfigA Source #

Constructors

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

Instances

Instances details

Generic PartialLedgerConfigA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep PartialLedgerConfigA ∷ Type → Type # Methods from ∷ PartialLedgerConfigA → Rep PartialLedgerConfigA x # to ∷ Rep PartialLedgerConfigA x → PartialLedgerConfigA #
NoThunks PartialLedgerConfigA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → PartialLedgerConfigA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PartialLedgerConfigA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PartialLedgerConfigA → String Source #
Serialise PartialLedgerConfigA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ PartialLedgerConfigA → Encoding Source # decode ∷ Decoder s PartialLedgerConfigA Source # encodeList ∷ [PartialLedgerConfigA] → Encoding Source # decodeList ∷ Decoder s [PartialLedgerConfigA] Source #
SerialiseNodeToClient BlockA PartialLedgerConfigA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → PartialLedgerConfigA → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s PartialLedgerConfigA Source #
SerialiseNodeToClient BlockA (EpochInfo Identity, PartialLedgerConfigA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → (EpochInfo Identity, PartialLedgerConfigA) → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s (EpochInfo Identity, PartialLedgerConfigA) Source #
type Rep PartialLedgerConfigA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type Rep PartialLedgerConfigA = D1 ('MetaData "PartialLedgerConfigA" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "LCfgA" 'PrefixI 'True) (S1 ('MetaSel ('Just "lcfgA_k") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SecurityParam) :: (S1 ('MetaSel ('Just "lcfgA_systemStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SystemStart) :: S1 ('MetaSel ('Just "lcfgA_forgeTxs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map SlotNo [GenTx BlockA])))))

data TxPayloadA Source #

Constructors

InitiateAtoB

Instances

Instances details

Generic TxPayloadA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep TxPayloadA ∷ Type → Type # Methods from ∷ TxPayloadA → Rep TxPayloadA x # to ∷ Rep TxPayloadA x → TxPayloadA #
Show TxPayloadA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → TxPayloadA → ShowS # show ∷ TxPayloadA → String # showList ∷ [TxPayloadA] → ShowS #
Eq TxPayloadA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods (==) ∷ TxPayloadA → TxPayloadA → Bool # (/=) ∷ TxPayloadA → TxPayloadA → Bool #
NoThunks TxPayloadA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → TxPayloadA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxPayloadA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxPayloadA → String Source #
Serialise TxPayloadA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ TxPayloadA → Encoding Source # decode ∷ Decoder s TxPayloadA Source # encodeList ∷ [TxPayloadA] → Encoding Source # decodeList ∷ Decoder s [TxPayloadA] Source #
type Rep TxPayloadA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type Rep TxPayloadA = D1 ('MetaData "TxPayloadA" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "InitiateAtoB" 'PrefixI 'False) (U1 ∷ Type → Type))

Type family instances

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details

Generic (BlockConfig (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (BlockConfig (TestBlockWith ptype)) ∷ Type → Type # Methods from ∷ BlockConfig (TestBlockWith ptype) → Rep (BlockConfig (TestBlockWith ptype)) x # to ∷ Rep (BlockConfig (TestBlockWith ptype)) x → BlockConfig (TestBlockWith ptype) #
Generic (BlockConfig BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (BlockConfig BlockA) ∷ Type → Type # Methods from ∷ BlockConfig BlockA → Rep (BlockConfig BlockA) x # to ∷ Rep (BlockConfig BlockA) x → BlockConfig BlockA #
Generic (BlockConfig BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type Rep (BlockConfig BlockB) ∷ Type → Type # Methods from ∷ BlockConfig BlockB → Rep (BlockConfig BlockB) x # to ∷ Rep (BlockConfig BlockB) x → BlockConfig BlockB #
Show (BlockConfig (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → BlockConfig (TestBlockWith ptype) → ShowS # show ∷ BlockConfig (TestBlockWith ptype) → String # showList ∷ [BlockConfig (TestBlockWith ptype)] → ShowS #
CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig (HardForkBlock xs)) → String Source #
NoThunks (BlockConfig (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → BlockConfig (TestBlockWith ptype) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig (TestBlockWith ptype) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig (TestBlockWith ptype)) → String Source #
NoThunks (BlockConfig BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → BlockConfig BlockA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig BlockA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig BlockA) → String Source #
NoThunks (BlockConfig BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods noThunks ∷ Context → BlockConfig BlockB → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockConfig BlockB → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (BlockConfig BlockB) → String Source #
data BlockConfig BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data BlockConfig BlockA = BCfgA
data BlockConfig BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data BlockConfig BlockB = BCfgB
type Rep (BlockConfig (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock type Rep (BlockConfig (TestBlockWith ptype)) = D1 ('MetaData "BlockConfig" "Test.Util.TestBlock" "ouroboros-consensus-0.24.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.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "BCfgA" 'PrefixI 'False) (U1 ∷ Type → Type))
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.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "BCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype BlockConfig (DisableDiffusionPipelining blk)
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype BlockConfig (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningBlockConfig (BlockConfig blk)
newtype BlockConfig (SelectViewDiffusionPipelining blk)
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype BlockConfig (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)
newtype BlockConfig (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig { hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs }
data BlockConfig (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock data BlockConfig (TestBlockWith ptype) = TestBlockConfig { testBlockNumCoreNodes ∷ !NumCoreNodes }

data 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) ∷ Type → Type # Methods from ∷ CodecConfig TestBlock → Rep (CodecConfig TestBlock) x # to ∷ Rep (CodecConfig TestBlock) x → CodecConfig TestBlock #
Generic (CodecConfig BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (CodecConfig BlockA) ∷ Type → Type # Methods from ∷ CodecConfig BlockA → Rep (CodecConfig BlockA) x # to ∷ Rep (CodecConfig BlockA) x → CodecConfig BlockA #
Generic (CodecConfig BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type Rep (CodecConfig BlockB) ∷ Type → Type # Methods from ∷ CodecConfig BlockB → Rep (CodecConfig BlockB) x # to ∷ Rep (CodecConfig BlockB) x → CodecConfig BlockB #
Show (CodecConfig TestBlock)
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → CodecConfig TestBlock → ShowS # show ∷ CodecConfig TestBlock → String # showList ∷ [CodecConfig TestBlock] → ShowS #
CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig (HardForkBlock xs)) → String Source #
NoThunks (CodecConfig TestBlock)
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig TestBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig TestBlock) → String Source #
NoThunks (CodecConfig BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → CodecConfig BlockA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig BlockA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig BlockA) → String Source #
NoThunks (CodecConfig BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods noThunks ∷ Context → CodecConfig BlockB → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CodecConfig BlockB → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CodecConfig BlockB) → String Source #
data CodecConfig TestBlock	The `TestBlock` does not need any codec config
Instance details Defined in Test.Util.TestBlock data CodecConfig TestBlock = TestBlockCodecConfig
data CodecConfig BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data CodecConfig BlockA = CCfgA
data CodecConfig BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data CodecConfig BlockB = CCfgB
type Rep (CodecConfig TestBlock)
Instance details Defined in Test.Util.TestBlock type Rep (CodecConfig TestBlock) = D1 ('MetaData "CodecConfig" "Test.Util.TestBlock" "ouroboros-consensus-0.24.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
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.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "CCfgA" 'PrefixI 'False) (U1 ∷ Type → Type))
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.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "CCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype CodecConfig (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig { hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs }

data 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)) ∷ Type → Type # Methods from ∷ ConsensusConfig (HardForkProtocol xs) → Rep (ConsensusConfig (HardForkProtocol xs)) x # to ∷ Rep (ConsensusConfig (HardForkProtocol xs)) x → ConsensusConfig (HardForkProtocol xs) #
Generic (ConsensusConfig (Bft c))
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Associated Types type Rep (ConsensusConfig (Bft c)) ∷ Type → Type # Methods from ∷ ConsensusConfig (Bft c) → Rep (ConsensusConfig (Bft c)) x # to ∷ Rep (ConsensusConfig (Bft c)) x → ConsensusConfig (Bft c) #
CanHardFork xs ⇒ NoThunks (ConsensusConfig (HardForkProtocol xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (HardForkProtocol xs)) → String Source #
BftCrypto c ⇒ NoThunks (ConsensusConfig (Bft c))
Instance details Defined in Ouroboros.Consensus.Protocol.BFT Methods noThunks ∷ Context → ConsensusConfig (Bft c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (Bft c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (Bft c)) → String Source #
NoThunks (ConsensusConfig ProtocolA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → ConsensusConfig ProtocolA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig ProtocolA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig ProtocolA) → String Source #
NoThunks (ConsensusConfig ProtocolB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods noThunks ∷ Context → ConsensusConfig ProtocolB → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig ProtocolB → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig ProtocolB) → String Source #
data ConsensusConfig ProtocolA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data ConsensusConfig ProtocolA = CfgA { cfgA_k ∷ SecurityParam cfgA_leadInSlots ∷ Set SlotNo }
data ConsensusConfig ProtocolB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data ConsensusConfig ProtocolB = CfgB { cfgB_k ∷ SecurityParam cfgB_leadInSlots ∷ Set SlotNo }
type Rep (ConsensusConfig (HardForkProtocol xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type Rep (ConsensusConfig (HardForkProtocol xs)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.24.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.24.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)))))))
data ConsensusConfig (HardForkProtocol xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics data ConsensusConfig (HardForkProtocol xs) = HardForkConsensusConfig { hardForkConsensusConfigK ∷ !SecurityParam hardForkConsensusConfigShape ∷ !(Shape xs) hardForkConsensusConfigPerEra ∷ !(PerEraConsensusConfig xs) }
data ConsensusConfig (Bft c)	(Static) node configuration
Instance details Defined in Ouroboros.Consensus.Protocol.BFT data ConsensusConfig (Bft c) = BftConfig { bftParams ∷ !BftParams bftSignKey ∷ !(SignKeyDSIGN (BftDSIGN c)) bftVerKeys ∷ !(Map NodeId (VerKeyDSIGN (BftDSIGN c))) }

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 Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → GenTx BlockA → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s (GenTx BlockA) Source #
SerialiseNodeToClient BlockA (GenTxId BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → GenTxId BlockA → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s (GenTxId BlockA) Source #
SerialiseNodeToClient BlockB (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → GenTx BlockB → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → ∀ s. Decoder s (GenTx BlockB) Source #
SerialiseNodeToClient BlockB (GenTxId BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → GenTxId BlockB → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → ∀ s. Decoder s (GenTxId BlockB) Source #
SerialiseNodeToNode BlockA (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → GenTx BlockA → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → ∀ s. Decoder s (GenTx BlockA) Source #
SerialiseNodeToNode BlockA (GenTxId BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → GenTxId BlockA → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → ∀ s. Decoder s (GenTxId BlockA) Source #
SerialiseNodeToNode BlockB (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → GenTx BlockB → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → ∀ s. Decoder s (GenTx BlockB) Source #
SerialiseNodeToNode BlockB (GenTxId BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → GenTxId BlockB → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → ∀ s. Decoder s (GenTxId BlockB) Source #
Generic (Validated (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (Validated (GenTx BlockA)) ∷ Type → Type # Methods from ∷ Validated (GenTx BlockA) → Rep (Validated (GenTx BlockA)) x # to ∷ Rep (Validated (GenTx BlockA)) x → Validated (GenTx BlockA) #
Generic (Validated (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type Rep (Validated (GenTx BlockB)) ∷ Type → Type # Methods from ∷ Validated (GenTx BlockB) → Rep (Validated (GenTx BlockB)) x # to ∷ Rep (Validated (GenTx BlockB)) x → Validated (GenTx BlockB) #
Generic (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (GenTx BlockA) ∷ Type → Type # Methods from ∷ GenTx BlockA → Rep (GenTx BlockA) x # to ∷ Rep (GenTx BlockA) x → GenTx BlockA #
Generic (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type Rep (GenTx BlockB) ∷ Type → Type # Methods from ∷ GenTx BlockB → Rep (GenTx BlockB) x # to ∷ Rep (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)) ∷ Type → Type # Methods from ∷ TxId (GenTx BlockA) → Rep (TxId (GenTx BlockA)) x # to ∷ Rep (TxId (GenTx BlockA)) x → TxId (GenTx BlockA) #
Generic (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type Rep (TxId (GenTx BlockB)) ∷ Type → Type # Methods from ∷ TxId (GenTx BlockB) → Rep (TxId (GenTx BlockB)) x # to ∷ Rep (TxId (GenTx BlockB)) x → TxId (GenTx BlockB) #
Show (Validated (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → Validated (GenTx BlockA) → ShowS # show ∷ Validated (GenTx BlockA) → String # showList ∷ [Validated (GenTx BlockA)] → ShowS #
Show (Validated (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods showsPrec ∷ Int → Validated (GenTx BlockB) → ShowS # show ∷ Validated (GenTx BlockB) → String # showList ∷ [Validated (GenTx BlockB)] → ShowS #
Show (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → GenTx BlockA → ShowS # show ∷ GenTx BlockA → String # showList ∷ [GenTx BlockA] → ShowS #
Show (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods showsPrec ∷ Int → GenTx BlockB → ShowS # show ∷ GenTx BlockB → String # showList ∷ [GenTx BlockB] → ShowS #
Show (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → TxId (GenTx BlockA) → ShowS # show ∷ TxId (GenTx BlockA) → String # showList ∷ [TxId (GenTx BlockA)] → ShowS #
Show (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods showsPrec ∷ Int → TxId (GenTx BlockB) → ShowS # show ∷ TxId (GenTx BlockB) → String # showList ∷ [TxId (GenTx BlockB)] → ShowS #
Eq (Validated (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods (==) ∷ Validated (GenTx BlockA) → Validated (GenTx BlockA) → Bool # (/=) ∷ Validated (GenTx BlockA) → Validated (GenTx BlockA) → Bool #
Eq (Validated (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods (==) ∷ Validated (GenTx BlockB) → Validated (GenTx BlockB) → Bool # (/=) ∷ Validated (GenTx BlockB) → Validated (GenTx BlockB) → Bool #
Eq (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods (==) ∷ GenTx BlockA → GenTx BlockA → Bool # (/=) ∷ GenTx BlockA → GenTx BlockA → Bool #
Eq (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods (==) ∷ GenTx BlockB → GenTx BlockB → Bool # (/=) ∷ GenTx BlockB → GenTx BlockB → 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 (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods compare ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Ordering # (<) ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Bool # (<=) ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Bool # (>) ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Bool # (>=) ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Bool # max ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → TxId (GenTx BlockA) # min ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → TxId (GenTx BlockA) #
Ord (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods compare ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → Ordering # (<) ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → Bool # (<=) ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → Bool # (>) ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → Bool # (>=) ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → Bool # max ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → TxId (GenTx BlockB) # min ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → TxId (GenTx BlockB) #
NoThunks (Validated (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → Validated (GenTx BlockA) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx BlockA) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx BlockA)) → String Source #
NoThunks (Validated (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods noThunks ∷ Context → Validated (GenTx BlockB) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Validated (GenTx BlockB) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Validated (GenTx BlockB)) → String Source #
NoThunks (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → GenTx BlockA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx BlockA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx BlockA) → String Source #
NoThunks (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods noThunks ∷ Context → GenTx BlockB → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenTx BlockB → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (GenTx BlockB) → String Source #
NoThunks (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → TxId (GenTx BlockA) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx BlockA) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx BlockA)) → String Source #
NoThunks (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods noThunks ∷ Context → TxId (GenTx BlockB) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx BlockB) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx BlockB)) → String Source #
ConvertRawTxId (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods toRawTxIdHash ∷ TxId (GenTx BlockA) → ShortByteString Source #
ConvertRawTxId (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods toRawTxIdHash ∷ TxId (GenTx BlockB) → ShortByteString Source #
HasTxId (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods txId ∷ GenTx BlockA → TxId (GenTx BlockA) Source #
HasTxId (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods txId ∷ GenTx BlockB → TxId (GenTx BlockB) Source #
Condense (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods condense ∷ GenTx BlockA → String Source #
Condense (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods condense ∷ GenTx BlockB → String Source #
Condense (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods condense ∷ TxId (GenTx BlockA) → String Source #
Condense (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods condense ∷ TxId (GenTx BlockB) → String Source #
Serialise (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ GenTx BlockA → Encoding Source # decode ∷ Decoder s (GenTx BlockA) Source # encodeList ∷ [GenTx BlockA] → Encoding Source # decodeList ∷ Decoder s [GenTx BlockA] Source #
Serialise (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encode ∷ GenTx BlockB → Encoding Source # decode ∷ Decoder s (GenTx BlockB) Source # encodeList ∷ [GenTx BlockB] → Encoding Source # decodeList ∷ Decoder s [GenTx BlockB] Source #
Serialise (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ TxId (GenTx BlockA) → Encoding Source # decode ∷ Decoder s (TxId (GenTx BlockA)) Source # encodeList ∷ [TxId (GenTx BlockA)] → Encoding Source # decodeList ∷ Decoder s [TxId (GenTx BlockA)] Source #
Serialise (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encode ∷ TxId (GenTx BlockB) → Encoding Source # decode ∷ Decoder s (TxId (GenTx BlockB)) Source # encodeList ∷ [TxId (GenTx BlockB)] → Encoding Source # decodeList ∷ Decoder s [TxId (GenTx BlockB)] Source #
data GenTx BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data GenTx BlockA = TxA { txA_id ∷ TxId (GenTx BlockA) txA_payload ∷ TxPayloadA }
data GenTx BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data GenTx BlockB
type Rep (Validated (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.24.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 BlockA)) = Rep (GenTx BlockA)
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.21.0.1-inplace-consensus-test" 'False) (V1 ∷ Type → Type)
type Rep (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.24.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.21.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.21.0.1-inplace-consensus-test" 'False) (V1 ∷ Type → Type)
type Rep (TxId (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.24.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.21.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "TxIdA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))
type Rep (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (TxId (GenTx BlockB)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-diffusion-0.21.0.1-inplace-consensus-test" 'False) (V1 ∷ Type → Type)
newtype Validated (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx { getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs }
newtype Validated (GenTx BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A newtype Validated (GenTx BlockA) = ValidatedGenTxA { forgetValidatedGenTxA ∷ GenTx BlockA }
data Validated (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data Validated (GenTx BlockB)
newtype GenTx (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype GenTx (HardForkBlock xs) = HardForkGenTx { getHardForkGenTx ∷ OneEraGenTx xs }
newtype TxId (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId ∷ OneEraGenTxId xs }
newtype TxId (GenTx 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 TxId (GenTx BlockB)

data family Header blk Source #

Instances

data family LedgerState blk Source #

Ledger state associated with a block

This is the Consensus notion of a 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 denote that the expected instantiation is either a LedgerState or some wrapper over it (like the ExtLedgerState).

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) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDisk ∷ CodecConfig BlockA → ∀ s. Decoder s (LedgerState BlockA) Source #
DecodeDisk BlockB (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods decodeDisk ∷ CodecConfig BlockB → ∀ s. Decoder s (LedgerState BlockB) Source #
EncodeDisk BlockA (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDisk ∷ CodecConfig BlockA → LedgerState BlockA → Encoding Source #
EncodeDisk BlockB (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDisk ∷ CodecConfig BlockB → LedgerState BlockB → Encoding Source #
Generic (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (LedgerState (TestBlockWith ptype)) ∷ Type → Type # Methods from ∷ LedgerState (TestBlockWith ptype) → Rep (LedgerState (TestBlockWith ptype)) x # to ∷ Rep (LedgerState (TestBlockWith ptype)) x → LedgerState (TestBlockWith ptype) #
Generic (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (LedgerState BlockA) ∷ Type → Type # Methods from ∷ LedgerState BlockA → Rep (LedgerState BlockA) x # to ∷ Rep (LedgerState BlockA) x → LedgerState BlockA #
Generic (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type Rep (LedgerState BlockB) ∷ Type → Type # Methods from ∷ LedgerState BlockB → Rep (LedgerState BlockB) x # to ∷ Rep (LedgerState BlockB) x → LedgerState BlockB #
Generic (Ticked (LedgerState (TestBlockWith ptype)))
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (Ticked (LedgerState (TestBlockWith ptype))) ∷ Type → Type # Methods from ∷ Ticked (LedgerState (TestBlockWith ptype)) → Rep (Ticked (LedgerState (TestBlockWith ptype))) x # to ∷ Rep (Ticked (LedgerState (TestBlockWith ptype))) x → Ticked (LedgerState (TestBlockWith ptype)) #
CanHardFork xs ⇒ Show (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showsPrec ∷ Int → LedgerState (HardForkBlock xs) → ShowS # show ∷ LedgerState (HardForkBlock xs) → String # showList ∷ [LedgerState (HardForkBlock xs)] → ShowS #
PayloadSemantics ptype ⇒ Show (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → LedgerState (TestBlockWith ptype) → ShowS # show ∷ LedgerState (TestBlockWith ptype) → String # showList ∷ [LedgerState (TestBlockWith ptype)] → ShowS #
Show (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → LedgerState BlockA → ShowS # show ∷ LedgerState BlockA → String # showList ∷ [LedgerState BlockA] → ShowS #
Show (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods showsPrec ∷ Int → LedgerState BlockB → ShowS # show ∷ LedgerState BlockB → String # showList ∷ [LedgerState BlockB] → ShowS #
PayloadSemantics ptype ⇒ Show (Ticked (LedgerState (TestBlockWith ptype)))
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → Ticked (LedgerState (TestBlockWith ptype)) → ShowS # show ∷ Ticked (LedgerState (TestBlockWith ptype)) → String # showList ∷ [Ticked (LedgerState (TestBlockWith ptype))] → ShowS #
CanHardFork xs ⇒ Eq (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods (==) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool # (/=) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool #
PayloadSemantics ptype ⇒ Eq (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ LedgerState (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) → Bool # (/=) ∷ LedgerState (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) → Bool #
Eq (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods (==) ∷ LedgerState BlockA → LedgerState BlockA → Bool # (/=) ∷ LedgerState BlockA → LedgerState BlockA → Bool #
Eq (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods (==) ∷ LedgerState BlockB → LedgerState BlockB → Bool # (/=) ∷ LedgerState BlockB → LedgerState BlockB → Bool #
PayloadSemantics ptype ⇒ Eq (Ticked (LedgerState (TestBlockWith ptype)))
Instance details Defined in Test.Util.TestBlock Methods (==) ∷ Ticked (LedgerState (TestBlockWith ptype)) → Ticked (LedgerState (TestBlockWith ptype)) → Bool # (/=) ∷ Ticked (LedgerState (TestBlockWith ptype)) → Ticked (LedgerState (TestBlockWith ptype)) → Bool #
CanHardFork xs ⇒ NoThunks (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs)) → String Source #
PayloadSemantics ptype ⇒ NoThunks (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → LedgerState (TestBlockWith ptype) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (TestBlockWith ptype) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (TestBlockWith ptype)) → String Source #
NoThunks (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → LedgerState BlockA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState BlockA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState BlockA) → String Source #
NoThunks (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods noThunks ∷ Context → LedgerState BlockB → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState BlockB → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState BlockB) → String Source #
PayloadSemantics ptype ⇒ NoThunks (Ticked (LedgerState (TestBlockWith ptype)))
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (TestBlockWith ptype))) → String Source #
NoThunks (Ticked (LedgerState BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → Ticked (LedgerState BlockA) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState BlockA) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState BlockA)) → String Source #
NoThunks (Ticked (LedgerState BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods noThunks ∷ Context → Ticked (LedgerState BlockB) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState BlockB) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState BlockB)) → String Source #
GetTip (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods getTip ∷ LedgerState (TestBlockWith ptype) → Point (LedgerState (TestBlockWith ptype)) Source #
GetTip (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods getTip ∷ LedgerState BlockA → Point (LedgerState BlockA) Source #
GetTip (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods getTip ∷ LedgerState BlockB → Point (LedgerState BlockB) Source #
GetTip (Ticked (LedgerState (TestBlockWith ptype)))
Instance details Defined in Test.Util.TestBlock Methods getTip ∷ Ticked (LedgerState (TestBlockWith ptype)) → Point (Ticked (LedgerState (TestBlockWith ptype))) Source #
GetTip (Ticked (LedgerState BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods getTip ∷ Ticked (LedgerState BlockA) → Point (Ticked (LedgerState BlockA)) Source #
GetTip (Ticked (LedgerState BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods getTip ∷ Ticked (LedgerState BlockB) → Point (Ticked (LedgerState BlockB)) Source #
PayloadSemantics ptype ⇒ IsLedger (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Associated Types type LedgerErr (LedgerState (TestBlockWith ptype)) Source # type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) Source # Methods applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → SlotNo → LedgerState (TestBlockWith ptype) → LedgerResult (LedgerState (TestBlockWith ptype)) (Ticked (LedgerState (TestBlockWith ptype))) Source #
IsLedger (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type LedgerErr (LedgerState BlockA) Source # type AuxLedgerEvent (LedgerState BlockA) Source # Methods applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockA) → SlotNo → LedgerState BlockA → LedgerResult (LedgerState BlockA) (Ticked (LedgerState BlockA)) Source #
IsLedger (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type LedgerErr (LedgerState BlockB) Source # type AuxLedgerEvent (LedgerState BlockB) Source # Methods applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockB) → SlotNo → LedgerState BlockB → LedgerResult (LedgerState BlockB) (Ticked (LedgerState BlockB)) Source #
PayloadSemantics ptype ⇒ Serialise (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods encode ∷ LedgerState (TestBlockWith ptype) → Encoding Source # decode ∷ Decoder s (LedgerState (TestBlockWith ptype)) Source # encodeList ∷ [LedgerState (TestBlockWith ptype)] → Encoding Source # decodeList ∷ Decoder s [LedgerState (TestBlockWith ptype)] Source #
Serialise (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ LedgerState BlockA → Encoding Source # decode ∷ Decoder s (LedgerState BlockA) Source # encodeList ∷ [LedgerState BlockA] → Encoding Source # decodeList ∷ Decoder s [LedgerState BlockA] Source #
Serialise (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encode ∷ LedgerState BlockB → Encoding Source # decode ∷ Decoder s (LedgerState BlockB) Source # encodeList ∷ [LedgerState BlockB] → Encoding Source # decodeList ∷ Decoder s [LedgerState BlockB] Source #
PayloadSemantics ptype ⇒ ToExpr (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods toExpr ∷ LedgerState (TestBlockWith ptype) → Expr Source # listToExpr ∷ [LedgerState (TestBlockWith ptype)] → Expr Source #
PayloadSemantics ptype ⇒ ToExpr (Ticked (LedgerState (TestBlockWith ptype)))
Instance details Defined in Test.Util.TestBlock Methods toExpr ∷ Ticked (LedgerState (TestBlockWith ptype)) → Expr Source # listToExpr ∷ [Ticked (LedgerState (TestBlockWith ptype))] → Expr Source #
ApplyBlock (LedgerState BlockA) BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState BlockA) → BlockA → Ticked (LedgerState BlockA) → Except (LedgerErr (LedgerState BlockA)) (LedgerResult (LedgerState BlockA) (LedgerState BlockA)) Source # applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockA) → BlockA → Ticked (LedgerState BlockA) → Except (LedgerErr (LedgerState BlockA)) (LedgerResult (LedgerState BlockA) (LedgerState BlockA)) Source # reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockA) → BlockA → Ticked (LedgerState BlockA) → LedgerResult (LedgerState BlockA) (LedgerState BlockA) Source #
ApplyBlock (LedgerState BlockB) BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState BlockB) → BlockB → Ticked (LedgerState BlockB) → Except (LedgerErr (LedgerState BlockB)) (LedgerResult (LedgerState BlockB) (LedgerState BlockB)) Source # applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockB) → BlockB → Ticked (LedgerState BlockB) → Except (LedgerErr (LedgerState BlockB)) (LedgerResult (LedgerState BlockB) (LedgerState BlockB)) Source # reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockB) → BlockB → Ticked (LedgerState BlockB) → LedgerResult (LedgerState BlockB) (LedgerState BlockB) Source #
PayloadSemantics ptype ⇒ ApplyBlock (LedgerState (TestBlockWith ptype)) (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock Methods applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) → Except (LedgerErr (LedgerState (TestBlockWith ptype))) (LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype))) Source # applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) → Except (LedgerErr (LedgerState (TestBlockWith ptype))) (LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype))) Source # reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) → LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype)) Source #
PayloadSemantics ptype ⇒ DecodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods decodeDisk ∷ CodecConfig (TestBlockWith ptype) → ∀ s. Decoder s (LedgerState (TestBlockWith ptype)) Source #
PayloadSemantics ptype ⇒ EncodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods encodeDisk ∷ CodecConfig (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) → Encoding Source #
data LedgerState BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data LedgerState BlockA = LgrA { lgrA_tip ∷ Point BlockA lgrA_transition ∷ Maybe SlotNo }
data LedgerState BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data LedgerState BlockB = LgrB { lgrB_tip ∷ Point BlockB }
type HeaderHash (LedgerState blk ∷ Type)
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash (LedgerState blk ∷ Type) = HeaderHash blk
type Rep (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock type Rep (LedgerState (TestBlockWith ptype)) = D1 ('MetaData "LedgerState" "Test.Util.TestBlock" "ouroboros-consensus-0.24.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))))
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.21.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) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (LedgerState BlockB) = D1 ('MetaData "LedgerState" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-diffusion-0.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "LgrB" 'PrefixI 'True) (S1 ('MetaSel ('Just "lgrB_tip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point BlockB))))
type Rep (Ticked (LedgerState (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (Ticked (LedgerState (HardForkBlock xs))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.24.0.0-inplace" 'False) (C1 ('MetaCons "TickedHardForkLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedHardForkLedgerStateTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TransitionInfo) :*: S1 ('MetaSel ('Just "tickedHardForkLedgerStatePerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HardForkState (Ticked :.: LedgerState) xs))))
type Rep (Ticked (LedgerState (TestBlockWith ptype)))
Instance details Defined in Test.Util.TestBlock type Rep (Ticked (LedgerState (TestBlockWith ptype))) = D1 ('MetaData "Ticked" "Test.Util.TestBlock" "ouroboros-consensus-0.24.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype)))))
type AuxLedgerEvent (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type AuxLedgerEvent (LedgerState (HardForkBlock xs)) = OneEraLedgerEvent xs
type AuxLedgerEvent (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) = VoidLedgerEvent (LedgerState (TestBlockWith ptype))
type AuxLedgerEvent (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type AuxLedgerEvent (LedgerState BlockA) = VoidLedgerEvent (LedgerState BlockA)
type AuxLedgerEvent (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type AuxLedgerEvent (LedgerState BlockB) = VoidLedgerEvent (LedgerState BlockB)
type LedgerCfg (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type LedgerCfg (LedgerState (HardForkBlock xs)) = HardForkLedgerConfig xs
type LedgerCfg (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock type LedgerCfg (LedgerState (TestBlockWith ptype)) = TestBlockLedgerConfig
type LedgerCfg (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type LedgerCfg (LedgerState BlockA) = (EpochInfo Identity, PartialLedgerConfigA)
type LedgerCfg (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type LedgerCfg (LedgerState BlockB)
type LedgerErr (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerErr (LedgerState (HardForkBlock xs)) = HardForkLedgerError xs
type LedgerErr (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock type LedgerErr (LedgerState (TestBlockWith ptype)) = TestBlockError ptype
type LedgerErr (LedgerState BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A type LedgerErr (LedgerState BlockA) = Void
type LedgerErr (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type LedgerErr (LedgerState BlockB) = Void
newtype LedgerState (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype LedgerState (HardForkBlock xs) = HardForkLedgerState { hardForkLedgerStatePerEra ∷ HardForkState LedgerState xs }
data LedgerState (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock data LedgerState (TestBlockWith ptype) = TestLedger { lastAppliedPoint ∷ Point (TestBlockWith ptype) payloadDependentState ∷ PayloadDependentState ptype }
data Ticked (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked (LedgerState (HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition ∷ !TransitionInfo tickedHardForkLedgerStatePerEra ∷ !(HardForkState (Ticked :.: LedgerState) xs) }
newtype Ticked (LedgerState (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock newtype Ticked (LedgerState (TestBlockWith ptype)) = TickedTestLedger { getTickedTestLedger ∷ LedgerState (TestBlockWith ptype) }
newtype Ticked (LedgerState BlockA) Source #	Ticking has no state on the A ledger state
Instance details Defined in Test.Consensus.HardFork.Combinator.A newtype Ticked (LedgerState BlockA) = TickedLedgerStateA { getTickedLedgerStateA ∷ LedgerState BlockA }
newtype Ticked (LedgerState BlockB) Source #	Ticking has no state on the B ledger state
Instance details Defined in Test.Consensus.HardFork.Combinator.B newtype Ticked (LedgerState BlockB) = TickedLedgerStateB { getTickedLedgerStateB ∷ LedgerState BlockB }

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

Context identifying what kind of block we have

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

Instances

Instances details

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

data family StorageConfig blk Source #

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

Instances

Instances details

Generic (StorageConfig TestBlock)
Instance details Defined in Test.Util.TestBlock Associated Types type Rep (StorageConfig TestBlock) ∷ Type → Type # Methods from ∷ StorageConfig TestBlock → Rep (StorageConfig TestBlock) x # to ∷ Rep (StorageConfig TestBlock) x → StorageConfig TestBlock #
Generic (StorageConfig BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (StorageConfig BlockA) ∷ Type → Type # Methods from ∷ StorageConfig BlockA → Rep (StorageConfig BlockA) x # to ∷ Rep (StorageConfig BlockA) x → StorageConfig BlockA #
Generic (StorageConfig BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type Rep (StorageConfig BlockB) ∷ Type → Type # Methods from ∷ StorageConfig BlockB → Rep (StorageConfig BlockB) x # to ∷ Rep (StorageConfig BlockB) x → StorageConfig BlockB #
Show (StorageConfig TestBlock)
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → StorageConfig TestBlock → ShowS # show ∷ StorageConfig TestBlock → String # showList ∷ [StorageConfig TestBlock] → ShowS #
CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig (HardForkBlock xs)) → String Source #
NoThunks (StorageConfig TestBlock)
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig TestBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig TestBlock) → String Source #
NoThunks (StorageConfig BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → StorageConfig BlockA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig BlockA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig BlockA) → String Source #
NoThunks (StorageConfig BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods noThunks ∷ Context → StorageConfig BlockB → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StorageConfig BlockB → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StorageConfig BlockB) → String Source #
data StorageConfig TestBlock	The `TestBlock` does not need any storage config
Instance details Defined in Test.Util.TestBlock data StorageConfig TestBlock = TestBlockStorageConfig
data StorageConfig BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data StorageConfig BlockA = SCfgA
data StorageConfig BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data StorageConfig BlockB = SCfgB
type Rep (StorageConfig TestBlock)
Instance details Defined in Test.Util.TestBlock type Rep (StorageConfig TestBlock) = D1 ('MetaData "StorageConfig" "Test.Util.TestBlock" "ouroboros-consensus-0.24.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockStorageConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
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.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "SCfgA" 'PrefixI 'False) (U1 ∷ Type → Type))
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.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "SCfgB" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype StorageConfig (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig { hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs }

data family TxId tx Source #

A generalized transaction, GenTx, identifier.

Instances

Instances details

SerialiseNodeToClient BlockA (GenTxId BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → GenTxId BlockA → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockA → BlockNodeToClientVersion BlockA → ∀ s. Decoder s (GenTxId BlockA) Source #
SerialiseNodeToClient BlockB (GenTxId BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → GenTxId BlockB → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → ∀ s. Decoder s (GenTxId BlockB) Source #
SerialiseNodeToNode BlockA (GenTxId BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → GenTxId BlockA → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → ∀ s. Decoder s (GenTxId BlockA) Source #
SerialiseNodeToNode BlockB (GenTxId BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → GenTxId BlockB → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → ∀ s. Decoder s (GenTxId BlockB) Source #
Generic (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (TxId (GenTx BlockA)) ∷ Type → Type # Methods from ∷ TxId (GenTx BlockA) → Rep (TxId (GenTx BlockA)) x # to ∷ Rep (TxId (GenTx BlockA)) x → TxId (GenTx BlockA) #
Generic (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type Rep (TxId (GenTx BlockB)) ∷ Type → Type # Methods from ∷ TxId (GenTx BlockB) → Rep (TxId (GenTx BlockB)) x # to ∷ Rep (TxId (GenTx BlockB)) x → TxId (GenTx BlockB) #
Show (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → TxId (GenTx BlockA) → ShowS # show ∷ TxId (GenTx BlockA) → String # showList ∷ [TxId (GenTx BlockA)] → ShowS #
Show (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods showsPrec ∷ Int → TxId (GenTx BlockB) → ShowS # show ∷ TxId (GenTx BlockB) → String # showList ∷ [TxId (GenTx BlockB)] → ShowS #
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 Methods compare ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Ordering # (<) ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Bool # (<=) ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Bool # (>) ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Bool # (>=) ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → Bool # max ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → TxId (GenTx BlockA) # min ∷ TxId (GenTx BlockA) → TxId (GenTx BlockA) → TxId (GenTx BlockA) #
Ord (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods compare ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → Ordering # (<) ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → Bool # (<=) ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → Bool # (>) ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → Bool # (>=) ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → Bool # max ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → TxId (GenTx BlockB) # min ∷ TxId (GenTx BlockB) → TxId (GenTx BlockB) → TxId (GenTx BlockB) #
NoThunks (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → TxId (GenTx BlockA) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx BlockA) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx BlockA)) → String Source #
NoThunks (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods noThunks ∷ Context → TxId (GenTx BlockB) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId (GenTx BlockB) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TxId (GenTx BlockB)) → String Source #
Condense (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods condense ∷ TxId (GenTx BlockA) → String Source #
Condense (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods condense ∷ TxId (GenTx BlockB) → String Source #
Serialise (TxId (GenTx BlockA)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ TxId (GenTx BlockA) → Encoding Source # decode ∷ Decoder s (TxId (GenTx BlockA)) Source # encodeList ∷ [TxId (GenTx BlockA)] → Encoding Source # decodeList ∷ Decoder s [TxId (GenTx BlockA)] Source #
Serialise (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encode ∷ TxId (GenTx BlockB) → Encoding Source # decode ∷ Decoder s (TxId (GenTx BlockB)) Source # encodeList ∷ [TxId (GenTx BlockB)] → Encoding Source # decodeList ∷ Decoder s [TxId (GenTx BlockB)] Source #
type Rep (TxId (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.24.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.21.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "TxIdA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))
type Rep (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep (TxId (GenTx BlockB)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-diffusion-0.21.0.1-inplace-consensus-test" 'False) (V1 ∷ Type → Type)
newtype TxId (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId ∷ OneEraGenTxId xs }
newtype TxId (GenTx 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 TxId (GenTx BlockB)

Orphan instances

Serialise SecurityParam Source #
Instance details Methods encode ∷ SecurityParam → Encoding Source # decode ∷ Decoder s SecurityParam Source # encodeList ∷ [SecurityParam] → Encoding Source # decodeList ∷ Decoder s [SecurityParam] Source #
(HasZero a, Serialise a) ⇒ Serialise (NonZero a) Source #
Instance details Methods encode ∷ NonZero a → Encoding Source # decode ∷ Decoder s (NonZero a) Source # encodeList ∷ [NonZero a] → Encoding Source # decodeList ∷ Decoder s [NonZero a] Source #

HasNestedContent Header BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods unnest ∷ Header BlockA → DepPair (NestedCtxt Header BlockA) Source # nest ∷ DepPair (NestedCtxt Header BlockA) → Header BlockA Source #
HasNestedContent Header BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods unnest ∷ Header BlockB → DepPair (NestedCtxt Header BlockB) Source # nest ∷ DepPair (NestedCtxt Header BlockB) → Header BlockB Source #
ReconstructNestedCtxt Header BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods reconstructPrefixLen ∷ proxy (Header BlockA) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header BlockA) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) BlockA Source #
ReconstructNestedCtxt Header BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods reconstructPrefixLen ∷ proxy (Header BlockB) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header BlockB) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) BlockB Source #
SerialiseNodeToNode BlockA (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → Header BlockA → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockA → BlockNodeToNodeVersion BlockA → ∀ s. Decoder s (Header BlockA) Source #
SerialiseNodeToNode BlockB (Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → Header BlockB → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → ∀ s. Decoder s (Header BlockB) Source #
EncodeDisk BlockA (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDisk ∷ CodecConfig BlockA → Header BlockA → Encoding Source #
EncodeDisk BlockB (Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDisk ∷ CodecConfig BlockB → Header BlockB → Encoding Source #
ReconstructNestedCtxt Header (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock Methods reconstructPrefixLen ∷ proxy (Header (TestBlockWith ptype)) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header (TestBlockWith ptype)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (TestBlockWith ptype) Source #
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 showProxy ∷ Proxy (Header (TestBlockWith ptype)) → String Source #
DecodeDisk BlockA (ByteString → Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDisk ∷ CodecConfig BlockA → ∀ s. Decoder s (ByteString → Header BlockA) Source #
DecodeDisk BlockB (ByteString → Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods decodeDisk ∷ CodecConfig BlockB → ∀ s. Decoder s (ByteString → Header BlockB) Source #
Generic (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Associated Types type Rep (Header BlockA) ∷ Type → Type # Methods from ∷ Header BlockA → Rep (Header BlockA) x # to ∷ Rep (Header BlockA) x → Header BlockA #
Generic (Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type Rep (Header BlockB) ∷ Type → Type # Methods from ∷ Header BlockB → Rep (Header BlockB) x # to ∷ Rep (Header BlockB) x → Header BlockB #
Show ptype ⇒ Show (Header (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → Header (TestBlockWith ptype) → ShowS # show ∷ Header (TestBlockWith ptype) → String # showList ∷ [Header (TestBlockWith ptype)] → ShowS #
Show (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods showsPrec ∷ Int → Header BlockA → ShowS # show ∷ Header BlockA → String # showList ∷ [Header BlockA] → ShowS #
Show (Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods showsPrec ∷ Int → Header BlockB → ShowS # show ∷ Header BlockB → String # showList ∷ [Header BlockB] → ShowS #
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 Methods (==) ∷ Header BlockA → Header BlockA → Bool # (/=) ∷ Header BlockA → Header BlockA → Bool #
Eq (Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods (==) ∷ Header BlockB → Header BlockB → Bool # (/=) ∷ Header BlockB → Header BlockB → Bool #
NoThunks ptype ⇒ NoThunks (Header (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods noThunks ∷ Context → Header (TestBlockWith ptype) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header (TestBlockWith ptype) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header (TestBlockWith ptype)) → String Source #
NoThunks (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods noThunks ∷ Context → Header BlockA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header BlockA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header BlockA) → String Source #
NoThunks (Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods noThunks ∷ Context → Header BlockB → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Header BlockB → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Header BlockB) → String Source #
SignedHeader (Header (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods headerSigned ∷ Header (TestBlockWith ptype) → Signed (Header (TestBlockWith ptype)) Source #
(Typeable ptype, Eq ptype) ⇒ Condense (Header (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods condense ∷ Header (TestBlockWith ptype) → String Source #
Condense (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods condense ∷ Header BlockA → String Source #
Condense (Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods condense ∷ Header BlockB → String Source #
Typeable ptype ⇒ HasHeader (Header (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods getHeaderFields ∷ Header (TestBlockWith ptype) → HeaderFields (Header (TestBlockWith ptype)) Source #
HasHeader (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods getHeaderFields ∷ Header BlockA → HeaderFields (Header BlockA) Source #
HasHeader (Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods getHeaderFields ∷ Header BlockB → HeaderFields (Header BlockB) Source #
Serialise ptype ⇒ Serialise (Header (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods encode ∷ Header (TestBlockWith ptype) → Encoding Source # decode ∷ Decoder s (Header (TestBlockWith ptype)) Source # encodeList ∷ [Header (TestBlockWith ptype)] → Encoding Source # decodeList ∷ Decoder s [Header (TestBlockWith ptype)] Source #
Serialise (Header BlockA) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ Header BlockA → Encoding Source # decode ∷ Decoder s (Header BlockA) Source # encodeList ∷ [Header BlockA] → Encoding Source # decodeList ∷ Decoder s [Header BlockA] Source #
Serialise (Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encode ∷ Header BlockB → Encoding Source # decode ∷ Decoder s (Header BlockB) Source # encodeList ∷ [Header BlockB] → Encoding Source # decodeList ∷ Decoder s [Header BlockB] Source #
DecodeDiskDep (NestedCtxt Header) BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDiskDep ∷ CodecConfig BlockA → NestedCtxt Header BlockA a → ∀ s. Decoder s (ByteString → a) Source #
DecodeDiskDep (NestedCtxt Header) BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods decodeDiskDep ∷ CodecConfig BlockB → NestedCtxt Header BlockB a → ∀ s. Decoder s (ByteString → a) Source #
DecodeDiskDepIx (NestedCtxt Header) BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDiskDepIx ∷ CodecConfig BlockA → Decoder s (SomeSecond (NestedCtxt Header) BlockA) Source #
DecodeDiskDepIx (NestedCtxt Header) BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods decodeDiskDepIx ∷ CodecConfig BlockB → Decoder s (SomeSecond (NestedCtxt Header) BlockB) Source #
EncodeDiskDep (NestedCtxt Header) BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDiskDep ∷ CodecConfig BlockA → NestedCtxt Header BlockA a → a → Encoding Source #
EncodeDiskDep (NestedCtxt Header) BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDiskDep ∷ CodecConfig BlockB → NestedCtxt Header BlockB a → a → Encoding Source #
EncodeDiskDepIx (NestedCtxt Header) BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDiskDepIx ∷ CodecConfig BlockA → SomeSecond (NestedCtxt Header) BlockA → Encoding Source #
EncodeDiskDepIx (NestedCtxt Header) BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDiskDepIx ∷ CodecConfig BlockB → SomeSecond (NestedCtxt Header) BlockB → Encoding Source #
Serialise ptype ⇒ DecodeDiskDep (NestedCtxt Header) (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock Methods decodeDiskDep ∷ CodecConfig (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 Methods encodeDisk ∷ CodecConfig (TestBlockWith ptype) → Header (TestBlockWith ptype) → Encoding Source #
Serialise ptype ⇒ EncodeDiskDep (NestedCtxt Header) (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock Methods encodeDiskDep ∷ CodecConfig (TestBlockWith ptype) → NestedCtxt Header (TestBlockWith ptype) a → a → Encoding Source #
Serialise ptype ⇒ DecodeDisk (TestBlockWith ptype) (ByteString → Header (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock Methods decodeDisk ∷ CodecConfig (TestBlockWith ptype) → ∀ s. Decoder s (ByteString → Header (TestBlockWith ptype)) Source #
data Header BlockA Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.A data Header BlockA = HdrA { hdrA_fields ∷ HeaderFields BlockA hdrA_prev ∷ ChainHash BlockA }
data Header BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data Header BlockB = HdrB { hdrB_fields ∷ HeaderFields BlockB hdrB_prev ∷ ChainHash BlockB }
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.21.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.21.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 type BlockProtocol (Header blk) = BlockProtocol blk
newtype Header (DisableDiffusionPipelining blk)
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype Header (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningHeader (Header blk)
newtype Header (SelectViewDiffusionPipelining blk)
Instance details Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype Header (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningHeader (Header blk)
newtype Header (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block newtype Header (HardForkBlock xs) = HardForkHeader { getHardForkHeader ∷ OneEraHeader xs }
newtype Header (TestBlockWith ptype)
Instance details Defined in Test.Util.TestBlock newtype Header (TestBlockWith ptype) = TestHeader { testHeader ∷ TestBlockWith ptype }
type Signed (Header (TestBlockWith ptype))
Instance details Defined in Test.Util.TestBlock type Signed (Header (TestBlockWith ptype)) = ()

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result