Show (EpochInfo f)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.EpochInfo.API
NoThunks (EpochInfo m)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.EpochInfo.API

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

constructorHardForkBlockConfig

Fields

hardForkBlockConfigPerEra :: PerEraBlockConfig xs

valuehardForkBlockConfigPerEra

:: BlockConfig (HardForkBlock xs)
-> PerEraBlockConfig xs

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

constructorHardForkCodecConfig

Fields

hardForkCodecConfigPerEra :: PerEraCodecConfig xs

valuehardForkCodecConfigPerEra

:: CodecConfig (HardForkBlock xs)
-> PerEraCodecConfig xs

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

constructorHardForkStorageConfig

Fields

hardForkStorageConfigPerEra :: PerEraStorageConfig xs

valuehardForkStorageConfigPerEra

:: StorageConfig (HardForkBlock xs)
-> PerEraStorageConfig xs

newtypenewtype HardForkBlock (xs :: [Type])

Constructors

HardForkBlock
- getHardForkBlock :: OneEraBlock xs

Instances150SameDepIndex2, StandardHash, HasNestedContent, ReconstructNestedCtxt, ApplyBlock, CanUpgradeLedgerTables, …

All SingleEraBlock xs => SameDepIndex2 (BlockQuery (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query · orphan
CanHardFork xs => StandardHash (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
Typeable xs => ShowProxy (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
Typeable xs => ShowProxy (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
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
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
(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
SerialiseHFC xs => SerialiseBlockQueryResult (HardForkBlock xs) BlockQueryDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
CanHardFork xs => SameDepIndex (NestedCtxt_ (HardForkBlock xs) Header)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
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
All Eq xs => Eq (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
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 => Ord (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => Show (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => Show (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
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
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
CanHardFork xs => NoThunks (BlockConfig (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
CanHardFork xs => NoThunks (CodecConfig (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
CanHardFork xs => NoThunks (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => NoThunks (StorageConfig (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
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 => HasHeader (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasHeader (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasRawTxId (TxId (GenTx (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => ConvertRawHash (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => GetHeader (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => GetPrevHash (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => BlockSupportsDiffusionPipelining (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining · orphan
CanHardFork xs => BlockSupportsMetrics (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node.Metrics · orphan
CanHardFork xs => BlockSupportsProtocol (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
CanHardFork xs => BlockSupportsSanityCheck (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node.SanityCheck · orphan
All CondenseConstraints xs => Condense (Header (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
All CondenseConstraints xs => Condense (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan
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
All SingleEraBlock xs => HasHardForkHistory (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
CanHardFork xs => ConfigSupportsNode (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node · orphan
CanHardFork xs => GetTip (LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => LedgerSupportsProtocol (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
CanHardFork xs => LedgerSupportsPeras (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
CanHardFork xs => InspectLedger (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => LedgerSupportsMempool (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
(All SingleEraBlock xs, BlockSupportsHFLedgerQuery xs, All BlockSupportsLedgerQuery xs, CanHardFork xs) => BlockSupportsLedgerQuery (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query · orphan
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => CommonProtocolParams (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.CommonProtocolParams · orphan
CanHardFork xs => LedgerSupportsPeerSelection (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.PeerSelection · orphan
CanHardFork xs => NodeInitStorage (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node.InitStorage · orphan
All (Compose CanStowLedgerTables LedgerState) xs => CanStowLedgerTables (LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
CanHardFork xs => BasicEnvelopeValidation (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
CanHardFork xs => HasAnnTip (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
(HasCanonicalTxIn xs, HasHardForkTxOut xs, CanHardFork xs) => GetBlockKeySets (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
ApplyBlock LedgerState (HardForkBlock xs) => UpdateLedger (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
CanHardFork xs => ValidateEnvelope (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
CanHardFork xs => HasTxId (GenTx (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
All HasTxs xs => HasTxs (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
CanHardFork xs => TxLimits (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
(All (Compose Show WrapNodeToNodeVersion) xs, All (Compose Eq WrapNodeToNodeVersion) xs, All (Compose Show EraNodeToClientVersion) xs, All (Compose Eq EraNodeToClientVersion) xs, All HasNetworkProtocolVersion xs) => HasNetworkProtocolVersion (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion · orphan
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs, BlockSupportsHFLedgerQuery xs, SupportedNetworkProtocolVersion (HardForkBlock xs), SerialiseHFC xs) => RunNode (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node · orphan
SerialiseHFC xs => HasBinaryBlockInfo (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => SerialiseDiskConstraints (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => SerialiseNodeToNodeConstraints (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
SerialiseHFC xs => SerialiseNodeToClientConstraints (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) SlotNoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (PerEraLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (HardForkLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (HardForkApplyTxErr xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (Shape xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (SomeBlockQuery (BlockQuery (HardForkBlock xs)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
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 => EncodeDisk (HardForkBlock xs) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDisk (HardForkBlock xs) (HardForkChainDepState xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => EncodeDisk (HardForkBlock xs) (AnnTip (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => DecodeDisk (HardForkBlock xs) (HardForkChainDepState xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => DecodeDisk (HardForkBlock xs) (AnnTip (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · 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
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · 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
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (SerialisedHeader (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (Serialised (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · 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) (ByteString -> Either DecoderError (HardForkBlock xs))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
SerialiseHFC xs => SerialiseNodeToNode (HardForkBlock xs) (Serialised (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToNode · orphan
(EqMK mk, CanHardFork xs) => Eq (LedgerState (HardForkBlock xs) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
(ShowMK mk, CanHardFork xs) => Show (LedgerState (HardForkBlock xs) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
(NoThunksMK mk, CanHardFork xs) => NoThunks (LedgerState (HardForkBlock xs) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
All SingleEraBlock xs => ShowQuery (BlockQuery (HardForkBlock xs) footprint)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query · orphan
Typeable xs => ShowProxy (BlockQuery (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query · orphan
(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
All SingleEraBlock xs => Show (NestedCtxt_ (HardForkBlock xs) Header a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
All SingleEraBlock xs => Show (BlockQuery (HardForkBlock xs) footprint result)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query · orphan
CanHardFork xs => GetTip (Ticked LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · 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 HeaderHash (HardForkBlock xs) = OneEraHash xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type RawTxId (TxId (GenTx (HardForkBlock xs))) = ShortByteStringDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data BlockConfig (HardForkBlock xs)
- HardForkBlockConfighardForkBlockConfigPerEra :: PerEraBlockConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type BlockProtocol (HardForkBlock xs) = HardForkProtocol xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data CodecConfig (HardForkBlock xs)
- HardForkCodecConfighardForkCodecConfigPerEra :: PerEraCodecConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type HashSize (HardForkBlock xs) = HashSizeOfHead xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
data Header (HardForkBlock xs)
- HardForkHeadergetHardForkHeader :: OneEraHeader xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
data StorageConfig (HardForkBlock xs)
- HardForkStorageConfighardForkStorageConfigPerEra :: PerEraStorageConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type CannotForge (HardForkBlock xs) = HardForkCannotForge xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Forging · orphan
type ForgeStateInfo (HardForkBlock xs) = HardForkForgeStateInfo xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Forging · orphan
type ForgeStateUpdateError (HardForkBlock xs) = HardForkForgeStateUpdateError xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Forging · 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
type TentativeHeaderState (HardForkBlock xs) = OneEraTentativeHeaderState xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining · orphan
type TentativeHeaderView (HardForkBlock xs) = OneEraTentativeHeaderView xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Node.DiffusionPipelining · orphan
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 Validated (GenTx (HardForkBlock xs))
- HardForkValidatedGenTxgetHardForkValidatedGenTx :: OneEraValidatedGenTx xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data GenTx (HardForkBlock xs)
- HardForkGenTxgetHardForkGenTx :: OneEraGenTx xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
data LedgerState (HardForkBlock xs)
- HardForkLedgerStatehardForkLedgerStatePerEra :: HardForkState (Flip LedgerState mk) xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type LedgerCfg LedgerState (HardForkBlock xs) = HardForkLedgerConfig xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type HardForkIndices (HardForkBlock xs) = xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
data BlockQuery (HardForkBlock xs)
- QueryIfCurrent :: QueryIfCurrent xs footprint result1 -> R:BlockQueryHardForkBlockfootprintresult xs footprint (Either (MismatchEraInfo xs) result1)
- QueryAnytime :: IsNonEmpty xs1 => QueryAnytime result -> EraIndex (x ': xs1) -> R:BlockQueryHardForkBlockfootprintresult (x ': xs1) 'QFNoTables result
- QueryHardFork :: IsNonEmpty xs1 => QueryHardFork (x ': xs1) result -> R:BlockQueryHardForkBlockfootprintresult (x ': xs1) 'QFNoTables result
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query · orphan
data TxId (GenTx (HardForkBlock xs))
- HardForkGenTxIdgetHardForkGenTxId :: OneEraGenTxId xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type TxMeasurePhase1 (HardForkBlock xs) = HardForkTxMeasurePhase1 xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type TxMeasurePhase2 (HardForkBlock xs) = HardForkTxMeasurePhase2 xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type ApplyTxErr (HardForkBlock xs) = HardForkApplyTxErr xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Mempool · orphan
type TipInfo (HardForkBlock xs) = OneEraTipInfo xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Block · orphan
type OtherHeaderEnvelopeError (HardForkBlock xs) = HardForkEnvelopeErr xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
type AuxLedgerEvent (HardForkBlock xs) = OneEraLedgerEvent xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
type LedgerErr LedgerState (HardForkBlock xs) = HardForkLedgerError xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
type LedgerUpdate (HardForkBlock xs) = HardForkLedgerUpdate xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
type LedgerWarning (HardForkBlock xs) = HardForkLedgerWarning xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
type TxIn (HardForkBlock xs) = CanonicalTxIn xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
type TxOut (HardForkBlock xs) = HardForkTxOut xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
type BlockNodeToClientVersion (HardForkBlock xs) = HardForkNodeToClientVersion xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion · orphan
type BlockNodeToNodeVersion (HardForkBlock xs) = HardForkNodeToNodeVersion xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.NetworkVersion · orphan

datadata HardForkLedgerConfig (xs :: [Type])

Constructors

HardForkLedgerConfig
- hardForkLedgerConfigShape :: !Shape xs
- hardForkLedgerConfigPerEra :: !PerEraLedgerConfig xs

Instances5Show, Generic, NoThunks, SerialiseNodeToClient, Rep

Show (PerEraLedgerConfig xs) => Show (HardForkLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
Generic (HardForkLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
CanHardFork xs => NoThunks (HardForkLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
SerialiseHFC xs => SerialiseNodeToClient (HardForkBlock xs) (HardForkLedgerConfig xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient · orphan
type Rep (HardForkLedgerConfig xs) = D1 ('MetaData "HardForkLedgerConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "HardForkLedgerConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkLedgerConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :*: S1 ('MetaSel ('Just "hardForkLedgerConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraLedgerConfig xs))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics

datadata HardForkProtocol (xs :: [Type])

Instances12Generic, NoThunks, ConsensusProtocol, Rep, CanBeLeader, IsLeader, …

Generic (ConsensusConfig (HardForkProtocol xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
CanHardFork xs => NoThunks (ConsensusConfig (HardForkProtocol xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
CanHardFork xs => ConsensusProtocol (HardForkProtocol xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
type Rep (ConsensusConfig (HardForkProtocol xs)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "HardForkConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkConsensusConfigK") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SecurityParam) :*: (S1 ('MetaSel ('Just "hardForkConsensusConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :*: S1 ('MetaSel ('Just "hardForkConsensusConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraConsensusConfig xs)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type CanBeLeader (HardForkProtocol xs) = HardForkCanBeLeader xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
type IsLeader (HardForkProtocol xs) = HardForkIsLeader xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
type ChainDepState (HardForkProtocol xs) = HardForkChainDepState xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
type TiebreakerView (HardForkProtocol xs) = HardForkTiebreakerView xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
type ValidateView (HardForkProtocol xs) = OneEraValidateView xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
data ConsensusConfig (HardForkProtocol xs)
- HardForkConsensusConfighardForkConsensusConfigK :: !SecurityParamhardForkConsensusConfigShape :: !Shape xshardForkConsensusConfigPerEra :: !PerEraConsensusConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type LedgerView (HardForkProtocol xs) = HardForkLedgerView xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
type ValidationErr (HardForkProtocol xs) = HardForkValidationErr xsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan

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

constructorHardForkLedgerState

Fields

hardForkLedgerStatePerEra :: HardForkState (Flip LedgerState mk) xs

valuehardForkLedgerStatePerEra

:: LedgerState (HardForkBlock xs) mk
-> HardForkState (Flip LedgerState mk) xs

data familydata family ConsensusConfig p

Instances16Generic, NoThunks, Rep, ConsensusConfig, …

Generic (ConsensusConfig (HardForkProtocol xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
Generic (ConsensusConfig (Bft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT
Generic (ConsensusConfig (ModChainSel p t))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.ModChainSel
Generic (ConsensusConfig (PBft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
NoThunks (ConsensusConfig (PBft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
CanHardFork xs => NoThunks (ConsensusConfig (HardForkProtocol xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
ConsensusProtocol p => NoThunks (ConsensusConfig (ModChainSel p t))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.ModChainSel
BftCrypto c => NoThunks (ConsensusConfig (Bft c))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT
type Rep (ConsensusConfig (HardForkProtocol xs)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "HardForkConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkConsensusConfigK") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SecurityParam) :*: (S1 ('MetaSel ('Just "hardForkConsensusConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :*: S1 ('MetaSel ('Just "hardForkConsensusConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraConsensusConfig xs)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
type Rep (ConsensusConfig (Bft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.BFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" '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)))))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT
type Rep (ConsensusConfig (ModChainSel p t)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.ModChainSel" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "McsConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "mcsConfigP") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ConsensusConfig p))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.ModChainSel
type Rep (ConsensusConfig (PBft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "PBftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PBftParams)))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT
data ConsensusConfig (HardForkProtocol xs)
- HardForkConsensusConfighardForkConsensusConfigK :: !SecurityParamhardForkConsensusConfigShape :: !Shape xshardForkConsensusConfigPerEra :: !PerEraConsensusConfig xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Basics
data ConsensusConfig (Bft c)
- BftConfigbftParams :: !BftParamsbftSignKey :: !SignKeyDSIGN (BftDSIGN c)bftVerKeys :: !Map NodeId (VerKeyDSIGN (BftDSIGN c))
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.BFT
data ConsensusConfig (ModChainSel p t)
- McsConsensusConfigmcsConfigP :: ConsensusConfig p
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.ModChainSel
data ConsensusConfig (PBft c)
- PBftConfigpbftParams :: PBftParams
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT

constructorHardForkConsensusConfig

Fields

hardForkConsensusConfigK :: !SecurityParam
hardForkConsensusConfigShape :: !Shape xs
hardForkConsensusConfigPerEra :: !PerEraConsensusConfig xs

valuehardForkConsensusConfigK

:: ConsensusConfig (HardForkProtocol xs)
-> SecurityParam

valuehardForkConsensusConfigPerEra

:: ConsensusConfig (HardForkProtocol xs)
-> PerEraConsensusConfig xs

valuehardForkConsensusConfigShape

:: ConsensusConfig (HardForkProtocol xs)
-> Shape xs

typetype Except e = ExceptT e Identity

The parameterizable exception monad.

Computations are either exceptions (of any type) or normal values. These computations are plain values, and are unrelated to the Control.Exception mechanism, which is tied to the IO monad.

The return function returns a normal value, while >>= exits on the first exception. For a variant that continues after an error and collects all the errors, see Errors.