Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Ledger.Dual

6 types
1 class
43 values

Packageouroboros-consensus-4.2.1.0
Exports77
LicenceApache-2.0

valuectxtDualMain :: NestedCtxt_ (DualBlock m a) f x -> NestedCtxt_ m f x

valuedecodeDualBlock

:: (Bridge m a, Serialise a)
=> Decoder s (ByteString -> m)
-> Decoder s (ByteString -> DualBlock m a)

valuedecodeDualGenTx

:: (Bridge m a, Serialise (GenTx a))
=> Decoder s (GenTx m)
-> Decoder s (GenTx (DualBlock m a))

valuedecodeDualGenTxErr

:: Serialise (ApplyTxErr a)
=> Decoder s (ApplyTxErr m)
-> Decoder s (ApplyTxErr (DualBlock m a))

valuedecodeDualGenTxId

:: Decoder s (GenTxId m)
-> Decoder s (GenTxId (DualBlock m a))

valuedecodeDualHeader

:: Decoder s (ByteString -> Header m)
-> Decoder s (ByteString -> Header (DualBlock m a))

valuedecodeDualLedgerConfig

:: Decoder s (LedgerCfg LedgerState m)
-> Decoder s (LedgerCfg LedgerState a)
-> Decoder s (DualLedgerConfig m a)

valuedecodeDualLedgerState

:: (Bridge m a, Serialise (LedgerState a ValuesMK))
=> Decoder s (LedgerState m mk)
-> Decoder s (LedgerState (DualBlock m a) mk)

valuedualExtValidationErrorMain

:: ExtValidationError (DualBlock m a)
-> ExtValidationError m

valuedualTopLevelConfigMain :: TopLevelConfig (DualBlock m a) -> TopLevelConfig m

valueencodeDualBlock

:: (Bridge m a, Serialise a)
=> m -> Encoding
-> DualBlock m a
-> Encoding

valueencodeDualGenTx

:: (Bridge m a, Serialise (GenTx a))
=> GenTx m -> Encoding
-> GenTx (DualBlock m a)
-> Encoding

valueencodeDualGenTxErr

valueencodeDualGenTxId

:: GenTxId m -> Encoding
-> GenTxId (DualBlock m a)
-> Encoding

valueencodeDualHeader

:: Header m -> Encoding
-> Header (DualBlock m a)
-> Encoding

valueencodeDualLedgerConfig

:: LedgerCfg LedgerState m -> Encoding
-> LedgerCfg LedgerState a -> Encoding
-> DualLedgerConfig m a
-> Encoding

valueencodeDualLedgerState

:: (Bridge m a, Serialise (LedgerState a ValuesMK))
=> LedgerState m mk -> Encoding
-> LedgerState (DualBlock m a) mk
-> Encoding

data familydata family BlockConfig blk

Instances7Isomorphic, NoThunks, BlockConfig, …

