singletons-2.4: A framework for generating singleton types

Data.Promotion.Prelude.List.NonEmpty

Description

Defines functions and datatypes relating to promoting NonEmpty, including promoted versions of many of the definitions in Data.List.NonEmpty.

Synopsis

# Non-empty stream transformations

type family Map (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty b where ... Source #

Equations

 Map f ((:|) a as) = Apply (Apply (:|@#@$) (Apply f a)) (Apply (Apply ListmapSym0 f) as) type family Intersperse (a :: a) (a :: NonEmpty a) :: NonEmpty a where ... Source # Equations  Intersperse a ((:|) b bs) = Apply (Apply (:|@#@$) b) (Case_6989586621679770019 a b bs bs)

type family Scanl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: NonEmpty b where ... Source #

Equations

 Scanl f z a_6989586621679770266 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply ListscanlSym0 f) z)) a_6989586621679770266 type family Scanr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: NonEmpty b where ... Source # Equations  Scanr f z a_6989586621679770286 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply ListscanrSym0 f) z)) a_6989586621679770286

type family Scanl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

 Scanl1 f ((:|) a as) = Apply FromListSym0 (Apply (Apply (Apply ListscanlSym0 f) a) as)

type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

 Scanr1 f ((:|) a as) = Apply FromListSym0 (Apply (Apply Listscanr1Sym0 f) (Apply (Apply (:@#@$) a) as)) type family Transpose (a :: NonEmpty (NonEmpty a)) :: NonEmpty (NonEmpty a) where ... Source # Equations  Transpose a_6989586621679770511 = Apply (Apply (Apply (.@#@$) (Apply FmapSym0 FromListSym0)) (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply (.@#@$) ListtransposeSym0) (Apply (Apply (.@#@$) ToListSym0) (Apply FmapSym0 ToListSym0))))) a_6989586621679770511 type family SortBy (a :: TyFun a (TyFun a Ordering -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ... Source # Equations  SortBy f a_6989586621679770192 = Apply (Apply LiftSym0 (Apply ListsortBySym0 f)) a_6989586621679770192 type family SortWith (a :: TyFun a o -> Type) (a :: NonEmpty a) :: NonEmpty a where ... Source # Equations  SortWith a_6989586621679770196 a_6989586621679770198 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621679770196) a_6989586621679770198

type family Length (a :: NonEmpty a) :: Nat where ... Source #

Equations

 Length ((:|) _ xs) = Apply (Apply (+@#@$) (FromInteger 1)) (Apply ListlengthSym0 xs) type family Head (a :: NonEmpty a) :: a where ... Source # Equations  Head ((:|) a _) = a type family Tail (a :: NonEmpty a) :: [a] where ... Source # Equations  Tail ((:|) _ as) = as type family Last (a :: NonEmpty a) :: a where ... Source # Equations  Last ((:|) a as) = Apply ListlastSym0 (Apply (Apply (:@#@$) a) as)

type family Init (a :: NonEmpty a) :: [a] where ... Source #

Equations

 Init ((:|) a as) = Apply ListinitSym0 (Apply (Apply (:@#@$) a) as) type family (a :: a) <| (a :: NonEmpty a) :: NonEmpty a where ... Source # Equations  a <| ((:|) b bs) = Apply (Apply (:|@#@$) a) (Apply (Apply (:@#@$) b) bs) type family Cons (a :: a) (a :: NonEmpty a) :: NonEmpty a where ... Source # Equations  Cons a_6989586621679770334 a_6989586621679770336 = Apply (Apply (<|@#@$) a_6989586621679770334) a_6989586621679770336

type family Uncons (a :: NonEmpty a) :: (a, Maybe (NonEmpty a)) where ... Source #

Equations

 Uncons ((:|) a as) = Apply (Apply Tuple2Sym0 a) (Apply NonEmpty_Sym0 as)

type family Unfoldr (a :: TyFun a (b, Maybe a) -> Type) (a :: a) :: NonEmpty b where ... Source #

Equations

 Unfoldr f a = Case_6989586621679770423 f a (Let6989586621679770415Scrutinee_6989586621679768383Sym2 f a)

type family Sort (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

 Sort a_6989586621679770315 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621679770315

type family Reverse (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

 Reverse a_6989586621679770176 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621679770176

type family Inits (a :: [a]) :: NonEmpty [a] where ... Source #

Equations

 Inits a_6989586621679770224 = Apply (Apply (Apply (.@#@$) FromListSym0) ListinitsSym0) a_6989586621679770224 type family Tails (a :: [a]) :: NonEmpty [a] where ... Source # Equations  Tails a_6989586621679770231 = Apply (Apply (Apply (.@#@$) FromListSym0) ListtailsSym0) a_6989586621679770231

type family Unfold (a :: TyFun a (b, Maybe a) -> Type) (a :: a) :: NonEmpty b where ... Source #

Equations

 Unfold f a = Case_6989586621679770459 f a (Let6989586621679770451Scrutinee_6989586621679768373Sym2 f a)

type family Insert (a :: a) (a :: [a]) :: NonEmpty a where ... Source #

Equations

 Insert a a_6989586621679770247 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply ListinsertSym0 a)) a_6989586621679770247 type family Take (a :: Nat) (a :: NonEmpty a) :: [a] where ... Source # Equations  Take n a_6989586621679770049 = Apply (Apply (Apply (.@#@$) (Apply ListtakeSym0 n)) ToListSym0) a_6989586621679770049

type family Drop (a :: Nat) (a :: NonEmpty a) :: [a] where ... Source #

Equations

 Drop n a_6989586621679770062 = Apply (Apply (Apply (.@#@$) (Apply ListdropSym0 n)) ToListSym0) a_6989586621679770062 type family SplitAt (a :: Nat) (a :: NonEmpty a) :: ([a], [a]) where ... Source # Equations  SplitAt n a_6989586621679770075 = Apply (Apply (Apply (.@#@$) (Apply ListsplitAtSym0 n)) ToListSym0) a_6989586621679770075

type family TakeWhile (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: [a] where ... Source #

Equations

 TakeWhile p a_6989586621679770088 = Apply (Apply (Apply (.@#@$) (Apply ListtakeWhileSym0 p)) ToListSym0) a_6989586621679770088 type family DropWhile (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: [a] where ... Source # Equations  DropWhile p a_6989586621679770101 = Apply (Apply (Apply (.@#@$) (Apply ListdropWhileSym0 p)) ToListSym0) a_6989586621679770101

type family Span (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: ([a], [a]) where ... Source #

Equations

 Span p a_6989586621679770114 = Apply (Apply (Apply (.@#@$) (Apply ListspanSym0 p)) ToListSym0) a_6989586621679770114 type family Break (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: ([a], [a]) where ... Source # Equations  Break p a_6989586621679770127 = Apply (Apply SpanSym0 (Apply (Apply (.@#@$) NotSym0) p)) a_6989586621679770127

type family Filter (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: [a] where ... Source #

Equations

 Filter p a_6989586621679770140 = Apply (Apply (Apply (.@#@$) (Apply ListfilterSym0 p)) ToListSym0) a_6989586621679770140 type family Partition (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: ([a], [a]) where ... Source # Equations  Partition p a_6989586621679770153 = Apply (Apply (Apply (.@#@$) (Apply ListpartitionSym0 p)) ToListSym0) a_6989586621679770153

type family Group (a :: [a]) :: [NonEmpty a] where ... Source #

Equations

 Group a_6989586621679770000 = Apply (Apply GroupBySym0 (==@#@$)) a_6989586621679770000 type family GroupBy (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: [a]) :: [NonEmpty a] where ... Source # Equations  GroupBy eq0 a_6989586621679769773 = Apply (Apply (Let6989586621679769777GoSym2 eq0 a_6989586621679769773) eq0) a_6989586621679769773 type family GroupWith (a :: TyFun a b -> Type) (a :: [a]) :: [NonEmpty a] where ... Source # Equations  GroupWith f a_6989586621679769900 = Apply (Apply GroupBySym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621679769900

type family GroupAllWith (a :: TyFun a b -> Type) (a :: [a]) :: [NonEmpty a] where ... Source #

Equations

 GroupAllWith f a_6989586621679769913 = Apply (Apply (Apply (.@#@$) (Apply GroupWithSym0 f)) (Apply ListsortBySym0 (Apply (Apply OnSym0 CompareSym0) f))) a_6989586621679769913 type family Group1 (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source # Equations  Group1 a_6989586621679769980 = Apply (Apply GroupBy1Sym0 (==@#@$)) a_6989586621679769980

type family GroupBy1 (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #

Equations

 GroupBy1 eq ((:|) x xs) = Apply (Apply (:|@#@$) (Apply (Apply (:|@#@$) x) (Let6989586621679769929YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621679769929ZsSym3 eq x xs))

type family GroupWith1 (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #

Equations

 GroupWith1 f a_6989586621679769996 = Apply (Apply GroupBy1Sym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621679769996 type family GroupAllWith1 (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source # Equations  GroupAllWith1 f a_6989586621679770220 = Apply (Apply (Apply (.@#@$) (Apply GroupWith1Sym0 f)) (Apply SortWithSym0 f)) a_6989586621679770220

type family IsPrefixOf (a :: [a]) (a :: NonEmpty a) :: Bool where ... Source #

Equations

 IsPrefixOf '[] _ = TrueSym0 IsPrefixOf ((:) y ys) ((:|) x xs) = Apply (Apply (&&@#@$) (Apply (Apply (==@#@$) y) x)) (Apply (Apply ListisPrefixOfSym0 ys) xs)

type family Nub (a :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

 Nub a_6989586621679769630 = Apply (Apply NubBySym0 (==@#@$)) a_6989586621679769630 type family NubBy (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ... Source # Equations  NubBy eq ((:|) a as) = Apply (Apply (:|@#@$) a) (Apply (Apply ListnubBySym0 eq) (Apply (Apply ListfilterSym0 (Apply (Apply (Apply Lambda_6989586621679769608Sym0 eq) a) as)) as))

type family (a :: NonEmpty a) !! (a :: Nat) :: a where ... Source #

Equations

 arg_6989586621679768395 !! arg_6989586621679768397 = Case_6989586621679769739 arg_6989586621679768395 arg_6989586621679768397 (Apply (Apply Tuple2Sym0 arg_6989586621679768395) arg_6989586621679768397)

type family Zip (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty (a, b) where ... Source #

Equations

 Zip ((:|) x xs) ((:|) y ys) = Apply (Apply (:|@#@$) (Apply (Apply Tuple2Sym0 x) y)) (Apply (Apply ListzipSym0 xs) ys) type family ZipWith (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty c where ... Source # Equations  ZipWith f ((:|) x xs) ((:|) y ys) = Apply (Apply (:|@#@$) (Apply (Apply f x) y)) (Apply (Apply (Apply ListzipWithSym0 f) xs) ys)

type family Unzip (a :: NonEmpty (a, b)) :: (NonEmpty a, NonEmpty b) where ... Source #

Equations

 Unzip ((:|) '(a, b) asbs) = Apply (Apply Tuple2Sym0 (Apply (Apply (:|@#@$) a) (Let6989586621679769644AsSym3 a b asbs))) (Apply (Apply (:|@#@$) b) (Let6989586621679769644BsSym3 a b asbs))

type family FromList (a :: [a]) :: NonEmpty a where ... Source #

Equations

 FromList ((:) a as) = Apply (Apply (:|@#@$) a) as FromList '[] = Apply ErrorSym0 "NonEmpty.fromList: empty list" type family ToList (a :: NonEmpty a) :: [a] where ... Source # Equations  ToList ((:|) a as) = Apply (Apply (:@#@$) a) as

type family NonEmpty_ (a :: [a]) :: Maybe (NonEmpty a) where ... Source #

Equations

 NonEmpty_ '[] = NothingSym0 NonEmpty_ ((:) a as) = Apply JustSym0 (Apply (Apply (:|@#@$) a) as) type family Xor (a :: NonEmpty Bool) :: Bool where ... Source # Equations  Xor ((:|) x xs) = Apply (Apply (Apply FoldrSym0 (Let6989586621679770471Xor'Sym2 x xs)) x) xs # Defunctionalization symbols data (:|@#@$) (l :: TyFun a6989586621679067178 (TyFun [a6989586621679067178] (NonEmpty a6989586621679067178) -> Type)) Source #

Instances
 SuppressUnusedWarnings ((:|@#@$) :: TyFun a6989586621679067178 (TyFun [a6989586621679067178] (NonEmpty a6989586621679067178) -> Type) -> *) Source # Instance detailsMethods type Apply ((:|@#@$) :: TyFun a6989586621679067178 (TyFun [a6989586621679067178] (NonEmpty a6989586621679067178) -> Type) -> *) (l :: a6989586621679067178) Source # Instance detailstype Apply ((:|@#@$) :: TyFun a6989586621679067178 (TyFun [a6989586621679067178] (NonEmpty a6989586621679067178) -> Type) -> *) (l :: a6989586621679067178) = (:|@#@$$) l data (l :: a6989586621679067178) :|@#@$$ (l :: TyFun [a6989586621679067178] (NonEmpty a6989586621679067178)) Source # Instances  SuppressUnusedWarnings ((:|@#@$$) :: a6989586621679067178 -> TyFun [a6989586621679067178] (NonEmpty a6989586621679067178) -> *) Source # Instance detailsMethods type Apply ((:|@#@$$) l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) Source # Instance detailstype Apply ((:|@#@$$) l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) = l1 :| l2 type (:|@#@$$$) (t :: a6989586621679067178) (t :: [a6989586621679067178]) = (:|) t t Source #

data MapSym0 (l :: TyFun (TyFun a6989586621679768189 b6989586621679768190 -> Type) (TyFun (NonEmpty a6989586621679768189) (NonEmpty b6989586621679768190) -> Type)) Source #

Instances
 SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679768189 b6989586621679768190 -> Type) (TyFun (NonEmpty a6989586621679768189) (NonEmpty b6989586621679768190) -> Type) -> *) Source # Instance detailsMethods type Apply (MapSym0 :: TyFun (TyFun a6989586621679768189 b6989586621679768190 -> Type) (TyFun (NonEmpty a6989586621679768189) (NonEmpty b6989586621679768190) -> Type) -> *) (l :: TyFun a6989586621679768189 b6989586621679768190 -> Type) Source # Instance detailstype Apply (MapSym0 :: TyFun (TyFun a6989586621679768189 b6989586621679768190 -> Type) (TyFun (NonEmpty a6989586621679768189) (NonEmpty b6989586621679768190) -> Type) -> *) (l :: TyFun a6989586621679768189 b6989586621679768190 -> Type) = MapSym1 l

data MapSym1 (l :: TyFun a6989586621679768189 b6989586621679768190 -> Type) (l :: TyFun (NonEmpty a6989586621679768189) (NonEmpty b6989586621679768190)) Source #

Instances
 SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679768189 b6989586621679768190 -> Type) -> TyFun (NonEmpty a6989586621679768189) (NonEmpty b6989586621679768190) -> *) Source # Instance detailsMethods type Apply (MapSym1 l1 :: TyFun (NonEmpty a) (NonEmpty b) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (MapSym1 l1 :: TyFun (NonEmpty a) (NonEmpty b) -> *) (l2 :: NonEmpty a) = Map l1 l2

type MapSym2 (t :: TyFun a6989586621679768189 b6989586621679768190 -> Type) (t :: NonEmpty a6989586621679768189) = Map t t Source #

data IntersperseSym0 (l :: TyFun a6989586621679768179 (TyFun (NonEmpty a6989586621679768179) (NonEmpty a6989586621679768179) -> Type)) Source #

Instances
 SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621679768179 (TyFun (NonEmpty a6989586621679768179) (NonEmpty a6989586621679768179) -> Type) -> *) Source # Instance detailsMethods type Apply (IntersperseSym0 :: TyFun a6989586621679768179 (TyFun (NonEmpty a6989586621679768179) (NonEmpty a6989586621679768179) -> Type) -> *) (l :: a6989586621679768179) Source # Instance detailstype Apply (IntersperseSym0 :: TyFun a6989586621679768179 (TyFun (NonEmpty a6989586621679768179) (NonEmpty a6989586621679768179) -> Type) -> *) (l :: a6989586621679768179) = IntersperseSym1 l

data IntersperseSym1 (l :: a6989586621679768179) (l :: TyFun (NonEmpty a6989586621679768179) (NonEmpty a6989586621679768179)) Source #

Instances
 SuppressUnusedWarnings (IntersperseSym1 :: a6989586621679768179 -> TyFun (NonEmpty a6989586621679768179) (NonEmpty a6989586621679768179) -> *) Source # Instance detailsMethods type Apply (IntersperseSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (IntersperseSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Intersperse l1 l2

type IntersperseSym2 (t :: a6989586621679768179) (t :: NonEmpty a6989586621679768179) = Intersperse t t Source #

data ScanlSym0 (l :: TyFun (TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) (TyFun b6989586621679768184 (TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> Type) -> Type)) Source #

Instances
 SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) (TyFun b6989586621679768184 (TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) (TyFun b6989586621679768184 (TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> Type) -> Type) -> *) (l :: TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) Source # Instance detailstype Apply (ScanlSym0 :: TyFun (TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) (TyFun b6989586621679768184 (TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> Type) -> Type) -> *) (l :: TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) = ScanlSym1 l

data ScanlSym1 (l :: TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) (l :: TyFun b6989586621679768184 (TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> Type)) Source #

Instances
 SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) -> TyFun b6989586621679768184 (TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> Type) -> *) Source # Instance detailsMethods type Apply (ScanlSym1 l1 :: TyFun b6989586621679768184 (TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> Type) -> *) (l2 :: b6989586621679768184) Source # Instance detailstype Apply (ScanlSym1 l1 :: TyFun b6989586621679768184 (TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> Type) -> *) (l2 :: b6989586621679768184) = ScanlSym2 l1 l2

data ScanlSym2 (l :: TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) (l :: b6989586621679768184) (l :: TyFun [a6989586621679768185] (NonEmpty b6989586621679768184)) Source #

Instances
 SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) -> b6989586621679768184 -> TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> *) Source # Instance detailsMethods type Apply (ScanlSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) Source # Instance detailstype Apply (ScanlSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) = Scanl l1 l2 l3

type ScanlSym3 (t :: TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) (t :: b6989586621679768184) (t :: [a6989586621679768185]) = Scanl t t t Source #

data ScanrSym0 (l :: TyFun (TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) (TyFun b6989586621679768183 (TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> Type) -> Type)) Source #

Instances
 SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) (TyFun b6989586621679768183 (TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) (TyFun b6989586621679768183 (TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> Type) -> Type) -> *) (l :: TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) Source # Instance detailstype Apply (ScanrSym0 :: TyFun (TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) (TyFun b6989586621679768183 (TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> Type) -> Type) -> *) (l :: TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) = ScanrSym1 l

data ScanrSym1 (l :: TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) (l :: TyFun b6989586621679768183 (TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> Type)) Source #

Instances
 SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) -> TyFun b6989586621679768183 (TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> Type) -> *) Source # Instance detailsMethods type Apply (ScanrSym1 l1 :: TyFun b6989586621679768183 (TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> Type) -> *) (l2 :: b6989586621679768183) Source # Instance detailstype Apply (ScanrSym1 l1 :: TyFun b6989586621679768183 (TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> Type) -> *) (l2 :: b6989586621679768183) = ScanrSym2 l1 l2

data ScanrSym2 (l :: TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) (l :: b6989586621679768183) (l :: TyFun [a6989586621679768182] (NonEmpty b6989586621679768183)) Source #

Instances
 SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) -> b6989586621679768183 -> TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> *) Source # Instance detailsMethods type Apply (ScanrSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) Source # Instance detailstype Apply (ScanrSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) = Scanr l1 l2 l3

type ScanrSym3 (t :: TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) (t :: b6989586621679768183) (t :: [a6989586621679768182]) = Scanr t t t Source #

data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679768181 (TyFun a6989586621679768181 a6989586621679768181 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768181) (NonEmpty a6989586621679768181) -> Type)) Source #

Instances
 SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679768181 (TyFun a6989586621679768181 a6989586621679768181 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768181) (NonEmpty a6989586621679768181) -> Type) -> *) Source # Instance detailsMethods type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679768181 (TyFun a6989586621679768181 a6989586621679768181 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768181) (NonEmpty a6989586621679768181) -> Type) -> *) (l :: TyFun a6989586621679768181 (TyFun a6989586621679768181 a6989586621679768181 -> Type) -> Type) Source # Instance detailstype Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679768181 (TyFun a6989586621679768181 a6989586621679768181 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768181) (NonEmpty a6989586621679768181) -> Type) -> *) (l :: TyFun a6989586621679768181 (TyFun a6989586621679768181 a6989586621679768181 -> Type) -> Type) = Scanl1Sym1 l

data Scanl1Sym1 (l :: TyFun a6989586621679768181 (TyFun a6989586621679768181 a6989586621679768181 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679768181) (NonEmpty a6989586621679768181)) Source #

Instances
 SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679768181 (TyFun a6989586621679768181 a6989586621679768181 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679768181) (NonEmpty a6989586621679768181) -> *) Source # Instance detailsMethods type Apply (Scanl1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (Scanl1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Scanl1 l1 l2

type Scanl1Sym2 (t :: TyFun a6989586621679768181 (TyFun a6989586621679768181 a6989586621679768181 -> Type) -> Type) (t :: NonEmpty a6989586621679768181) = Scanl1 t t Source #

data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679768180 (TyFun a6989586621679768180 a6989586621679768180 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768180) (NonEmpty a6989586621679768180) -> Type)) Source #

Instances
 SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679768180 (TyFun a6989586621679768180 a6989586621679768180 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768180) (NonEmpty a6989586621679768180) -> Type) -> *) Source # Instance detailsMethods type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679768180 (TyFun a6989586621679768180 a6989586621679768180 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768180) (NonEmpty a6989586621679768180) -> Type) -> *) (l :: TyFun a6989586621679768180 (TyFun a6989586621679768180 a6989586621679768180 -> Type) -> Type) Source # Instance detailstype Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679768180 (TyFun a6989586621679768180 a6989586621679768180 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768180) (NonEmpty a6989586621679768180) -> Type) -> *) (l :: TyFun a6989586621679768180 (TyFun a6989586621679768180 a6989586621679768180 -> Type) -> Type) = Scanr1Sym1 l

data Scanr1Sym1 (l :: TyFun a6989586621679768180 (TyFun a6989586621679768180 a6989586621679768180 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679768180) (NonEmpty a6989586621679768180)) Source #

Instances
 SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679768180 (TyFun a6989586621679768180 a6989586621679768180 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679768180) (NonEmpty a6989586621679768180) -> *) Source # Instance detailsMethods type Apply (Scanr1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (Scanr1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Scanr1 l1 l2

type Scanr1Sym2 (t :: TyFun a6989586621679768180 (TyFun a6989586621679768180 a6989586621679768180 -> Type) -> Type) (t :: NonEmpty a6989586621679768180) = Scanr1 t t Source #

data TransposeSym0 (l :: TyFun (NonEmpty (NonEmpty a6989586621679768145)) (NonEmpty (NonEmpty a6989586621679768145))) Source #

Instances
 SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621679768145)) (NonEmpty (NonEmpty a6989586621679768145)) -> *) Source # Instance detailsMethods type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty (NonEmpty a)) Source # Instance detailstype Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty (NonEmpty a)) = Transpose l

type TransposeSym1 (t :: NonEmpty (NonEmpty a6989586621679768145)) = Transpose t Source #

data SortBySym0 (l :: TyFun (TyFun a6989586621679768144 (TyFun a6989586621679768144 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679768144) (NonEmpty a6989586621679768144) -> Type)) Source #

Instances
 SuppressUnusedWarnings (SortBySym0 :: TyFun (TyFun a6989586621679768144 (TyFun a6989586621679768144 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679768144) (NonEmpty a6989586621679768144) -> Type) -> *) Source # Instance detailsMethods type Apply (SortBySym0 :: TyFun (TyFun a6989586621679768144 (TyFun a6989586621679768144 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679768144) (NonEmpty a6989586621679768144) -> Type) -> *) (l :: TyFun a6989586621679768144 (TyFun a6989586621679768144 Ordering -> Type) -> Type) Source # Instance detailstype Apply (SortBySym0 :: TyFun (TyFun a6989586621679768144 (TyFun a6989586621679768144 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679768144) (NonEmpty a6989586621679768144) -> Type) -> *) (l :: TyFun a6989586621679768144 (TyFun a6989586621679768144 Ordering -> Type) -> Type) = SortBySym1 l

data SortBySym1 (l :: TyFun a6989586621679768144 (TyFun a6989586621679768144 Ordering -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679768144) (NonEmpty a6989586621679768144)) Source #

Instances
 SuppressUnusedWarnings (SortBySym1 :: (TyFun a6989586621679768144 (TyFun a6989586621679768144 Ordering -> Type) -> Type) -> TyFun (NonEmpty a6989586621679768144) (NonEmpty a6989586621679768144) -> *) Source # Instance detailsMethods type Apply (SortBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (SortBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = SortBy l1 l2

type SortBySym2 (t :: TyFun a6989586621679768144 (TyFun a6989586621679768144 Ordering -> Type) -> Type) (t :: NonEmpty a6989586621679768144) = SortBy t t Source #

data SortWithSym0 (l :: TyFun (TyFun a6989586621679768143 o6989586621679768142 -> Type) (TyFun (NonEmpty a6989586621679768143) (NonEmpty a6989586621679768143) -> Type)) Source #

Instances
 SuppressUnusedWarnings (SortWithSym0 :: TyFun (TyFun a6989586621679768143 o6989586621679768142 -> Type) (TyFun (NonEmpty a6989586621679768143) (NonEmpty a6989586621679768143) -> Type) -> *) Source # Instance detailsMethods type Apply (SortWithSym0 :: TyFun (TyFun a6989586621679768143 o6989586621679768142 -> Type) (TyFun (NonEmpty a6989586621679768143) (NonEmpty a6989586621679768143) -> Type) -> *) (l :: TyFun a6989586621679768143 o6989586621679768142 -> Type) Source # Instance detailstype Apply (SortWithSym0 :: TyFun (TyFun a6989586621679768143 o6989586621679768142 -> Type) (TyFun (NonEmpty a6989586621679768143) (NonEmpty a6989586621679768143) -> Type) -> *) (l :: TyFun a6989586621679768143 o6989586621679768142 -> Type) = SortWithSym1 l

data SortWithSym1 (l :: TyFun a6989586621679768143 o6989586621679768142 -> Type) (l :: TyFun (NonEmpty a6989586621679768143) (NonEmpty a6989586621679768143)) Source #

Instances
 SuppressUnusedWarnings (SortWithSym1 :: (TyFun a6989586621679768143 o6989586621679768142 -> Type) -> TyFun (NonEmpty a6989586621679768143) (NonEmpty a6989586621679768143) -> *) Source # Instance detailsMethods type Apply (SortWithSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (SortWithSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = SortWith l1 l2

type SortWithSym2 (t :: TyFun a6989586621679768143 o6989586621679768142 -> Type) (t :: NonEmpty a6989586621679768143) = SortWith t t Source #

data LengthSym0 (l :: TyFun (NonEmpty a6989586621679768208) Nat) Source #

Instances
 SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a6989586621679768208) Nat -> *) Source # Instance detailsMethods type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> *) (l :: NonEmpty a) Source # Instance detailstype Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> *) (l :: NonEmpty a) = Length l

type LengthSym1 (t :: NonEmpty a6989586621679768208) = Length t Source #

data HeadSym0 (l :: TyFun (NonEmpty a6989586621679768201) a6989586621679768201) Source #

Instances
 SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a6989586621679768201) a6989586621679768201 -> *) Source # Instance detailsMethods type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) Source # Instance detailstype Apply (HeadSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) = Head l

data TailSym0 (l :: TyFun (NonEmpty a6989586621679768200) [a6989586621679768200]) Source #

Instances
 SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a6989586621679768200) [a6989586621679768200] -> *) Source # Instance detailsMethods type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) Source # Instance detailstype Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) = Tail l

type TailSym1 (t :: NonEmpty a6989586621679768200) = Tail t Source #

data LastSym0 (l :: TyFun (NonEmpty a6989586621679768199) a6989586621679768199) Source #

Instances
 SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a6989586621679768199) a6989586621679768199 -> *) Source # Instance detailsMethods type Apply (LastSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) Source # Instance detailstype Apply (LastSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) = Last l

type LastSym1 (t :: NonEmpty a6989586621679768199) = Last t Source #

data InitSym0 (l :: TyFun (NonEmpty a6989586621679768198) [a6989586621679768198]) Source #

Instances
 SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a6989586621679768198) [a6989586621679768198] -> *) Source # Instance detailsMethods type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) Source # Instance detailstype Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) = Init l

type InitSym1 (t :: NonEmpty a6989586621679768198) = Init t Source #

data (<|@#@$) (l :: TyFun a6989586621679768197 (TyFun (NonEmpty a6989586621679768197) (NonEmpty a6989586621679768197) -> Type)) Source # Instances  SuppressUnusedWarnings ((<|@#@$) :: TyFun a6989586621679768197 (TyFun (NonEmpty a6989586621679768197) (NonEmpty a6989586621679768197) -> Type) -> *) Source # Instance detailsMethods type Apply ((<|@#@$) :: TyFun a6989586621679768197 (TyFun (NonEmpty a6989586621679768197) (NonEmpty a6989586621679768197) -> Type) -> *) (l :: a6989586621679768197) Source # Instance detailstype Apply ((<|@#@$) :: TyFun a6989586621679768197 (TyFun (NonEmpty a6989586621679768197) (NonEmpty a6989586621679768197) -> Type) -> *) (l :: a6989586621679768197) = (<|@#@$$) l data (l :: a6989586621679768197) <|@#@$$ (l :: TyFun (NonEmpty a6989586621679768197) (NonEmpty a6989586621679768197)) Source #

Instances
 SuppressUnusedWarnings ((<|@#@$$) :: a6989586621679768197 -> TyFun (NonEmpty a6989586621679768197) (NonEmpty a6989586621679768197) -> *) Source # Instance detailsMethods type Apply ((<|@#@$$) l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply ((<|@#@$$) l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = l1 <| l2 type (<|@#@$$$) (t :: a6989586621679768197) (t :: NonEmpty a6989586621679768197) = (<|) t t Source # data ConsSym0 (l :: TyFun a6989586621679768196 (TyFun (NonEmpty a6989586621679768196) (NonEmpty a6989586621679768196) -> Type)) Source # Instances  SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621679768196 (TyFun (NonEmpty a6989586621679768196) (NonEmpty a6989586621679768196) -> Type) -> *) Source # Instance detailsMethods type Apply (ConsSym0 :: TyFun a6989586621679768196 (TyFun (NonEmpty a6989586621679768196) (NonEmpty a6989586621679768196) -> Type) -> *) (l :: a6989586621679768196) Source # Instance detailstype Apply (ConsSym0 :: TyFun a6989586621679768196 (TyFun (NonEmpty a6989586621679768196) (NonEmpty a6989586621679768196) -> Type) -> *) (l :: a6989586621679768196) = ConsSym1 l data ConsSym1 (l :: a6989586621679768196) (l :: TyFun (NonEmpty a6989586621679768196) (NonEmpty a6989586621679768196)) Source # Instances  SuppressUnusedWarnings (ConsSym1 :: a6989586621679768196 -> TyFun (NonEmpty a6989586621679768196) (NonEmpty a6989586621679768196) -> *) Source # Instance detailsMethods type Apply (ConsSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (ConsSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Cons l1 l2 type ConsSym2 (t :: a6989586621679768196) (t :: NonEmpty a6989586621679768196) = Cons t t Source # data UnconsSym0 (l :: TyFun (NonEmpty a6989586621679768204) (a6989586621679768204, Maybe (NonEmpty a6989586621679768204))) Source # Instances  SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621679768204) (a6989586621679768204, Maybe (NonEmpty a6989586621679768204)) -> *) Source # Instance detailsMethods type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> *) (l :: NonEmpty a) Source # Instance detailstype Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> *) (l :: NonEmpty a) = Uncons l type UnconsSym1 (t :: NonEmpty a6989586621679768204) = Uncons t Source # data UnfoldrSym0 (l :: TyFun (TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) (TyFun a6989586621679768202 (NonEmpty b6989586621679768203) -> Type)) Source # Instances  SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) (TyFun a6989586621679768202 (NonEmpty b6989586621679768203) -> Type) -> *) Source # Instance detailsMethods type Apply (UnfoldrSym0 :: TyFun (TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) (TyFun a6989586621679768202 (NonEmpty b6989586621679768203) -> Type) -> *) (l :: TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) Source # Instance detailstype Apply (UnfoldrSym0 :: TyFun (TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) (TyFun a6989586621679768202 (NonEmpty b6989586621679768203) -> Type) -> *) (l :: TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) = UnfoldrSym1 l data UnfoldrSym1 (l :: TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) (l :: TyFun a6989586621679768202 (NonEmpty b6989586621679768203)) Source # Instances  SuppressUnusedWarnings (UnfoldrSym1 :: (TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) -> TyFun a6989586621679768202 (NonEmpty b6989586621679768203) -> *) Source # Instance detailsMethods type Apply (UnfoldrSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) Source # Instance detailstype Apply (UnfoldrSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) = Unfoldr l1 l2 type UnfoldrSym2 (t :: TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) (t :: a6989586621679768202) = Unfoldr t t Source # data SortSym0 (l :: TyFun (NonEmpty a6989586621679768195) (NonEmpty a6989586621679768195)) Source # Instances  SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621679768195) (NonEmpty a6989586621679768195) -> *) Source # Instance detailsMethods type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) Source # Instance detailstype Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) = Sort l type SortSym1 (t :: NonEmpty a6989586621679768195) = Sort t Source # data ReverseSym0 (l :: TyFun (NonEmpty a6989586621679768178) (NonEmpty a6989586621679768178)) Source # Instances  SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a6989586621679768178) (NonEmpty a6989586621679768178) -> *) Source # Instance detailsMethods type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) Source # Instance detailstype Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) = Reverse l type ReverseSym1 (t :: NonEmpty a6989586621679768178) = Reverse t Source # data InitsSym0 (l :: TyFun [a6989586621679768188] (NonEmpty [a6989586621679768188])) Source # Instances  SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621679768188] (NonEmpty [a6989586621679768188]) -> *) Source # Instance detailsMethods type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) Source # Instance detailstype Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) = Inits l type InitsSym1 (t :: [a6989586621679768188]) = Inits t Source # data TailsSym0 (l :: TyFun [a6989586621679768187] (NonEmpty [a6989586621679768187])) Source # Instances  SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621679768187] (NonEmpty [a6989586621679768187]) -> *) Source # Instance detailsMethods type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) Source # Instance detailstype Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) = Tails l type TailsSym1 (t :: [a6989586621679768187]) = Tails t Source # data UnfoldSym0 (l :: TyFun (TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type) (TyFun a6989586621679768206 (NonEmpty b6989586621679768207) -> Type)) Source # Instances  SuppressUnusedWarnings (UnfoldSym0 :: TyFun (TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type) (TyFun a6989586621679768206 (NonEmpty b6989586621679768207) -> Type) -> *) Source # Instance detailsMethods type Apply (UnfoldSym0 :: TyFun (TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type) (TyFun a6989586621679768206 (NonEmpty b6989586621679768207) -> Type) -> *) (l :: TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type) Source # Instance detailstype Apply (UnfoldSym0 :: TyFun (TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type) (TyFun a6989586621679768206 (NonEmpty b6989586621679768207) -> Type) -> *) (l :: TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type) = UnfoldSym1 l data UnfoldSym1 (l :: TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type) (l :: TyFun a6989586621679768206 (NonEmpty b6989586621679768207)) Source # Instances  SuppressUnusedWarnings (UnfoldSym1 :: (TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type) -> TyFun a6989586621679768206 (NonEmpty b6989586621679768207) -> *) Source # Instance detailsMethods type Apply (UnfoldSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) Source # Instance detailstype Apply (UnfoldSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) = Unfold l1 l2 data InsertSym0 (l :: TyFun a6989586621679768186 (TyFun [a6989586621679768186] (NonEmpty a6989586621679768186) -> Type)) Source # Instances  SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621679768186 (TyFun [a6989586621679768186] (NonEmpty a6989586621679768186) -> Type) -> *) Source # Instance detailsMethods type Apply (InsertSym0 :: TyFun a6989586621679768186 (TyFun [a6989586621679768186] (NonEmpty a6989586621679768186) -> Type) -> *) (l :: a6989586621679768186) Source # Instance detailstype Apply (InsertSym0 :: TyFun a6989586621679768186 (TyFun [a6989586621679768186] (NonEmpty a6989586621679768186) -> Type) -> *) (l :: a6989586621679768186) = InsertSym1 l data InsertSym1 (l :: a6989586621679768186) (l :: TyFun [a6989586621679768186] (NonEmpty a6989586621679768186)) Source # Instances  SuppressUnusedWarnings (InsertSym1 :: a6989586621679768186 -> TyFun [a6989586621679768186] (NonEmpty a6989586621679768186) -> *) Source # Instance detailsMethods type Apply (InsertSym1 l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) Source # Instance detailstype Apply (InsertSym1 l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) = Insert l1 l2 type InsertSym2 (t :: a6989586621679768186) (t :: [a6989586621679768186]) = Insert t t Source # data TakeSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679768177) [a6989586621679768177] -> Type)) Source # Instances  SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679768177) [a6989586621679768177] -> Type) -> *) Source # Instance detailsMethods type Apply (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679768177) [a6989586621679768177] -> Type) -> *) (l :: Nat) Source # Instance detailstype Apply (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679768177) [a6989586621679768177] -> Type) -> *) (l :: Nat) = (TakeSym1 l :: TyFun (NonEmpty a6989586621679768177) [a6989586621679768177] -> *) data TakeSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679768177) [a6989586621679768177]) Source # Instances  SuppressUnusedWarnings (TakeSym1 :: Nat -> TyFun (NonEmpty a6989586621679768177) [a6989586621679768177] -> *) Source # Instance detailsMethods type Apply (TakeSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (TakeSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = Take l1 l2 type TakeSym2 (t :: Nat) (t :: NonEmpty a6989586621679768177) = Take t t Source # data DropSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679768176) [a6989586621679768176] -> Type)) Source # Instances  SuppressUnusedWarnings (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679768176) [a6989586621679768176] -> Type) -> *) Source # Instance detailsMethods type Apply (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679768176) [a6989586621679768176] -> Type) -> *) (l :: Nat) Source # Instance detailstype Apply (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679768176) [a6989586621679768176] -> Type) -> *) (l :: Nat) = (DropSym1 l :: TyFun (NonEmpty a6989586621679768176) [a6989586621679768176] -> *) data DropSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679768176) [a6989586621679768176]) Source # Instances  SuppressUnusedWarnings (DropSym1 :: Nat -> TyFun (NonEmpty a6989586621679768176) [a6989586621679768176] -> *) Source # Instance detailsMethods type Apply (DropSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (DropSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = Drop l1 l2 type DropSym2 (t :: Nat) (t :: NonEmpty a6989586621679768176) = Drop t t Source # data SplitAtSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679768175) ([a6989586621679768175], [a6989586621679768175]) -> Type)) Source # Instances  SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679768175) ([a6989586621679768175], [a6989586621679768175]) -> Type) -> *) Source # Instance detailsMethods type Apply (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679768175) ([a6989586621679768175], [a6989586621679768175]) -> Type) -> *) (l :: Nat) Source # Instance detailstype Apply (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679768175) ([a6989586621679768175], [a6989586621679768175]) -> Type) -> *) (l :: Nat) = (SplitAtSym1 l :: TyFun (NonEmpty a6989586621679768175) ([a6989586621679768175], [a6989586621679768175]) -> *) data SplitAtSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679768175) ([a6989586621679768175], [a6989586621679768175])) Source # Instances  SuppressUnusedWarnings (SplitAtSym1 :: Nat -> TyFun (NonEmpty a6989586621679768175) ([a6989586621679768175], [a6989586621679768175]) -> *) Source # Instance detailsMethods type Apply (SplitAtSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (SplitAtSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = SplitAt l1 l2 type SplitAtSym2 (t :: Nat) (t :: NonEmpty a6989586621679768175) = SplitAt t t Source # data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679768174 Bool -> Type) (TyFun (NonEmpty a6989586621679768174) [a6989586621679768174] -> Type)) Source # Instances  SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (TyFun a6989586621679768174 Bool -> Type) (TyFun (NonEmpty a6989586621679768174) [a6989586621679768174] -> Type) -> *) Source # Instance detailsMethods type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679768174 Bool -> Type) (TyFun (NonEmpty a6989586621679768174) [a6989586621679768174] -> Type) -> *) (l :: TyFun a6989586621679768174 Bool -> Type) Source # Instance detailstype Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679768174 Bool -> Type) (TyFun (NonEmpty a6989586621679768174) [a6989586621679768174] -> Type) -> *) (l :: TyFun a6989586621679768174 Bool -> Type) = TakeWhileSym1 l data TakeWhileSym1 (l :: TyFun a6989586621679768174 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679768174) [a6989586621679768174]) Source # Instances  SuppressUnusedWarnings (TakeWhileSym1 :: (TyFun a6989586621679768174 Bool -> Type) -> TyFun (NonEmpty a6989586621679768174) [a6989586621679768174] -> *) Source # Instance detailsMethods type Apply (TakeWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (TakeWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = TakeWhile l1 l2 type TakeWhileSym2 (t :: TyFun a6989586621679768174 Bool -> Type) (t :: NonEmpty a6989586621679768174) = TakeWhile t t Source # data DropWhileSym0 (l :: TyFun (TyFun a6989586621679768173 Bool -> Type) (TyFun (NonEmpty a6989586621679768173) [a6989586621679768173] -> Type)) Source # Instances  SuppressUnusedWarnings (DropWhileSym0 :: TyFun (TyFun a6989586621679768173 Bool -> Type) (TyFun (NonEmpty a6989586621679768173) [a6989586621679768173] -> Type) -> *) Source # Instance detailsMethods type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679768173 Bool -> Type) (TyFun (NonEmpty a6989586621679768173) [a6989586621679768173] -> Type) -> *) (l :: TyFun a6989586621679768173 Bool -> Type) Source # Instance detailstype Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679768173 Bool -> Type) (TyFun (NonEmpty a6989586621679768173) [a6989586621679768173] -> Type) -> *) (l :: TyFun a6989586621679768173 Bool -> Type) = DropWhileSym1 l data DropWhileSym1 (l :: TyFun a6989586621679768173 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679768173) [a6989586621679768173]) Source # Instances  SuppressUnusedWarnings (DropWhileSym1 :: (TyFun a6989586621679768173 Bool -> Type) -> TyFun (NonEmpty a6989586621679768173) [a6989586621679768173] -> *) Source # Instance detailsMethods type Apply (DropWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (DropWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = DropWhile l1 l2 type DropWhileSym2 (t :: TyFun a6989586621679768173 Bool -> Type) (t :: NonEmpty a6989586621679768173) = DropWhile t t Source # data SpanSym0 (l :: TyFun (TyFun a6989586621679768172 Bool -> Type) (TyFun (NonEmpty a6989586621679768172) ([a6989586621679768172], [a6989586621679768172]) -> Type)) Source # Instances  SuppressUnusedWarnings (SpanSym0 :: TyFun (TyFun a6989586621679768172 Bool -> Type) (TyFun (NonEmpty a6989586621679768172) ([a6989586621679768172], [a6989586621679768172]) -> Type) -> *) Source # Instance detailsMethods type Apply (SpanSym0 :: TyFun (TyFun a6989586621679768172 Bool -> Type) (TyFun (NonEmpty a6989586621679768172) ([a6989586621679768172], [a6989586621679768172]) -> Type) -> *) (l :: TyFun a6989586621679768172 Bool -> Type) Source # Instance detailstype Apply (SpanSym0 :: TyFun (TyFun a6989586621679768172 Bool -> Type) (TyFun (NonEmpty a6989586621679768172) ([a6989586621679768172], [a6989586621679768172]) -> Type) -> *) (l :: TyFun a6989586621679768172 Bool -> Type) = SpanSym1 l data SpanSym1 (l :: TyFun a6989586621679768172 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679768172) ([a6989586621679768172], [a6989586621679768172])) Source # Instances  SuppressUnusedWarnings (SpanSym1 :: (TyFun a6989586621679768172 Bool -> Type) -> TyFun (NonEmpty a6989586621679768172) ([a6989586621679768172], [a6989586621679768172]) -> *) Source # Instance detailsMethods type Apply (SpanSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (SpanSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = Span l1 l2 type SpanSym2 (t :: TyFun a6989586621679768172 Bool -> Type) (t :: NonEmpty a6989586621679768172) = Span t t Source # data BreakSym0 (l :: TyFun (TyFun a6989586621679768171 Bool -> Type) (TyFun (NonEmpty a6989586621679768171) ([a6989586621679768171], [a6989586621679768171]) -> Type)) Source # Instances  SuppressUnusedWarnings (BreakSym0 :: TyFun (TyFun a6989586621679768171 Bool -> Type) (TyFun (NonEmpty a6989586621679768171) ([a6989586621679768171], [a6989586621679768171]) -> Type) -> *) Source # Instance detailsMethods type Apply (BreakSym0 :: TyFun (TyFun a6989586621679768171 Bool -> Type) (TyFun (NonEmpty a6989586621679768171) ([a6989586621679768171], [a6989586621679768171]) -> Type) -> *) (l :: TyFun a6989586621679768171 Bool -> Type) Source # Instance detailstype Apply (BreakSym0 :: TyFun (TyFun a6989586621679768171 Bool -> Type) (TyFun (NonEmpty a6989586621679768171) ([a6989586621679768171], [a6989586621679768171]) -> Type) -> *) (l :: TyFun a6989586621679768171 Bool -> Type) = BreakSym1 l data BreakSym1 (l :: TyFun a6989586621679768171 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679768171) ([a6989586621679768171], [a6989586621679768171])) Source # Instances  SuppressUnusedWarnings (BreakSym1 :: (TyFun a6989586621679768171 Bool -> Type) -> TyFun (NonEmpty a6989586621679768171) ([a6989586621679768171], [a6989586621679768171]) -> *) Source # Instance detailsMethods type Apply (BreakSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (BreakSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = Break l1 l2 type BreakSym2 (t :: TyFun a6989586621679768171 Bool -> Type) (t :: NonEmpty a6989586621679768171) = Break t t Source # data FilterSym0 (l :: TyFun (TyFun a6989586621679768170 Bool -> Type) (TyFun (NonEmpty a6989586621679768170) [a6989586621679768170] -> Type)) Source # Instances  SuppressUnusedWarnings (FilterSym0 :: TyFun (TyFun a6989586621679768170 Bool -> Type) (TyFun (NonEmpty a6989586621679768170) [a6989586621679768170] -> Type) -> *) Source # Instance detailsMethods type Apply (FilterSym0 :: TyFun (TyFun a6989586621679768170 Bool -> Type) (TyFun (NonEmpty a6989586621679768170) [a6989586621679768170] -> Type) -> *) (l :: TyFun a6989586621679768170 Bool -> Type) Source # Instance detailstype Apply (FilterSym0 :: TyFun (TyFun a6989586621679768170 Bool -> Type) (TyFun (NonEmpty a6989586621679768170) [a6989586621679768170] -> Type) -> *) (l :: TyFun a6989586621679768170 Bool -> Type) = FilterSym1 l data FilterSym1 (l :: TyFun a6989586621679768170 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679768170) [a6989586621679768170]) Source # Instances  SuppressUnusedWarnings (FilterSym1 :: (TyFun a6989586621679768170 Bool -> Type) -> TyFun (NonEmpty a6989586621679768170) [a6989586621679768170] -> *) Source # Instance detailsMethods type Apply (FilterSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (FilterSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = Filter l1 l2 type FilterSym2 (t :: TyFun a6989586621679768170 Bool -> Type) (t :: NonEmpty a6989586621679768170) = Filter t t Source # data PartitionSym0 (l :: TyFun (TyFun a6989586621679768169 Bool -> Type) (TyFun (NonEmpty a6989586621679768169) ([a6989586621679768169], [a6989586621679768169]) -> Type)) Source # Instances  SuppressUnusedWarnings (PartitionSym0 :: TyFun (TyFun a6989586621679768169 Bool -> Type) (TyFun (NonEmpty a6989586621679768169) ([a6989586621679768169], [a6989586621679768169]) -> Type) -> *) Source # Instance detailsMethods type Apply (PartitionSym0 :: TyFun (TyFun a6989586621679768169 Bool -> Type) (TyFun (NonEmpty a6989586621679768169) ([a6989586621679768169], [a6989586621679768169]) -> Type) -> *) (l :: TyFun a6989586621679768169 Bool -> Type) Source # Instance detailstype Apply (PartitionSym0 :: TyFun (TyFun a6989586621679768169 Bool -> Type) (TyFun (NonEmpty a6989586621679768169) ([a6989586621679768169], [a6989586621679768169]) -> Type) -> *) (l :: TyFun a6989586621679768169 Bool -> Type) = PartitionSym1 l data PartitionSym1 (l :: TyFun a6989586621679768169 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679768169) ([a6989586621679768169], [a6989586621679768169])) Source # Instances  SuppressUnusedWarnings (PartitionSym1 :: (TyFun a6989586621679768169 Bool -> Type) -> TyFun (NonEmpty a6989586621679768169) ([a6989586621679768169], [a6989586621679768169]) -> *) Source # Instance detailsMethods type Apply (PartitionSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (PartitionSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = Partition l1 l2 type PartitionSym2 (t :: TyFun a6989586621679768169 Bool -> Type) (t :: NonEmpty a6989586621679768169) = Partition t t Source # data GroupSym0 (l :: TyFun [a6989586621679768168] [NonEmpty a6989586621679768168]) Source # Instances  SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621679768168] [NonEmpty a6989586621679768168] -> *) Source # Instance detailsMethods type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> *) (l :: [a]) Source # Instance detailstype Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> *) (l :: [a]) = Group l type GroupSym1 (t :: [a6989586621679768168]) = Group t Source # data GroupBySym0 (l :: TyFun (TyFun a6989586621679768167 (TyFun a6989586621679768167 Bool -> Type) -> Type) (TyFun [a6989586621679768167] [NonEmpty a6989586621679768167] -> Type)) Source # Instances  SuppressUnusedWarnings (GroupBySym0 :: TyFun (TyFun a6989586621679768167 (TyFun a6989586621679768167 Bool -> Type) -> Type) (TyFun [a6989586621679768167] [NonEmpty a6989586621679768167] -> Type) -> *) Source # Instance detailsMethods type Apply (GroupBySym0 :: TyFun (TyFun a6989586621679768167 (TyFun a6989586621679768167 Bool -> Type) -> Type) (TyFun [a6989586621679768167] [NonEmpty a6989586621679768167] -> Type) -> *) (l :: TyFun a6989586621679768167 (TyFun a6989586621679768167 Bool -> Type) -> Type) Source # Instance detailstype Apply (GroupBySym0 :: TyFun (TyFun a6989586621679768167 (TyFun a6989586621679768167 Bool -> Type) -> Type) (TyFun [a6989586621679768167] [NonEmpty a6989586621679768167] -> Type) -> *) (l :: TyFun a6989586621679768167 (TyFun a6989586621679768167 Bool -> Type) -> Type) = GroupBySym1 l data GroupBySym1 (l :: TyFun a6989586621679768167 (TyFun a6989586621679768167 Bool -> Type) -> Type) (l :: TyFun [a6989586621679768167] [NonEmpty a6989586621679768167]) Source # Instances  SuppressUnusedWarnings (GroupBySym1 :: (TyFun a6989586621679768167 (TyFun a6989586621679768167 Bool -> Type) -> Type) -> TyFun [a6989586621679768167] [NonEmpty a6989586621679768167] -> *) Source # Instance detailsMethods type Apply (GroupBySym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) Source # Instance detailstype Apply (GroupBySym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) = GroupBy l1 l2 type GroupBySym2 (t :: TyFun a6989586621679768167 (TyFun a6989586621679768167 Bool -> Type) -> Type) (t :: [a6989586621679768167]) = GroupBy t t Source # data GroupWithSym0 (l :: TyFun (TyFun a6989586621679768166 b6989586621679768165 -> Type) (TyFun [a6989586621679768166] [NonEmpty a6989586621679768166] -> Type)) Source # Instances  SuppressUnusedWarnings (GroupWithSym0 :: TyFun (TyFun a6989586621679768166 b6989586621679768165 -> Type) (TyFun [a6989586621679768166] [NonEmpty a6989586621679768166] -> Type) -> *) Source # Instance detailsMethods type Apply (GroupWithSym0 :: TyFun (TyFun a6989586621679768166 b6989586621679768165 -> Type) (TyFun [a6989586621679768166] [NonEmpty a6989586621679768166] -> Type) -> *) (l :: TyFun a6989586621679768166 b6989586621679768165 -> Type) Source # Instance detailstype Apply (GroupWithSym0 :: TyFun (TyFun a6989586621679768166 b6989586621679768165 -> Type) (TyFun [a6989586621679768166] [NonEmpty a6989586621679768166] -> Type) -> *) (l :: TyFun a6989586621679768166 b6989586621679768165 -> Type) = GroupWithSym1 l data GroupWithSym1 (l :: TyFun a6989586621679768166 b6989586621679768165 -> Type) (l :: TyFun [a6989586621679768166] [NonEmpty a6989586621679768166]) Source # Instances  SuppressUnusedWarnings (GroupWithSym1 :: (TyFun a6989586621679768166 b6989586621679768165 -> Type) -> TyFun [a6989586621679768166] [NonEmpty a6989586621679768166] -> *) Source # Instance detailsMethods type Apply (GroupWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) Source # Instance detailstype Apply (GroupWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) = GroupWith l1 l2 type GroupWithSym2 (t :: TyFun a6989586621679768166 b6989586621679768165 -> Type) (t :: [a6989586621679768166]) = GroupWith t t Source # data GroupAllWithSym0 (l :: TyFun (TyFun a6989586621679768164 b6989586621679768163 -> Type) (TyFun [a6989586621679768164] [NonEmpty a6989586621679768164] -> Type)) Source # Instances  SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (TyFun a6989586621679768164 b6989586621679768163 -> Type) (TyFun [a6989586621679768164] [NonEmpty a6989586621679768164] -> Type) -> *) Source # Instance detailsMethods type Apply (GroupAllWithSym0 :: TyFun (TyFun a6989586621679768164 b6989586621679768163 -> Type) (TyFun [a6989586621679768164] [NonEmpty a6989586621679768164] -> Type) -> *) (l :: TyFun a6989586621679768164 b6989586621679768163 -> Type) Source # Instance detailstype Apply (GroupAllWithSym0 :: TyFun (TyFun a6989586621679768164 b6989586621679768163 -> Type) (TyFun [a6989586621679768164] [NonEmpty a6989586621679768164] -> Type) -> *) (l :: TyFun a6989586621679768164 b6989586621679768163 -> Type) = GroupAllWithSym1 l data GroupAllWithSym1 (l :: TyFun a6989586621679768164 b6989586621679768163 -> Type) (l :: TyFun [a6989586621679768164] [NonEmpty a6989586621679768164]) Source # Instances  SuppressUnusedWarnings (GroupAllWithSym1 :: (TyFun a6989586621679768164 b6989586621679768163 -> Type) -> TyFun [a6989586621679768164] [NonEmpty a6989586621679768164] -> *) Source # Instance detailsMethods type Apply (GroupAllWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) Source # Instance detailstype Apply (GroupAllWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) = GroupAllWith l1 l2 type GroupAllWithSym2 (t :: TyFun a6989586621679768164 b6989586621679768163 -> Type) (t :: [a6989586621679768164]) = GroupAllWith t t Source # data Group1Sym0 (l :: TyFun (NonEmpty a6989586621679768162) (NonEmpty (NonEmpty a6989586621679768162))) Source # Instances  SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a6989586621679768162) (NonEmpty (NonEmpty a6989586621679768162)) -> *) Source # Instance detailsMethods type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty a) Source # Instance detailstype Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty a) = Group1 l type Group1Sym1 (t :: NonEmpty a6989586621679768162) = Group1 t Source # data GroupBy1Sym0 (l :: TyFun (TyFun a6989586621679768161 (TyFun a6989586621679768161 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679768161) (NonEmpty (NonEmpty a6989586621679768161)) -> Type)) Source # Instances  SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (TyFun a6989586621679768161 (TyFun a6989586621679768161 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679768161) (NonEmpty (NonEmpty a6989586621679768161)) -> Type) -> *) Source # Instance detailsMethods type Apply (GroupBy1Sym0 :: TyFun (TyFun a6989586621679768161 (TyFun a6989586621679768161 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679768161) (NonEmpty (NonEmpty a6989586621679768161)) -> Type) -> *) (l :: TyFun a6989586621679768161 (TyFun a6989586621679768161 Bool -> Type) -> Type) Source # Instance detailstype Apply (GroupBy1Sym0 :: TyFun (TyFun a6989586621679768161 (TyFun a6989586621679768161 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679768161) (NonEmpty (NonEmpty a6989586621679768161)) -> Type) -> *) (l :: TyFun a6989586621679768161 (TyFun a6989586621679768161 Bool -> Type) -> Type) = GroupBy1Sym1 l data GroupBy1Sym1 (l :: TyFun a6989586621679768161 (TyFun a6989586621679768161 Bool -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679768161) (NonEmpty (NonEmpty a6989586621679768161))) Source # Instances  SuppressUnusedWarnings (GroupBy1Sym1 :: (TyFun a6989586621679768161 (TyFun a6989586621679768161 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679768161) (NonEmpty (NonEmpty a6989586621679768161)) -> *) Source # Instance detailsMethods type Apply (GroupBy1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (GroupBy1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupBy1 l1 l2 type GroupBy1Sym2 (t :: TyFun a6989586621679768161 (TyFun a6989586621679768161 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679768161) = GroupBy1 t t Source # data GroupWith1Sym0 (l :: TyFun (TyFun a6989586621679768160 b6989586621679768159 -> Type) (TyFun (NonEmpty a6989586621679768160) (NonEmpty (NonEmpty a6989586621679768160)) -> Type)) Source # Instances  SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (TyFun a6989586621679768160 b6989586621679768159 -> Type) (TyFun (NonEmpty a6989586621679768160) (NonEmpty (NonEmpty a6989586621679768160)) -> Type) -> *) Source # Instance detailsMethods type Apply (GroupWith1Sym0 :: TyFun (TyFun a6989586621679768160 b6989586621679768159 -> Type) (TyFun (NonEmpty a6989586621679768160) (NonEmpty (NonEmpty a6989586621679768160)) -> Type) -> *) (l :: TyFun a6989586621679768160 b6989586621679768159 -> Type) Source # Instance detailstype Apply (GroupWith1Sym0 :: TyFun (TyFun a6989586621679768160 b6989586621679768159 -> Type) (TyFun (NonEmpty a6989586621679768160) (NonEmpty (NonEmpty a6989586621679768160)) -> Type) -> *) (l :: TyFun a6989586621679768160 b6989586621679768159 -> Type) = GroupWith1Sym1 l data GroupWith1Sym1 (l :: TyFun a6989586621679768160 b6989586621679768159 -> Type) (l :: TyFun (NonEmpty a6989586621679768160) (NonEmpty (NonEmpty a6989586621679768160))) Source # Instances  SuppressUnusedWarnings (GroupWith1Sym1 :: (TyFun a6989586621679768160 b6989586621679768159 -> Type) -> TyFun (NonEmpty a6989586621679768160) (NonEmpty (NonEmpty a6989586621679768160)) -> *) Source # Instance detailsMethods type Apply (GroupWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (GroupWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupWith1 l1 l2 type GroupWith1Sym2 (t :: TyFun a6989586621679768160 b6989586621679768159 -> Type) (t :: NonEmpty a6989586621679768160) = GroupWith1 t t Source # data GroupAllWith1Sym0 (l :: TyFun (TyFun a6989586621679768158 b6989586621679768157 -> Type) (TyFun (NonEmpty a6989586621679768158) (NonEmpty (NonEmpty a6989586621679768158)) -> Type)) Source # Instances  SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679768158 b6989586621679768157 -> Type) (TyFun (NonEmpty a6989586621679768158) (NonEmpty (NonEmpty a6989586621679768158)) -> Type) -> *) Source # Instance detailsMethods type Apply (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679768158 b6989586621679768157 -> Type) (TyFun (NonEmpty a6989586621679768158) (NonEmpty (NonEmpty a6989586621679768158)) -> Type) -> *) (l :: TyFun a6989586621679768158 b6989586621679768157 -> Type) Source # Instance detailstype Apply (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679768158 b6989586621679768157 -> Type) (TyFun (NonEmpty a6989586621679768158) (NonEmpty (NonEmpty a6989586621679768158)) -> Type) -> *) (l :: TyFun a6989586621679768158 b6989586621679768157 -> Type) = GroupAllWith1Sym1 l data GroupAllWith1Sym1 (l :: TyFun a6989586621679768158 b6989586621679768157 -> Type) (l :: TyFun (NonEmpty a6989586621679768158) (NonEmpty (NonEmpty a6989586621679768158))) Source # Instances  SuppressUnusedWarnings (GroupAllWith1Sym1 :: (TyFun a6989586621679768158 b6989586621679768157 -> Type) -> TyFun (NonEmpty a6989586621679768158) (NonEmpty (NonEmpty a6989586621679768158)) -> *) Source # Instance detailsMethods type Apply (GroupAllWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (GroupAllWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupAllWith1 l1 l2 type GroupAllWith1Sym2 (t :: TyFun a6989586621679768158 b6989586621679768157 -> Type) (t :: NonEmpty a6989586621679768158) = GroupAllWith1 t t Source # data IsPrefixOfSym0 (l :: TyFun [a6989586621679768156] (TyFun (NonEmpty a6989586621679768156) Bool -> Type)) Source # Instances  SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679768156] (TyFun (NonEmpty a6989586621679768156) Bool -> Type) -> *) Source # Instance detailsMethods type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679768156] (TyFun (NonEmpty a6989586621679768156) Bool -> Type) -> *) (l :: [a6989586621679768156]) Source # Instance detailstype Apply (IsPrefixOfSym0 :: TyFun [a6989586621679768156] (TyFun (NonEmpty a6989586621679768156) Bool -> Type) -> *) (l :: [a6989586621679768156]) = IsPrefixOfSym1 l data IsPrefixOfSym1 (l :: [a6989586621679768156]) (l :: TyFun (NonEmpty a6989586621679768156) Bool) Source # Instances  SuppressUnusedWarnings (IsPrefixOfSym1 :: [a6989586621679768156] -> TyFun (NonEmpty a6989586621679768156) Bool -> *) Source # Instance detailsMethods type Apply (IsPrefixOfSym1 l1 :: TyFun (NonEmpty a) Bool -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (IsPrefixOfSym1 l1 :: TyFun (NonEmpty a) Bool -> *) (l2 :: NonEmpty a) = IsPrefixOf l1 l2 type IsPrefixOfSym2 (t :: [a6989586621679768156]) (t :: NonEmpty a6989586621679768156) = IsPrefixOf t t Source # data NubSym0 (l :: TyFun (NonEmpty a6989586621679768147) (NonEmpty a6989586621679768147)) Source # Instances  SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621679768147) (NonEmpty a6989586621679768147) -> *) Source # Instance detailsMethods type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) Source # Instance detailstype Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) = Nub l type NubSym1 (t :: NonEmpty a6989586621679768147) = Nub t Source # data NubBySym0 (l :: TyFun (TyFun a6989586621679768146 (TyFun a6989586621679768146 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679768146) (NonEmpty a6989586621679768146) -> Type)) Source # Instances  SuppressUnusedWarnings (NubBySym0 :: TyFun (TyFun a6989586621679768146 (TyFun a6989586621679768146 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679768146) (NonEmpty a6989586621679768146) -> Type) -> *) Source # Instance detailsMethods type Apply (NubBySym0 :: TyFun (TyFun a6989586621679768146 (TyFun a6989586621679768146 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679768146) (NonEmpty a6989586621679768146) -> Type) -> *) (l :: TyFun a6989586621679768146 (TyFun a6989586621679768146 Bool -> Type) -> Type) Source # Instance detailstype Apply (NubBySym0 :: TyFun (TyFun a6989586621679768146 (TyFun a6989586621679768146 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679768146) (NonEmpty a6989586621679768146) -> Type) -> *) (l :: TyFun a6989586621679768146 (TyFun a6989586621679768146 Bool -> Type) -> Type) = NubBySym1 l data NubBySym1 (l :: TyFun a6989586621679768146 (TyFun a6989586621679768146 Bool -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679768146) (NonEmpty a6989586621679768146)) Source # Instances  SuppressUnusedWarnings (NubBySym1 :: (TyFun a6989586621679768146 (TyFun a6989586621679768146 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679768146) (NonEmpty a6989586621679768146) -> *) Source # Instance detailsMethods type Apply (NubBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # Instance detailstype Apply (NubBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = NubBy l1 l2 type NubBySym2 (t :: TyFun a6989586621679768146 (TyFun a6989586621679768146 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679768146) = NubBy t t Source # data (!!@#@$) (l :: TyFun (NonEmpty a6989586621679768155) (TyFun Nat a6989586621679768155 -> Type)) Source #

Instances
 SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a6989586621679768155) (TyFun Nat a6989586621679768155 -> Type) -> *) Source # Instance detailsMethods type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621679768155) (TyFun Nat a6989586621679768155 -> Type) -> *) (l :: NonEmpty a6989586621679768155) Source # Instance detailstype Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621679768155) (TyFun Nat a6989586621679768155 -> Type) -> *) (l :: NonEmpty a6989586621679768155) = (!!@#@$$) l data (l :: NonEmpty a6989586621679768155) !!@#@$$ (l :: TyFun Nat a6989586621679768155) Source # Instances  SuppressUnusedWarnings ((!!@#@$$) :: NonEmpty a6989586621679768155 -> TyFun Nat a6989586621679768155 -> *) Source # Instance detailsMethods type Apply ((!!@#@$$) l1 :: TyFun Nat a -> *) (l2 :: Nat) Source # Instance detailstype Apply ((!!@#@$$) l1 :: TyFun Nat a -> *) (l2 :: Nat) = l1 !! l2 type (!!@#@$$$) (t :: NonEmpty a6989586621679768155) (t :: Nat) = (!!) t t Source #

data ZipSym0 (l :: TyFun (NonEmpty a6989586621679768153) (TyFun (NonEmpty b6989586621679768154) (NonEmpty (a6989586621679768153, b6989586621679768154)) -> Type)) Source #

Instances
 SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621679768153) (TyFun (NonEmpty b6989586621679768154) (NonEmpty (a6989586621679768153, b6989586621679768154)) -> Type) -> *) Source # Instance detailsMethods type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621679768153) (TyFun (NonEmpty b6989586621679768154) (NonEmpty (a6989586621679768153, b6989586621679768154)) -> Type) -> *) (l :: NonEmpty a6989586621679768153) Source # Instance detailstype Apply (ZipSym0 :: TyFun (NonEmpty a6989586621679768153) (TyFun (NonEmpty b6989586621679768154) (NonEmpty (a6989586621679768153, b6989586621679768154)) -> Type) -> *) (l :: NonEmpty a6989586621679768153) = (ZipSym1 l :: TyFun (NonEmpty b6989586621679768154) (NonEmpty (a6989586621679768153, b6989586621679768154)) -> *)

data ZipSym1 (l :: NonEmpty a6989586621679768153) (l :: TyFun (NonEmpty b6989586621679768154) (NonEmpty (a6989586621679768153, b6989586621679768154))) Source #

Instances
 SuppressUnusedWarnings (ZipSym1 :: NonEmpty a6989586621679768153 -> TyFun (NonEmpty b6989586621679768154) (NonEmpty (a6989586621679768153, b6989586621679768154)) -> *) Source # Instance detailsMethods type Apply (ZipSym1 l1 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> *) (l2 :: NonEmpty b) Source # Instance detailstype Apply (ZipSym1 l1 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> *) (l2 :: NonEmpty b) = Zip l1 l2

type ZipSym2 (t :: NonEmpty a6989586621679768153) (t :: NonEmpty b6989586621679768154) = Zip t t Source #

data ZipWithSym0 (l :: TyFun (TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> Type)) Source #

Instances
 SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> Type) -> *) Source # Instance detailsMethods type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> Type) -> *) (l :: TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) Source # Instance detailstype Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> Type) -> *) (l :: TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) = ZipWithSym1 l

data ZipWithSym1 (l :: TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type)) Source #

Instances
 SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> *) Source # Instance detailsMethods type Apply (ZipWithSym1 l1 :: TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> *) (l2 :: NonEmpty a6989586621679768150) Source # Instance detailstype Apply (ZipWithSym1 l1 :: TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> *) (l2 :: NonEmpty a6989586621679768150) = ZipWithSym2 l1 l2

data ZipWithSym2 (l :: TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (l :: NonEmpty a6989586621679768150) (l :: TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152)) Source #

Instances
 SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) -> NonEmpty a6989586621679768150 -> TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> *) Source # Instance detailsMethods type Apply (ZipWithSym2 l1 l2 :: TyFun (NonEmpty b) (NonEmpty c) -> *) (l3 :: NonEmpty b) Source # Instance detailstype Apply (ZipWithSym2 l1 l2 :: TyFun (NonEmpty b) (NonEmpty c) -> *) (l3 :: NonEmpty b) = ZipWith l1 l2 l3

type ZipWithSym3 (t :: TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (t :: NonEmpty a6989586621679768150) (t :: NonEmpty b6989586621679768151) = ZipWith t t t Source #

data UnzipSym0 (l :: TyFun (NonEmpty (a6989586621679768148, b6989586621679768149)) (NonEmpty a6989586621679768148, NonEmpty b6989586621679768149)) Source #

Instances
 SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621679768148, b6989586621679768149)) (NonEmpty a6989586621679768148, NonEmpty b6989586621679768149) -> *) Source # Instance detailsMethods type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> *) (l :: NonEmpty (a, b)) Source # Instance detailstype Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> *) (l :: NonEmpty (a, b)) = Unzip l

