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

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

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