Isomorphic BlockConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
NoThunks (BlockConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (BlockConfig (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data BlockConfig (DisableDiffusionPipelining blk)
- DisableDiffusionPipeliningBlockConfig (BlockConfig blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data BlockConfig (SelectViewDiffusionPipelining blk)
- SelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data BlockConfig (HardForkBlock xs)
- HardForkBlockConfighardForkBlockConfigPerEra :: PerEraBlockConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data BlockConfig (DualBlock m a)
- DualBlockConfigdualBlockConfigMain :: BlockConfig mdualBlockConfigAux :: BlockConfig a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorDisableDiffusionPipeliningBlockConfig (BlockConfig blk)

constructorSelectViewDiffusionPipeliningBlockConfig (BlockConfig blk)

constructorDualBlockConfig

Fields

dualBlockConfigMain :: BlockConfig m
dualBlockConfigAux :: BlockConfig a

valuedualBlockConfigAux :: BlockConfig (DualBlock m a) -> BlockConfig a

valuedualBlockConfigMain :: BlockConfig (DualBlock m a) -> BlockConfig m

data familydata family CodecConfig blk

Instances7Isomorphic, Generic, NoThunks, Rep, CodecConfig, …

Isomorphic CodecConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Generic (CodecConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (CodecConfig (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
(NoThunks (CodecConfig m), NoThunks (CodecConfig a)) => NoThunks (CodecConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" '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))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data CodecConfig (HardForkBlock xs)
- HardForkCodecConfighardForkCodecConfigPerEra :: PerEraCodecConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data CodecConfig (DualBlock m a)
- DualCodecConfigdualCodecConfigMain :: !CodecConfig mdualCodecConfigAux :: !CodecConfig a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorDualCodecConfig

Fields

dualCodecConfigMain :: !CodecConfig m
dualCodecConfigAux :: !CodecConfig a

valuedualCodecConfigAux :: CodecConfig (DualBlock m a) -> CodecConfig a

valuedualCodecConfigMain :: CodecConfig (DualBlock m a) -> CodecConfig m

data familydata family Header blk

Instances33GetHeader1, Inject, Isomorphic, StandardHash, ShowProxy, HasNestedContent, …

GetHeader1 HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Inject HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic HeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
StandardHash blk => StandardHash (Header blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
Typeable xs => ShowProxy (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasNestedContent Header (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
SerialiseHFC xs => ReconstructNestedCtxt Header (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
(Typeable m, Typeable a) => ShowProxy (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
HasNestedContent Header m => HasNestedContent Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
ReconstructNestedCtxt Header m => ReconstructNestedCtxt Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All (Compose Eq Header) xs => Eq (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => Show (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
NoThunks (Header (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasHeader (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
All CondenseConstraints xs => Condense (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
SerialiseHFC xs => DecodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => DecodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDiskDepIx (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDiskDep (NestedCtxt Header) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
EncodeDiskDepIx (NestedCtxt Header) m => EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
EncodeDiskDep (NestedCtxt Header) m => EncodeDiskDep (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (Header m) => Show (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => HasHeader (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All SingleEraBlock xs => Show (NestedCtxt_ (HardForkBlock xs) Header a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
type HeaderHash (Header blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
type BlockProtocol (Header blk) = BlockProtocol blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.Abstract
data Header (DisableDiffusionPipelining blk)
- DisableDiffusionPipeliningHeader (Header blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data Header (SelectViewDiffusionPipelining blk)
- SelectViewDiffusionPipeliningHeader (Header blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.SupportsDiffusionPipelining
data Header (HardForkBlock xs)
- HardForkHeadergetHardForkHeader :: OneEraHeader xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
data Header (DualBlock m a)
- DualHeaderdualHeaderMain :: Header m
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorDisableDiffusionPipeliningHeader (Header blk)

constructorSelectViewDiffusionPipeliningHeader (Header blk)

constructorDualHeader

Fields

dualHeaderMain :: Header m

valuedualHeaderMain :: Header (DualBlock m a) -> Header m

data familydata family StorageConfig blk

Instances7Isomorphic, Generic, NoThunks, Rep, StorageConfig, …

Isomorphic StorageConfigDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Generic (StorageConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (StorageConfig (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
(NoThunks (StorageConfig m), NoThunks (StorageConfig a)) => NoThunks (StorageConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" '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))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data StorageConfig (HardForkBlock xs)
- HardForkStorageConfighardForkStorageConfigPerEra :: PerEraStorageConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data StorageConfig (DualBlock m a)
- DualStorageConfigdualStorageConfigMain :: !StorageConfig mdualStorageConfigAux :: !StorageConfig a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorDualStorageConfig

Fields

dualStorageConfigMain :: !StorageConfig m
dualStorageConfigAux :: !StorageConfig a

valuedualStorageConfigAux :: StorageConfig (DualBlock m a) -> StorageConfig a

valuedualStorageConfigMain :: StorageConfig (DualBlock m a) -> StorageConfig m

data familydata family NestedCtxt_ blk :: (Type -> Type) -> Type -> Type

Instances6SameDepIndex, Show, NestedCtxt_

CanHardFork xs => SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
SameDepIndex (NestedCtxt_ m f) => SameDepIndex (NestedCtxt_ (DualBlock m a) f)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (NestedCtxt_ m f x) => Show (NestedCtxt_ (DualBlock m a) f x)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All SingleEraBlock xs => Show (NestedCtxt_ (HardForkBlock xs) Header a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
data NestedCtxt_ (HardForkBlock xs)
- NCZ :: !NestedCtxt_ x a b -> R:NestedCtxt_HardForkBlock (x ': xs1) a b
- NCS :: !NestedCtxt_ (HardForkBlock xs1) a b -> R:NestedCtxt_HardForkBlock (x ': xs1) a b
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
data NestedCtxt_ (DualBlock m a)
- CtxtDual :: NestedCtxt_ m f x -> R:NestedCtxt_DualBlockfx m a f x
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorCtxtDual :: NestedCtxt_ m f x -> R:NestedCtxt_DualBlockfx m a f x

data familydata family Validated x

Instances9Eq, Show, Generic, NoThunks, Rep, Validated, …

CanHardFork xs => Eq (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Show (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Bridge m a => Show (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Generic (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
NoThunks (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data Validated (GenTx (HardForkBlock xs))
- HardForkValidatedGenTxgetHardForkValidatedGenTx :: OneEraValidatedGenTx xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data Validated (GenTx (DualBlock m a))
- ValidatedDualGenTxvDualGenTxMain :: Validated (GenTx m)vDualGenTxAux :: Validated (GenTx a)vDualGenTxBridge :: BridgeTx m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorValidatedDualGenTx

Fields

vDualGenTxMain :: Validated (GenTx m)
vDualGenTxAux :: Validated (GenTx a)
vDualGenTxBridge :: BridgeTx m a

valuevDualGenTxAux :: Validated (GenTx (DualBlock m a)) -> Validated (GenTx a)

valuevDualGenTxBridge :: Validated (GenTx (DualBlock m a)) -> BridgeTx m a

valuevDualGenTxMain :: Validated (GenTx (DualBlock m a)) -> Validated (GenTx m)

data familydata family LedgerState blk (mk :: MapKind)

Instances39ApplyBlock, CanUpgradeLedgerTables, IsLedger, SerializeTablesWithHint, IndexedMemPack, CanStowLedgerTables, …

(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => ApplyBlock LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
(CanHardFork xs, HasHardForkTxOut xs) => CanUpgradeLedgerTables LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
CanHardFork xs => IsLedger LedgerState (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
(Bridge m a, HasLedgerTables LedgerState m) => HasLedgerTables LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => ApplyBlock LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanUpgradeLedgerTables LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => IsLedger LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Ord (TxIn m), MemPack (TxIn m), MemPack (TxOut m)) => SerializeTablesWithHint LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(txout ~ TxOut m, IndexedMemPack LedgerState m txout) => IndexedMemPack LedgerState (DualBlock m a) txoutDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => GetTip (LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
Bridge m a => GetTip (LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanStowLedgerTables (LedgerState m) => CanStowLedgerTables (LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All (Compose CanStowLedgerTables LedgerState) xs => CanStowLedgerTables (LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
SerialiseHFC xs => EncodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => DecodeDisk (HardForkBlock xs) (LedgerState (HardForkBlock xs) EmptyMK)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
(Bridge m a, EqMK mk) => Eq (LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(EqMK mk, CanHardFork xs) => Eq (LedgerState (HardForkBlock xs) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
(Bridge m a, ShowMK mk) => Show (LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(ShowMK mk, CanHardFork xs) => Show (LedgerState (HardForkBlock xs) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
NoThunks (LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(NoThunksMK mk, CanHardFork xs) => NoThunks (LedgerState (HardForkBlock xs) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
StandardHash blk => StandardHash (LedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables (Ticked LedgerState) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
(Bridge m a, HasLedgerTables (Ticked LedgerState) m) => HasLedgerTables (Ticked LedgerState) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => GetTip (Ticked LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
Bridge m a => GetTip (Ticked LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (Ticked LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Inject (Flip LedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic (Flip LedgerState mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
type HeaderHash (LedgerState blk) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Basics
data Ticked LedgerState (HardForkBlock xs)
- TickedHardForkLedgerStatetickedHardForkLedgerStateTransition :: !TransitionInfotickedHardForkLedgerStatePerEra :: !HardForkState (FlipTickedLedgerState mk) xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
data Ticked LedgerState (DualBlock m a)
- TickedDualLedgerStatetickedDualLedgerStateMain :: Ticked LedgerState m mktickedDualLedgerStateAux :: Ticked LedgerState a ValuesMKtickedDualLedgerStateBridge :: BridgeLedger m atickedDualLedgerStateAuxOrig :: LedgerState a ValuesMK
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data LedgerState (HardForkBlock xs)
- HardForkLedgerStatehardForkLedgerStatePerEra :: HardForkState (Flip LedgerState mk) xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data LedgerState (DualBlock m a)
- DualLedgerStatedualLedgerStateMain :: LedgerState m mkdualLedgerStateAux :: LedgerState a ValuesMKdualLedgerStateBridge :: BridgeLedger m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type LedgerCfg LedgerState (HardForkBlock xs) = HardForkLedgerConfig xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type LedgerCfg LedgerState (DualBlock m a) = DualLedgerConfig m aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
type LedgerErr LedgerState (DualBlock m a) = DualLedgerError m aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorDualLedgerState

Fields

dualLedgerStateMain :: LedgerState m mk
dualLedgerStateAux :: LedgerState a ValuesMK
dualLedgerStateBridge :: BridgeLedger m a

valuedualLedgerStateAux

:: LedgerState (DualBlock m a) mk
-> LedgerState a ValuesMK

valuedualLedgerStateBridge :: LedgerState (DualBlock m a) mk -> BridgeLedger m a

valuedualLedgerStateMain :: LedgerState (DualBlock m a) mk -> LedgerState m mk

class

class (HasHeader m, GetHeader m, HasHeader (Header m), LedgerSupportsProtocol m, HasHardForkHistory m, LedgerSupportsMempool m, CommonProtocolParams m, HasTxId (GenTx m), Show (ApplyTxErr m), Show (LedgerConfig m), Typeable a, UpdateLedger a, LedgerSupportsMempool a, Show (ApplyTxErr a), Show (LedgerConfig a), NoThunks (LedgerConfig a), NoThunks (CodecConfig a), NoThunks (StorageConfig a), Show (BridgeLedger m a), Eq (BridgeLedger m a), Serialise (BridgeLedger m a), Serialise (BridgeBlock m a), Serialise (BridgeTx m a), Show (BridgeTx m a)) => Bridge m a where

Associated types

type family BridgeLedger m a
type family BridgeBlock m a
type family BridgeTx m a

Methods

updateBridgeWithBlock :: DualBlock m a -> BridgeLedger m a -> BridgeLedger m a
updateBridgeWithTx :: Validated (GenTx (DualBlock m a)) -> BridgeLedger m a -> BridgeLedger m a

datadata DualBlock m a

Constructors

DualBlock
- dualBlockMain :: m
- dualBlockAux :: Maybe a
- dualBlockBridge :: BridgeBlock m a

Instances105SameDepIndex2, StandardHash, HasNestedContent, SameDepIndex, ReconstructNestedCtxt, ApplyBlock, …

SameDepIndex2 (BlockQuery (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Typeable m, Typeable a) => ShowProxy (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Typeable m, Typeable a) => ShowProxy (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
StandardHash m => StandardHash (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Typeable m, Typeable a) => ShowProxy (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Typeable m, Typeable a) => ShowProxy (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
HasNestedContent Header m => HasNestedContent Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
SameDepIndex (NestedCtxt_ m f) => SameDepIndex (NestedCtxt_ (DualBlock m a) f)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
ReconstructNestedCtxt Header m => ReconstructNestedCtxt Header (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Bridge m a, HasLedgerTables LedgerState m) => HasLedgerTables LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => ApplyBlock LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanUpgradeLedgerTables LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => IsLedger LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Ord (TxIn m), MemPack (TxIn m), MemPack (TxOut m)) => SerializeTablesWithHint LedgerState (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(txout ~ TxOut m, IndexedMemPack LedgerState m txout) => IndexedMemPack LedgerState (DualBlock m a) txoutDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Eq (GenTxId m) => Eq (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Ord (GenTxId m) => Ord (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (GenTxId m) => Show (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => Show (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => Show (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Generic (CodecConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Generic (StorageConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (BlockConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (Header (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(NoThunks (CodecConfig m), NoThunks (CodecConfig a)) => NoThunks (CodecConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(NoThunks (StorageConfig m), NoThunks (StorageConfig a)) => NoThunks (StorageConfig (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
HasRawTxId (GenTxId m) => HasRawTxId (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => GetTip (LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanStowLedgerTables (LedgerState m) => CanStowLedgerTables (LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => HasTxId (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
EncodeDiskDepIx (NestedCtxt Header) m => EncodeDiskDepIx (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
EncodeDiskDep (NestedCtxt Header) m => EncodeDiskDep (NestedCtxt Header) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Eq m, Eq a, Eq (BridgeBlock m a)) => Eq (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Bridge m a, EqMK mk) => Eq (LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (Header m) => Show (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Show m, Show a, Show (BridgeBlock m a)) => Show (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Bridge m a, ShowMK mk) => Show (LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => HasHeader (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => HasHeader (DualHeader m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
ConvertRawHash m => ConvertRawHash (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => GetHeader (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => GetPrevHash (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => BlockSupportsProtocol (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Condense m => Condense (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => HasHardForkHistory (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
ConfigSupportsNode m => ConfigSupportsNode (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => LedgerSupportsProtocol (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => HasPartialLedgerConfig (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
InspectLedger m => InspectLedger (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => LedgerSupportsMempool (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => BlockSupportsLedgerQuery (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => CommonProtocolParams (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
LedgerSupportsPeerSelection m => LedgerSupportsPeerSelection (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => BasicEnvelopeValidation (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => HasAnnTip (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
GetBlockKeySets m => GetBlockKeySets (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => UpdateLedger (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => ValidateEnvelope (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
ShowQuery (BlockQuery (DualBlock m a) footprint)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => TxLimits (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
HasBinaryBlockInfo m => HasBinaryBlockInfo (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Typeable m, Typeable a) => ShowProxy (BlockQuery (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Bridge m a, HasLedgerTables (Ticked LedgerState) m) => HasLedgerTables (Ticked LedgerState) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (NestedCtxt_ m f x) => Show (NestedCtxt_ (DualBlock m a) f x)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (BlockQuery (DualBlock m a) footprint result)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => GetTip (Ticked LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (Ticked LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type Rep (CodecConfig (DualBlock m a)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" '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))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type Rep (StorageConfig (DualBlock m a)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Ledger.Dual" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" '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))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type HeaderHash (DualBlock m a) = HeaderHash mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data BlockConfig (DualBlock m a)
- DualBlockConfigdualBlockConfigMain :: BlockConfig mdualBlockConfigAux :: BlockConfig a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type BlockProtocol (DualBlock m a) = BlockProtocol mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data CodecConfig (DualBlock m a)
- DualCodecConfigdualCodecConfigMain :: !CodecConfig mdualCodecConfigAux :: !CodecConfig a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type HashSize (DualBlock m a) = HashSize mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data Header (DualBlock m a)
- DualHeaderdualHeaderMain :: Header m
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data StorageConfig (DualBlock m a)
- DualStorageConfigdualStorageConfigMain :: !StorageConfig mdualStorageConfigAux :: !StorageConfig a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type CannotForge (DualBlock m a) = CannotForge mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type ForgeStateInfo (DualBlock m a) = ForgeStateInfo mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type ForgeStateUpdateError (DualBlock m a) = ForgeStateUpdateError mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data NestedCtxt_ (DualBlock m a)
- CtxtDual :: NestedCtxt_ m f x -> R:NestedCtxt_DualBlockfx m a f x
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data Ticked LedgerState (DualBlock m a)
- TickedDualLedgerStatetickedDualLedgerStateMain :: Ticked LedgerState m mktickedDualLedgerStateAux :: Ticked LedgerState a ValuesMKtickedDualLedgerStateBridge :: BridgeLedger m atickedDualLedgerStateAuxOrig :: LedgerState a ValuesMK
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data Validated (GenTx (DualBlock m a))
- ValidatedDualGenTxvDualGenTxMain :: Validated (GenTx m)vDualGenTxAux :: Validated (GenTx a)vDualGenTxBridge :: BridgeTx m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data GenTx (DualBlock m a)
- DualGenTxdualGenTxMain :: GenTx mdualGenTxAux :: GenTx adualGenTxBridge :: BridgeTx m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data LedgerState (DualBlock m a)
- DualLedgerStatedualLedgerStateMain :: LedgerState m mkdualLedgerStateAux :: LedgerState a ValuesMKdualLedgerStateBridge :: BridgeLedger m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type LedgerCfg LedgerState (DualBlock m a) = DualLedgerConfig m aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type HardForkIndices (DualBlock m a) = HardForkIndices mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type PartialLedgerConfig (DualBlock m a) = LedgerConfig (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data BlockQuery (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data TxId (GenTx (DualBlock m a))
- DualGenTxIddualGenTxIdMain :: GenTxId m
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type TxMeasurePhase1 (DualBlock m a) = TxMeasurePhase1 mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type TxMeasurePhase2 (DualBlock m a) = TxMeasurePhase2 mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type ApplyTxErr (DualBlock m a) = DualGenTxErr m aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type TipInfo (DualBlock m a) = TipInfo mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type OtherHeaderEnvelopeError (DualBlock m a) = OtherHeaderEnvelopeError mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type AuxLedgerEvent (DualBlock m a) = AuxLedgerEvent mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type LedgerErr LedgerState (DualBlock m a) = DualLedgerError m aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type LedgerUpdate (DualBlock m a) = LedgerUpdate mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type LedgerWarning (DualBlock m a) = LedgerWarning mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type TxIn (DualBlock m a) = TxIn mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
type TxOut (DualBlock m a) = TxOut mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

datadata DualGenTxErr m a

Constructors

DualGenTxErr
- dualGenTxErrMain :: ApplyTxErr m
- dualGenTxErrAux :: ApplyTxErr a

Instances2ShowProxy, Show

(Typeable m, Typeable a) => ShowProxy (DualGenTxErr m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => Show (DualGenTxErr m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

typetype DualHeader m a = Header (DualBlock m a)

datadata DualLedgerConfig m a

Constructors

DualLedgerConfig
- dualLedgerConfigMain :: LedgerConfig m
- dualLedgerConfigAux :: LedgerConfig a

Instances2Show, NoThunks

(Show (LedgerConfig m), Show (LedgerConfig a)) => Show (DualLedgerConfig m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (DualLedgerConfig m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

datadata DualLedgerError m a

Constructors

DualLedgerError
- dualLedgerErrorMain :: LedgerError m
- dualLedgerErrorAux :: LedgerError a

Instances3Eq, Show, NoThunks

(Eq (LedgerError m), Eq (LedgerError a)) => Eq (DualLedgerError m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Show (LedgerError m), Show (LedgerError a)) => Show (DualLedgerError m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (DualLedgerError m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

data familydata family GenTx blk

Instances48Inject, Isomorphic, ShowProxy, Eq, Ord, Show, …

Inject GenTxDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic GenTxDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Typeable xs => ShowProxy (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Typeable xs => ShowProxy (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
(Typeable m, Typeable a) => ShowProxy (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
(Typeable m, Typeable a) => ShowProxy (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Eq (GenTxId m) => Eq (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Eq (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Eq (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Eq (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Ord (GenTxId m) => Ord (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Ord (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Show (GenTxId m) => Show (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Show (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Show (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Show (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Bridge m a => Show (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Bridge m a => Show (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Generic (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Generic (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Generic (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
NoThunks (Validated (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (Validated (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => NoThunks (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => NoThunks (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => HasRawTxId (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
HasRawTxId (GenTxId m) => HasRawTxId (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All CondenseConstraints xs => Condense (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
All CondenseConstraints xs => Condense (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
CanHardFork xs => HasTxId (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Bridge m a => HasTxId (GenTx (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteStringDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data Validated (GenTx (HardForkBlock xs))
- HardForkValidatedGenTxgetHardForkValidatedGenTx :: OneEraValidatedGenTx xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data Validated (GenTx (DualBlock m a))
- ValidatedDualGenTxvDualGenTxMain :: Validated (GenTx m)vDualGenTxAux :: Validated (GenTx a)vDualGenTxBridge :: BridgeTx m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data GenTx (HardForkBlock xs)
- HardForkGenTxgetHardForkGenTx :: OneEraGenTx xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data GenTx (DualBlock m a)
- DualGenTxdualGenTxMain :: GenTx mdualGenTxAux :: GenTx adualGenTxBridge :: BridgeTx m a
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data TxId (GenTx (HardForkBlock xs))
- HardForkGenTxIdgetHardForkGenTxId :: OneEraGenTxId xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data TxId (GenTx (DualBlock m a))
- DualGenTxIddualGenTxIdMain :: GenTxId m
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorDualGenTx

Fields

dualGenTxMain :: GenTx m
dualGenTxAux :: GenTx a
dualGenTxBridge :: BridgeTx m a

valuedualGenTxAux :: GenTx (DualBlock m a) -> GenTx a

valuedualGenTxBridge :: GenTx (DualBlock m a) -> BridgeTx m a

valuedualGenTxMain :: GenTx (DualBlock m a) -> GenTx m

data familydata family TxId blk

Instances21ShowProxy, Eq, Ord, Show, Generic, NoThunks, …

Typeable xs => ShowProxy (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
(Typeable m, Typeable a) => ShowProxy (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Eq (GenTxId m) => Eq (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Eq (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Ord (GenTxId m) => Ord (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Ord (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Show (GenTxId m) => Show (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => Show (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
Generic (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
NoThunks (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => NoThunks (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => HasRawTxId (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
HasRawTxId (GenTxId m) => HasRawTxId (TxId (GenTx (DualBlock m a)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
All CondenseConstraints xs => Condense (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (GenTxId (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteStringDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type RawTxId (TxId (GenTx (DualBlock m a))) = RawTxId (GenTxId m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data TxId (GenTx (HardForkBlock xs))
- HardForkGenTxIdgetHardForkGenTxId :: OneEraGenTxId xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data TxId (GenTx (DualBlock m a))
- DualGenTxIddualGenTxIdMain :: GenTxId m
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual

constructorDualGenTxId

Fields

dualGenTxIdMain :: GenTxId m

valuedualGenTxIdMain :: TxId (GenTx (DualBlock m a)) -> GenTxId m

newtypenewtype LedgerTables blk (mk :: MapKind)

Constructors

LedgerTables
- getLedgerTables :: mk (TxIn blk) (TxOut blk)

Instances7Eq, Show, Generic, Semigroup, Monoid, NoThunks, …

Eq (mk (TxIn blk) (TxOut blk)) => Eq (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Basics
Show (mk (TxIn blk) (TxOut blk)) => Show (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Basics
Generic (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Basics
(forall k v. LedgerTableConstraints' blk k v => Semigroup (mk k v), LedgerTableConstraints blk) => Semigroup (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators · orphan
(forall k v. LedgerTableConstraints' l k v => Monoid (mk k v), LedgerTableConstraints l) => Monoid (LedgerTables l mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Combinators · orphan
NoThunks (mk (TxIn blk) (TxOut blk)) => NoThunks (LedgerTables blk mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Basics
type Rep (LedgerTables blk mk) = D1 ('MetaData "LedgerTables" "Ouroboros.Consensus.Ledger.Tables.Basics" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "LedgerTables" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerTables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (mk (TxIn blk) (TxOut blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Tables.Basics