Moduletype-errors-0.2.0.2
Type.Errors
- 9 types
- 1 value
- Packagetype-errors-0.2.0.2
- Exports20
- LicenceBSD-3-Clause
- SourceTypeError.hs
Instances207Eval, …
type Eval MEmpty_ = MEmptyDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoidtype Eval (Bimap f g '(x, y)) = '(Eval (f x), Eval (g y))Defined in first-class-families-0.8.2.0 · Fcf.Class.Bifunctortype Eval (Bimap f g ('Left x)) = 'Left (Eval (f x))Defined in first-class-families-0.8.2.0 · Fcf.Class.Bifunctortype Eval (Bimap f g ('Right y)) = 'Right (Eval (g y))Defined in first-class-families-0.8.2.0 · Fcf.Class.Bifunctortype Eval (First f2 x) = Eval (Bimap f2 Pure x)Defined in first-class-families-0.8.2.0 · Fcf.Class.Bifunctortype Eval (Second g x) = Eval (Bimap Pure g x)Defined in first-class-families-0.8.2.0 · Fcf.Class.Bifunctortype Eval (All p lst) = Eval (Foldr (Bicomap p Pure (&&)) 'True lst)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (And lst) = Eval (Foldr (&&) 'True lst)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (Any p lst) = Eval (Foldr (Bicomap p Pure (||)) 'False lst)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (Concat xs) = Eval (FoldMap Pure xs)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (ConcatMap f xs) = Eval (FoldMap f xs)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (FoldMap f 'Nothing) = MEmptyDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (FoldMap f '[]) = MEmptyDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (FoldMap f ('Left _a)) = MEmptyDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (FoldMap f ('Right x)) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (FoldMap f ('Just x)) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (FoldMap f (x ': xs)) = Eval (f x) <> Eval (FoldMap f xs)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (Foldr f y 'Nothing) = yDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (Foldr f y '[]) = yDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (Foldr f y ('Left _a)) = yDefined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (Foldr f y ('Right x)) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (Foldr f y ('Just x)) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype 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.Foldabletype Eval (Or lst) = Eval (Foldr (||) 'False lst)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldabletype Eval (Sum ns) = Eval (Foldr (+)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable0
ns)type Eval (Map f 'Nothing) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f '(x, a2)) = '(x, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f '(x, y, a2)) = '(x, y, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f '(x, y, z, a2)) = '(x, y, z, Eval (f a2))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype 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.Functortype Eval (Map f '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f ('Left x)) = 'Left xDefined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f ('Right a3)) = 'Right (Eval (f a3))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f ('Just a3)) = 'Just (Eval (f a3))Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Map f (a2 ': as)) = Eval (f a2) ': Eval (Map f as)Defined in first-class-families-0.8.2.0 · Fcf.Class.Functortype Eval (Compare 'Nothing 'Nothing) = 'EQDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare 'Nothing ('Just _b)) = 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare 'EQ 'GT) = 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare 'EQ 'LT) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare 'False 'True) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare 'GT 'EQ) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare 'GT 'LT) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare 'LT 'EQ) = 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare 'LT 'GT) = 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare 'True 'False) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype 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.Ordtype 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.Ordtype Eval (Compare '[] '[]) = 'EQDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare '[] (_y ': _ys)) = 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare ('Left _a) ('Right _b)) = 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare ('Left a2) ('Left b2)) = Eval (Compare a2 b2)Defined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare ('Right _a) ('Left _b)) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare ('Right a3) ('Right b)) = Eval (Compare a3 b)Defined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare ('Just _a) 'Nothing) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare ('Just a2) ('Just b)) = Eval (Compare a2 b)Defined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare (_x ': _xs) '[]) = 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype 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.Ordtype Eval (Compare a a) = 'EQDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare a a) = 'EQDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare a b) = CmpSymbol a bDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare a b) = CmpNat a bDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (Compare a b) = 'EQDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (ConstFn a2 _b) = a2Defined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (Flip f y x) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (Join e) = Eval (Eval e)Defined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (LiftM2 f x y) = Eval (f (Eval x) (Eval y))Defined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (LiftM3 f x y z) = Eval (f (Eval x) (Eval y) (Eval z))Defined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (Pure x) = xDefined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (Pure1 f x) = f xDefined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (Pure2 f x y) = f x yDefined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (Pure3 f x y z) = f x y zDefined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (Pure4 f w x y z) = f w x y zDefined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (Pure5 f v w x y z) = f v w x y zDefined in first-class-families-0.8.2.0 · Fcf.Combinatorstype 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.Combinatorstype 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.Combinatorstype 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.Combinatorstype 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.Combinatorstype Eval (Not 'False) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Booltype Eval (Not 'True) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Booltype Eval (UnBool fal tru 'False) = Eval falDefined in first-class-families-0.8.2.0 · Fcf.Data.Booltype Eval (UnBool fal tru 'True) = Eval truDefined in first-class-families-0.8.2.0 · Fcf.Data.Booltype Eval (FromMaybe _a ('Just b)) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (FromMaybe a2 'Nothing) = a2Defined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (Fst '(a2, _b)) = a2Defined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (IsJust 'Nothing) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (IsJust ('Just _a)) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (IsLeft ('Left _a)) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (IsLeft ('Right _a)) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (IsNothing 'Nothing) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (IsNothing ('Just _a)) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (IsRight ('Left _a)) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (IsRight ('Right _a)) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (Snd '(_a, b)) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (UnEither f g ('Left x)) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (UnEither f g ('Right y)) = Eval (g y)Defined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (UnMaybe y f 'Nothing) = Eval yDefined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (UnMaybe y f ('Just x)) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (Uncurry f '(x, y)) = Eval (f x y)Defined in first-class-families-0.8.2.0 · Fcf.Data.Commontype 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.Functiontype 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.Functiontype Eval (Break p lst) = Eval (Span (Not <=< p) lst)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Cons a2 as) = a2 ': asDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Cons2 '(a3, b) '(as, bs)) = '(a3 ': as, b ': bs)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Drop n as) = Drop_ n asDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (DropWhile p '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype 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.Listtype Eval (Elem a2 as) = Eval (IsJust =<< FindIndex (TyEq a2) as)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Filter _p '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype 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.Listtype Eval (Find _p '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype 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.Listtype Eval (FindIndex _p '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (FindIndex p (a2 ': as)) = Eval (If (Eval (p a2)) (Pure ('JustDefined in first-class-families-0.8.2.0 · Fcf.Data.List0
)) (Map ((+)1
) =<< FindIndex p as))type Eval (Head '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Head (a2 ': _as)) = 'Just a2Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Init '[a2]) = 'Just '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Init '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Init (a2 ': b ': as)) = Eval (Map (Cons a2) =<< Init (b ': as))Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Intercalate xs xss) = Eval (Concat =<< Intersperse xs xss)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Intersperse _1 '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Intersperse sep (x ': xs)) = x ': Eval (PrependToAll sep xs)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (IsInfixOf xs ys) = Eval (Any (IsPrefixOf xs) =<< Tails ys)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (IsPrefixOf xs ys) = IsPrefixOf_ xs ysDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (IsSuffixOf xs ys) = Eval (IsPrefixOf (Reverse @@ xs) (Reverse @@ ys))Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Last '[a2]) = 'Just a2Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Last '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Last (a2 ': b ': as)) = Eval (Last (b ': as))Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Length '[]) =Defined in first-class-families-0.8.2.0 · Fcf.Data.List0
type Eval (Length (a2 ': as)) =Defined in first-class-families-0.8.2.0 · Fcf.Data.List1
+ Eval (Length as)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.Listtype Eval (Null '[]) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Null (a2 ': as)) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (NumIter a s) = If (Eval (s >Defined in first-class-families-0.8.2.0 · Fcf.Data.List0
)) ('Just '(a, s -1
)) 'Nothingtype 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.Listtype Eval (Partition p lst) = Eval (Foldr (PartHelp p) '('[], '[]) lst)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (PrependF x '(xs, y)) = '(x ': xs, y)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (PrependToAll _1 '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (PrependToAll sep (x ': xs)) = sep ': x ': Eval (PrependToAll sep xs)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Replicate n a2) = Eval (Unfoldr (NumIter a2) n)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Rev '[] ys) = ysDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Rev (x ': xs) ys) = Eval (Rev xs (x ': ys))Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Reverse l) = Eval (Rev l '[])Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (SetIndex n a' as) = SetIndexImpl n a' asDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Singleton x) = '[x]Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Snoc lst a) = Eval (lst ++ '[a])Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Span p lst) = '(Eval (TakeWhile p lst), Eval (DropWhile p lst))Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (SplitAt n xs) = '(Eval (Take n xs), Eval (Drop n xs))Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Tail '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Tail (_a ': as)) = 'Just asDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Tails '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Tails (a2 ': as)) = (a2 ': as) ': Eval (Tails as)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Take n as) = Take_ n asDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (TakeWhile p '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype 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.Listtype Eval (UnList y f xs) = Eval (Foldr f y xs)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Uncons '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Uncons (a ': xs)) = 'Just '(a, xs)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Unfoldr f c) = Eval (UnfoldrCase f (f @@ c))Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (UnfoldrCase _1 'Nothing) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype 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.Listtype Eval (Unsnoc '[x]) = 'Just '('[], x)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Unsnoc '[]) = 'NothingDefined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Unsnoc (x ': y ': ys)) = Eval (Map (PrependF x) =<< Unsnoc (y ': ys))Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Unzip as) = Eval (Foldr Cons2 '('[], '[]) (Eval as))Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (Zip as bs) = Eval (ZipWith (Pure2 '((,))) as bs)Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (ZipWith _f '[] _bs) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype Eval (ZipWith _f _as '[]) = '[]Defined in first-class-families-0.8.2.0 · Fcf.Data.Listtype 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.Listtype Eval (Assert msg mcond k) = Eval (If (Eval mcond) (Pure k) (TError msg))Defined in first-class-families-0.8.2.0 · Fcf.Utilstype Eval (AssertNot err mcond k) = Eval (Assert err (Not =<< mcond) k)Defined in first-class-families-0.8.2.0 · Fcf.Utilstype Eval (Case ms a) = Case_ ms aDefined in first-class-families-0.8.2.0 · Fcf.Utilstype Eval (Constraints '[]) = ()Defined in first-class-families-0.8.2.0 · Fcf.Utilstype Eval (Constraints (a ': as)) = (a, Eval (Constraints as))Defined in first-class-families-0.8.2.0 · Fcf.Utilstype Eval (Error msg) = TypeError ('Text msg)Defined in first-class-families-0.8.2.0 · Fcf.Utilstype Eval (TError msg) = TypeError msgDefined in first-class-families-0.8.2.0 · Fcf.Utilstype Eval (TyEq a b) = TyEqImpl a bDefined in first-class-families-0.8.2.0 · Fcf.Utilstype Eval (DelayErrorFcf a2) = TypeError a2Defined in type-errors-0.2.0.2 · Type.Errorstype Eval ('False && b) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Booltype Eval ('False || b) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Booltype Eval ('True && b) = bDefined in first-class-families-0.8.2.0 · Fcf.Data.Booltype Eval ('True || b) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Booltype Eval ((<=<) f g x) = Eval (f (Eval (g x)))Defined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval ((***) f f' '(b2, b'2)) = '(Eval (f b2), Eval (f' b'2))Defined in first-class-families-0.8.2.0 · Fcf.Data.Commontype Eval (a && 'False) = 'FalseDefined in first-class-families-0.8.2.0 · Fcf.Data.Booltype Eval (a && 'True) = aDefined in first-class-families-0.8.2.0 · Fcf.Data.Booltype Eval (a || 'False) = aDefined in first-class-families-0.8.2.0 · Fcf.Data.Booltype Eval (a || 'True) = 'TrueDefined in first-class-families-0.8.2.0 · Fcf.Data.Booltype Eval (a * b) = a * bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nattype Eval (a + b) = a + bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nattype Eval (a - b) = a - bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nattype Eval (a < b) = Eval (Not =<< (a >= b))Defined in first-class-families-0.8.2.0 · Fcf.Data.Nattype Eval (a <= b) = a <=? bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nattype Eval (a > b) = Eval (Not =<< (a <= b))Defined in first-class-families-0.8.2.0 · Fcf.Data.Nattype Eval (a >= b) = b <=? aDefined in first-class-families-0.8.2.0 · Fcf.Data.Nattype Eval (a ^ b) = a ^ bDefined in first-class-families-0.8.2.0 · Fcf.Data.Nattype Eval (a2 < b) = Compare a2 b ~== 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (a2 <= b) = Compare a2 b ~/= 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (a2 > b) = Compare a2 b ~== 'GTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (a2 >= b) = Compare a2 b ~/= 'LTDefined in first-class-families-0.8.2.0 · Fcf.Class.Ordtype Eval (e >>= k) = Eval (k (Eval e))Defined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (f $ a3) = Eval (f a3)Defined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (f <$> e) = f (Eval e)Defined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (f <*> e) = Eval f (Eval e)Defined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (k =<< e) = Eval (k (Eval e))Defined in first-class-families-0.8.2.0 · Fcf.Combinatorstype Eval (x .<> y) = x <> yDefined in first-class-families-0.8.2.0 · Fcf.Class.Monoidtype Eval (x & f) = Eval (f x)Defined in first-class-families-0.8.2.0 · Fcf.Data.Functiontype Eval (xs ++ ys) = xs <> ysDefined in first-class-families-0.8.2.0 · Fcf.Data.List
A description of a custom type error.
Constructors
Text SymbolShow the text as is.
forall t. ShowType tPretty print the type.
ShowType :: k -> ErrorMessageErrorMessage :<>: ErrorMessageinfixl 6Put two pieces of error message next to each other.
ErrorMessage :$$: ErrorMessageinfixl 5Stack two pieces of error message on top of each other.
The type-level equivalent of error.
The polymorphic kind of this type allows it to be used in several settings. For instance, it can be used as a constraint, e.g. to provide a better error message for a non-existent instance,
-- in a context
instance TypeError (Text "Cannot Show functions." :$$:
Text "Perhaps there is a missing argument?")
=> Show (a -> b) where
showsPrec = error "unreachable"
It can also be placed on the right-hand side of a type-level function to provide an error for an invalid case,
type family ByteSize x where
ByteSize Word16 = 2
ByteSize Word8 = 1
ByteSize a = TypeError (Text "The type " :<>: ShowType a :<>:
Text " is not exportable.")
Instances1Eval
type Eval (DelayErrorFcf a2) = TypeError a2Defined in type-errors-0.2.0.2 · Type.Errors
Equations
IfStuck (_1 AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind AnythingOfAnyKind) b c = bIfStuck a2 b c = Eval c
Equations
PrettyPrintList '[] = 'Text""
PrettyPrintList '[a] = ShowTypeQuoted aPrettyPrintList '[a, b] = (ShowTypeQuoted a ':<>: 'Text", and "
) ':<>: ShowTypeQuoted bPrettyPrintList (a ': vs) = (ShowTypeQuoted a ':<>: 'Text", "
) ':<>: PrettyPrintList vs
Equations
ShowTypeQuoted t = 'ShowType tShowTypeQuoted t2 = ('Text"'"
':<>: 'ShowType t2) ':<>: 'Text"'"