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.Util.HList

  • 2 types
  • 1 class
  • 9 values
valuefoldl
  1. :: All c as
  2. => proxy c
  3. -> forall a. c a => b -> a -> b
  4. -> b
  5. -> HList as
  6. -> b
#
valuefoldlM
  1. :: (All c as, Monad m)
  2. => proxy c
  3. -> forall a. c a => b -> a -> m b
  4. -> b
  5. -> HList as
  6. -> m b
#
valuefoldr
  1. :: All c as
  2. => proxy c
  3. -> forall a. c a => a -> b -> b
  4. -> b
  5. -> HList as
  6. -> b
#
familytype family Fn (as :: [Type]) b where
#

Equations

  • Fn '[] b = b
  • Fn (a ': as) b = a -> Fn as b
datadata HList (a :: [Type]) where
#

Constructors

Instances4Eq, Ord, Show, Condense
  • (IsList as, All Eq as) => Eq (HList as)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.HList
  • (IsList as, All Eq as, All Ord as) => Ord (HList as)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.HList
  • All Show as => Show (HList as)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.HList
  • All Condense as => Condense (HList as)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Condense
classclass IsList (xs :: [Type]) where
#

Methods

Instances2IsList
  • IsList '[]Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.HList
  • IsList as => IsList (a ': as)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.HList