Modulefirst-class-families-0.8.2.0

Fcf.Data.List

Synopsis

data Concat
data ConcatMap
data Foldr
data ++
data Break
data Cons
data Cons2
data Drop
data DropWhile
data Elem
data Filter
data Find
data FindIndex
data Head
data Init
data Intercalate
data Intersperse
data IsInfixOf
data IsPrefixOf
data IsSuffixOf
data Last
data Length
data Lookup
data Null
data Partition
data Replicate
data Reverse
data SetIndex
data Singleton
data Snoc
data Span
data SplitAt
data Tail
data Tails
data Take
data TakeWhile
data UnList
data Uncons
data Unfoldr
data Unsnoc
data Unzip
data Zip
data ZipWith

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