HORIZON HASKELLDocslts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.HardFork.Combinator

  • 59 types
  • 11 classes
  • 56 values
datadata EpochInfo (m :: Type -> Type)
#

Constructors

Instances2Show, NoThunks
  • 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, …
data familydata family CodecConfig blk
#
Instances7Isomorphic, Generic, NoThunks, Rep, CodecConfig, …
data familydata family Header blk
#
Instances33GetHeader1, Inject, Isomorphic, StandardHash, ShowProxy, HasNestedContent, …
data familydata family StorageConfig blk
#
Instances7Isomorphic, Generic, NoThunks, Rep, StorageConfig, …
data familydata family NestedCtxt_ blk :: (Type -> Type) -> Type -> Type
#
Instances6SameDepIndex, Show, NestedCtxt_
constructorNCZ :: !NestedCtxt_ x a b -> R:NestedCtxt_HardForkBlock (x ': xs1) a b
#
classclass (All SingleEraBlock xs, All (EqualHashSizeOfHead xs) xs, KnownNat (HashSizeOfHead xs), Typeable xs, IsNonEmpty xs, Measure (HardForkTxMeasurePhase1 xs), HasByteSize (HardForkTxMeasurePhase1 xs), NoThunks (HardForkTxMeasurePhase1 xs), Show (HardForkTxMeasurePhase1 xs), TxMeasurePhase1Metrics (HardForkTxMeasurePhase1 xs), Measure (HardForkTxMeasurePhase2 xs), NoThunks (HardForkTxMeasurePhase2 xs), Show (HardForkTxMeasurePhase2 xs), TxMeasurePhase2Metrics (HardForkTxMeasurePhase2 xs)) => CanHardFork (xs :: [Type]) where
#

Associated types

Methods

Instances1CanHardFork
  • SingleEraBlock blk => CanHardFork '[blk]Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork
newtypenewtype EraIndex (xs :: [Type])
#

Constructors

Instances4Eq, Show, Serialise, Condense
  • Eq (EraIndex xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock
  • All SingleEraBlock xs => Show (EraIndex xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock
  • SListI xs => Serialise (EraIndex xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock
  • All SingleEraBlock xs => Condense (EraIndex xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock
classclass (LedgerSupportsProtocol blk, LedgerSupportsPeras blk, InspectLedger blk, LedgerSupportsMempool blk, ConvertRawTxId (GenTx blk), BlockSupportsLedgerQuery blk, HasPartialConsensusConfig (BlockProtocol blk), HasPartialLedgerConfig blk, ConvertRawHash blk, KnownNat (HashSize blk), ReconstructNestedCtxt Header blk, CommonProtocolParams blk, LedgerSupportsPeerSelection blk, ConfigSupportsNode blk, NodeInitStorage blk, BlockSupportsDiffusionPipelining blk, BlockSupportsMetrics blk, SerialiseNodeToClient blk (PartialLedgerConfig blk), CanStowLedgerTables (LedgerState blk), HasLedgerTables LedgerState blk, HasLedgerTables (Ticked LedgerState) blk, Eq (GenTx blk), Eq (Validated (GenTx blk)), Eq (ApplyTxErr blk), Show blk, Show (Header blk), Show (CannotForge blk), Show (ForgeStateInfo blk), Show (ForgeStateUpdateError blk), Show (ReasonForSwitch (TiebreakerView (BlockProtocol blk)))) => SingleEraBlock blk where
#

Methods

newtypenewtype MismatchEraInfo (xs :: [Type])
#

Constructors

Instances3Eq, Show, NoThunks
newtypenewtype OneEraGenTx (xs :: [Type])
#

Constructors

Instances3Eq, Show, NoThunks
newtypenewtype OneEraGenTxId (xs :: [Type])
#

Constructors

Instances4Eq, Ord, Show, NoThunks
newtypenewtype OneEraHash (xs :: [k])
#

Constructors

Instances9Eq, Ord, Show, NFData, Serialise, NoThunks, …
  • Eq (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
  • Ord (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
  • Show (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
  • NFData (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
  • Serialise (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
  • NoThunks (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
  • (Typeable k, Typeable xs) => FromCBOR (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
  • (Typeable k, Typeable xs) => ToCBOR (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
  • Condense (OneEraHash xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.AcrossEras
newtypenewtype OneEraTipInfo (xs :: [Type])
#

Constructors

Instances3Eq, Show, NoThunks
newtypenewtype PerEraLedgerConfig (xs :: [Type])
#

Constructors

Instances3Show, NoThunks, SerialiseNodeToClient
newtypenewtype HardForkBlock (xs :: [Type])
#

Constructors

Instances150SameDepIndex2, StandardHash, HasNestedContent, ReconstructNestedCtxt, ApplyBlock, CanUpgradeLedgerTables, …
datadata HardForkLedgerConfig (xs :: [Type])
#

Constructors

Instances5Show, Generic, NoThunks, SerialiseNodeToClient, Rep
datadata HardForkProtocol (xs :: [Type])
#
Instances12Generic, NoThunks, ConsensusProtocol, Rep, CanBeLeader, IsLeader, …
newtypenewtype LedgerEraInfo blk
#

Constructors

Instances4Eq, Show, Serialise, NoThunks
  • Eq (LedgerEraInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Info
  • Show (LedgerEraInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Info
  • Serialise (LedgerEraInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Info
  • NoThunks (LedgerEraInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Info
datadata SingleEraInfo blk
#

Constructors

Instances6Eq, Show, Generic, Serialise, NoThunks, Rep
datadata HardForkEnvelopeErr (xs :: [Type])
#

Constructors

Instances5Eq, Show, Generic, NoThunks, Rep
datadata HardForkLedgerError (xs :: [Type])
#

Constructors

Instances5Eq, Show, Generic, NoThunks, Rep
datadata HardForkLedgerUpdate (xs :: [Type])
#

Constructors

Instances3Eq, Show, Condense
datadata HardForkLedgerWarning (xs :: [Type])
#

Constructors

Instances2Eq, Show
classclass (Show (HardForkTxOut xs), Eq (HardForkTxOut xs), NoThunks (HardForkTxOut xs), IndexedMemPack LedgerState (HardForkBlock xs) (HardForkTxOut xs), SerializeTablesWithHint LedgerState (HardForkBlock xs)) => HasHardForkTxOut (xs :: [Type]) where
#

Associated types

Methods

classclass (All (Compose NoThunks WrapTxOut) xs, All (Compose Show WrapTxOut) xs, All (Compose Eq WrapTxOut) xs, All (HasLedgerTables (Ticked LedgerState)) xs, All (HasLedgerTables LedgerState) xs) => BlockSupportsHFLedgerQuery (xs :: [Type]) where
#

Methods

datadata QueryAnytime result where
#

Constructors

Instances4ShowQuery, SameDepIndex, Show, Serialise
  • ShowQuery QueryAnytimeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query
  • SameDepIndex QueryAnytimeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query
  • Show (QueryAnytime result)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query
  • Serialise (Some QueryAnytime)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger.Query
datadata QueryHardFork (xs :: [Type]) result where
#

Constructors

Instances3SameDepIndex, ShowQuery, Show
datadata QueryIfCurrent (xs :: [Type]) (footprint :: QueryFootprint) result where
#

Constructors

Instances3SameDepIndex2, ShowQuery, Show
datadata HardForkApplyTxErr (xs :: [Type])
#

Constructors

Instances6ShowProxy, Eq, Show, Generic, SerialiseNodeToClient, Rep
datadata HardForkNodeToClientVersion (xs :: [Type]) where
#

Constructors

Instances2Eq, Show
newtypenewtype WrapPartialLedgerConfig blk
#

Constructors

Instances3SerialiseNodeToClient, Show, NoThunks
newtypenewtype HardForkTiebreakerView (xs :: [Type])
#

Constructors

Instances7Eq, Ord, Show, NoThunks, ChainOrder, ChainOrderConfig, …
datadata HardForkValidationErr (xs :: [Type])
#

Constructors

Instances5Eq, Show, Generic, NoThunks, Rep
newtypenewtype ConstOutput a (xs :: k)
#

Constructors

Instances2AcrossEraOutput, SingleEraOutput
  • AcrossEraOutput (ConstOutput a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel
  • type SingleEraOutput (ConstOutput a) x = aDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel
datadata HardForkLedgerView_ (f :: Type -> Type) (xs :: [Type])
#

Constructors

Instances2Show
newtypenewtype HardForkState (f :: Type -> Type) (xs :: [Type])
#

Constructors

Instances18IsSOPLike, HAp, HCollapse, HSequence, HTrans, EncodeDisk, …
datadata EraTranslation (xs :: [Type])
#

Constructors

Instances1NoThunks
  • NoThunks (EraTranslation xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Translation
data familydata family Validated x
#
Instances9Eq, Show, Generic, NoThunks, Rep, Validated, …
data familydata family LedgerState blk (mk :: MapKind)
#
Instances39ApplyBlock, CanUpgradeLedgerTables, IsLedger, SerializeTablesWithHint, IndexedMemPack, CanStowLedgerTables, …
data familydata family BlockQuery :: Type -> QueryFootprint -> Type -> Type
#
Instances14SameDepIndex2, SerialiseBlockQueryResult, SerialiseNodeToClient, ShowQuery, ShowProxy, Show, …
data familydata family GenTx blk
#
Instances48Inject, Isomorphic, ShowProxy, Eq, Ord, Show, …
data familydata family TxId blk
#
Instances21ShowProxy, Eq, Ord, Show, Generic, NoThunks, …
data familydata family ConsensusConfig p
#
Instances16Generic, NoThunks, Rep, ConsensusConfig, …
data familydata family Ticked (st :: k) :: k
#
Instances19HasLedgerTables, GetTip, Show, NoThunks, HeaderHash, Ticked, …
datadata Product2 (f :: Type -> Type -> Type) (g :: Type -> Type -> Type) x y
#

Constructors

Instances4Eq, Show, Generic, Rep
datadata InPairs (f :: k -> k -> Type) (xs :: [k]) where
#

We have an f x y for each pair (x, y) of successive list elements

Constructors

datadata Mismatch (f :: k -> Type) (g :: k -> Type) (xs :: [k]) where
#

We have a mismatch in the index between two NS

Constructors

  • ML :: f x -> NS g xs1 -> Mismatch f g (x ': xs1)

    The left is at the current x and the right is somewhere in the later xs

  • MR :: NS f xs1 -> g x -> Mismatch f g (x ': xs1)

    The right is at the current x and the left is somewhere in the later xs

  • MS :: Mismatch f g xs1 -> Mismatch f g (x ': xs1)

    There is a mismatch later on in the xs

Instances10HTrans, HAp, Eq, Ord, Show, NoThunks, …
datadata Telescope (g :: k -> Type) (f :: k -> Type) (xs :: [k]) where
#

Telescope

A telescope is an extension of an NS, where every time we "go right" in the sum we have an additional value.

The Telescope API mostly follows sop-core conventions, supporting functor (hmap, hcmap), applicative (hap, hpure), foldable (hcollapse) and traversable (hsequence'). However, since Telescope is a bi-functor, it cannot reuse the sop-core classes. The naming scheme of the functions is adopted from sop-core though; for example:

bi h (c) zipWith
|  |  |    |
|  |  |    \ zipWith: the name from base
|  |  |
|  |  \ constrained: version of the function with a constraint parameter
|  |
|  \ higher order: 'Telescope' (like 'NS'/'NP') is a /higher order/ functor
|
\ bifunctor: 'Telescope' (unlike 'NS'/'NP') is a higher order /bifunctor/

In addition to the standard SOP operators, the new operators that make a Telescope a telescope are extend, retract and align; see their documentation for details.

Constructors

Instances12HTrans, HAp, HSequence, HTraverse_, Eq, Ord, …
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.