Modulefirst-class-families-0.8.2.0

Fcf.Data.List

43 types

Packagefirst-class-families-0.8.2.0
Exports43
LicenceMIT

datadata Concat (a :: t m) (b :: m)

Instances1Eval

type Eval (Concat xs) = Eval (FoldMap Pure xs)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable

datadata ConcatMap (c :: a -> Exp [b]) (d :: t a) (e :: [b])

Instances1Eval

type Eval (ConcatMap f xs) = Eval (FoldMap f xs)Defined in first-class-families-0.8.2.0 · Fcf.Class.Foldable

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 (++) (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

type Eval (Break p lst) = Eval (Span (Not <=< p) lst)Defined in first-class-families-0.8.2.0 · Fcf.Data.List

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 DropWhile (b :: a -> Exp Bool) (c :: [a]) (d :: [a])

Instances2Eval

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

datadata Elem (b :: a) (c :: [a]) (d :: Bool)

Instances1Eval

type Eval (Elem a2 as) = Eval (IsJust =<< FindIndex (TyEq a2) as)Defined 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 FindIndex (b :: a -> Exp Bool) (c :: [a]) (d :: Maybe Nat)

Instances2Eval

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

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 Intercalate (b :: [a]) (c :: [[a]]) (d :: [a])

Instances1Eval

type Eval (Intercalate xs xss) = Eval (Concat =<< Intersperse xs xss)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 IsInfixOf (b :: [a]) (c :: [a]) (d :: Bool)

Instances1Eval

type Eval (IsInfixOf xs ys) = Eval (Any (IsPrefixOf xs) =<< Tails ys)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 IsSuffixOf (b :: [a]) (c :: [a]) (d :: Bool)

Instances1Eval

type Eval (IsSuffixOf xs ys) = Eval (IsPrefixOf (Reverse @@ xs) (Reverse @@ ys))Defined 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 Lookup (a :: k) (c :: [(k, b)]) (d :: Maybe b)

Instances1Eval

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

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 Replicate (b :: Nat) (c :: a) (d :: [a])

Instances1Eval

type Eval (Replicate n a2) = Eval (Unfoldr (NumIter a2) n)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 Span (b :: a -> Exp Bool) (c :: [a]) (d :: ([a], [a]))

Instances1Eval

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

datadata SplitAt (b :: Nat) (c :: [a]) (d :: ([a], [a]))

Instances1Eval

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

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 TakeWhile (b :: a -> Exp Bool) (c :: [a]) (d :: [a])

Instances2Eval

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

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

type Eval (Unzip as) = Eval (Foldr Cons2 '('[], '[]) (Eval as))Defined in first-class-families-0.8.2.0 · Fcf.Data.List

datadata Zip (c :: [a]) (d :: [b]) (e :: [(a, b)])

Instances1Eval

type Eval (Zip as bs) = Eval (ZipWith (Pure2 '((,))) as bs)Defined in first-class-families-0.8.2.0 · Fcf.Data.List

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