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

  • 103 types
  • 1 class
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 Concat (a :: t m) (b :: m)
#
Instances1Eval
datadata ConcatMap (c :: a -> Exp [b]) (d :: t a) (e :: [b])
#
Instances1Eval
datadata Foldr (c :: a -> b -> Exp b) (d :: b) (e :: t a) (f :: b)
#
Instances6Eval
  • type Eval (Foldr f y 'Nothing) = yDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Foldr f y '[]) = yDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Foldr f y ('Left _a)) = yDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Foldr f y ('Right x)) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Foldr f y ('Just x)) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Foldr f y (x ': xs)) = Eval (f x (Eval (Foldr f y xs)))Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
datadata Map (c :: a -> Exp b) (d :: f a) (e :: f b)
#
Instances10Eval, …
  • type Eval (Map f 'Nothing) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f '(x, a2)) = '(x, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f '(x, y, a2)) = '(x, y, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f '(x, y, z, a2)) = '(x, y, z, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f '(x, y, z, w, a2)) = '(x, y, z, w, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f ('Left x)) = 'Left xDefined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f ('Right a3)) = 'Right (Eval (f a3))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f ('Just a3)) = 'Just (Eval (f a3))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f (a2 ': as)) = Eval (f a2) ': Eval (Map f as)Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
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
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 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
typetype (@@) (f :: k1 -> Exp k) (x :: k1) = Eval (f x)
#
familytype family Eval (e :: Exp a) :: a
#
Instances206Eval, …
  • type Eval MEmpty_ = MEmptyDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
  • 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
  • type Eval (First f2 x) = Eval (Bimap f2 Pure x)Defined in first-class-families-0.8.2.0 · Fcf.Class.Bifunctor
  • type Eval (Second g x) = Eval (Bimap Pure g x)Defined in first-class-families-0.8.2.0 · Fcf.Class.Bifunctor
  • type Eval (All p lst) = Eval (Foldr (Bicomap p Pure (&&)) 'True lst)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (And lst) = Eval (Foldr (&&) 'True lst)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Any p lst) = Eval (Foldr (Bicomap p Pure (||)) 'False lst)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Concat xs) = Eval (FoldMap Pure xs)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (ConcatMap f xs) = Eval (FoldMap f xs)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (FoldMap f 'Nothing) = MEmptyDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (FoldMap f '[]) = MEmptyDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (FoldMap f ('Left _a)) = MEmptyDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (FoldMap f ('Right x)) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (FoldMap f ('Just x)) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (FoldMap f (x ': xs)) = Eval (f x) <> Eval (FoldMap f xs)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Foldr f y 'Nothing) = yDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Foldr f y '[]) = yDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Foldr f y ('Left _a)) = yDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Foldr f y ('Right x)) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Foldr f y ('Just x)) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Foldr f y (x ': xs)) = Eval (f x (Eval (Foldr f y xs)))Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Or lst) = Eval (Foldr (||) 'False lst)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Sum ns) = Eval (Foldr (+) 0 ns)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable
  • type Eval (Map f 'Nothing) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f '(x, a2)) = '(x, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f '(x, y, a2)) = '(x, y, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f '(x, y, z, a2)) = '(x, y, z, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f '(x, y, z, w, a2)) = '(x, y, z, w, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f ('Left x)) = 'Left xDefined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f ('Right a3)) = 'Right (Eval (f a3))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f ('Just a3)) = 'Just (Eval (f a3))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Map f (a2 ': as)) = Eval (f a2) ': Eval (Map f as)Defined in first-class-families-0.8.2.0 · Fcf.Class.Functor
  • type Eval (Compare 'Nothing 'Nothing) = 'EQDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare 'Nothing ('Just _b)) = 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare 'EQ 'GT) = 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare 'EQ 'LT) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare 'False 'True) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare 'GT 'EQ) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare 'GT 'LT) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare 'LT 'EQ) = 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare 'LT 'GT) = 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare 'True 'False) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare '(a3, a4) '(b1, b2)) = Eval (Compare a3 b1) <> Eval (Compare a4 b2)Defined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare '(a4, a5, a6) '(b1, b2, b3)) = (Eval (Compare a4 b1) <> Eval (Compare a5 b2)) <> Eval (Compare a6 b3)Defined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare '[] '[]) = 'EQDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare '[] (_y ': _ys)) = 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare ('Left _a) ('Right _b)) = 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare ('Left a2) ('Left b2)) = Eval (Compare a2 b2)Defined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare ('Right _a) ('Left _b)) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare ('Right a3) ('Right b)) = Eval (Compare a3 b)Defined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare ('Just _a) 'Nothing) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare ('Just a2) ('Just b)) = Eval (Compare a2 b)Defined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare (_x ': _xs) '[]) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare (x ': xs) (y ': ys)) = Eval (Compare x y) <> Eval (Compare xs ys)Defined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare a a) = 'EQDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare a a) = 'EQDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare a b) = CmpSymbol a bDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare a b) = CmpNat a bDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (Compare a b) = 'EQDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (ConstFn a2 _b) = a2Defined in first-class-families-0.8.2.0 · Fcf.Combinators
  • type Eval (Flip f y x) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Combinators
  • type Eval (Join e) = Eval (Eval e)Defined in first-class-families-0.8.2.0 · Fcf.Combinators
  • type Eval (LiftM2 f x y) = Eval (f (Eval x) (Eval y))Defined in first-class-families-0.8.2.0 · Fcf.Combinators
  • 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
  • type Eval (Pure x) = xDefined in first-class-families-0.8.2.0 · Fcf.Combinators
  • type Eval (Pure1 f x) = f xDefined in first-class-families-0.8.2.0 · Fcf.Combinators
  • type Eval (Pure2 f x y) = f x yDefined in first-class-families-0.8.2.0 · Fcf.Combinators
  • type Eval (Pure3 f x y z) = f x y zDefined in first-class-families-0.8.2.0 · Fcf.Combinators
  • type Eval (Pure4 f w x y z) = f w x y zDefined in first-class-families-0.8.2.0 · Fcf.Combinators
  • 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
  • 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
  • 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
  • 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
  • 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
  • type Eval (Not 'False) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (Not 'True) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (UnBool fal tru 'False) = Eval falDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (UnBool fal tru 'True) = Eval truDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (FromMaybe _a ('Just b)) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (FromMaybe a2 'Nothing) = a2Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (Fst '(a2, _b)) = a2Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (IsJust 'Nothing) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (IsJust ('Just _a)) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (IsLeft ('Left _a)) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (IsLeft ('Right _a)) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (IsNothing 'Nothing) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (IsNothing ('Just _a)) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (IsRight ('Left _a)) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (IsRight ('Right _a)) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (Snd '(_a, b)) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (UnEither f g ('Left x)) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (UnEither f g ('Right y)) = Eval (g y)Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (UnMaybe y f 'Nothing) = Eval yDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (UnMaybe y f ('Just x)) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (Uncurry f '(x, y)) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • 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
  • 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
  • type Eval (Break p lst) = Eval (Span (Not <=< p) lst)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Cons a2 as) = a2 ': asDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Cons2 '(a3, b) '(as, bs)) = '(a3 ': as, b ': bs)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Drop n as) = Drop_ n asDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (DropWhile p '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (DropWhile p (x ': xs)) = Eval (If (Eval (p x)) (DropWhile p xs) (Pure (x ': xs)))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Elem a2 as) = Eval (IsJust =<< FindIndex (TyEq a2) as)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Filter _p '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Filter p (a2 ': as)) = Eval (If (Eval (p a2)) ('(:) a2 <$> Filter p as) (Filter p as))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Find _p '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Find p (a2 ': as)) = Eval (If (Eval (p a2)) (Pure ('Just a2)) (Find p as))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (FindIndex _p '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (FindIndex p (a2 ': as)) = Eval (If (Eval (p a2)) (Pure ('Just 0)) (Map ((+) 1) =<< FindIndex p as))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Head '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Head (a2 ': _as)) = 'Just a2Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Init '[a2]) = 'Just '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Init '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Init (a2 ': b ': as)) = Eval (Map (Cons a2) =<< Init (b ': as))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Intercalate xs xss) = Eval (Concat =<< Intersperse xs xss)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Intersperse _1 '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Intersperse sep (x ': xs)) = x ': Eval (PrependToAll sep xs)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (IsInfixOf xs ys) = Eval (Any (IsPrefixOf xs) =<< Tails ys)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (IsPrefixOf xs ys) = IsPrefixOf_ xs ysDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (IsSuffixOf xs ys) = Eval (IsPrefixOf (Reverse @@ xs) (Reverse @@ ys))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Last '[a2]) = 'Just a2Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Last '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Last (a2 ': b ': as)) = Eval (Last (b ': as))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Length '[]) = 0Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Length (a2 ': as)) = 1 + Eval (Length as)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Lookup a as) = Eval (Map Snd (Eval (Find (TyEq a <=< Fst) as)))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Null '[]) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Null (a2 ': as)) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (NumIter a s) = If (Eval (s > 0)) ('Just '(a, s - 1)) 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (PartHelp p a2 '(xs, ys)) = If (Eval (p a2)) '(a2 ': xs, ys) '(xs, a2 ': ys)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Partition p lst) = Eval (Foldr (PartHelp p) '('[], '[]) lst)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (PrependF x '(xs, y)) = '(x ': xs, y)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (PrependToAll _1 '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (PrependToAll sep (x ': xs)) = sep ': x ': Eval (PrependToAll sep xs)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Replicate n a2) = Eval (Unfoldr (NumIter a2) n)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Rev '[] ys) = ysDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Rev (x ': xs) ys) = Eval (Rev xs (x ': ys))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Reverse l) = Eval (Rev l '[])Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (SetIndex n a' as) = SetIndexImpl n a' asDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Singleton x) = '[x]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Snoc lst a) = Eval (lst ++ '[a])Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Span p lst) = '(Eval (TakeWhile p lst), Eval (DropWhile p lst))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (SplitAt n xs) = '(Eval (Take n xs), Eval (Drop n xs))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Tail '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Tail (_a ': as)) = 'Just asDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Tails '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Tails (a2 ': as)) = (a2 ': as) ': Eval (Tails as)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Take n as) = Take_ n asDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (TakeWhile p '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (TakeWhile p (x ': xs)) = Eval (If (Eval (p x)) ('(:) x <$> TakeWhile p xs) (Pure '[]))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (UnList y f xs) = Eval (Foldr f y xs)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Uncons '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Uncons (a ': xs)) = 'Just '(a, xs)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Unfoldr f c) = Eval (UnfoldrCase f (f @@ c))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (UnfoldrCase _1 'Nothing) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (UnfoldrCase f ('Just ab)) = Eval (Fst ab) ': Eval (Unfoldr f (Eval (Snd ab)))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Unsnoc '[x]) = 'Just '('[], x)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Unsnoc '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Unsnoc (x ': y ': ys)) = Eval (Map (PrependF x) =<< Unsnoc (y ': ys))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Unzip as) = Eval (Foldr Cons2 '('[], '[]) (Eval as))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Zip as bs) = Eval (ZipWith (Pure2 '((,))) as bs)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (ZipWith _f '[] _bs) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (ZipWith _f _as '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (ZipWith f (a2 ': as) (b2 ': bs)) = Eval (f a2 b2) ': Eval (ZipWith f as bs)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Assert msg mcond k) = Eval (If (Eval mcond) (Pure k) (TError msg))Defined in first-class-families-0.8.2.0 · Fcf.Utils
  • type Eval (AssertNot err mcond k) = Eval (Assert err (Not =<< mcond) k)Defined in first-class-families-0.8.2.0 · Fcf.Utils
  • type Eval (Case ms a) = Case_ ms aDefined in first-class-families-0.8.2.0 · Fcf.Utils
  • type Eval (Constraints '[]) = ()Defined in first-class-families-0.8.2.0 · Fcf.Utils
  • type Eval (Constraints (a ': as)) = (a, Eval (Constraints as))Defined in first-class-families-0.8.2.0 · Fcf.Utils
  • type Eval (Error msg) = TypeError ('Text msg)Defined in first-class-families-0.8.2.0 · Fcf.Utils
  • type Eval (TError msg) = TypeError msgDefined in first-class-families-0.8.2.0 · Fcf.Utils
  • type Eval (TyEq a b) = TyEqImpl a bDefined in first-class-families-0.8.2.0 · Fcf.Utils
  • type Eval ('False && b) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval ('False || b) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval ('True && b) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval ('True || b) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval ((<=<) f g x) = Eval (f (Eval (g x)))Defined in first-class-families-0.8.2.0 · Fcf.Combinators
  • type Eval ((***) f f' '(b2, b'2)) = '(Eval (f b2), Eval (f' b'2))Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (a && 'False) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (a && 'True) = aDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (a || 'False) = aDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (a || 'True) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (a * b) = a * bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nat
  • type Eval (a + b) = a + bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nat
  • type Eval (a - b) = a - bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nat
  • type Eval (a < b) = Eval (Not =<< (a >= b))Defined in first-class-families-0.8.2.0 · Fcf.Data.Nat
  • type Eval (a <= b) = a <=? bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nat
  • type Eval (a > b) = Eval (Not =<< (a <= b))Defined in first-class-families-0.8.2.0 · Fcf.Data.Nat
  • type Eval (a >= b) = b <=? aDefined in first-class-families-0.8.2.0 · Fcf.Data.Nat
  • type Eval (a ^ b) = a ^ bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nat
  • type Eval (a2 < b) = Compare a2 b ~== 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (a2 <= b) = Compare a2 b ~/= 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (a2 > b) = Compare a2 b ~== 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (a2 >= b) = Compare a2 b ~/= 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ord
  • type Eval (e >>= k) = Eval (k (Eval e))Defined in first-class-families-0.8.2.0 · Fcf.Combinators
  • type Eval (f $ a3) = Eval (f a3)Defined in first-class-families-0.8.2.0 · Fcf.Combinators
  • type Eval (f <$> e) = f (Eval e)Defined in first-class-families-0.8.2.0 · Fcf.Combinators
  • type Eval (f <*> e) = Eval f (Eval e)Defined in first-class-families-0.8.2.0 · Fcf.Combinators
  • type Eval (k =<< e) = Eval (k (Eval e))Defined in first-class-families-0.8.2.0 · Fcf.Combinators
  • type Eval (x .<> y) = x <> yDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoid
  • type Eval (x & f) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Data.Function
  • type Eval (xs ++ ys) = xs <> ysDefined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata (&&) (a :: Bool) (b :: Bool) (c :: Bool)
#
Instances4Eval
  • type Eval ('False && b) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval ('True && b) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (a && 'False) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (a && 'True) = aDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
datadata Not (a :: Bool) (b :: Bool)
#
Instances2Eval
  • type Eval (Not 'False) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (Not 'True) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
datadata UnBool (b :: Exp a) (c :: Exp a) (d :: Bool) (e :: a)
#
Instances2Eval
  • type Eval (UnBool fal tru 'False) = Eval falDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (UnBool fal tru 'True) = Eval truDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
datadata (||) (a :: Bool) (b :: Bool) (c :: Bool)
#
Instances4Eval
  • type Eval ('False || b) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval ('True || b) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (a || 'False) = aDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
  • type Eval (a || 'True) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Bool
datadata (***) (a :: b -> Exp c) (d :: b' -> Exp c') (e :: (b, b')) (f :: (c, c'))
#
Instances1Eval
  • type Eval ((***) f f' '(b2, b'2)) = '(Eval (f b2), Eval (f' b'2))Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
datadata FromMaybe (a :: k) (b :: Maybe k) (c :: k)
#
Instances2Eval
  • type Eval (FromMaybe _a ('Just b)) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (FromMaybe a2 'Nothing) = a2Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
datadata Fst (c :: (a, b)) (d :: a)
#
Instances1Eval
  • type Eval (Fst '(a2, _b)) = a2Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
datadata Snd (c :: (a, b)) (d :: b)
#
Instances1Eval
  • type Eval (Snd '(_a, b)) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Common
datadata UnEither (d :: a -> Exp c) (e :: b -> Exp c) (f :: Either a b) (g :: c)
#
Instances2Eval
  • type Eval (UnEither f g ('Left x)) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
  • type Eval (UnEither f g ('Right y)) = Eval (g y)Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
datadata Uncurry (d :: a -> b -> Exp c) (e :: (a, b)) (f :: c)
#
Instances1Eval
  • type Eval (Uncurry f '(x, y)) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Data.Common
datadata (++) (b :: [a]) (c :: [a]) (d :: [a])
#
Instances1Eval
  • type Eval (xs ++ ys) = xs <> ysDefined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Break (b :: a -> Exp Bool) (c :: [a]) (d :: ([a], [a]))
#
Instances1Eval
datadata Cons (b :: a) (c :: [a]) (d :: [a])
#
Instances1Eval
  • type Eval (Cons a2 as) = a2 ': asDefined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Cons2 (c :: (a, b)) (d :: ([a], [b])) (e :: ([a], [b]))
#
Instances1Eval
  • type Eval (Cons2 '(a3, b) '(as, bs)) = '(a3 ': as, b ': bs)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Drop (b :: Nat) (c :: [a]) (d :: [a])
#
Instances1Eval
  • type Eval (Drop n as) = Drop_ n asDefined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Filter (b :: a -> Exp Bool) (c :: [a]) (d :: [a])
#
Instances2Eval
  • type Eval (Filter _p '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Filter p (a2 ': as)) = Eval (If (Eval (p a2)) ('(:) a2 <$> Filter p as) (Filter p as))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Find (b :: a -> Exp Bool) (c :: [a]) (d :: Maybe a)
#
Instances2Eval
  • type Eval (Find _p '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Find p (a2 ': as)) = Eval (If (Eval (p a2)) (Pure ('Just a2)) (Find p as))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Head (b :: [a]) (c :: Maybe a)
#
Instances2Eval
  • type Eval (Head '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Head (a2 ': _as)) = 'Just a2Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Init (b :: [a]) (c :: Maybe [a])
#
Instances3Eval
  • type Eval (Init '[a2]) = 'Just '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Init '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Init (a2 ': b ': as)) = Eval (Map (Cons a2) =<< Init (b ': as))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Intersperse (b :: a) (c :: [a]) (d :: [a])
#
Instances2Eval
  • type Eval (Intersperse _1 '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Intersperse sep (x ': xs)) = x ': Eval (PrependToAll sep xs)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata IsPrefixOf (b :: [a]) (c :: [a]) (d :: Bool)
#
Instances1Eval
  • type Eval (IsPrefixOf xs ys) = IsPrefixOf_ xs ysDefined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Last (b :: [a]) (c :: Maybe a)
#
Instances3Eval
  • type Eval (Last '[a2]) = 'Just a2Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Last '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Last (a2 ': b ': as)) = Eval (Last (b ': as))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Length (b :: [a]) (c :: Nat)
#
Instances2Eval
  • type Eval (Length '[]) = 0Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Length (a2 ': as)) = 1 + Eval (Length as)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Null (b :: [a]) (c :: Bool)
#
Instances2Eval
  • type Eval (Null '[]) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Null (a2 ': as)) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Partition (b :: a -> Exp Bool) (c :: [a]) (d :: ([a], [a]))
#
Instances1Eval
  • type Eval (Partition p lst) = Eval (Foldr (PartHelp p) '('[], '[]) lst)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Reverse (b :: [a]) (c :: [a])
#
Instances1Eval
  • type Eval (Reverse l) = Eval (Rev l '[])Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata SetIndex (b :: Nat) (c :: a) (d :: [a]) (e :: [a])
#
Instances1Eval
  • type Eval (SetIndex n a' as) = SetIndexImpl n a' asDefined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Singleton (b :: a) (c :: [a])
#
Instances1Eval
  • type Eval (Singleton x) = '[x]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Snoc (b :: [a]) (c :: a) (d :: [a])
#
Instances1Eval
  • type Eval (Snoc lst a) = Eval (lst ++ '[a])Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata SplitAt (b :: Nat) (c :: [a]) (d :: ([a], [a]))
#
Instances1Eval
datadata Tail (b :: [a]) (c :: Maybe [a])
#
Instances2Eval
  • type Eval (Tail '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Tail (_a ': as)) = 'Just asDefined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Tails (b :: [a]) (c :: [[a]])
#
Instances2Eval
  • type Eval (Tails '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Tails (a2 ': as)) = (a2 ': as) ': Eval (Tails as)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Take (b :: Nat) (c :: [a]) (d :: [a])
#
Instances1Eval
  • type Eval (Take n as) = Take_ n asDefined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata UnList (c :: b) (d :: a -> b -> Exp b) (e :: [a]) (f :: b)
#
Instances1Eval
  • type Eval (UnList y f xs) = Eval (Foldr f y xs)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Uncons (b :: [a]) (c :: Maybe (a, [a]))
#
Instances2Eval
  • type Eval (Uncons '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Uncons (a ': xs)) = 'Just '(a, xs)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Unfoldr (c :: b -> Exp (Maybe (a, b))) (d :: b) (e :: [a])
#
Instances1Eval
  • type Eval (Unfoldr f c) = Eval (UnfoldrCase f (f @@ c))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Unsnoc (b :: [a]) (c :: Maybe ([a], a))
#
Instances3Eval
  • type Eval (Unsnoc '[x]) = 'Just '('[], x)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Unsnoc '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (Unsnoc (x ': y ': ys)) = Eval (Map (PrependF x) =<< Unsnoc (y ': ys))Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata Unzip (c :: Exp [(a, b)]) (d :: ([a], [b]))
#
Instances1Eval
datadata Zip (c :: [a]) (d :: [b]) (e :: [(a, b)])
#
Instances1Eval
datadata ZipWith (d :: a -> b -> Exp c) (e :: [a]) (f :: [b]) (g :: [c])
#
Instances3Eval
  • type Eval (ZipWith _f '[] _bs) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (ZipWith _f _as '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.List
  • type Eval (ZipWith f (a2 ': as) (b2 ': bs)) = Eval (f a2 b2) ': Eval (ZipWith f as bs)Defined in first-class-families-0.8.2.0 · Fcf.Data.List
datadata (*) (a :: Nat) (b :: Nat) (c :: Nat)
#
Instances1Eval
  • type Eval (a * b) = a * bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nat
datadata (+) (a :: Nat) (b :: Nat) (c :: Nat)
#
Instances1Eval
  • type Eval (a + b) = a + bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nat
datadata (-) (a :: Nat) (b :: Nat) (c :: Nat)
#
Instances1Eval
  • type Eval (a - b) = a - bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nat
datadata (<) (a :: Nat) (b :: Nat) (c :: Bool)
#
Instances1Eval
  • type Eval (a < b) = Eval (Not =<< (a >= b))Defined in first-class-families-0.8.2.0 · Fcf.Data.Nat
datadata (<=) (a :: Nat) (b :: Nat) (c :: Bool)
#
Instances1Eval
  • type Eval (a <= b) = a <=? bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nat
datadata (>) (a :: Nat) (b :: Nat) (c :: Bool)
#
Instances1Eval
  • type Eval (a > b) = Eval (Not =<< (a <= b))Defined in first-class-families-0.8.2.0 · Fcf.Data.Nat
datadata (>=) (a :: Nat) (b :: Nat) (c :: Bool)
#
Instances1Eval
  • type Eval (a >= b) = b <=? aDefined in first-class-families-0.8.2.0 · Fcf.Data.Nat
datadata (^) (a :: Nat) (b :: Nat) (c :: Nat)
#
Instances1Eval
  • type Eval (a ^ b) = a ^ bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nat
typetype (-->) = 'Match_
#
typetype Any = 'Any_
#
datadata Case (a :: [Match j k]) (b :: j) (c :: k)
#
Instances1Eval
  • type Eval (Case ms a) = Case_ ms aDefined in first-class-families-0.8.2.0 · Fcf.Utils
typetype Else = 'Else_
#
typetype Is = 'Is_
#
classclass IsBool (b :: Bool) where
#

Methods

Instances2IsBool
  • IsBool 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Utils
  • IsBool 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Utils
familytype family Stuck :: a
#
datadata TyEq (c :: a) (d :: b) (e :: Bool)
#
Instances1Eval
  • type Eval (TyEq a b) = TyEqImpl a bDefined in first-class-families-0.8.2.0 · Fcf.Utils
familytype family If (cond :: Bool) (tru :: k) (fls :: k) :: k where
#

Type-level If. If True a b ==> a; If False a b ==> b

Equations