singletons-2.4.1: A framework for generating singleton types

Copyright(C) 2016 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRichard Eisenberg (rae@cs.brynmawr.edu)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Promotion.Prelude.List.NonEmpty

Contents

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_6989586621679772559 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_6989586621679772806 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply ListscanlSym0 f) z)) a_6989586621679772806 

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

Equations

Scanr f z a_6989586621679772826 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply ListscanrSym0 f) z)) a_6989586621679772826 

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_6989586621679773051 = Apply (Apply (Apply (.@#@$) (Apply FmapSym0 FromListSym0)) (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply (.@#@$) ListtransposeSym0) (Apply (Apply (.@#@$) ToListSym0) (Apply FmapSym0 ToListSym0))))) a_6989586621679773051 

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

Equations

SortBy f a_6989586621679772732 = Apply (Apply LiftSym0 (Apply ListsortBySym0 f)) a_6989586621679772732 

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

Equations

SortWith a_6989586621679772736 a_6989586621679772738 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621679772736) a_6989586621679772738 

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_6989586621679772874 a_6989586621679772876 = Apply (Apply (<|@#@$) a_6989586621679772874) a_6989586621679772876 

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_6989586621679772963 f a (Let6989586621679772955Scrutinee_6989586621679770923Sym2 f a) 

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

Equations

Sort a_6989586621679772855 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621679772855 

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

Equations

Reverse a_6989586621679772716 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621679772716 

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

Equations

Inits a_6989586621679772764 = Apply (Apply (Apply (.@#@$) FromListSym0) ListinitsSym0) a_6989586621679772764 

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

Equations

Tails a_6989586621679772771 = Apply (Apply (Apply (.@#@$) FromListSym0) ListtailsSym0) a_6989586621679772771 

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

Equations

Unfold f a = Case_6989586621679772999 f a (Let6989586621679772991Scrutinee_6989586621679770913Sym2 f a) 

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

Equations

Insert a a_6989586621679772787 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply ListinsertSym0 a)) a_6989586621679772787 

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

Equations

Take n a_6989586621679772589 = Apply (Apply (Apply (.@#@$) (Apply ListtakeSym0 n)) ToListSym0) a_6989586621679772589 

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

Equations

Drop n a_6989586621679772602 = Apply (Apply (Apply (.@#@$) (Apply ListdropSym0 n)) ToListSym0) a_6989586621679772602 

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

Equations

SplitAt n a_6989586621679772615 = Apply (Apply (Apply (.@#@$) (Apply ListsplitAtSym0 n)) ToListSym0) a_6989586621679772615 

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

Equations

TakeWhile p a_6989586621679772628 = Apply (Apply (Apply (.@#@$) (Apply ListtakeWhileSym0 p)) ToListSym0) a_6989586621679772628 

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

Equations

DropWhile p a_6989586621679772641 = Apply (Apply (Apply (.@#@$) (Apply ListdropWhileSym0 p)) ToListSym0) a_6989586621679772641 

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

Equations

Span p a_6989586621679772654 = Apply (Apply (Apply (.@#@$) (Apply ListspanSym0 p)) ToListSym0) a_6989586621679772654 

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

Equations

Break p a_6989586621679772667 = Apply (Apply SpanSym0 (Apply (Apply (.@#@$) NotSym0) p)) a_6989586621679772667 

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

Equations

Filter p a_6989586621679772680 = Apply (Apply (Apply (.@#@$) (Apply ListfilterSym0 p)) ToListSym0) a_6989586621679772680 

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

Equations

Partition p a_6989586621679772693 = Apply (Apply (Apply (.@#@$) (Apply ListpartitionSym0 p)) ToListSym0) a_6989586621679772693 

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

Equations

Group a_6989586621679772540 = Apply (Apply GroupBySym0 (==@#@$)) a_6989586621679772540 

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

Equations

GroupBy eq0 a_6989586621679772313 = Apply (Apply (Let6989586621679772317GoSym2 eq0 a_6989586621679772313) eq0) a_6989586621679772313 

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

Equations

GroupWith f a_6989586621679772440 = Apply (Apply GroupBySym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621679772440 

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

Equations

GroupAllWith f a_6989586621679772453 = Apply (Apply (Apply (.@#@$) (Apply GroupWithSym0 f)) (Apply ListsortBySym0 (Apply (Apply OnSym0 CompareSym0) f))) a_6989586621679772453 

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

Equations

Group1 a_6989586621679772520 = Apply (Apply GroupBy1Sym0 (==@#@$)) a_6989586621679772520 

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) (Let6989586621679772469YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621679772469ZsSym3 eq x xs)) 

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

Equations

GroupWith1 f a_6989586621679772536 = Apply (Apply GroupBy1Sym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621679772536 

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

Equations

GroupAllWith1 f a_6989586621679772760 = Apply (Apply (Apply (.@#@$) (Apply GroupWith1Sym0 f)) (Apply SortWithSym0 f)) a_6989586621679772760 

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_6989586621679772170 = Apply (Apply NubBySym0 (==@#@$)) a_6989586621679772170 

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_6989586621679772148Sym0 eq) a) as)) as)) 

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

Equations

arg_6989586621679770935 !! arg_6989586621679770937 = Case_6989586621679772279 arg_6989586621679770935 arg_6989586621679770937 (Apply (Apply Tuple2Sym0 arg_6989586621679770935) arg_6989586621679770937) 

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) (Let6989586621679772184AsSym3 a b asbs))) (Apply (Apply (:|@#@$) b) (Let6989586621679772184BsSym3 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 (Let6989586621679773011Xor'Sym2 x xs)) x) xs 

Defunctionalization symbols

data (:|@#@$) (l :: TyFun a6989586621679066011 (TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> Type)) Source #

Instances
SuppressUnusedWarnings ((:|@#@$) :: TyFun a6989586621679066011 (TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:|@#@$) :: TyFun a6989586621679066011 (TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> Type) -> *) (l :: a6989586621679066011) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:|@#@$) :: TyFun a6989586621679066011 (TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> Type) -> *) (l :: a6989586621679066011) = (:|@#@$$) l

data (l :: a6989586621679066011) :|@#@$$ (l :: TyFun [a6989586621679066011] (NonEmpty a6989586621679066011)) Source #

Instances
SuppressUnusedWarnings ((:|@#@$$) :: a6989586621679066011 -> TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:|@#@$$) l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:|@#@$$) l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) = l1 :| l2

type (:|@#@$$$) (t :: a6989586621679066011) (t :: [a6989586621679066011]) = (:|) t t Source #

data MapSym0 (l :: TyFun (TyFun a6989586621679770729 b6989586621679770730 -> Type) (TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> Type)) Source #

Instances
SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679770729 b6989586621679770730 -> Type) (TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (MapSym0 :: TyFun (TyFun a6989586621679770729 b6989586621679770730 -> Type) (TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> Type) -> *) (l :: TyFun a6989586621679770729 b6989586621679770730 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (MapSym0 :: TyFun (TyFun a6989586621679770729 b6989586621679770730 -> Type) (TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> Type) -> *) (l :: TyFun a6989586621679770729 b6989586621679770730 -> Type) = MapSym1 l

data MapSym1 (l :: TyFun a6989586621679770729 b6989586621679770730 -> Type) (l :: TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730)) Source #

Instances
SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679770729 b6989586621679770730 -> Type) -> TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (MapSym1 l1 :: TyFun (NonEmpty a) (NonEmpty b) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (MapSym1 l1 :: TyFun (NonEmpty a) (NonEmpty b) -> *) (l2 :: NonEmpty a) = Map l1 l2

type MapSym2 (t :: TyFun a6989586621679770729 b6989586621679770730 -> Type) (t :: NonEmpty a6989586621679770729) = Map t t Source #

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

Instances
SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621679770719 (TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IntersperseSym0 :: TyFun a6989586621679770719 (TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> Type) -> *) (l :: a6989586621679770719) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IntersperseSym0 :: TyFun a6989586621679770719 (TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> Type) -> *) (l :: a6989586621679770719) = IntersperseSym1 l

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

Instances
SuppressUnusedWarnings (IntersperseSym1 :: a6989586621679770719 -> TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IntersperseSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IntersperseSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Intersperse l1 l2

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

data ScanlSym0 (l :: TyFun (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> Type) -> *) (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> Type) -> *) (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) = ScanlSym1 l

data ScanlSym1 (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (l :: TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type)) Source #

Instances
SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) -> TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym1 l1 :: TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> *) (l2 :: b6989586621679770724) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym1 l1 :: TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> *) (l2 :: b6989586621679770724) = ScanlSym2 l1 l2

data ScanlSym2 (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (l :: b6989586621679770724) (l :: TyFun [a6989586621679770725] (NonEmpty b6989586621679770724)) Source #

Instances
SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) -> b6989586621679770724 -> TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) = Scanl l1 l2 l3

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

data ScanrSym0 (l :: TyFun (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> Type) -> *) (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> Type) -> *) (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) = ScanrSym1 l

data ScanrSym1 (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (l :: TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type)) Source #

Instances
SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) -> TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym1 l1 :: TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> *) (l2 :: b6989586621679770723) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym1 l1 :: TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> *) (l2 :: b6989586621679770723) = ScanrSym2 l1 l2

data ScanrSym2 (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (l :: b6989586621679770723) (l :: TyFun [a6989586621679770722] (NonEmpty b6989586621679770723)) Source #

Instances
SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) -> b6989586621679770723 -> TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) = Scanr l1 l2 l3

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

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

Instances
SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> Type) -> *) (l :: TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> Type) -> *) (l :: TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) = Scanl1Sym1 l

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

Instances
SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanl1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanl1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Scanl1 l1 l2

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

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

Instances
SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> Type) -> *) (l :: TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> Type) -> *) (l :: TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) = Scanr1Sym1 l

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

Instances
SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanr1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanr1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Scanr1 l1 l2

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

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

Instances
SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621679770685)) (NonEmpty (NonEmpty a6989586621679770685)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty (NonEmpty a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances
SuppressUnusedWarnings (SortBySym0 :: TyFun (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortBySym0 :: TyFun (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> Type) -> *) (l :: TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortBySym0 :: TyFun (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> Type) -> *) (l :: TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) = SortBySym1 l

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

Instances
SuppressUnusedWarnings (SortBySym1 :: (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = SortBy l1 l2

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

data SortWithSym0 (l :: TyFun (TyFun a6989586621679770683 o6989586621679770682 -> Type) (TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> Type)) Source #

Instances
SuppressUnusedWarnings (SortWithSym0 :: TyFun (TyFun a6989586621679770683 o6989586621679770682 -> Type) (TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortWithSym0 :: TyFun (TyFun a6989586621679770683 o6989586621679770682 -> Type) (TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> Type) -> *) (l :: TyFun a6989586621679770683 o6989586621679770682 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortWithSym0 :: TyFun (TyFun a6989586621679770683 o6989586621679770682 -> Type) (TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> Type) -> *) (l :: TyFun a6989586621679770683 o6989586621679770682 -> Type) = SortWithSym1 l

data SortWithSym1 (l :: TyFun a6989586621679770683 o6989586621679770682 -> Type) (l :: TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683)) Source #

Instances
SuppressUnusedWarnings (SortWithSym1 :: (TyFun a6989586621679770683 o6989586621679770682 -> Type) -> TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortWithSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortWithSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = SortWith l1 l2

type SortWithSym2 (t :: TyFun a6989586621679770683 o6989586621679770682 -> Type) (t :: NonEmpty a6989586621679770683) = SortWith t t Source #

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

Instances
SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a6989586621679770748) Nat -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> *) (l :: NonEmpty a) = Length l

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

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

Instances
SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a6989586621679770741) a6989586621679770741 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) = Head l

type HeadSym1 (t :: NonEmpty a6989586621679770741) = Head t Source #

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

Instances
SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a6989586621679770740) [a6989586621679770740] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) = Tail l

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

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

Instances
SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a6989586621679770739) a6989586621679770739 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (LastSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (LastSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) = Last l

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

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

Instances
SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a6989586621679770738) [a6989586621679770738] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) = Init l

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

data (<|@#@$) (l :: TyFun a6989586621679770737 (TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> Type)) Source #

Instances
SuppressUnusedWarnings ((<|@#@$) :: TyFun a6989586621679770737 (TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((<|@#@$) :: TyFun a6989586621679770737 (TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> Type) -> *) (l :: a6989586621679770737) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((<|@#@$) :: TyFun a6989586621679770737 (TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> Type) -> *) (l :: a6989586621679770737) = (<|@#@$$) l

data (l :: a6989586621679770737) <|@#@$$ (l :: TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737)) Source #

Instances
SuppressUnusedWarnings ((<|@#@$$) :: a6989586621679770737 -> TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((<|@#@$$) l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((<|@#@$$) l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = l1 <| l2

type (<|@#@$$$) (t :: a6989586621679770737) (t :: NonEmpty a6989586621679770737) = (<|) t t Source #

data ConsSym0 (l :: TyFun a6989586621679770736 (TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> Type)) Source #

Instances
SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621679770736 (TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ConsSym0 :: TyFun a6989586621679770736 (TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> Type) -> *) (l :: a6989586621679770736) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ConsSym0 :: TyFun a6989586621679770736 (TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> Type) -> *) (l :: a6989586621679770736) = ConsSym1 l

data ConsSym1 (l :: a6989586621679770736) (l :: TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736)) Source #

Instances
SuppressUnusedWarnings (ConsSym1 :: a6989586621679770736 -> TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ConsSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ConsSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Cons l1 l2

type ConsSym2 (t :: a6989586621679770736) (t :: NonEmpty a6989586621679770736) = Cons t t Source #

data UnconsSym0 (l :: TyFun (NonEmpty a6989586621679770744) (a6989586621679770744, Maybe (NonEmpty a6989586621679770744))) Source #

Instances
SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621679770744) (a6989586621679770744, Maybe (NonEmpty a6989586621679770744)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> *) (l :: NonEmpty a) = Uncons l

type UnconsSym1 (t :: NonEmpty a6989586621679770744) = Uncons t Source #

data UnfoldrSym0 (l :: TyFun (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> Type)) Source #

Instances
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldrSym0 :: TyFun (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> Type) -> *) (l :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldrSym0 :: TyFun (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> Type) -> *) (l :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) = UnfoldrSym1 l

data UnfoldrSym1 (l :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (l :: TyFun a6989586621679770742 (NonEmpty b6989586621679770743)) Source #

Instances
SuppressUnusedWarnings (UnfoldrSym1 :: (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) -> TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldrSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldrSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) = Unfoldr l1 l2

type UnfoldrSym2 (t :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (t :: a6989586621679770742) = Unfoldr t t Source #

data SortSym0 (l :: TyFun (NonEmpty a6989586621679770735) (NonEmpty a6989586621679770735)) Source #

Instances
SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621679770735) (NonEmpty a6989586621679770735) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) = Sort l

type SortSym1 (t :: NonEmpty a6989586621679770735) = Sort t Source #

data ReverseSym0 (l :: TyFun (NonEmpty a6989586621679770718) (NonEmpty a6989586621679770718)) Source #

Instances
SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a6989586621679770718) (NonEmpty a6989586621679770718) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) = Reverse l

type ReverseSym1 (t :: NonEmpty a6989586621679770718) = Reverse t Source #

data InitsSym0 (l :: TyFun [a6989586621679770728] (NonEmpty [a6989586621679770728])) Source #

Instances
SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621679770728] (NonEmpty [a6989586621679770728]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) = Inits l

type InitsSym1 (t :: [a6989586621679770728]) = Inits t Source #

data TailsSym0 (l :: TyFun [a6989586621679770727] (NonEmpty [a6989586621679770727])) Source #

Instances
SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621679770727] (NonEmpty [a6989586621679770727]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) = Tails l

type TailsSym1 (t :: [a6989586621679770727]) = Tails t Source #

data UnfoldSym0 (l :: TyFun (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> Type)) Source #

Instances
SuppressUnusedWarnings (UnfoldSym0 :: TyFun (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldSym0 :: TyFun (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> Type) -> *) (l :: TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldSym0 :: TyFun (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> Type) -> *) (l :: TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) = UnfoldSym1 l

data UnfoldSym1 (l :: TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (l :: TyFun a6989586621679770746 (NonEmpty b6989586621679770747)) Source #

Instances
SuppressUnusedWarnings (UnfoldSym1 :: (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) -> TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) = Unfold l1 l2

data InsertSym0 (l :: TyFun a6989586621679770726 (TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> Type)) Source #

Instances
SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621679770726 (TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InsertSym0 :: TyFun a6989586621679770726 (TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> Type) -> *) (l :: a6989586621679770726) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InsertSym0 :: TyFun a6989586621679770726 (TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> Type) -> *) (l :: a6989586621679770726) = InsertSym1 l

data InsertSym1 (l :: a6989586621679770726) (l :: TyFun [a6989586621679770726] (NonEmpty a6989586621679770726)) Source #

Instances
SuppressUnusedWarnings (InsertSym1 :: a6989586621679770726 -> TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InsertSym1 l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InsertSym1 l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) = Insert l1 l2

type InsertSym2 (t :: a6989586621679770726) (t :: [a6989586621679770726]) = Insert t t Source #

data TakeSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> Type)) Source #

Instances
SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> Type) -> *) (l :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> Type) -> *) (l :: Nat) = (TakeSym1 l :: TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> *)

data TakeSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679770717) [a6989586621679770717]) Source #

Instances
SuppressUnusedWarnings (TakeSym1 :: Nat -> TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = Take l1 l2

type TakeSym2 (t :: Nat) (t :: NonEmpty a6989586621679770717) = Take t t Source #

data DropSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> Type)) Source #

Instances
SuppressUnusedWarnings (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> Type) -> *) (l :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> Type) -> *) (l :: Nat) = (DropSym1 l :: TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> *)

data DropSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679770716) [a6989586621679770716]) Source #

Instances
SuppressUnusedWarnings (DropSym1 :: Nat -> TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = Drop l1 l2

type DropSym2 (t :: Nat) (t :: NonEmpty a6989586621679770716) = Drop t t Source #

data SplitAtSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> Type)) Source #

Instances
SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> Type) -> *) (l :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> Type) -> *) (l :: Nat) = (SplitAtSym1 l :: TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> *)

data SplitAtSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715])) Source #

Instances
SuppressUnusedWarnings (SplitAtSym1 :: Nat -> TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SplitAtSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SplitAtSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = SplitAt l1 l2

type SplitAtSym2 (t :: Nat) (t :: NonEmpty a6989586621679770715) = SplitAt t t Source #

data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679770714 Bool -> Type) (TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> Type)) Source #

Instances
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (TyFun a6989586621679770714 Bool -> Type) (TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679770714 Bool -> Type) (TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> Type) -> *) (l :: TyFun a6989586621679770714 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679770714 Bool -> Type) (TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> Type) -> *) (l :: TyFun a6989586621679770714 Bool -> Type) = TakeWhileSym1 l

data TakeWhileSym1 (l :: TyFun a6989586621679770714 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770714) [a6989586621679770714]) Source #

Instances
SuppressUnusedWarnings (TakeWhileSym1 :: (TyFun a6989586621679770714 Bool -> Type) -> TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = TakeWhile l1 l2

type TakeWhileSym2 (t :: TyFun a6989586621679770714 Bool -> Type) (t :: NonEmpty a6989586621679770714) = TakeWhile t t Source #

data DropWhileSym0 (l :: TyFun (TyFun a6989586621679770713 Bool -> Type) (TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> Type)) Source #

Instances
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (TyFun a6989586621679770713 Bool -> Type) (TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679770713 Bool -> Type) (TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> Type) -> *) (l :: TyFun a6989586621679770713 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679770713 Bool -> Type) (TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> Type) -> *) (l :: TyFun a6989586621679770713 Bool -> Type) = DropWhileSym1 l

data DropWhileSym1 (l :: TyFun a6989586621679770713 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770713) [a6989586621679770713]) Source #

Instances
SuppressUnusedWarnings (DropWhileSym1 :: (TyFun a6989586621679770713 Bool -> Type) -> TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = DropWhile l1 l2

type DropWhileSym2 (t :: TyFun a6989586621679770713 Bool -> Type) (t :: NonEmpty a6989586621679770713) = DropWhile t t Source #

data SpanSym0 (l :: TyFun (TyFun a6989586621679770712 Bool -> Type) (TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> Type)) Source #

Instances
SuppressUnusedWarnings (SpanSym0 :: TyFun (TyFun a6989586621679770712 Bool -> Type) (TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SpanSym0 :: TyFun (TyFun a6989586621679770712 Bool -> Type) (TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> Type) -> *) (l :: TyFun a6989586621679770712 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SpanSym0 :: TyFun (TyFun a6989586621679770712 Bool -> Type) (TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> Type) -> *) (l :: TyFun a6989586621679770712 Bool -> Type) = SpanSym1 l

data SpanSym1 (l :: TyFun a6989586621679770712 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712])) Source #

Instances
SuppressUnusedWarnings (SpanSym1 :: (TyFun a6989586621679770712 Bool -> Type) -> TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SpanSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SpanSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = Span l1 l2

type SpanSym2 (t :: TyFun a6989586621679770712 Bool -> Type) (t :: NonEmpty a6989586621679770712) = Span t t Source #

data BreakSym0 (l :: TyFun (TyFun a6989586621679770711 Bool -> Type) (TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> Type)) Source #

Instances
SuppressUnusedWarnings (BreakSym0 :: TyFun (TyFun a6989586621679770711 Bool -> Type) (TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (BreakSym0 :: TyFun (TyFun a6989586621679770711 Bool -> Type) (TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> Type) -> *) (l :: TyFun a6989586621679770711 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (BreakSym0 :: TyFun (TyFun a6989586621679770711 Bool -> Type) (TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> Type) -> *) (l :: TyFun a6989586621679770711 Bool -> Type) = BreakSym1 l

data BreakSym1 (l :: TyFun a6989586621679770711 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711])) Source #

Instances
SuppressUnusedWarnings (BreakSym1 :: (TyFun a6989586621679770711 Bool -> Type) -> TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (BreakSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (BreakSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = Break l1 l2

type BreakSym2 (t :: TyFun a6989586621679770711 Bool -> Type) (t :: NonEmpty a6989586621679770711) = Break t t Source #

data FilterSym0 (l :: TyFun (TyFun a6989586621679770710 Bool -> Type) (TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> Type)) Source #

Instances
SuppressUnusedWarnings (FilterSym0 :: TyFun (TyFun a6989586621679770710 Bool -> Type) (TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FilterSym0 :: TyFun (TyFun a6989586621679770710 Bool -> Type) (TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> Type) -> *) (l :: TyFun a6989586621679770710 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FilterSym0 :: TyFun (TyFun a6989586621679770710 Bool -> Type) (TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> Type) -> *) (l :: TyFun a6989586621679770710 Bool -> Type) = FilterSym1 l

data FilterSym1 (l :: TyFun a6989586621679770710 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770710) [a6989586621679770710]) Source #

Instances
SuppressUnusedWarnings (FilterSym1 :: (TyFun a6989586621679770710 Bool -> Type) -> TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FilterSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FilterSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = Filter l1 l2

type FilterSym2 (t :: TyFun a6989586621679770710 Bool -> Type) (t :: NonEmpty a6989586621679770710) = Filter t t Source #

data PartitionSym0 (l :: TyFun (TyFun a6989586621679770709 Bool -> Type) (TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> Type)) Source #

Instances
SuppressUnusedWarnings (PartitionSym0 :: TyFun (TyFun a6989586621679770709 Bool -> Type) (TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (PartitionSym0 :: TyFun (TyFun a6989586621679770709 Bool -> Type) (TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> Type) -> *) (l :: TyFun a6989586621679770709 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (PartitionSym0 :: TyFun (TyFun a6989586621679770709 Bool -> Type) (TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> Type) -> *) (l :: TyFun a6989586621679770709 Bool -> Type) = PartitionSym1 l

data PartitionSym1 (l :: TyFun a6989586621679770709 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709])) Source #

Instances
SuppressUnusedWarnings (PartitionSym1 :: (TyFun a6989586621679770709 Bool -> Type) -> TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (PartitionSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (PartitionSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = Partition l1 l2

type PartitionSym2 (t :: TyFun a6989586621679770709 Bool -> Type) (t :: NonEmpty a6989586621679770709) = Partition t t Source #

data GroupSym0 (l :: TyFun [a6989586621679770708] [NonEmpty a6989586621679770708]) Source #

Instances
SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621679770708] [NonEmpty a6989586621679770708] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> *) (l :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> *) (l :: [a]) = Group l

type GroupSym1 (t :: [a6989586621679770708]) = Group t Source #

data GroupBySym0 (l :: TyFun (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> Type)) Source #

Instances
SuppressUnusedWarnings (GroupBySym0 :: TyFun (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBySym0 :: TyFun (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> Type) -> *) (l :: TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBySym0 :: TyFun (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> Type) -> *) (l :: TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) = GroupBySym1 l

data GroupBySym1 (l :: TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (l :: TyFun [a6989586621679770707] [NonEmpty a6989586621679770707]) Source #

Instances
SuppressUnusedWarnings (GroupBySym1 :: (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) -> TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBySym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBySym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) = GroupBy l1 l2

type GroupBySym2 (t :: TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (t :: [a6989586621679770707]) = GroupBy t t Source #

data GroupWithSym0 (l :: TyFun (TyFun a6989586621679770706 b6989586621679770705 -> Type) (TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> Type)) Source #

Instances
SuppressUnusedWarnings (GroupWithSym0 :: TyFun (TyFun a6989586621679770706 b6989586621679770705 -> Type) (TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWithSym0 :: TyFun (TyFun a6989586621679770706 b6989586621679770705 -> Type) (TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> Type) -> *) (l :: TyFun a6989586621679770706 b6989586621679770705 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWithSym0 :: TyFun (TyFun a6989586621679770706 b6989586621679770705 -> Type) (TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> Type) -> *) (l :: TyFun a6989586621679770706 b6989586621679770705 -> Type) = GroupWithSym1 l

data GroupWithSym1 (l :: TyFun a6989586621679770706 b6989586621679770705 -> Type) (l :: TyFun [a6989586621679770706] [NonEmpty a6989586621679770706]) Source #

Instances
SuppressUnusedWarnings (GroupWithSym1 :: (TyFun a6989586621679770706 b6989586621679770705 -> Type) -> TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) = GroupWith l1 l2

type GroupWithSym2 (t :: TyFun a6989586621679770706 b6989586621679770705 -> Type) (t :: [a6989586621679770706]) = GroupWith t t Source #

data GroupAllWithSym0 (l :: TyFun (TyFun a6989586621679770704 b6989586621679770703 -> Type) (TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> Type)) Source #

Instances
SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (TyFun a6989586621679770704 b6989586621679770703 -> Type) (TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWithSym0 :: TyFun (TyFun a6989586621679770704 b6989586621679770703 -> Type) (TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> Type) -> *) (l :: TyFun a6989586621679770704 b6989586621679770703 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWithSym0 :: TyFun (TyFun a6989586621679770704 b6989586621679770703 -> Type) (TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> Type) -> *) (l :: TyFun a6989586621679770704 b6989586621679770703 -> Type) = GroupAllWithSym1 l

data GroupAllWithSym1 (l :: TyFun a6989586621679770704 b6989586621679770703 -> Type) (l :: TyFun [a6989586621679770704] [NonEmpty a6989586621679770704]) Source #

Instances
SuppressUnusedWarnings (GroupAllWithSym1 :: (TyFun a6989586621679770704 b6989586621679770703 -> Type) -> TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) = GroupAllWith l1 l2

type GroupAllWithSym2 (t :: TyFun a6989586621679770704 b6989586621679770703 -> Type) (t :: [a6989586621679770704]) = GroupAllWith t t Source #

data Group1Sym0 (l :: TyFun (NonEmpty a6989586621679770702) (NonEmpty (NonEmpty a6989586621679770702))) Source #

Instances
SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a6989586621679770702) (NonEmpty (NonEmpty a6989586621679770702)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty a) = Group1 l

type Group1Sym1 (t :: NonEmpty a6989586621679770702) = Group1 t Source #

data GroupBy1Sym0 (l :: TyFun (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> Type)) Source #

Instances
SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBy1Sym0 :: TyFun (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> Type) -> *) (l :: TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBy1Sym0 :: TyFun (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> Type) -> *) (l :: TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) = GroupBy1Sym1 l

data GroupBy1Sym1 (l :: TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701))) Source #

Instances
SuppressUnusedWarnings (GroupBy1Sym1 :: (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBy1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBy1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupBy1 l1 l2

type GroupBy1Sym2 (t :: TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679770701) = GroupBy1 t t Source #

data GroupWith1Sym0 (l :: TyFun (TyFun a6989586621679770700 b6989586621679770699 -> Type) (TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> Type)) Source #

Instances
SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (TyFun a6989586621679770700 b6989586621679770699 -> Type) (TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWith1Sym0 :: TyFun (TyFun a6989586621679770700 b6989586621679770699 -> Type) (TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> Type) -> *) (l :: TyFun a6989586621679770700 b6989586621679770699 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWith1Sym0 :: TyFun (TyFun a6989586621679770700 b6989586621679770699 -> Type) (TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> Type) -> *) (l :: TyFun a6989586621679770700 b6989586621679770699 -> Type) = GroupWith1Sym1 l

data GroupWith1Sym1 (l :: TyFun a6989586621679770700 b6989586621679770699 -> Type) (l :: TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700))) Source #

Instances
SuppressUnusedWarnings (GroupWith1Sym1 :: (TyFun a6989586621679770700 b6989586621679770699 -> Type) -> TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupWith1 l1 l2

type GroupWith1Sym2 (t :: TyFun a6989586621679770700 b6989586621679770699 -> Type) (t :: NonEmpty a6989586621679770700) = GroupWith1 t t Source #

data GroupAllWith1Sym0 (l :: TyFun (TyFun a6989586621679770698 b6989586621679770697 -> Type) (TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> Type)) Source #

Instances
SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679770698 b6989586621679770697 -> Type) (TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679770698 b6989586621679770697 -> Type) (TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> Type) -> *) (l :: TyFun a6989586621679770698 b6989586621679770697 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679770698 b6989586621679770697 -> Type) (TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> Type) -> *) (l :: TyFun a6989586621679770698 b6989586621679770697 -> Type) = GroupAllWith1Sym1 l

data GroupAllWith1Sym1 (l :: TyFun a6989586621679770698 b6989586621679770697 -> Type) (l :: TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698))) Source #

Instances
SuppressUnusedWarnings (GroupAllWith1Sym1 :: (TyFun a6989586621679770698 b6989586621679770697 -> Type) -> TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupAllWith1 l1 l2

type GroupAllWith1Sym2 (t :: TyFun a6989586621679770698 b6989586621679770697 -> Type) (t :: NonEmpty a6989586621679770698) = GroupAllWith1 t t Source #

data IsPrefixOfSym0 (l :: TyFun [a6989586621679770696] (TyFun (NonEmpty a6989586621679770696) Bool -> Type)) Source #

Instances
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679770696] (TyFun (NonEmpty a6989586621679770696) Bool -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679770696] (TyFun (NonEmpty a6989586621679770696) Bool -> Type) -> *) (l :: [a6989586621679770696]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679770696] (TyFun (NonEmpty a6989586621679770696) Bool -> Type) -> *) (l :: [a6989586621679770696]) = IsPrefixOfSym1 l

data IsPrefixOfSym1 (l :: [a6989586621679770696]) (l :: TyFun (NonEmpty a6989586621679770696) Bool) Source #

Instances
SuppressUnusedWarnings (IsPrefixOfSym1 :: [a6989586621679770696] -> TyFun (NonEmpty a6989586621679770696) Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IsPrefixOfSym1 l1 :: TyFun (NonEmpty a) Bool -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IsPrefixOfSym1 l1 :: TyFun (NonEmpty a) Bool -> *) (l2 :: NonEmpty a) = IsPrefixOf l1 l2

type IsPrefixOfSym2 (t :: [a6989586621679770696]) (t :: NonEmpty a6989586621679770696) = IsPrefixOf t t Source #

data NubSym0 (l :: TyFun (NonEmpty a6989586621679770687) (NonEmpty a6989586621679770687)) Source #

Instances
SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621679770687) (NonEmpty a6989586621679770687) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) = Nub l

type NubSym1 (t :: NonEmpty a6989586621679770687) = Nub t Source #

data NubBySym0 (l :: TyFun (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> Type)) Source #

Instances
SuppressUnusedWarnings (NubBySym0 :: TyFun (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubBySym0 :: TyFun (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> Type) -> *) (l :: TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubBySym0 :: TyFun (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> Type) -> *) (l :: TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) = NubBySym1 l

data NubBySym1 (l :: TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686)) Source #

Instances
SuppressUnusedWarnings (NubBySym1 :: (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = NubBy l1 l2

type NubBySym2 (t :: TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679770686) = NubBy t t Source #

data (!!@#@$) (l :: TyFun (NonEmpty a6989586621679770695) (TyFun Nat a6989586621679770695 -> Type)) Source #

Instances
SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a6989586621679770695) (TyFun Nat a6989586621679770695 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621679770695) (TyFun Nat a6989586621679770695 -> Type) -> *) (l :: NonEmpty a6989586621679770695) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621679770695) (TyFun Nat a6989586621679770695 -> Type) -> *) (l :: NonEmpty a6989586621679770695) = (!!@#@$$) l

data (l :: NonEmpty a6989586621679770695) !!@#@$$ (l :: TyFun Nat a6989586621679770695) Source #

Instances
SuppressUnusedWarnings ((!!@#@$$) :: NonEmpty a6989586621679770695 -> TyFun Nat a6989586621679770695 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((!!@#@$$) l1 :: TyFun Nat a -> *) (l2 :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((!!@#@$$) l1 :: TyFun Nat a -> *) (l2 :: Nat) = l1 !! l2

type (!!@#@$$$) (t :: NonEmpty a6989586621679770695) (t :: Nat) = (!!) t t Source #

data ZipSym0 (l :: TyFun (NonEmpty a6989586621679770693) (TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> Type)) Source #

Instances
SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621679770693) (TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621679770693) (TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> Type) -> *) (l :: NonEmpty a6989586621679770693) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621679770693) (TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> Type) -> *) (l :: NonEmpty a6989586621679770693) = (ZipSym1 l :: TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> *)

data ZipSym1 (l :: NonEmpty a6989586621679770693) (l :: TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694))) Source #