type UnzipSym1 (t :: NonEmpty (a6989586621679768148, b6989586621679768149)) = Unzip t Source #

data FromListSym0 (l :: TyFun [a6989586621679768194] (NonEmpty a6989586621679768194)) Source #

Instances
 SuppressUnusedWarnings (FromListSym0 :: TyFun [a6989586621679768194] (NonEmpty a6989586621679768194) -> *) Source # Instance detailsMethods type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> *) (l :: [a]) Source # Instance detailstype Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> *) (l :: [a]) = FromList l

type FromListSym1 (t :: [a6989586621679768194]) = FromList t Source #

data ToListSym0 (l :: TyFun (NonEmpty a6989586621679768193) [a6989586621679768193]) Source #

Instances
 SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a6989586621679768193) [a6989586621679768193] -> *) Source # Instance detailsMethods type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) Source # Instance detailstype Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) = ToList l

type ToListSym1 (t :: NonEmpty a6989586621679768193) = ToList t Source #

data NonEmpty_Sym0 (l :: TyFun [a6989586621679768205] (Maybe (NonEmpty a6989586621679768205))) Source #

Instances
 SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a6989586621679768205] (Maybe (NonEmpty a6989586621679768205)) -> *) Source # Instance detailsMethods type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> *) (l :: [a]) Source # Instance detailstype Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> *) (l :: [a]) = NonEmpty_ l

type NonEmpty_Sym1 (t :: [a6989586621679768205]) = NonEmpty_ t Source #

data XorSym0 (l :: TyFun (NonEmpty Bool) Bool) Source #

Instances
 Source # Instance detailsMethods type Apply XorSym0 (l :: NonEmpty Bool) Source # Instance detailstype Apply XorSym0 (l :: NonEmpty Bool) = Xor l

type XorSym1 (t :: NonEmpty Bool) = Xor t Source #