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

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

Modulefirst-class-families-0.8.2.0Haskell2010

Fcf.Combinators

General fcf combinators.

See also Fcf.Data.Function for more.

  • 22 types
datadata Pure (b :: a) (c :: a)
#
Instances1Eval
  • type Eval (Pure x) = xDefined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata Pure1 (c :: a -> b) (d :: a) (e :: b)
#
Instances1Eval
  • type Eval (Pure1 f x) = f xDefined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata Pure2 (d :: a -> b -> c) (e :: a) (f :: b) (g :: c)
#
Instances1Eval
  • type Eval (Pure2 f x y) = f x yDefined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata Pure3 (e :: a -> b -> c -> d) (f :: a) (g :: b) (h :: c) (i :: d)
#
Instances1Eval
  • type Eval (Pure3 f x y z) = f x y zDefined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata Pure4 (f :: a -> b -> c -> d -> e) (g :: a) (h :: b) (i :: c) (j :: d) (k :: e)
#
Instances1Eval
  • type Eval (Pure4 f w x y z) = f w x y zDefined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata Pure5 (g :: a -> b -> c -> d -> e -> f) (h :: a) (i :: b) (j :: c) (k :: d) (l :: e) (m :: f)
#
Instances1Eval
  • type Eval (Pure5 f v w x y z) = f v w x y zDefined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata Pure6 (h :: a -> b -> c -> d -> e -> f -> g) (i :: a) (j :: b) (k :: c) (l :: d) (m :: e) (n :: f) (o :: g)
#
Instances1Eval
  • type Eval (Pure6 f2 u v w x y z) = f2 u v w x y zDefined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata Pure7 (i :: a -> b -> c -> d -> e -> f -> g -> h) (j :: a) (k :: b) (l :: c) (m :: d) (n :: e) (o :: f) (p :: g) (q :: h)
#
Instances1Eval
  • type Eval (Pure7 f2 t u v w x y z) = f2 t u v w x y zDefined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata Pure8 (j :: a -> b -> c -> d -> e -> f -> g -> h -> i) (k :: a) (l :: b) (m :: c) (n :: d) (o :: e) (p :: f) (q :: g) (r :: h) (s :: i)
#
Instances1Eval
  • type Eval (Pure8 f2 s t u v w x y z) = f2 s t u v w x y zDefined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata Pure9 (k :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j) (l :: a) (m :: b) (n :: c) (o :: d) (p :: e) (q :: f) (r :: g) (s :: h) (t :: i) (u :: j)
#
Instances1Eval
  • type Eval (Pure9 f2 r s t u v w x y z) = f2 r s t u v w x y zDefined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata (=<<) (c :: a -> Exp b) (d :: Exp a) (e :: b)
#
Instances1Eval
  • type Eval (k =<< e) = Eval (k (Eval e))Defined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata (>>=) (c :: Exp a) (d :: a -> Exp b) (e :: b)
#
Instances1Eval
  • type Eval (e >>= k) = Eval (k (Eval e))Defined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata (<=<) (d :: b -> Exp c) (e :: a -> Exp b) (f :: a) (g :: c)
#
Instances1Eval
  • type Eval ((<=<) f g x) = Eval (f (Eval (g x)))Defined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata LiftM2 (d :: a -> b -> Exp c) (e :: Exp a) (f :: Exp b) (g :: c)
#
Instances1Eval
  • type Eval (LiftM2 f x y) = Eval (f (Eval x) (Eval y))Defined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata LiftM3 (e :: a -> b -> c -> Exp d) (f :: Exp a) (g :: Exp b) (h :: Exp c) (i :: d)
#
Instances1Eval
datadata Join (b :: Exp (Exp a)) (c :: a)
#
Instances1Eval
  • type Eval (Join e) = Eval (Eval e)Defined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata (<$>) (c :: a -> b) (d :: Exp a) (e :: b)
#
Instances1Eval
  • type Eval (f <$> e) = f (Eval e)Defined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata (<*>) (c :: Exp (a -> b)) (d :: Exp a) (e :: b)
#
Instances1Eval
  • type Eval (f <*> e) = Eval f (Eval e)Defined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata Flip (d :: a -> b -> Exp c) (e :: b) (f :: a) (g :: c)
#
Instances1Eval
  • type Eval (Flip f y x) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata ConstFn (c :: a) (d :: b) (e :: a)
#
Instances1Eval
  • type Eval (ConstFn a2 _b) = a2Defined in first-class-families-0.8.2.0 · Fcf.Combinators
datadata ($) (c :: a -> Exp b) (d :: a) (e :: b)
#

Note that this denotes the identity function, so ($) f can usually be replaced with f.

Instances1Eval
  • type Eval (f $ a3) = Eval (f a3)Defined in first-class-families-0.8.2.0 · Fcf.Combinators