Instances
SuppressUnusedWarnings (ZipSym1 :: NonEmpty a6989586621679770693 -> TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipSym1 l1 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> *) (l2 :: NonEmpty b) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipSym1 l1 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> *) (l2 :: NonEmpty b) = Zip l1 l2

type ZipSym2 (t :: NonEmpty a6989586621679770693) (t :: NonEmpty b6989586621679770694) = Zip t t Source #

data ZipWithSym0 (l :: TyFun (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> Type) -> *) (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> Type) -> *) (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) = ZipWithSym1 l

data ZipWithSym1 (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type)) Source #

Instances
SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym1 l1 :: TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> *) (l2 :: NonEmpty a6989586621679770690) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym1 l1 :: TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> *) (l2 :: NonEmpty a6989586621679770690) = ZipWithSym2 l1 l2

data ZipWithSym2 (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (l :: NonEmpty a6989586621679770690) (l :: TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692)) Source #

Instances
SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) -> NonEmpty a6989586621679770690 -> TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym2 l1 l2 :: TyFun (NonEmpty b) (NonEmpty c) -> *) (l3 :: NonEmpty b) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym2 l1 l2 :: TyFun (NonEmpty b) (NonEmpty c) -> *) (l3 :: NonEmpty b) = ZipWith l1 l2 l3

type ZipWithSym3 (t :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (t :: NonEmpty a6989586621679770690) (t :: NonEmpty b6989586621679770691) = ZipWith t t t Source #

data UnzipSym0 (l :: TyFun (NonEmpty (a6989586621679770688, b6989586621679770689)) (NonEmpty a6989586621679770688, NonEmpty b6989586621679770689)) Source #

Instances
SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621679770688, b6989586621679770689)) (NonEmpty a6989586621679770688, NonEmpty b6989586621679770689) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> *) (l :: NonEmpty (a, b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> *) (l :: NonEmpty (a, b)) = Unzip l

type UnzipSym1 (t :: NonEmpty (a6989586621679770688, b6989586621679770689)) = Unzip t Source #

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

Instances
SuppressUnusedWarnings (FromListSym0 :: TyFun [a6989586621679770734] (NonEmpty a6989586621679770734) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> *) (l :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> *) (l :: [a]) = FromList l

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

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

Instances
SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a6989586621679770733) [a6989586621679770733] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) = ToList l

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

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

Instances
SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a6989586621679770745] (Maybe (NonEmpty a6989586621679770745)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> *) (l :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> *) (l :: [a]) = NonEmpty_ l

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

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