Modulefirst-class-families-0.8.2.0

Fcf.Combinators

Synopsis

data $
data <$>
data <*>
data <=<
data =<<
data >>=
data ConstFn
data Flip
data Join
type LiftM
data LiftM2
data LiftM3
data Pure
data Pure1
data Pure2
data Pure3
data Pure4
data Pure5
data Pure6
data Pure7
data Pure8
data Pure9

Packagefirst-class-families-0.8.2.0
Exports22
LicenceMIT

datadata ($) (c :: a -> Exp b) (d :: a) (e :: b)

Instances1Eval

type Eval (f $ a3) = Eval (f a3)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 (<=<) (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 (=<<) (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 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 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 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

typetype LiftM = (=<<)

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

type Eval (LiftM3 f x y z) = Eval (f (Eval x) (Eval y) (Eval z))Defined in first-class-families-0.8.2.0 · Fcf.Combinators

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

data

data 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

data

data 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

data

data 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