Safe Haskell | None |
---|---|
Language | Haskell2010 |
Test.Consensus.HardFork.Combinator.B
Contents
Synopsis
- data BlockB = BlkB {}
- data ProtocolB
- blockForgingB ∷ ∀ (m ∷ Type → Type). 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 (mk ∷ MapKind)
- newtype LedgerTables (l ∷ LedgerStateKind) (mk ∷ MapKind) = LedgerTables {
- getLedgerTables ∷ mk (TxIn l) (TxOut l)
- data family NestedCtxt_ blk ∷ (Type → Type) → Type → Type
- data family StorageConfig blk
- data family TxId blk
Documentation
Constructors
BlkB | |
Fields |
Instances
Instances
HasPartialConsensusConfig ProtocolB Source # | |||||||||||||||||||||||||||||
Defined in Test.Consensus.HardFork.Combinator.B Associated Types
| |||||||||||||||||||||||||||||
ConsensusProtocol ProtocolB Source # | |||||||||||||||||||||||||||||
Defined in Test.Consensus.HardFork.Combinator.B Associated Types
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 # | |||||||||||||||||||||||||||||
type PartialConsensusConfig ProtocolB Source # | |||||||||||||||||||||||||||||
type CanBeLeader ProtocolB Source # | |||||||||||||||||||||||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||||||||||||||||||||||
type ChainDepState ProtocolB Source # | |||||||||||||||||||||||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||||||||||||||||||||||
data ConsensusConfig ProtocolB Source # | |||||||||||||||||||||||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||||||||||||||||||||||
type IsLeader ProtocolB Source # | |||||||||||||||||||||||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||||||||||||||||||||||
type LedgerView ProtocolB Source # | |||||||||||||||||||||||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||||||||||||||||||||||
type SelectView ProtocolB Source # | |||||||||||||||||||||||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||||||||||||||||||||||
type ValidateView ProtocolB Source # | |||||||||||||||||||||||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||||||||||||||||||||||
type ValidationErr ProtocolB Source # | |||||||||||||||||||||||||||||
Defined in Test.Consensus.HardFork.Combinator.B |
blockForgingB ∷ ∀ (m ∷ Type → Type). 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
Isomorphic BlockConfig | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ BlockConfig (HardForkBlock '[blk]) → BlockConfig blk Source # inject ∷ NoHardForks blk ⇒ BlockConfig blk → BlockConfig (HardForkBlock '[blk]) Source # | |||||
Generic (BlockConfig (TestBlockWith ptype)) | |||||
Defined in Test.Util.TestBlock Associated Types
Methods from ∷ BlockConfig (TestBlockWith ptype) → Rep (BlockConfig (TestBlockWith ptype)) x # to ∷ Rep (BlockConfig (TestBlockWith ptype)) x → BlockConfig (TestBlockWith ptype) # | |||||
Generic (BlockConfig BlockA) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Associated Types
Methods from ∷ BlockConfig BlockA → Rep (BlockConfig BlockA) x # to ∷ Rep (BlockConfig BlockA) x → BlockConfig BlockA # | |||||
Generic (BlockConfig BlockB) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B Associated Types
Methods from ∷ BlockConfig BlockB → Rep (BlockConfig BlockB) x # to ∷ Rep (BlockConfig BlockB) x → BlockConfig BlockB # | |||||
Show (BlockConfig (TestBlockWith ptype)) | |||||
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)) | |||||
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 (DualBlock m a)) | |||||
NoThunks (BlockConfig (TestBlockWith ptype)) | |||||
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 # | |||||
NoThunks (BlockConfig BlockB) Source # | |||||
data BlockConfig BlockA Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||
data BlockConfig BlockB Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||
type Rep (BlockConfig (TestBlockWith ptype)) | |||||
Defined in Test.Util.TestBlock type Rep (BlockConfig (TestBlockWith ptype)) = D1 ('MetaData "BlockConfig" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestBlockConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "testBlockNumCoreNodes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumCoreNodes))) | |||||
type Rep (BlockConfig BlockA) Source # | |||||
type Rep (BlockConfig BlockB) Source # | |||||
newtype BlockConfig (DisableDiffusionPipelining blk) | |||||
Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype BlockConfig (DisableDiffusionPipelining blk) = DisableDiffusionPipeliningBlockConfig (BlockConfig blk) | |||||
newtype BlockConfig (SelectViewDiffusionPipelining blk) | |||||
Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype BlockConfig (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningBlockConfig (BlockConfig blk) | |||||
newtype BlockConfig (HardForkBlock xs) | |||||
data BlockConfig (TestBlockWith ptype) | |||||
Defined in Test.Util.TestBlock | |||||
data BlockConfig (DualBlock m a) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual |
data family CodecConfig blk Source #
Static configuration required for serialisation and deserialisation of types pertaining to this type of block.
Data family instead of type family to get better type inference.
Instances
Isomorphic CodecConfig | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ CodecConfig (HardForkBlock '[blk]) → CodecConfig blk Source # inject ∷ NoHardForks blk ⇒ CodecConfig blk → CodecConfig (HardForkBlock '[blk]) Source # | |||||
Generic (CodecConfig (DualBlock m a)) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual Associated Types
Methods from ∷ CodecConfig (DualBlock m a) → Rep (CodecConfig (DualBlock m a)) x # to ∷ Rep (CodecConfig (DualBlock m a)) x → CodecConfig (DualBlock m a) # | |||||
Generic (CodecConfig TestBlock) | |||||
Defined in Test.Util.TestBlock Associated Types
Methods from ∷ CodecConfig TestBlock → Rep (CodecConfig TestBlock) x # to ∷ Rep (CodecConfig TestBlock) x → CodecConfig TestBlock # | |||||
Generic (CodecConfig BlockA) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Associated Types
Methods from ∷ CodecConfig BlockA → Rep (CodecConfig BlockA) x # to ∷ Rep (CodecConfig BlockA) x → CodecConfig BlockA # | |||||
Generic (CodecConfig BlockB) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B Associated Types
Methods from ∷ CodecConfig BlockB → Rep (CodecConfig BlockB) x # to ∷ Rep (CodecConfig BlockB) x → CodecConfig BlockB # | |||||
Show (CodecConfig TestBlock) | |||||
Defined in Test.Util.TestBlock | |||||
CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs)) | |||||
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 m), NoThunks (CodecConfig a)) ⇒ NoThunks (CodecConfig (DualBlock m a)) | |||||
NoThunks (CodecConfig TestBlock) | |||||
NoThunks (CodecConfig BlockA) Source # | |||||
NoThunks (CodecConfig BlockB) Source # | |||||
data CodecConfig TestBlock | The | ||||
Defined in Test.Util.TestBlock | |||||
data CodecConfig BlockA Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||
data CodecConfig BlockB Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||
type Rep (CodecConfig (DualBlock m a)) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.26.0.0-inplace" 'False) (C1 ('MetaCons "DualCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualCodecConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig m)) :*: S1 ('MetaSel ('Just "dualCodecConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CodecConfig a)))) | |||||
type Rep (CodecConfig TestBlock) | |||||
type Rep (CodecConfig BlockA) Source # | |||||
type Rep (CodecConfig BlockB) Source # | |||||
newtype CodecConfig (HardForkBlock xs) | |||||
data CodecConfig (DualBlock m a) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual data CodecConfig (DualBlock m a) = DualCodecConfig {
|
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
Generic (ConsensusConfig (HardForkProtocol xs)) | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Associated Types
Methods from ∷ ConsensusConfig (HardForkProtocol xs) → Rep (ConsensusConfig (HardForkProtocol xs)) x # to ∷ Rep (ConsensusConfig (HardForkProtocol xs)) x → ConsensusConfig (HardForkProtocol xs) # | |||||
Generic (ConsensusConfig (Bft c)) | |||||
Defined in Ouroboros.Consensus.Protocol.BFT Associated Types
Methods from ∷ ConsensusConfig (Bft c) → Rep (ConsensusConfig (Bft c)) x # to ∷ Rep (ConsensusConfig (Bft c)) x → ConsensusConfig (Bft c) # | |||||
Generic (ConsensusConfig (ModChainSel p s)) | |||||
Defined in Ouroboros.Consensus.Protocol.ModChainSel Associated Types
Methods from ∷ ConsensusConfig (ModChainSel p s) → Rep (ConsensusConfig (ModChainSel p s)) x # to ∷ Rep (ConsensusConfig (ModChainSel p s)) x → ConsensusConfig (ModChainSel p s) # | |||||
Generic (ConsensusConfig (PBft c)) | |||||
Defined in Ouroboros.Consensus.Protocol.PBFT Associated Types
Methods from ∷ ConsensusConfig (PBft c) → Rep (ConsensusConfig (PBft c)) x # to ∷ Rep (ConsensusConfig (PBft c)) x → ConsensusConfig (PBft c) # | |||||
CanHardFork xs ⇒ NoThunks (ConsensusConfig (HardForkProtocol xs)) | |||||
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)) | |||||
ConsensusProtocol p ⇒ NoThunks (ConsensusConfig (ModChainSel p s)) | |||||
Defined in Ouroboros.Consensus.Protocol.ModChainSel Methods noThunks ∷ Context → ConsensusConfig (ModChainSel p s) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConsensusConfig (ModChainSel p s) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConsensusConfig (ModChainSel p s)) → String Source # | |||||
NoThunks (ConsensusConfig (PBft c)) | |||||
NoThunks (ConsensusConfig ProtocolA) Source # | |||||
NoThunks (ConsensusConfig ProtocolB) Source # | |||||
data ConsensusConfig ProtocolA Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||
data ConsensusConfig ProtocolB Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||
type Rep (ConsensusConfig (HardForkProtocol xs)) | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type Rep (ConsensusConfig (HardForkProtocol xs)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.26.0.0-inplace" 'False) (C1 ('MetaCons "HardForkConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkConsensusConfigK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam) :*: (S1 ('MetaSel ('Just "hardForkConsensusConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :*: S1 ('MetaSel ('Just "hardForkConsensusConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraConsensusConfig xs))))) | |||||
type Rep (ConsensusConfig (Bft c)) | |||||
Defined in Ouroboros.Consensus.Protocol.BFT type Rep (ConsensusConfig (Bft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-0.26.0.0-inplace" 'False) (C1 ('MetaCons "BftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "bftParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BftParams) :*: (S1 ('MetaSel ('Just "bftSignKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignKeyDSIGN (BftDSIGN c))) :*: S1 ('MetaSel ('Just "bftVerKeys") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map NodeId (VerKeyDSIGN (BftDSIGN c))))))) | |||||
type Rep (ConsensusConfig (ModChainSel p s)) | |||||
Defined in Ouroboros.Consensus.Protocol.ModChainSel type Rep (ConsensusConfig (ModChainSel p s)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "McsConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mcsConfigP") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig p)))) | |||||
type Rep (ConsensusConfig (PBft c)) | |||||
Defined in Ouroboros.Consensus.Protocol.PBFT type Rep (ConsensusConfig (PBft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "PBftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PBftParams))) | |||||
data ConsensusConfig (HardForkProtocol xs) | |||||
data ConsensusConfig (Bft c) | (Static) node configuration | ||||
Defined in Ouroboros.Consensus.Protocol.BFT data ConsensusConfig (Bft c) = BftConfig {
| |||||
newtype ConsensusConfig (PBft c) | (Static) node configuration | ||||
Defined in Ouroboros.Consensus.Protocol.PBFT | |||||
newtype ConsensusConfig (ModChainSel p s) | |||||
Defined in Ouroboros.Consensus.Protocol.ModChainSel |
data family GenTx blk Source #
Generalized transaction
The mempool (and, accordingly, blocks) consist of "generalized transactions"; this could be "proper" transactions (transferring funds) but also other kinds of things such as update proposals, delegations, etc.
Instances
Inject GenTx | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → GenTx x → GenTx (HardForkBlock xs) Source # | |||||
Isomorphic GenTx | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ GenTx (HardForkBlock '[blk]) → GenTx blk Source # inject ∷ NoHardForks blk ⇒ GenTx blk → GenTx (HardForkBlock '[blk]) Source # | |||||
SerialiseNodeToClient BlockA (GenTx BlockA) Source # | |||||
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 # | |||||
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 # | |||||
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 # | |||||
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 # | |||||
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 # | |||||
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 # | |||||
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 # | |||||
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 # | |||||
(Typeable m, Typeable a) ⇒ ShowProxy (GenTx (DualBlock m a) ∷ Type) | |||||
(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type) | |||||
Generic (Validated (GenTx BlockA)) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||
Generic (Validated (GenTx BlockB)) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||
Generic (GenTx BlockA) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Associated Types
| |||||
Generic (GenTx BlockB) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||
Generic (TxId (GenTx BlockA)) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Associated Types
| |||||
Generic (TxId (GenTx BlockB)) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||
Bridge m a ⇒ Show (Validated (GenTx (DualBlock m a))) | |||||
Show (Validated (GenTx BlockA)) Source # | |||||
Show (Validated (GenTx BlockB)) Source # | |||||
Bridge m a ⇒ Show (GenTx (DualBlock m a)) | |||||
Show (GenTx BlockA) Source # | |||||
Show (GenTx BlockB) Source # | |||||
Show (GenTxId m) ⇒ Show (TxId (GenTx (DualBlock m a))) | |||||
Show (TxId (GenTx BlockA)) Source # | |||||
Show (TxId (GenTx BlockB)) Source # | |||||
Eq (Validated (GenTx BlockA)) Source # | |||||
Eq (Validated (GenTx BlockB)) Source # | |||||
Eq (GenTx BlockA) Source # | |||||
Eq (GenTx BlockB) Source # | |||||
Eq (GenTxId m) ⇒ Eq (TxId (GenTx (DualBlock m a))) | |||||
Eq (TxId (GenTx BlockA)) Source # | |||||
Eq (TxId (GenTx BlockB)) Source # | |||||
Ord (GenTxId m) ⇒ Ord (TxId (GenTx (DualBlock m a))) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods compare ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Ordering # (<) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (<=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (>) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (>=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # max ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) # min ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) # | |||||
Ord (TxId (GenTx BlockA)) Source # | |||||
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 # | |||||
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 (DualBlock m a))) | |||||
NoThunks (Validated (GenTx BlockA)) Source # | |||||
NoThunks (Validated (GenTx BlockB)) Source # | |||||
NoThunks (GenTx (DualBlock m a)) | |||||
NoThunks (GenTx BlockA) Source # | |||||
NoThunks (GenTx BlockB) Source # | |||||
NoThunks (TxId (GenTx (DualBlock m a))) | |||||
NoThunks (TxId (GenTx BlockA)) Source # | |||||
NoThunks (TxId (GenTx BlockB)) Source # | |||||
ConvertRawTxId (GenTx BlockA) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Methods toRawTxIdHash ∷ TxId (GenTx BlockA) → ShortByteString Source # | |||||
ConvertRawTxId (GenTx BlockB) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B Methods toRawTxIdHash ∷ TxId (GenTx BlockB) → ShortByteString Source # | |||||
Bridge m a ⇒ HasTxId (GenTx (DualBlock m a)) | |||||
HasTxId (GenTx BlockA) Source # | |||||
HasTxId (GenTx BlockB) Source # | |||||
Condense (GenTx BlockA) Source # | |||||
Condense (GenTx BlockB) Source # | |||||
Condense (TxId (GenTx BlockA)) Source # | |||||
Condense (TxId (GenTx BlockB)) Source # | |||||
Serialise (GenTx BlockA) Source # | |||||
Serialise (GenTx BlockB) Source # | |||||
Serialise (TxId (GenTx BlockA)) Source # | |||||
Serialise (TxId (GenTx BlockB)) Source # | |||||
data GenTx BlockA Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||
data GenTx BlockB Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||
type Rep (Validated (GenTx (HardForkBlock xs))) | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs)))) | |||||
type Rep (Validated (GenTx BlockA)) Source # | |||||
type Rep (Validated (GenTx BlockB)) Source # | |||||
type Rep (GenTx (HardForkBlock xs)) | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs)))) | |||||
type Rep (GenTx BlockA) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A type Rep (GenTx BlockA) = D1 ('MetaData "GenTx" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "TxA" 'PrefixI 'True) (S1 ('MetaSel ('Just "txA_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxId (GenTx BlockA))) :*: S1 ('MetaSel ('Just "txA_payload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxPayloadA))) | |||||
type Rep (GenTx BlockB) Source # | |||||
type Rep (TxId (GenTx (HardForkBlock xs))) | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs)))) | |||||
type Rep (TxId (GenTx BlockA)) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A type Rep (TxId (GenTx BlockA)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "TxIdA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) | |||||
type Rep (TxId (GenTx BlockB)) Source # | |||||
newtype Validated (GenTx (HardForkBlock xs)) | |||||
data Validated (GenTx (DualBlock m a)) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual data Validated (GenTx (DualBlock m a)) = ValidatedDualGenTx {
| |||||
newtype Validated (GenTx BlockA) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||
data Validated (GenTx BlockB) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||
newtype GenTx (HardForkBlock xs) | |||||
newtype TxId (GenTx (HardForkBlock xs)) | |||||
newtype TxId (GenTx (DualBlock m a)) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual | |||||
newtype TxId (GenTx BlockA) Source # | |||||
data TxId (GenTx BlockB) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||
data GenTx (DualBlock m a) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual data GenTx (DualBlock m a) = DualGenTx {
|
data family Header blk Source #
Instances
Inject Header | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → Header x → Header (HardForkBlock xs) Source # | |||||
Isomorphic Header | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ Header (HardForkBlock '[blk]) → Header blk Source # inject ∷ NoHardForks blk ⇒ Header blk → Header (HardForkBlock '[blk]) Source # | |||||
HasNestedContent Header BlockA Source # | |||||
HasNestedContent Header BlockB Source # | |||||
ReconstructNestedCtxt Header BlockA Source # | |||||
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 # | |||||
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 # | |||||
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 # | |||||
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 # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDisk ∷ CodecConfig BlockA → Header BlockA → Encoding Source # | |||||
EncodeDisk BlockB (Header BlockB) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDisk ∷ CodecConfig BlockB → Header BlockB → Encoding Source # | |||||
ReconstructNestedCtxt Header (TestBlockWith ptype) | |||||
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) | |||||
Defined in Ouroboros.Consensus.Block.Abstract | |||||
Typeable ptype ⇒ ShowProxy (Header (TestBlockWith ptype) ∷ Type) | |||||
Defined in Test.Util.TestBlock | |||||
HasNestedContent Header m ⇒ HasNestedContent Header (DualBlock m a) | |||||
DecodeDisk BlockA (ByteString → Header BlockA) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDisk ∷ CodecConfig BlockA → ∀ s. Decoder s (ByteString → Header BlockA) Source # | |||||
DecodeDisk BlockB (ByteString → Header BlockB) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B Methods decodeDisk ∷ CodecConfig BlockB → ∀ s. Decoder s (ByteString → Header BlockB) Source # | |||||
ReconstructNestedCtxt Header m ⇒ ReconstructNestedCtxt Header (DualBlock m a) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods reconstructPrefixLen ∷ proxy (Header (DualBlock m a)) → PrefixLen Source # reconstructNestedCtxt ∷ proxy (Header (DualBlock m a)) → ShortByteString → SizeInBytes → SomeSecond (NestedCtxt Header) (DualBlock m a) Source # | |||||
(Typeable m, Typeable a) ⇒ ShowProxy (DualHeader m a ∷ Type) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual | |||||
Generic (Header BlockA) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Associated Types
| |||||
Generic (Header BlockB) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B Associated Types
| |||||
Show ptype ⇒ Show (Header (TestBlockWith ptype)) | |||||
Defined in Test.Util.TestBlock | |||||
Show (Header BlockA) Source # | |||||
Show (Header BlockB) Source # | |||||
Eq ptype ⇒ Eq (Header (TestBlockWith ptype)) | |||||
Defined in Test.Util.TestBlock Methods (==) ∷ Header (TestBlockWith ptype) → Header (TestBlockWith ptype) → Bool # (/=) ∷ Header (TestBlockWith ptype) → Header (TestBlockWith ptype) → Bool # | |||||
Eq (Header BlockA) Source # | |||||
Eq (Header BlockB) Source # | |||||
NoThunks (Header (DualBlock m a)) | |||||
NoThunks ptype ⇒ NoThunks (Header (TestBlockWith ptype)) | |||||
NoThunks (Header BlockA) Source # | |||||
NoThunks (Header BlockB) Source # | |||||
SignedHeader (Header (TestBlockWith ptype)) | |||||
Defined in Test.Util.TestBlock Methods headerSigned ∷ Header (TestBlockWith ptype) → Signed (Header (TestBlockWith ptype)) Source # | |||||
(Typeable ptype, Eq ptype) ⇒ Condense (Header (TestBlockWith ptype)) | |||||
Defined in Test.Util.TestBlock | |||||
Condense (Header BlockA) Source # | |||||
Condense (Header BlockB) Source # | |||||
Typeable ptype ⇒ HasHeader (Header (TestBlockWith ptype)) | |||||
Defined in Test.Util.TestBlock Methods getHeaderFields ∷ Header (TestBlockWith ptype) → HeaderFields (Header (TestBlockWith ptype)) Source # | |||||
HasHeader (Header BlockA) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Methods getHeaderFields ∷ Header BlockA → HeaderFields (Header BlockA) Source # | |||||
HasHeader (Header BlockB) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B Methods getHeaderFields ∷ Header BlockB → HeaderFields (Header BlockB) Source # | |||||
Serialise ptype ⇒ Serialise (Header (TestBlockWith ptype)) | |||||
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 # | |||||
Serialise (Header BlockB) Source # | |||||
DecodeDiskDep (NestedCtxt Header) BlockA Source # | |||||
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 # | |||||
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 # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDiskDepIx ∷ CodecConfig BlockA → Decoder s (SomeSecond (NestedCtxt Header) BlockA) Source # | |||||
DecodeDiskDepIx (NestedCtxt Header) BlockB Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B Methods decodeDiskDepIx ∷ CodecConfig BlockB → Decoder s (SomeSecond (NestedCtxt Header) BlockB) Source # | |||||
EncodeDiskDep (NestedCtxt Header) BlockA Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDiskDep ∷ CodecConfig BlockA → NestedCtxt Header BlockA a → a → Encoding Source # | |||||
EncodeDiskDep (NestedCtxt Header) BlockB Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDiskDep ∷ CodecConfig BlockB → NestedCtxt Header BlockB a → a → Encoding Source # | |||||
EncodeDiskDepIx (NestedCtxt Header) BlockA Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDiskDepIx ∷ CodecConfig BlockA → SomeSecond (NestedCtxt Header) BlockA → Encoding Source # | |||||
EncodeDiskDepIx (NestedCtxt Header) BlockB Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDiskDepIx ∷ CodecConfig BlockB → SomeSecond (NestedCtxt Header) BlockB → Encoding Source # | |||||
Serialise ptype ⇒ DecodeDiskDep (NestedCtxt Header) (TestBlockWith ptype) | |||||
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)) | |||||
Defined in Test.Util.TestBlock Methods encodeDisk ∷ CodecConfig (TestBlockWith ptype) → Header (TestBlockWith ptype) → Encoding Source # | |||||
Serialise ptype ⇒ EncodeDiskDep (NestedCtxt Header) (TestBlockWith ptype) | |||||
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)) | |||||
Defined in Test.Util.TestBlock Methods decodeDisk ∷ CodecConfig (TestBlockWith ptype) → ∀ s. Decoder s (ByteString → Header (TestBlockWith ptype)) Source # | |||||
EncodeDiskDep (NestedCtxt Header) m ⇒ EncodeDiskDep (NestedCtxt Header) (DualBlock m a) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods encodeDiskDep ∷ CodecConfig (DualBlock m a) → NestedCtxt Header (DualBlock m a) a0 → a0 → Encoding Source # | |||||
EncodeDiskDepIx (NestedCtxt Header) m ⇒ EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods encodeDiskDepIx ∷ CodecConfig (DualBlock m a) → SomeSecond (NestedCtxt Header) (DualBlock m a) → Encoding Source # | |||||
Show (Header m) ⇒ Show (DualHeader m a) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → DualHeader m a → ShowS # show ∷ DualHeader m a → String # showList ∷ [DualHeader m a] → ShowS # | |||||
Bridge m a ⇒ HasHeader (DualHeader m a) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods getHeaderFields ∷ DualHeader m a → HeaderFields (DualHeader m a) Source # | |||||
data Header BlockA Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||
data Header BlockB Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||
type HeaderHash (Header blk ∷ Type) | |||||
Defined in Ouroboros.Consensus.Block.Abstract | |||||
type Rep (Header BlockA) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A type Rep (Header BlockA) = D1 ('MetaData "Header" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "HdrA" 'PrefixI 'True) (S1 ('MetaSel ('Just "hdrA_fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderFields BlockA)) :*: S1 ('MetaSel ('Just "hdrA_prev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash BlockA)))) | |||||
type Rep (Header BlockB) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B type Rep (Header BlockB) = D1 ('MetaData "Header" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "HdrB" 'PrefixI 'True) (S1 ('MetaSel ('Just "hdrB_fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeaderFields BlockB)) :*: S1 ('MetaSel ('Just "hdrB_prev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ChainHash BlockB)))) | |||||
type BlockProtocol (Header blk) | |||||
Defined in Ouroboros.Consensus.Block.Abstract | |||||
newtype Header (DisableDiffusionPipelining blk) | |||||
newtype Header (SelectViewDiffusionPipelining blk) | |||||
Defined in Ouroboros.Consensus.Block.SupportsDiffusionPipelining newtype Header (SelectViewDiffusionPipelining blk) = SelectViewDiffusionPipeliningHeader (Header blk) | |||||
newtype Header (HardForkBlock xs) | |||||
newtype Header (TestBlockWith ptype) | |||||
Defined in Test.Util.TestBlock | |||||
type Signed (Header (TestBlockWith ptype)) | |||||
Defined in Test.Util.TestBlock | |||||
newtype Header (DualBlock m a) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual |
data family LedgerState blk (mk ∷ MapKind) Source #
Ledger state associated with a block
This is the Consensus notion of a Ledger ledger state. Each block type is
associated with one of the Ledger types for the ledger state. Virtually
every concept in this codebase revolves around this type, or the referenced
blk
. Whenever we use the type variable l
we intend to signal that the
expected instantiation is either a LedgerState
or some wrapper over it
(like the ExtLedgerState
).
This type is parametrized over mk ::
to express the
MapKind
LedgerTables
contained in such a LedgerState
. See LedgerTables
for a
more thorough description.
The main operations we can do with a LedgerState
are ticking (defined in
IsLedger
), and applying a block (defined in
ApplyBlock
).
Instances
DecodeDisk BlockA (LedgerState BlockA EmptyMK) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods decodeDisk ∷ CodecConfig BlockA → ∀ s. Decoder s (LedgerState BlockA EmptyMK) Source # | |||||||||
DecodeDisk BlockB (LedgerState BlockB EmptyMK) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Methods decodeDisk ∷ CodecConfig BlockB → ∀ s. Decoder s (LedgerState BlockB EmptyMK) Source # | |||||||||
EncodeDisk BlockA (LedgerState BlockA EmptyMK) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods encodeDisk ∷ CodecConfig BlockA → LedgerState BlockA EmptyMK → Encoding Source # | |||||||||
EncodeDisk BlockB (LedgerState BlockB EmptyMK) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Methods encodeDisk ∷ CodecConfig BlockB → LedgerState BlockB EmptyMK → Encoding Source # | |||||||||
Bridge m a ⇒ GetTip (LedgerState (DualBlock m a)) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods getTip ∷ ∀ (mk ∷ MapKind). LedgerState (DualBlock m a) mk → Point (LedgerState (DualBlock m a)) Source # | |||||||||
GetTip (LedgerState (TestBlockWith ptype)) | |||||||||
Defined in Test.Util.TestBlock Methods getTip ∷ ∀ (mk ∷ MapKind). LedgerState (TestBlockWith ptype) mk → Point (LedgerState (TestBlockWith ptype)) Source # | |||||||||
GetTip (LedgerState BlockA) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods getTip ∷ ∀ (mk ∷ MapKind). LedgerState BlockA mk → Point (LedgerState BlockA) Source # | |||||||||
GetTip (LedgerState BlockB) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Methods getTip ∷ ∀ (mk ∷ MapKind). LedgerState BlockB mk → Point (LedgerState BlockB) Source # | |||||||||
Bridge m a ⇒ IsLedger (LedgerState (DualBlock m a)) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual Associated Types
Methods applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → SlotNo → LedgerState (DualBlock m a) EmptyMK → LedgerResult (LedgerState (DualBlock m a)) (Ticked (LedgerState (DualBlock m a)) DiffMK) Source # | |||||||||
PayloadSemantics ptype ⇒ IsLedger (LedgerState (TestBlockWith ptype)) | |||||||||
Defined in Test.Util.TestBlock Associated Types
Methods applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → SlotNo → LedgerState (TestBlockWith ptype) EmptyMK → LedgerResult (LedgerState (TestBlockWith ptype)) (Ticked (LedgerState (TestBlockWith ptype)) DiffMK) Source # | |||||||||
IsLedger (LedgerState BlockA) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Associated Types
Methods applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockA) → SlotNo → LedgerState BlockA EmptyMK → LedgerResult (LedgerState BlockA) (Ticked (LedgerState BlockA) DiffMK) Source # | |||||||||
IsLedger (LedgerState BlockB) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Associated Types
Methods applyChainTickLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockB) → SlotNo → LedgerState BlockB EmptyMK → LedgerResult (LedgerState BlockB) (Ticked (LedgerState BlockB) DiffMK) Source # | |||||||||
CanStowLedgerTables (LedgerState m) ⇒ CanStowLedgerTables (LedgerState (DualBlock m a)) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods stowLedgerTables ∷ LedgerState (DualBlock m a) ValuesMK → LedgerState (DualBlock m a) EmptyMK Source # unstowLedgerTables ∷ LedgerState (DualBlock m a) EmptyMK → LedgerState (DualBlock m a) ValuesMK Source # | |||||||||
CanStowLedgerTables (LedgerState TestBlock) | |||||||||
CanStowLedgerTables (LedgerState BlockA) Source # | |||||||||
CanStowLedgerTables (LedgerState BlockB) Source # | |||||||||
(Bridge m a, NoThunks (TxOut (LedgerState m)), NoThunks (TxIn (LedgerState m)), Show (TxOut (LedgerState m)), Show (TxIn (LedgerState m)), Eq (TxOut (LedgerState m)), Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m))) ⇒ HasLedgerTables (LedgerState (DualBlock m a)) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (DualBlock m a) mk → LedgerTables (LedgerState (DualBlock m a)) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState (DualBlock m a) any → LedgerTables (LedgerState (DualBlock m a)) mk → LedgerState (DualBlock m a) mk Source # | |||||||||
HasLedgerTables (LedgerState TestBlock) | |||||||||
Defined in Test.Util.TestBlock Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState TestBlock mk → LedgerTables (LedgerState TestBlock) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState TestBlock any → LedgerTables (LedgerState TestBlock) mk → LedgerState TestBlock mk Source # | |||||||||
HasLedgerTables (LedgerState BlockA) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState BlockA mk → LedgerTables (LedgerState BlockA) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState BlockA any → LedgerTables (LedgerState BlockA) mk → LedgerState BlockA mk Source # | |||||||||
HasLedgerTables (LedgerState BlockB) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState BlockB mk → LedgerTables (LedgerState BlockB) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerState BlockB any → LedgerTables (LedgerState BlockB) mk → LedgerState BlockB mk Source # | |||||||||
LedgerTablesAreTrivial (LedgerState TestBlock) | |||||||||
Defined in Test.Util.TestBlock Methods convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). LedgerState TestBlock mk → LedgerState TestBlock mk' Source # | |||||||||
LedgerTablesAreTrivial (LedgerState BlockA) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). LedgerState BlockA mk → LedgerState BlockA mk' Source # | |||||||||
LedgerTablesAreTrivial (LedgerState BlockB) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Methods convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). LedgerState BlockB mk → LedgerState BlockB mk' Source # | |||||||||
SerializeTablesWithHint (LedgerState (HardForkBlock '[BlockA, BlockB])) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock '[BlockA, BlockB])) ValuesMK) → LedgerTables (LedgerState (HardForkBlock '[BlockA, BlockB])) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (HardForkBlock '[BlockA, BlockB])) ValuesMK) → Decoder s (LedgerTables (LedgerState (HardForkBlock '[BlockA, BlockB])) ValuesMK) Source # | |||||||||
(Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m)), MemPack (TxOut (LedgerState m))) ⇒ SerializeTablesWithHint (LedgerState (DualBlock m a)) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (DualBlock m a)) ValuesMK) → LedgerTables (LedgerState (DualBlock m a)) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (DualBlock m a)) ValuesMK) → Decoder s (LedgerTables (LedgerState (DualBlock m a)) ValuesMK) Source # | |||||||||
(Ord k, MemPack k, MemPack v) ⇒ SerializeTablesWithHint (LedgerState (OTBlock k v)) | |||||||||
Defined in Test.Util.LedgerStateOnlyTables Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (OTBlock k v)) ValuesMK) → LedgerTables (LedgerState (OTBlock k v)) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState (OTBlock k v)) ValuesMK) → Decoder s (LedgerTables (LedgerState (OTBlock k v)) ValuesMK) Source # | |||||||||
SerializeTablesWithHint (LedgerState TestBlock) | |||||||||
Defined in Test.Util.TestBlock Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState TestBlock) ValuesMK) → LedgerTables (LedgerState TestBlock) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState TestBlock) ValuesMK) → Decoder s (LedgerTables (LedgerState TestBlock) ValuesMK) Source # | |||||||||
SerializeTablesWithHint (LedgerState BlockA) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState BlockA) ValuesMK) → LedgerTables (LedgerState BlockA) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState BlockA) ValuesMK) → Decoder s (LedgerTables (LedgerState BlockA) ValuesMK) Source # | |||||||||
SerializeTablesWithHint (LedgerState BlockB) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Methods encodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState BlockB) ValuesMK) → LedgerTables (LedgerState BlockB) ValuesMK → Encoding Source # decodeTablesWithHint ∷ SerializeTablesHint (LedgerTables (LedgerState BlockB) ValuesMK) → Decoder s (LedgerTables (LedgerState BlockB) ValuesMK) Source # | |||||||||
CanUpgradeLedgerTables (LedgerState (DualBlock m a)) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (DualBlock m a) mk1 → LedgerState (DualBlock m a) mk2 → LedgerTables (LedgerState (DualBlock m a)) ValuesMK → LedgerTables (LedgerState (DualBlock m a)) ValuesMK Source # | |||||||||
CanUpgradeLedgerTables (LedgerState (OTBlock k v)) | |||||||||
Defined in Test.Util.LedgerStateOnlyTables Methods upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState (OTBlock k v) mk1 → LedgerState (OTBlock k v) mk2 → LedgerTables (LedgerState (OTBlock k v)) ValuesMK → LedgerTables (LedgerState (OTBlock k v)) ValuesMK Source # | |||||||||
CanUpgradeLedgerTables (LedgerState TestBlock) | |||||||||
Defined in Test.Util.TestBlock Methods upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState TestBlock mk1 → LedgerState TestBlock mk2 → LedgerTables (LedgerState TestBlock) ValuesMK → LedgerTables (LedgerState TestBlock) ValuesMK Source # | |||||||||
CanUpgradeLedgerTables (LedgerState BlockA) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState BlockA mk1 → LedgerState BlockA mk2 → LedgerTables (LedgerState BlockA) ValuesMK → LedgerTables (LedgerState BlockA) ValuesMK Source # | |||||||||
CanUpgradeLedgerTables (LedgerState BlockB) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Methods upgradeTables ∷ ∀ (mk1 ∷ MapKind) (mk2 ∷ MapKind). LedgerState BlockB mk1 → LedgerState BlockB mk2 → LedgerTables (LedgerState BlockB) ValuesMK → LedgerTables (LedgerState BlockB) ValuesMK Source # | |||||||||
ApplyBlock (LedgerState BlockA) BlockA Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState BlockA) → BlockA → Ticked (LedgerState BlockA) ValuesMK → Except (LedgerErr (LedgerState BlockA)) (LedgerResult (LedgerState BlockA) (LedgerState BlockA DiffMK)) Source # applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockA) → BlockA → Ticked (LedgerState BlockA) ValuesMK → Except (LedgerErr (LedgerState BlockA)) (LedgerResult (LedgerState BlockA) (LedgerState BlockA DiffMK)) Source # reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockA) → BlockA → Ticked (LedgerState BlockA) ValuesMK → LedgerResult (LedgerState BlockA) (LedgerState BlockA DiffMK) Source # getBlockKeySets ∷ BlockA → LedgerTables (LedgerState BlockA) KeysMK Source # | |||||||||
ApplyBlock (LedgerState BlockB) BlockB Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Methods applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState BlockB) → BlockB → Ticked (LedgerState BlockB) ValuesMK → Except (LedgerErr (LedgerState BlockB)) (LedgerResult (LedgerState BlockB) (LedgerState BlockB DiffMK)) Source # applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockB) → BlockB → Ticked (LedgerState BlockB) ValuesMK → Except (LedgerErr (LedgerState BlockB)) (LedgerResult (LedgerState BlockB) (LedgerState BlockB DiffMK)) Source # reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState BlockB) → BlockB → Ticked (LedgerState BlockB) ValuesMK → LedgerResult (LedgerState BlockB) (LedgerState BlockB DiffMK) Source # getBlockKeySets ∷ BlockB → LedgerTables (LedgerState BlockB) KeysMK Source # | |||||||||
PayloadSemantics ptype ⇒ ApplyBlock (LedgerState (TestBlockWith ptype)) (TestBlockWith ptype) | |||||||||
Defined in Test.Util.TestBlock Methods applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) ValuesMK → Except (LedgerErr (LedgerState (TestBlockWith ptype))) (LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype) DiffMK)) Source # applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) ValuesMK → Except (LedgerErr (LedgerState (TestBlockWith ptype))) (LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype) DiffMK)) Source # reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (TestBlockWith ptype)) → TestBlockWith ptype → Ticked (LedgerState (TestBlockWith ptype)) ValuesMK → LedgerResult (LedgerState (TestBlockWith ptype)) (LedgerState (TestBlockWith ptype) DiffMK) Source # getBlockKeySets ∷ TestBlockWith ptype → LedgerTables (LedgerState (TestBlockWith ptype)) KeysMK Source # | |||||||||
Bridge m a ⇒ ApplyBlock (LedgerState (DualBlock m a)) (DualBlock m a) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods applyBlockLedgerResultWithValidation ∷ ValidationPolicy → ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) ValuesMK → Except (LedgerErr (LedgerState (DualBlock m a))) (LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a) DiffMK)) Source # applyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) ValuesMK → Except (LedgerErr (LedgerState (DualBlock m a))) (LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a) DiffMK)) Source # reapplyBlockLedgerResult ∷ ComputeLedgerEvents → LedgerCfg (LedgerState (DualBlock m a)) → DualBlock m a → Ticked (LedgerState (DualBlock m a)) ValuesMK → LedgerResult (LedgerState (DualBlock m a)) (LedgerState (DualBlock m a) DiffMK) Source # getBlockKeySets ∷ DualBlock m a → LedgerTables (LedgerState (DualBlock m a)) KeysMK Source # | |||||||||
PayloadSemantics ptype ⇒ DecodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype) EmptyMK) | |||||||||
Defined in Test.Util.TestBlock Methods decodeDisk ∷ CodecConfig (TestBlockWith ptype) → ∀ s. Decoder s (LedgerState (TestBlockWith ptype) EmptyMK) Source # | |||||||||
PayloadSemantics ptype ⇒ EncodeDisk (TestBlockWith ptype) (LedgerState (TestBlockWith ptype) EmptyMK) | |||||||||
Defined in Test.Util.TestBlock Methods encodeDisk ∷ CodecConfig (TestBlockWith ptype) → LedgerState (TestBlockWith ptype) EmptyMK → Encoding Source # | |||||||||
Generic (LedgerState (OTBlock k v) mk) | |||||||||
Defined in Test.Util.LedgerStateOnlyTables Associated Types
Methods from ∷ LedgerState (OTBlock k v) mk → Rep (LedgerState (OTBlock k v) mk) x # to ∷ Rep (LedgerState (OTBlock k v) mk) x → LedgerState (OTBlock k v) mk # | |||||||||
Generic (LedgerState (TestBlockWith ptype) mk) | |||||||||
Defined in Test.Util.TestBlock Associated Types
Methods from ∷ LedgerState (TestBlockWith ptype) mk → Rep (LedgerState (TestBlockWith ptype) mk) x # to ∷ Rep (LedgerState (TestBlockWith ptype) mk) x → LedgerState (TestBlockWith ptype) mk # | |||||||||
Generic (LedgerState BlockA mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Associated Types
Methods from ∷ LedgerState BlockA mk → Rep (LedgerState BlockA mk) x # to ∷ Rep (LedgerState BlockA mk) x → LedgerState BlockA mk # | |||||||||
Generic (LedgerState BlockB mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Associated Types
Methods from ∷ LedgerState BlockB mk → Rep (LedgerState BlockB mk) x # to ∷ Rep (LedgerState BlockB mk) x → LedgerState BlockB mk # | |||||||||
(ShowMK mk, CanHardFork xs) ⇒ Show (LedgerState (HardForkBlock xs) mk) | |||||||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showsPrec ∷ Int → LedgerState (HardForkBlock xs) mk → ShowS # show ∷ LedgerState (HardForkBlock xs) mk → String # showList ∷ [LedgerState (HardForkBlock xs) mk] → ShowS # | |||||||||
(Bridge m a, ShowMK mk) ⇒ Show (LedgerState (DualBlock m a) mk) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual | |||||||||
(ShowMK mk, PayloadSemantics ptype) ⇒ Show (LedgerState (TestBlockWith ptype) mk) | |||||||||
Defined in Test.Util.TestBlock Methods showsPrec ∷ Int → LedgerState (TestBlockWith ptype) mk → ShowS # show ∷ LedgerState (TestBlockWith ptype) mk → String # showList ∷ [LedgerState (TestBlockWith ptype) mk] → ShowS # | |||||||||
Show (LedgerState BlockA mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||||||
Show (LedgerState BlockB mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||
(EqMK mk, CanHardFork xs) ⇒ Eq (LedgerState (HardForkBlock xs) mk) | |||||||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods (==) ∷ LedgerState (HardForkBlock xs) mk → LedgerState (HardForkBlock xs) mk → Bool # (/=) ∷ LedgerState (HardForkBlock xs) mk → LedgerState (HardForkBlock xs) mk → Bool # | |||||||||
(Bridge m a, EqMK mk) ⇒ Eq (LedgerState (DualBlock m a) mk) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods (==) ∷ LedgerState (DualBlock m a) mk → LedgerState (DualBlock m a) mk → Bool # (/=) ∷ LedgerState (DualBlock m a) mk → LedgerState (DualBlock m a) mk → Bool # | |||||||||
Eq (PayloadDependentState ptype mk) ⇒ Eq (LedgerState (TestBlockWith ptype) mk) | |||||||||
Defined in Test.Util.TestBlock Methods (==) ∷ LedgerState (TestBlockWith ptype) mk → LedgerState (TestBlockWith ptype) mk → Bool # (/=) ∷ LedgerState (TestBlockWith ptype) mk → LedgerState (TestBlockWith ptype) mk → Bool # | |||||||||
Eq (LedgerState BlockA mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods (==) ∷ LedgerState BlockA mk → LedgerState BlockA mk → Bool # (/=) ∷ LedgerState BlockA mk → LedgerState BlockA mk → Bool # | |||||||||
Eq (LedgerState BlockB mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Methods (==) ∷ LedgerState BlockB mk → LedgerState BlockB mk → Bool # (/=) ∷ LedgerState BlockB mk → LedgerState BlockB mk → Bool # | |||||||||
(NoThunksMK mk, CanHardFork xs) ⇒ NoThunks (LedgerState (HardForkBlock xs) mk) | |||||||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → LedgerState (HardForkBlock xs) mk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (HardForkBlock xs) mk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs) mk) → String Source # | |||||||||
NoThunks (LedgerState (DualBlock m a) mk) | |||||||||
NoThunks (PayloadDependentState ptype mk) ⇒ NoThunks (LedgerState (TestBlockWith ptype) mk) | |||||||||
Defined in Test.Util.TestBlock Methods noThunks ∷ Context → LedgerState (TestBlockWith ptype) mk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → LedgerState (TestBlockWith ptype) mk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (LedgerState (TestBlockWith ptype) mk) → String Source # | |||||||||
NoThunks (LedgerState BlockA mk) Source # | |||||||||
NoThunks (LedgerState BlockB mk) Source # | |||||||||
Bridge m a ⇒ GetTip (Ticked (LedgerState (DualBlock m a))) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual | |||||||||
GetTip (Ticked (LedgerState (TestBlockWith ptype))) | |||||||||
Defined in Test.Util.TestBlock Methods getTip ∷ ∀ (mk ∷ MapKind). Ticked (LedgerState (TestBlockWith ptype)) mk → Point (Ticked (LedgerState (TestBlockWith ptype))) Source # | |||||||||
GetTip (Ticked (LedgerState BlockA)) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||||||
GetTip (Ticked (LedgerState BlockB)) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||
(Ord k, Eq v, MemPack k, MemPack v) ⇒ CanStowLedgerTables (OTLedgerState k v) | |||||||||
Defined in Test.Util.LedgerStateOnlyTables Methods stowLedgerTables ∷ OTLedgerState k v ValuesMK → OTLedgerState k v EmptyMK Source # unstowLedgerTables ∷ OTLedgerState k v EmptyMK → OTLedgerState k v ValuesMK Source # | |||||||||
(Bridge m a, NoThunks (TxOut (LedgerState m)), NoThunks (TxIn (LedgerState m)), Show (TxOut (LedgerState m)), Show (TxIn (LedgerState m)), Eq (TxOut (LedgerState m)), Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m))) ⇒ HasLedgerTables (Ticked (LedgerState (DualBlock m a))) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (DualBlock m a)) mk → LedgerTables (Ticked (LedgerState (DualBlock m a))) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (DualBlock m a)) any → LedgerTables (Ticked (LedgerState (DualBlock m a))) mk → Ticked (LedgerState (DualBlock m a)) mk Source # | |||||||||
HasLedgerTables (Ticked (LedgerState TestBlock)) | |||||||||
Defined in Test.Util.TestBlock Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState TestBlock) mk → LedgerTables (Ticked (LedgerState TestBlock)) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState TestBlock) any → LedgerTables (Ticked (LedgerState TestBlock)) mk → Ticked (LedgerState TestBlock) mk Source # | |||||||||
HasLedgerTables (Ticked (LedgerState BlockA)) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState BlockA) mk → LedgerTables (Ticked (LedgerState BlockA)) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState BlockA) any → LedgerTables (Ticked (LedgerState BlockA)) mk → Ticked (LedgerState BlockA) mk Source # | |||||||||
HasLedgerTables (Ticked (LedgerState BlockB)) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState BlockB) mk → LedgerTables (Ticked (LedgerState BlockB)) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState BlockB) any → LedgerTables (Ticked (LedgerState BlockB)) mk → Ticked (LedgerState BlockB) mk Source # | |||||||||
(Ord k, Eq v, Show k, Show v, MemPack k, MemPack v, NoThunks k, NoThunks v) ⇒ HasLedgerTables (OTLedgerState k v) | |||||||||
Defined in Test.Util.LedgerStateOnlyTables Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ OTLedgerState k v mk → LedgerTables (OTLedgerState k v) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ OTLedgerState k v any → LedgerTables (OTLedgerState k v) mk → OTLedgerState k v mk Source # | |||||||||
LedgerTablesAreTrivial (Ticked (LedgerState TestBlock)) | |||||||||
Defined in Test.Util.TestBlock Methods convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). Ticked (LedgerState TestBlock) mk → Ticked (LedgerState TestBlock) mk' Source # | |||||||||
LedgerTablesAreTrivial (Ticked (LedgerState BlockA)) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). Ticked (LedgerState BlockA) mk → Ticked (LedgerState BlockA) mk' Source # | |||||||||
LedgerTablesAreTrivial (Ticked (LedgerState BlockB)) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Methods convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). Ticked (LedgerState BlockB) mk → Ticked (LedgerState BlockB) mk' Source # | |||||||||
PayloadSemantics ptype ⇒ Serialise (LedgerState (TestBlockWith ptype) EmptyMK) | |||||||||
Defined in Test.Util.TestBlock Methods encode ∷ LedgerState (TestBlockWith ptype) EmptyMK → Encoding Source # decode ∷ Decoder s (LedgerState (TestBlockWith ptype) EmptyMK) Source # encodeList ∷ [LedgerState (TestBlockWith ptype) EmptyMK] → Encoding Source # decodeList ∷ Decoder s [LedgerState (TestBlockWith ptype) EmptyMK] Source # | |||||||||
Serialise (LedgerState BlockA mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods encode ∷ LedgerState BlockA mk → Encoding Source # decode ∷ Decoder s (LedgerState BlockA mk) Source # encodeList ∷ [LedgerState BlockA mk] → Encoding Source # decodeList ∷ Decoder s [LedgerState BlockA mk] Source # | |||||||||
Serialise (LedgerState BlockB mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Methods encode ∷ LedgerState BlockB mk → Encoding Source # decode ∷ Decoder s (LedgerState BlockB mk) Source # encodeList ∷ [LedgerState BlockB mk] → Encoding Source # decodeList ∷ Decoder s [LedgerState BlockB mk] Source # | |||||||||
(txout ~ TxOut (LedgerState m), IndexedMemPack (LedgerState m EmptyMK) txout) ⇒ IndexedMemPack (LedgerState (DualBlock m a) EmptyMK) txout | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods indexedPackedByteCount ∷ LedgerState (DualBlock m a) EmptyMK → txout → Int Source # indexedPackM ∷ LedgerState (DualBlock m a) EmptyMK → txout → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState (DualBlock m a) EmptyMK → Unpack b txout Source # indexedTypeName ∷ LedgerState (DualBlock m a) EmptyMK → String Source # | |||||||||
MemPack v ⇒ IndexedMemPack (LedgerState (OTBlock k v) EmptyMK) v | |||||||||
Defined in Test.Util.LedgerStateOnlyTables Methods indexedPackedByteCount ∷ LedgerState (OTBlock k v) EmptyMK → v → Int Source # indexedPackM ∷ LedgerState (OTBlock k v) EmptyMK → v → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState (OTBlock k v) EmptyMK → Unpack b v Source # indexedTypeName ∷ LedgerState (OTBlock k v) EmptyMK → String Source # | |||||||||
IndexedMemPack (LedgerState TestBlock EmptyMK) Void | |||||||||
Defined in Test.Util.TestBlock Methods indexedPackedByteCount ∷ LedgerState TestBlock EmptyMK → Void → Int Source # indexedPackM ∷ LedgerState TestBlock EmptyMK → Void → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState TestBlock EmptyMK → Unpack b Void Source # indexedTypeName ∷ LedgerState TestBlock EmptyMK → String Source # | |||||||||
IndexedMemPack (LedgerState BlockA EmptyMK) Void Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods indexedPackedByteCount ∷ LedgerState BlockA EmptyMK → Void → Int Source # indexedPackM ∷ LedgerState BlockA EmptyMK → Void → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState BlockA EmptyMK → Unpack b Void Source # indexedTypeName ∷ LedgerState BlockA EmptyMK → String Source # | |||||||||
IndexedMemPack (LedgerState BlockB EmptyMK) Void Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B Methods indexedPackedByteCount ∷ LedgerState BlockB EmptyMK → Void → Int Source # indexedPackM ∷ LedgerState BlockB EmptyMK → Void → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState BlockB EmptyMK → Unpack b Void Source # indexedTypeName ∷ LedgerState BlockB EmptyMK → String Source # | |||||||||
IndexedMemPack (LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK) (DefaultHardForkTxOut '[BlockA, BlockB]) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator Methods indexedPackedByteCount ∷ LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Int Source # indexedPackM ∷ LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → DefaultHardForkTxOut '[BlockA, BlockB] → Pack s () Source # indexedUnpackM ∷ Buffer b ⇒ LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → Unpack b (DefaultHardForkTxOut '[BlockA, BlockB]) Source # indexedTypeName ∷ LedgerState (HardForkBlock '[BlockA, BlockB]) EmptyMK → String Source # | |||||||||
StandardHash blk ⇒ StandardHash (LedgerState blk ∷ MapKind → Type) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Basics | |||||||||
Generic (Ticked (LedgerState (TestBlockWith ptype)) mk) | |||||||||
Defined in Test.Util.TestBlock Associated Types
Methods from ∷ Ticked (LedgerState (TestBlockWith ptype)) mk → Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) x # to ∷ Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) x → Ticked (LedgerState (TestBlockWith ptype)) mk # | |||||||||
Generic (Ticked (LedgerState BlockA) mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Associated Types
Methods from ∷ Ticked (LedgerState BlockA) mk → Rep (Ticked (LedgerState BlockA) mk) x # to ∷ Rep (Ticked (LedgerState BlockA) mk) x → Ticked (LedgerState BlockA) mk # | |||||||||
Show (Ticked (LedgerState BlockA) mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||||||
(Show k, Show v, Show (mk k v)) ⇒ Show (OTLedgerState k v mk) | |||||||||
Defined in Test.Util.LedgerStateOnlyTables Methods showsPrec ∷ Int → OTLedgerState k v mk → ShowS # show ∷ OTLedgerState k v mk → String # showList ∷ [OTLedgerState k v mk] → ShowS # | |||||||||
Eq (Ticked (LedgerState BlockA) mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A Methods (==) ∷ Ticked (LedgerState BlockA) mk → Ticked (LedgerState BlockA) mk → Bool # (/=) ∷ Ticked (LedgerState BlockA) mk → Ticked (LedgerState BlockA) mk → Bool # | |||||||||
(Ord k, Eq v, Eq (mk k v)) ⇒ Eq (OTLedgerState k v mk) | |||||||||
Defined in Test.Util.LedgerStateOnlyTables Methods (==) ∷ OTLedgerState k v mk → OTLedgerState k v mk → Bool # (/=) ∷ OTLedgerState k v mk → OTLedgerState k v mk → Bool # | |||||||||
NoThunks (Ticked (LedgerState (DualBlock m a)) mk) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual | |||||||||
(NoThunksMK mk, NoThunks (PayloadDependentState ptype mk)) ⇒ NoThunks (Ticked (LedgerState (TestBlockWith ptype)) mk) | |||||||||
Defined in Test.Util.TestBlock Methods noThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) mk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (TestBlockWith ptype)) mk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (TestBlockWith ptype)) mk) → String Source # | |||||||||
NoThunks (Ticked (LedgerState BlockA) mk) Source # | |||||||||
NoThunks (Ticked (LedgerState BlockB) mk) Source # | |||||||||
(NoThunks k, NoThunks v, NoThunks (mk k v)) ⇒ NoThunks (OTLedgerState k v mk) | |||||||||
Defined in Test.Util.LedgerStateOnlyTables | |||||||||
Inject (Flip LedgerState mk) | |||||||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → Flip LedgerState mk x → Flip LedgerState mk (HardForkBlock xs) Source # | |||||||||
Isomorphic (Flip LedgerState mk) | |||||||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ Flip LedgerState mk (HardForkBlock '[blk]) → Flip LedgerState mk blk Source # inject ∷ NoHardForks blk ⇒ Flip LedgerState mk blk → Flip LedgerState mk (HardForkBlock '[blk]) Source # | |||||||||
data LedgerState BlockA mk Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||||||
data LedgerState BlockB mk Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||
type AuxLedgerEvent (LedgerState (HardForkBlock xs)) | |||||||||
type AuxLedgerEvent (LedgerState (DualBlock m a)) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual | |||||||||
type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) | |||||||||
Defined in Test.Util.TestBlock type AuxLedgerEvent (LedgerState (TestBlockWith ptype)) = VoidLedgerEvent (LedgerState (TestBlockWith ptype)) | |||||||||
type AuxLedgerEvent (LedgerState BlockA) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||||||
type AuxLedgerEvent (LedgerState BlockB) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||
type LedgerCfg (LedgerState (HardForkBlock xs)) | |||||||||
type LedgerCfg (LedgerState (DualBlock m a)) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual | |||||||||
type LedgerCfg (LedgerState (TestBlockWith ptype)) | |||||||||
Defined in Test.Util.TestBlock | |||||||||
type LedgerCfg (LedgerState BlockA) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||||||
type LedgerCfg (LedgerState BlockB) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||
type LedgerErr (LedgerState (HardForkBlock xs)) | |||||||||
type LedgerErr (LedgerState (DualBlock m a)) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual | |||||||||
type LedgerErr (LedgerState (TestBlockWith ptype)) | |||||||||
Defined in Test.Util.TestBlock | |||||||||
type LedgerErr (LedgerState BlockA) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||||||
type LedgerErr (LedgerState BlockB) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||
newtype LedgerState (HardForkBlock xs) mk | |||||||||
data LedgerState (TestBlockWith ptype) mk | |||||||||
Defined in Test.Util.TestBlock data LedgerState (TestBlockWith ptype) mk = TestLedger {
| |||||||||
type TxIn (LedgerState (HardForkBlock xs)) | Must be the | ||||||||
type TxIn (LedgerState (DualBlock m a)) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual | |||||||||
type TxIn (LedgerState TestBlock) | |||||||||
Defined in Test.Util.TestBlock | |||||||||
type TxIn (LedgerState BlockA) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||||||
type TxIn (LedgerState BlockB) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||
type TxOut (LedgerState (HardForkBlock xs)) | Must be the | ||||||||
type TxOut (LedgerState (DualBlock m a)) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual | |||||||||
type TxOut (LedgerState TestBlock) | |||||||||
Defined in Test.Util.TestBlock | |||||||||
type TxOut (LedgerState BlockA) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||||||
type TxOut (LedgerState BlockB) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||
type Rep (LedgerState (OTBlock k v) mk) | |||||||||
Defined in Test.Util.LedgerStateOnlyTables type Rep (LedgerState (OTBlock k v) mk) = D1 ('MetaData "LedgerState" "Test.Util.LedgerStateOnlyTables" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "OTLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "otlsLedgerState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ValuesMK k v)) :*: S1 ('MetaSel ('Just "otlsLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OTLedgerTables k v mk)))) | |||||||||
type Rep (LedgerState (TestBlockWith ptype) mk) | |||||||||
Defined in Test.Util.TestBlock type Rep (LedgerState (TestBlockWith ptype) mk) = D1 ('MetaData "LedgerState" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'False) (C1 ('MetaCons "TestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "lastAppliedPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point (TestBlockWith ptype))) :*: S1 ('MetaSel ('Just "payloadDependentState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PayloadDependentState ptype mk)))) | |||||||||
type Rep (LedgerState BlockA mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A type Rep (LedgerState BlockA mk) = D1 ('MetaData "LedgerState" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "LgrA" 'PrefixI 'True) (S1 ('MetaSel ('Just "lgrA_tip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point BlockA)) :*: S1 ('MetaSel ('Just "lgrA_transition") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SlotNo)))) | |||||||||
type Rep (LedgerState BlockB mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.B type Rep (LedgerState BlockB mk) = D1 ('MetaData "LedgerState" "Test.Consensus.HardFork.Combinator.B" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "LgrB" 'PrefixI 'True) (S1 ('MetaSel ('Just "lgrB_tip") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point BlockB)))) | |||||||||
data LedgerState (DualBlock m a) mk | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual | |||||||||
data LedgerState (OTBlock k v) mk | |||||||||
Defined in Test.Util.LedgerStateOnlyTables data LedgerState (OTBlock k v) mk = OTLedgerState {
| |||||||||
type TxIn (OTLedgerState k v) | |||||||||
Defined in Test.Util.LedgerStateOnlyTables | |||||||||
type TxOut (OTLedgerState k v) | |||||||||
Defined in Test.Util.LedgerStateOnlyTables | |||||||||
data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind) | |||||||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind) = TickedHardForkLedgerState {} | |||||||||
data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Dual data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind) = TickedDualLedgerState {} | |||||||||
newtype Ticked (LedgerState (TestBlockWith ptype) ∷ MapKind → Type) (mk ∷ MapKind) | |||||||||
Defined in Test.Util.TestBlock newtype Ticked (LedgerState (TestBlockWith ptype) ∷ MapKind → Type) (mk ∷ MapKind) = TickedTestLedger {
| |||||||||
newtype Ticked (LedgerState BlockA) (mk ∷ MapKind) Source # | Ticking has no state on the A ledger state | ||||||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||||||
newtype Ticked (LedgerState BlockB) (mk ∷ MapKind) Source # | Ticking has no state on the B ledger state | ||||||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||||||
type HeaderHash (LedgerState blk ∷ MapKind → Type) | |||||||||
Defined in Ouroboros.Consensus.Ledger.Basics | |||||||||
type Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) | |||||||||
Defined in Test.Util.TestBlock type Rep (Ticked (LedgerState (TestBlockWith ptype)) mk) = D1 ('MetaData "Ticked" "Test.Util.TestBlock" "ouroboros-consensus-0.26.0.0-inplace-unstable-consensus-testlib" 'True) (C1 ('MetaCons "TickedTestLedger" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedTestLedger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState (TestBlockWith ptype) mk)))) | |||||||||
type Rep (Ticked (LedgerState BlockA) mk) Source # | |||||||||
Defined in Test.Consensus.HardFork.Combinator.A type Rep (Ticked (LedgerState BlockA) mk) = D1 ('MetaData "Ticked" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "TickedLedgerStateA" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTickedLedgerStateA") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LedgerState BlockA mk)))) |
newtype LedgerTables (l ∷ LedgerStateKind) (mk ∷ MapKind) Source #
The Ledger Tables represent the portion of the data on disk that has been pulled from disk and attached to the in-memory Ledger State or that will eventually be written to disk.
With UTxO-HD and the split of the Ledger ledger state into the in-memory
part and the on-disk part, this splitting was reflected in the new type
parameter added to the (Consensus)
LedgerState
, to which we refer as "the
MapKind" or mk
.
Every LedgerState
(or LedgerState
-like
type, such as the ExtLedgerState
) is
associated with a LedgerTables
and they both share the mk
. They both are
of kind LedgerStateKind
. LedgerTables
is just a way to refer only to a
partial view of the on-disk data without having the rest of the in-memory
LedgerState
in scope.
The mk
can be instantiated to anything that is map-like, i.e. that expects
two type parameters, the key and the value.
Constructors
LedgerTables | |
Fields
|
Instances
(Ord (TxIn l), Eq (TxOut l), Show (TxIn l), Show (TxOut l), NoThunks (TxIn l), NoThunks (TxOut l), MemPack (TxIn l), IndexedMemPack (MemPackIdx l EmptyMK) (TxOut l)) ⇒ HasLedgerTables (LedgerTables l) | |||||
Defined in Ouroboros.Consensus.Ledger.Tables Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerTables l mk → LedgerTables (LedgerTables l) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ LedgerTables l any → LedgerTables (LedgerTables l) mk → LedgerTables l mk Source # | |||||
Generic (LedgerTables l mk) | |||||
Defined in Ouroboros.Consensus.Ledger.Tables.Basics Associated Types
Methods from ∷ LedgerTables l mk → Rep (LedgerTables l mk) x # to ∷ Rep (LedgerTables l mk) x → LedgerTables l mk # | |||||
Show (mk (TxIn l) (TxOut l)) ⇒ Show (LedgerTables l mk) | |||||
Defined in Ouroboros.Consensus.Ledger.Tables.Basics Methods showsPrec ∷ Int → LedgerTables l mk → ShowS # show ∷ LedgerTables l mk → String # showList ∷ [LedgerTables l mk] → ShowS # | |||||
Eq (mk (TxIn l) (TxOut l)) ⇒ Eq (LedgerTables l mk) | |||||
Defined in Ouroboros.Consensus.Ledger.Tables.Basics Methods (==) ∷ LedgerTables l mk → LedgerTables l mk → Bool # (/=) ∷ LedgerTables l mk → LedgerTables l mk → Bool # | |||||
NoThunks (mk (TxIn l) (TxOut l)) ⇒ NoThunks (LedgerTables l mk) | |||||
Defined in Ouroboros.Consensus.Ledger.Tables.Basics | |||||
type TxIn (LedgerTables l) | |||||
Defined in Ouroboros.Consensus.Ledger.Tables.Basics | |||||
type TxOut (LedgerTables l) | |||||
Defined in Ouroboros.Consensus.Ledger.Tables.Basics | |||||
type Rep (LedgerTables l mk) | |||||
Defined in Ouroboros.Consensus.Ledger.Tables.Basics type Rep (LedgerTables l mk) = D1 ('MetaData "LedgerTables" "Ouroboros.Consensus.Ledger.Tables.Basics" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "LedgerTables" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk (TxIn l) (TxOut l))))) | |||||
type SerializeTablesHint (LedgerTables l ValuesMK) | |||||
Defined in Ouroboros.Consensus.Ledger.Tables | |||||
type InitHint (LedgerTables l ValuesMK) | |||||
type ReadHint (LedgerTables l ValuesMK) | |||||
type WriteHint (LedgerTables l DiffMK) | |||||
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
SameDepIndex (NestedCtxt_ m f) ⇒ SameDepIndex (NestedCtxt_ (DualBlock m a) f ∷ Type → Type) | |
Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex ∷ NestedCtxt_ (DualBlock m a) f a0 → NestedCtxt_ (DualBlock m a) f b → Maybe (a0 :~: b) Source # | |
SameDepIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type) | |
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 ∷ Type → Type) Source # | |
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 ∷ Type → Type) Source # | |
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 ∷ Type → Type) | |
Defined in Test.Util.TestBlock 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) ∷ Type) Source # | |
TrivialDependency (NestedCtxt_ BlockA f ∷ Type → Type) Source # | |
Defined in Test.Consensus.HardFork.Combinator.A Methods hasSingleIndex ∷ NestedCtxt_ BlockA f a → NestedCtxt_ BlockA f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ BlockA f (TrivialIndex (NestedCtxt_ BlockA f) ∷ Type) Source # | |
TrivialDependency (NestedCtxt_ BlockB f ∷ Type → Type) Source # | |
Defined in Test.Consensus.HardFork.Combinator.B Methods hasSingleIndex ∷ NestedCtxt_ BlockB f a → NestedCtxt_ BlockB f b → a :~: b Source # indexIsTrivial ∷ NestedCtxt_ BlockB f (TrivialIndex (NestedCtxt_ BlockB f) ∷ Type) Source # | |
Show (NestedCtxt_ m f x) ⇒ Show (NestedCtxt_ (DualBlock m a) f x) | |
Defined in Ouroboros.Consensus.Ledger.Dual | |
Show (NestedCtxt_ (TestBlockWith ptype) f a) | |
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 # | |
Defined in Test.Consensus.HardFork.Combinator.A | |
Show (NestedCtxt_ BlockB f a) Source # | |
Defined in Test.Consensus.HardFork.Combinator.B | |
data NestedCtxt_ BlockA f a Source # | |
Defined in Test.Consensus.HardFork.Combinator.A | |
data NestedCtxt_ BlockB f a Source # | |
Defined in Test.Consensus.HardFork.Combinator.B | |
type TrivialIndex (NestedCtxt_ (TestBlockWith ptype) f ∷ Type → Type) | |
Defined in Test.Util.TestBlock | |
type TrivialIndex (NestedCtxt_ BlockA f ∷ Type → Type) Source # | |
Defined in Test.Consensus.HardFork.Combinator.A | |
type TrivialIndex (NestedCtxt_ BlockB f ∷ Type → Type) Source # | |
Defined in Test.Consensus.HardFork.Combinator.B | |
data NestedCtxt_ (HardForkBlock xs) a b | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Block data NestedCtxt_ (HardForkBlock xs) a b where
| |
data NestedCtxt_ (TestBlockWith ptype) f a | |
Defined in Test.Util.TestBlock data NestedCtxt_ (TestBlockWith ptype) f a where
| |
newtype NestedCtxt_ (DualBlock m a) f x | |
Defined in Ouroboros.Consensus.Ledger.Dual newtype NestedCtxt_ (DualBlock m a) f x where
|
data family StorageConfig blk Source #
Config needed for the
NodeInitStorage
class. Defined here to
avoid circular dependencies.
Instances
Isomorphic StorageConfig | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ StorageConfig (HardForkBlock '[blk]) → StorageConfig blk Source # inject ∷ NoHardForks blk ⇒ StorageConfig blk → StorageConfig (HardForkBlock '[blk]) Source # | |||||
Generic (StorageConfig (DualBlock m a)) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual Associated Types
Methods from ∷ StorageConfig (DualBlock m a) → Rep (StorageConfig (DualBlock m a)) x # to ∷ Rep (StorageConfig (DualBlock m a)) x → StorageConfig (DualBlock m a) # | |||||
Generic (StorageConfig TestBlock) | |||||
Defined in Test.Util.TestBlock Associated Types
Methods from ∷ StorageConfig TestBlock → Rep (StorageConfig TestBlock) x # to ∷ Rep (StorageConfig TestBlock) x → StorageConfig TestBlock # | |||||
Generic (StorageConfig BlockA) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Associated Types
Methods from ∷ StorageConfig BlockA → Rep (StorageConfig BlockA) x # to ∷ Rep (StorageConfig BlockA) x → StorageConfig BlockA # | |||||
Generic (StorageConfig BlockB) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B Associated Types
Methods from ∷ StorageConfig BlockB → Rep (StorageConfig BlockB) x # to ∷ Rep (StorageConfig BlockB) x → StorageConfig BlockB # | |||||
Show (StorageConfig TestBlock) | |||||
Defined in Test.Util.TestBlock | |||||
CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs)) | |||||
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 m), NoThunks (StorageConfig a)) ⇒ NoThunks (StorageConfig (DualBlock m a)) | |||||
NoThunks (StorageConfig TestBlock) | |||||
NoThunks (StorageConfig BlockA) Source # | |||||
NoThunks (StorageConfig BlockB) Source # | |||||
data StorageConfig TestBlock | The | ||||
Defined in Test.Util.TestBlock | |||||
data StorageConfig BlockA Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A | |||||
data StorageConfig BlockB Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||
type Rep (StorageConfig (DualBlock m a)) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-0.26.0.0-inplace" 'False) (C1 ('MetaCons "DualStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dualStorageConfigMain") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig m)) :*: S1 ('MetaSel ('Just "dualStorageConfigAux") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StorageConfig a)))) | |||||
type Rep (StorageConfig TestBlock) | |||||
type Rep (StorageConfig BlockA) Source # | |||||
type Rep (StorageConfig BlockB) Source # | |||||
newtype StorageConfig (HardForkBlock xs) | |||||
data StorageConfig (DualBlock m a) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual |
A generalized transaction, GenTx
, identifier.
Instances
SerialiseNodeToClient BlockA (GenTxId BlockA) Source # | |||||
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 # | |||||
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 # | |||||
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 # | |||||
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 # | |||||
(Typeable m, Typeable a) ⇒ ShowProxy (TxId (GenTx (DualBlock m a)) ∷ Type) | |||||
Generic (TxId (GenTx BlockA)) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A Associated Types
| |||||
Generic (TxId (GenTx BlockB)) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B | |||||
Show (GenTxId m) ⇒ Show (TxId (GenTx (DualBlock m a))) | |||||
Show (TxId (GenTx BlockA)) Source # | |||||
Show (TxId (GenTx BlockB)) Source # | |||||
Eq (GenTxId m) ⇒ Eq (TxId (GenTx (DualBlock m a))) | |||||
Eq (TxId (GenTx BlockA)) Source # | |||||
Eq (TxId (GenTx BlockB)) Source # | |||||
Ord (GenTxId m) ⇒ Ord (TxId (GenTx (DualBlock m a))) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual Methods compare ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Ordering # (<) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (<=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (>) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # (>=) ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → Bool # max ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) # min ∷ TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) → TxId (GenTx (DualBlock m a)) # | |||||
Ord (TxId (GenTx BlockA)) Source # | |||||
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 # | |||||
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 (DualBlock m a))) | |||||
NoThunks (TxId (GenTx BlockA)) Source # | |||||
NoThunks (TxId (GenTx BlockB)) Source # | |||||
Condense (TxId (GenTx BlockA)) Source # | |||||
Condense (TxId (GenTx BlockB)) Source # | |||||
Serialise (TxId (GenTx BlockA)) Source # | |||||
Serialise (TxId (GenTx BlockB)) Source # | |||||
type Rep (TxId (GenTx (HardForkBlock xs))) | |||||
Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.26.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs)))) | |||||
type Rep (TxId (GenTx BlockA)) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.A type Rep (TxId (GenTx BlockA)) = D1 ('MetaData "TxId" "Test.Consensus.HardFork.Combinator.A" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "TxIdA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) | |||||
type Rep (TxId (GenTx BlockB)) Source # | |||||
newtype TxId (GenTx (HardForkBlock xs)) | |||||
newtype TxId (GenTx (DualBlock m a)) | |||||
Defined in Ouroboros.Consensus.Ledger.Dual | |||||
newtype TxId (GenTx BlockA) Source # | |||||
data TxId (GenTx BlockB) Source # | |||||
Defined in Test.Consensus.HardFork.Combinator.B |