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.Class.Bifunctor

  • 3 types
datadata Bimap (c :: a -> Exp a') (d :: b -> Exp b') (e :: f a b) (g :: f a' b')
#
Instances3Eval
  • type Eval (Bimap f g '(x, y)) = '(Eval (f x), Eval (g y))Defined in first-class-families-0.8.2.0 · Fcf.Class.Bifunctor
  • type Eval (Bimap f g ('Left x)) = 'Left (Eval (f x))Defined in first-class-families-0.8.2.0 · Fcf.Class.Bifunctor
  • type Eval (Bimap f g ('Right y)) = 'Right (Eval (g y))Defined in first-class-families-0.8.2.0 · Fcf.Class.Bifunctor
datadata First (d :: a -> Exp b) (e :: f a c) (g :: f b c)
#
Instances1Eval
datadata Second (b :: c -> Exp d) (e :: f a c) (g :: f a d)
#
Instances1Eval