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

GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12

Modulefirst-class-families-0.8.2.0

Fcf.Data.Function

  • 3 types
datadata (&) (c :: a) (d :: a -> Exp b) (e :: b)
#
Instances1Eval
  • type Eval (x & f) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Data.Function
datadata Bicomap (f :: a -> Exp c) (g :: b -> Exp d) (h :: c -> d -> Exp e) (i :: a) (j :: b) (k :: e)
#
Instances1Eval
  • type Eval (Bicomap f g r x y) = Eval (r (Eval (f x)) (Eval (g y)))Defined in first-class-families-0.8.2.0 · Fcf.Data.Function
datadata On (d :: b -> b -> Exp c) (e :: a -> Exp b) (f :: a) (g :: a) (h :: c)
#
Instances1Eval
  • type Eval (On r f x y) = Eval (r (Eval (f x)) (Eval (f y)))Defined in first-class-families-0.8.2.0 · Fcf.Data.Function