Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Consensus.HardFork.Combinator.B

Contents

Type family instances

Synopsis

data BlockB = BlkB {
- blkB_header ∷ Header BlockB
}
data ProtocolB
blockForgingB ∷ Monad m ⇒ BlockForging m BlockB
safeZoneB ∷ SecurityParam → SafeZone
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 BlockB Source #

Constructors

BlkB
Fields blkB_header ∷ Header BlockB

Instances

Instances details

Generic BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type Rep BlockB ∷ Type → Type # Methods from ∷ BlockB → Rep BlockB x # to ∷ Rep BlockB x → BlockB #
Show BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods showsPrec ∷ Int → BlockB → ShowS # show ∷ BlockB → String # showList ∷ [BlockB] → ShowS #
Eq BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods (==) ∷ BlockB → BlockB → Bool # (/=) ∷ BlockB → BlockB → Bool #
NoThunks BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods noThunks ∷ Context → BlockB → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockB → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BlockB → String Source #
ConvertRawHash BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods toRawHash ∷ proxy BlockB → HeaderHash BlockB → ByteString Source # fromRawHash ∷ proxy BlockB → ByteString → HeaderHash BlockB Source # toShortRawHash ∷ proxy BlockB → HeaderHash BlockB → ShortByteString Source # fromShortRawHash ∷ proxy BlockB → ShortByteString → HeaderHash BlockB Source # hashSize ∷ proxy BlockB → Word32 Source #
GetHeader BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods getHeader ∷ BlockB → Header BlockB Source # blockMatchesHeader ∷ Header BlockB → BlockB → Bool Source # headerIsEBB ∷ Header BlockB → Maybe EpochNo Source #
GetPrevHash BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods headerPrevHash ∷ Header BlockB → ChainHash BlockB Source #
BlockSupportsDiffusionPipelining BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type TentativeHeaderState BlockB Source # type TentativeHeaderView BlockB Source # Methods initialTentativeHeaderState ∷ Proxy BlockB → TentativeHeaderState BlockB Source # tentativeHeaderView ∷ BlockConfig BlockB → Header BlockB → TentativeHeaderView BlockB Source # applyTentativeHeaderView ∷ Proxy BlockB → TentativeHeaderView BlockB → TentativeHeaderState BlockB → Maybe (TentativeHeaderState BlockB) Source #
BlockSupportsMetrics BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods isSelfIssued ∷ BlockConfig BlockB → Header BlockB → WhetherSelfIssued Source #
BlockSupportsProtocol BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods validateView ∷ BlockConfig BlockB → Header BlockB → ValidateView (BlockProtocol BlockB) Source # selectView ∷ BlockConfig BlockB → Header BlockB → SelectView (BlockProtocol BlockB) Source # projectChainOrderConfig ∷ BlockConfig BlockB → ChainOrderConfig (SelectView (BlockProtocol BlockB)) Source #
ConfigSupportsNode BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods getSystemStart ∷ BlockConfig BlockB → SystemStart Source # getNetworkMagic ∷ BlockConfig BlockB → NetworkMagic Source #
SingleEraBlock BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods singleEraTransition ∷ PartialLedgerConfig BlockB → EraParams → Bound → LedgerState BlockB → Maybe EpochNo Source # singleEraInfo ∷ proxy BlockB → SingleEraInfo BlockB Source #
CondenseConstraints BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B
HasPartialLedgerConfig BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type PartialLedgerConfig BlockB Source # Methods completeLedgerConfig ∷ proxy BlockB → EpochInfo (Except PastHorizonException) → PartialLedgerConfig BlockB → LedgerConfig BlockB Source #
SerialiseConstraintsHFC BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B
BasicEnvelopeValidation BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods expectedFirstBlockNo ∷ proxy BlockB → BlockNo Source # expectedNextBlockNo ∷ proxy BlockB → TipInfo BlockB → TipInfo BlockB → BlockNo → BlockNo Source # minimumPossibleSlotNo ∷ Proxy BlockB → SlotNo Source # minimumNextSlotNo ∷ proxy BlockB → TipInfo BlockB → TipInfo BlockB → SlotNo → SlotNo Source #
HasAnnTip BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type TipInfo BlockB Source # Methods getTipInfo ∷ Header BlockB → TipInfo BlockB Source # tipInfoHash ∷ proxy BlockB → TipInfo BlockB → HeaderHash BlockB Source #
ValidateEnvelope BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type OtherHeaderEnvelopeError BlockB Source # Methods additionalEnvelopeChecks ∷ TopLevelConfig BlockB → LedgerView (BlockProtocol BlockB) → Header BlockB → Except (OtherHeaderEnvelopeError BlockB) () Source #
UpdateLedger BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B
CommonProtocolParams BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods maxHeaderSize ∷ LedgerState BlockB → Word32 Source # maxTxSize ∷ LedgerState BlockB → Word32 Source #
InspectLedger BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type LedgerWarning BlockB Source # type LedgerUpdate BlockB Source # Methods inspectLedger ∷ TopLevelConfig BlockB → LedgerState BlockB → LedgerState BlockB → [LedgerEvent BlockB] Source #
BlockSupportsLedgerQuery BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods answerBlockQuery ∷ ExtLedgerCfg BlockB → BlockQuery BlockB result → ExtLedgerState BlockB → result Source # blockQueryIsSupportedOnVersion ∷ BlockQuery BlockB result → BlockNodeToClientVersion BlockB → Bool Source #
HasTxs BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods extractTxs ∷ BlockB → [GenTx BlockB] Source #
LedgerSupportsMempool BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods txInvariant ∷ GenTx BlockB → Bool Source # applyTx ∷ LedgerConfig BlockB → WhetherToIntervene → SlotNo → GenTx BlockB → TickedLedgerState BlockB → Except (ApplyTxErr BlockB) (TickedLedgerState BlockB, Validated (GenTx BlockB)) Source # reapplyTx ∷ LedgerConfig BlockB → SlotNo → Validated (GenTx BlockB) → TickedLedgerState BlockB → Except (ApplyTxErr BlockB) (TickedLedgerState BlockB) Source # txForgetValidated ∷ Validated (GenTx BlockB) → GenTx BlockB Source #
TxLimits BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type TxMeasure BlockB Source # Methods txMeasure ∷ LedgerConfig BlockB → TickedLedgerState BlockB → GenTx BlockB → Except (ApplyTxErr BlockB) (TxMeasure BlockB) Source # blockCapacityTxMeasure ∷ LedgerConfig BlockB → TickedLedgerState BlockB → TxMeasure BlockB Source #
LedgerSupportsPeerSelection BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods getPeers ∷ LedgerState BlockB → [(PoolStake, NonEmpty StakePoolRelay)] Source #
LedgerSupportsProtocol BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods protocolLedgerView ∷ LedgerConfig BlockB → Ticked (LedgerState BlockB) → LedgerView (BlockProtocol BlockB) Source # ledgerViewForecastAt ∷ LedgerConfig BlockB → LedgerState BlockB → Forecast (LedgerView (BlockProtocol BlockB)) Source #
NodeInitStorage BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods nodeImmutableDbChunkInfo ∷ StorageConfig BlockB → ChunkInfo Source # nodeCheckIntegrity ∷ StorageConfig BlockB → BlockB → Bool Source # nodeInitChainDB ∷ IOLike m ⇒ StorageConfig BlockB → InitChainDB m BlockB → m () Source #
HasNetworkProtocolVersion BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type BlockNodeToNodeVersion BlockB Source # type BlockNodeToClientVersion BlockB Source #
SerialiseNodeToClientConstraints BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B
SerialiseNodeToNodeConstraints BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods estimateBlockSize ∷ Header BlockB → SizeInBytes Source #
SerialiseDiskConstraints BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B
HasBinaryBlockInfo BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods getBinaryBlockInfo ∷ BlockB → BinaryBlockInfo Source #
Condense BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods condense ∷ BlockB → String Source #
HasHeader BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods getHeaderFields ∷ BlockB → HeaderFields BlockB Source #
Serialise BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encode ∷ BlockB → Encoding Source # decode ∷ Decoder s BlockB Source # encodeList ∷ [BlockB] → Encoding Source # decodeList ∷ Decoder s [BlockB] 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 #
SerialiseNodeToClient BlockB Void Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → Void → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → ∀ s. Decoder s Void Source #
SerialiseNodeToClient BlockB SlotNo Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → SlotNo → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → ∀ s. Decoder s SlotNo Source #
SerialiseNodeToClient BlockB BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → BlockB → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → ∀ s. Decoder s BlockB Source #
SerialiseNodeToNode BlockB ByteString Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → ByteString → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → ∀ s. Decoder s ByteString Source #
SerialiseNodeToNode BlockB BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → BlockB → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → ∀ s. Decoder s BlockB Source #
DecodeDisk BlockB () Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods decodeDisk ∷ CodecConfig BlockB → ∀ s. Decoder s () Source #
EncodeDisk BlockB BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDisk ∷ CodecConfig BlockB → BlockB → Encoding Source #
EncodeDisk BlockB () Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDisk ∷ CodecConfig BlockB → () → Encoding 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 #
StandardHash BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B
SerialiseNodeToClient BlockB (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B 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 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 #
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 #
SerialiseNodeToNode BlockB (SerialisedHeader BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → SerialisedHeader BlockB → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → ∀ s. Decoder s (SerialisedHeader BlockB) Source #
SerialiseResult BlockB (BlockQuery BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeResult ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → BlockQuery BlockB result → result → Encoding Source # decodeResult ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → BlockQuery BlockB result → ∀ s. Decoder s result Source #
DecodeDisk BlockB (AnnTip BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods decodeDisk ∷ CodecConfig BlockB → ∀ s. Decoder s (AnnTip BlockB) 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 BlockB (Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDisk ∷ CodecConfig BlockB → Header BlockB → Encoding Source #
EncodeDisk BlockB (AnnTip BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDisk ∷ CodecConfig BlockB → AnnTip BlockB → Encoding Source #
EncodeDisk BlockB (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDisk ∷ CodecConfig BlockB → LedgerState BlockB → Encoding Source #
SerialiseNodeToClient BlockB (Serialised BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → Serialised BlockB → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → ∀ s. Decoder s (Serialised BlockB) Source #
SerialiseNodeToNode BlockB (Serialised BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → Serialised BlockB → Encoding Source # decodeNodeToNode ∷ CodecConfig BlockB → BlockNodeToNodeVersion BlockB → ∀ s. Decoder s (Serialised BlockB) 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 #
DecodeDisk BlockB (ByteString → BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods decodeDisk ∷ CodecConfig BlockB → ∀ s. Decoder s (ByteString → BlockB) Source #
SerialiseNodeToClient BlockB (SomeSecond BlockQuery BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → SomeSecond BlockQuery BlockB → Encoding Source # decodeNodeToClient ∷ CodecConfig BlockB → BlockNodeToClientVersion BlockB → ∀ s. Decoder s (SomeSecond BlockQuery BlockB) Source #
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 #
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 #
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 #
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 #
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 (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 (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 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 (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 #
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 (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 #
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 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 (Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods (==) ∷ Header BlockB → Header BlockB → Bool # (/=) ∷ Header BlockB → Header BlockB → 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 (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods (==) ∷ LedgerState BlockB → LedgerState BlockB → Bool # (/=) ∷ LedgerState BlockB → LedgerState BlockB → 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 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 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 (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 #
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 #
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 #
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 #
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 (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 #
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 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 #
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 BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods getTip ∷ LedgerState BlockB → Point (LedgerState BlockB) 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 #
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 #
ConvertRawTxId (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods toRawTxIdHash ∷ TxId (GenTx BlockB) → ShortByteString Source #
HasTxId (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods txId ∷ GenTx BlockB → TxId (GenTx BlockB) Source #
Condense (Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods condense ∷ Header BlockB → String Source #
Condense (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods condense ∷ GenTx BlockB → String Source #
Condense (TxId (GenTx BlockB)) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods condense ∷ TxId (GenTx BlockB) → String Source #
SameDepIndex (BlockQuery BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods sameDepIndex ∷ BlockQuery BlockB a → BlockQuery BlockB b → Maybe (a :~: b) Source #
HasHeader (Header BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods getHeaderFields ∷ Header BlockB → HeaderFields (Header BlockB) Source #
ShowQuery (BlockQuery BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods showResult ∷ BlockQuery BlockB result → result → String 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 #
Serialise (AnnTip BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encode ∷ AnnTip BlockB → Encoding Source # decode ∷ Decoder s (AnnTip BlockB) Source # encodeList ∷ [AnnTip BlockB] → Encoding Source # decodeList ∷ Decoder s [AnnTip BlockB] 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 #
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 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 #
Serialise (SerialisedHeader BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encode ∷ SerialisedHeader BlockB → Encoding Source # decode ∷ Decoder s (SerialisedHeader BlockB) Source # encodeList ∷ [SerialisedHeader BlockB] → Encoding Source # decodeList ∷ Decoder s [SerialisedHeader BlockB] 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 #
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) 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) 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) BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDiskDepIx ∷ CodecConfig BlockB → SomeSecond (NestedCtxt Header) BlockB → Encoding Source #
Show (BlockQuery BlockB result) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Methods showsPrec ∷ Int → BlockQuery BlockB result → ShowS # show ∷ BlockQuery BlockB result → String # showList ∷ [BlockQuery BlockB result] → ShowS #
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_ 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_ 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 #
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 BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type Rep BlockB = D1 ('MetaData "BlockB" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-diffusion-0.21.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "BlkB" 'PrefixI 'True) (S1 ('MetaSel ('Just "blkB_header") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Header BlockB))))
data BlockConfig BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data BlockConfig BlockB = BCfgB
type BlockProtocol BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type BlockProtocol BlockB = ProtocolB
data CodecConfig BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data CodecConfig BlockB = CCfgB
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 }
data StorageConfig BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data StorageConfig BlockB = SCfgB
type CannotForge BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type CannotForge BlockB = Void
type ForgeStateInfo BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type ForgeStateInfo BlockB = ()
type ForgeStateUpdateError BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type ForgeStateUpdateError BlockB = Void
data NestedCtxt_ BlockB f a Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data NestedCtxt_ BlockB f a where CtxtB ∷ ∀ (f ∷ Type → Type). NestedCtxt_ BlockB f (f BlockB)
type TentativeHeaderState BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type TentativeHeaderState BlockB = TentativeHeaderState (SelectViewDiffusionPipelining BlockB)
type TentativeHeaderView BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type TentativeHeaderView BlockB = TentativeHeaderView (SelectViewDiffusionPipelining BlockB)
type PartialLedgerConfig BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type PartialLedgerConfig BlockB = LedgerConfig BlockB
type OtherHeaderEnvelopeError BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type OtherHeaderEnvelopeError BlockB = Void
type TipInfo BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type TipInfo BlockB = HeaderHash BlockB
data LedgerState BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data LedgerState BlockB = LgrB { lgrB_tip ∷ Point BlockB }
type LedgerUpdate BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type LedgerUpdate BlockB = Void
type LedgerWarning BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type LedgerWarning BlockB = Void
data BlockQuery BlockB result Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data BlockQuery BlockB result
type ApplyTxErr BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type ApplyTxErr BlockB = Void
data GenTx BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data GenTx BlockB
type TxMeasure BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type TxMeasure BlockB = IgnoringOverflow ByteSize32
type BlockNodeToClientVersion BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type BlockNodeToClientVersion BlockB = ()
type BlockNodeToNodeVersion BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type BlockNodeToNodeVersion BlockB = ()
type HeaderHash BlockB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type HeaderHash BlockB = ByteString
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))
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))
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 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))
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 (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 (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 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)
data Validated (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data Validated (GenTx BlockB)
type AuxLedgerEvent (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type AuxLedgerEvent (LedgerState BlockB) = VoidLedgerEvent (LedgerState BlockB)
type LedgerCfg (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type LedgerCfg (LedgerState BlockB)
type LedgerErr (LedgerState BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type LedgerErr (LedgerState BlockB) = Void
data TxId (GenTx BlockB) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B data TxId (GenTx BlockB)
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 }
type TrivialIndex (NestedCtxt_ BlockB f) Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type TrivialIndex (NestedCtxt_ BlockB f) = f BlockB
type HardForkTxMeasure '[BlockA, BlockB] Source #
Instance details Defined in Test.Consensus.HardFork.Combinator type HardForkTxMeasure '[BlockA, BlockB] = IgnoringOverflow ByteSize32

data ProtocolB Source #

Instances

Instances details

HasPartialConsensusConfig ProtocolB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type PartialConsensusConfig ProtocolB Source # Methods completeConsensusConfig ∷ proxy ProtocolB → EpochInfo (Except PastHorizonException) → PartialConsensusConfig ProtocolB → ConsensusConfig ProtocolB Source # toPartialConsensusConfig ∷ proxy ProtocolB → ConsensusConfig ProtocolB → PartialConsensusConfig ProtocolB Source #
ConsensusProtocol ProtocolB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B Associated Types type ChainDepState ProtocolB Source # type IsLeader ProtocolB Source # type CanBeLeader ProtocolB Source # type SelectView ProtocolB Source # type LedgerView ProtocolB Source # type ValidationErr ProtocolB Source # type ValidateView ProtocolB Source # Methods checkIsLeader ∷ ConsensusConfig ProtocolB → CanBeLeader ProtocolB → SlotNo → Ticked (ChainDepState ProtocolB) → Maybe (IsLeader ProtocolB) Source # tickChainDepState ∷ ConsensusConfig ProtocolB → LedgerView ProtocolB → SlotNo → ChainDepState ProtocolB → Ticked (ChainDepState ProtocolB) Source # updateChainDepState ∷ ConsensusConfig ProtocolB → ValidateView ProtocolB → SlotNo → Ticked (ChainDepState ProtocolB) → Except (ValidationErr ProtocolB) (ChainDepState ProtocolB) Source # reupdateChainDepState ∷ ConsensusConfig ProtocolB → ValidateView ProtocolB → SlotNo → Ticked (ChainDepState ProtocolB) → ChainDepState ProtocolB Source # protocolSecurityParam ∷ ConsensusConfig ProtocolB → SecurityParam 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 #
type PartialConsensusConfig ProtocolB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type PartialConsensusConfig ProtocolB = ConsensusConfig ProtocolB
type CanBeLeader ProtocolB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type CanBeLeader ProtocolB = ()
type ChainDepState ProtocolB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type ChainDepState ProtocolB = ()
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 IsLeader ProtocolB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type IsLeader ProtocolB = ()
type LedgerView ProtocolB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type LedgerView ProtocolB = ()
type SelectView ProtocolB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type SelectView ProtocolB = BlockNo
type ValidateView ProtocolB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type ValidateView ProtocolB = ()
type ValidationErr ProtocolB Source #
Instance details Defined in Test.Consensus.HardFork.Combinator.B type ValidationErr ProtocolB = Void

blockForgingB ∷ Monad m ⇒ BlockForging m BlockB Source #

safeZoneB ∷ SecurityParam → SafeZone Source #

A basic SafeZone

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

Type family instances

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details

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)

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