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

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

Moduleconstraints-extras-0.3.2.1Haskell2010

Data.Constraint.Compose

  • 1 class
classclass p (f a) => ComposeC (p :: k2 -> Constraint) (f :: k1 -> k2) (a :: k1)
#

Composition for constraints.

Instances1ComposeC
  • p (f a) => ComposeC p f aDefined in constraints-extras-0.3.2.1 · Data.Constraint.Compose