Copyright	(C) 2016 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (rae@cs.brynmawr.edu)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Promotion.Prelude.List.NonEmpty

Contents

Non-empty stream transformations
Defunctionalization symbols

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 ... #

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 ... #

Equations

Intersperse a ((:|) b bs) = Apply (Apply (:|$) b) (Case_1628136617 a b bs bs)

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

Equations

Scanl f z a_1628136870 = Apply (Apply (Apply (:.$) FromListSym0) (Apply (Apply ListscanlSym0 f) z)) a_1628136870

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

Equations

Scanr f z a_1628136890 = Apply (Apply (Apply (:.$) FromListSym0) (Apply (Apply ListscanrSym0 f) z)) a_1628136890

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

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 ... #

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 ... #

Equations

Transpose a_1628137124 = Apply (Apply (Apply (:.$) (Apply FmapSym0 FromListSym0)) (Apply (Apply (:.$) FromListSym0) (Apply (Apply (:.$) ListtransposeSym0) (Apply (Apply (:.$) ToListSym0) (Apply FmapSym0 ToListSym0))))) a_1628137124

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

Equations

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

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

Equations

SortWith a_1628136800 a_1628136802 = Apply (Apply (Apply (Apply (:.$) SortBySym0) ComparingSym0) a_1628136800) a_1628136802

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

Equations

Length ((:|) _z_1628137108 xs) = Apply (Apply (:+$) (FromInteger 1)) (Apply ListlengthSym0 xs)

type family Head (a :: NonEmpty a) :: a where ... #

Equations

Head ((:|) a _z_1628136978) = a

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

Equations

Tail ((:|) _z_1628136969 as) = as

type family Last (a :: NonEmpty a) :: a where ... #

Equations

Last ((:|) a as) = Apply ListlastSym0 (Apply (Apply (:$) a) as)

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

Equations

Init ((:|) a as) = Apply ListinitSym0 (Apply (Apply (:$) a) as)

type family (a :: a) :<| (a :: NonEmpty a) :: NonEmpty a where ... #

Equations

a :<| ((:|) b bs) = Apply (Apply (:|$) a) (Apply (Apply (:$) b) bs)

type family Cons (a :: a) (a :: NonEmpty a) :: NonEmpty a where ... #

Equations

Cons a_1628136938 a_1628136940 = Apply (Apply (:<|$) a_1628136938) a_1628136940

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

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 ... #

Equations

Unfoldr f a = Case_1628137033 f a (Let1628137025Scrutinee_1628136156Sym2 f a)

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

Equations

Sort a_1628136919 = Apply (Apply LiftSym0 ListsortSym0) a_1628136919

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

Equations

Reverse a_1628136780 = Apply (Apply LiftSym0 ListreverseSym0) a_1628136780

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

Equations

Inits a_1628136828 = Apply (Apply (Apply (:.$) FromListSym0) ListinitsSym0) a_1628136828

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

Equations

Tails a_1628136835 = Apply (Apply (Apply (:.$) FromListSym0) ListtailsSym0) a_1628136835

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

Equations

Unfold f a = Case_1628137069 f a (Let1628137061Scrutinee_1628136154Sym2 f a)

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

Equations

Insert a a_1628136851 = Apply (Apply (Apply (:.$) FromListSym0) (Apply ListinsertSym0 a)) a_1628136851

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

Equations

Take n a_1628136653 = Apply (Apply (Apply (:.$) (Apply ListtakeSym0 n)) ToListSym0) a_1628136653

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

Equations

Drop n a_1628136666 = Apply (Apply (Apply (:.$) (Apply ListdropSym0 n)) ToListSym0) a_1628136666

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

Equations

SplitAt n a_1628136679 = Apply (Apply (Apply (:.$) (Apply ListsplitAtSym0 n)) ToListSym0) a_1628136679

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

Equations

TakeWhile p a_1628136692 = Apply (Apply (Apply (:.$) (Apply ListtakeWhileSym0 p)) ToListSym0) a_1628136692

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

Equations

DropWhile p a_1628136705 = Apply (Apply (Apply (:.$) (Apply ListdropWhileSym0 p)) ToListSym0) a_1628136705

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

Equations

Span p a_1628136718 = Apply (Apply (Apply (:.$) (Apply ListspanSym0 p)) ToListSym0) a_1628136718

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

Equations

Break p a_1628136731 = Apply (Apply SpanSym0 (Apply (Apply (:.$) NotSym0) p)) a_1628136731

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

Equations

Filter p a_1628136744 = Apply (Apply (Apply (:.$) (Apply ListfilterSym0 p)) ToListSym0) a_1628136744

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

Equations

Partition p a_1628136757 = Apply (Apply (Apply (:.$) (Apply ListpartitionSym0 p)) ToListSym0) a_1628136757

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

Equations

Group a_1628136598 = Apply (Apply GroupBySym0 (:==$)) a_1628136598

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

Equations

GroupBy eq0 a_1628136356 = Apply (Apply (Let1628136360GoSym2 eq0 a_1628136356) eq0) a_1628136356

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

Equations

GroupWith f a_1628136492 = Apply (Apply GroupBySym0 (Apply (Apply OnSym0 (:==$)) f)) a_1628136492

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

Equations

GroupAllWith f a_1628136505 = Apply (Apply (Apply (:.$) (Apply GroupWithSym0 f)) (Apply ListsortBySym0 (Apply (Apply OnSym0 CompareSym0) f))) a_1628136505

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

Equations

Group1 a_1628136578 = Apply (Apply GroupBy1Sym0 (:==$)) a_1628136578

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

Equations

GroupBy1 eq ((:|) x xs) = Apply (Apply (:|$) (Apply (Apply (:|$) x) (Let1628136521YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let1628136521ZsSym3 eq x xs))

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

Equations

GroupWith1 f a_1628136594 = Apply (Apply GroupBy1Sym0 (Apply (Apply OnSym0 (:==$)) f)) a_1628136594

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

Equations

GroupAllWith1 f a_1628136824 = Apply (Apply (Apply (:.$) (Apply GroupWith1Sym0 f)) (Apply SortWithSym0 f)) a_1628136824

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

Equations

IsPrefixOf '[] _z_1628136340 = 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 ... #

Equations

Nub a_1628136204 = Apply (Apply NubBySym0 (:==$)) a_1628136204

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

Equations

NubBy eq ((:|) a as) = Apply (Apply (:|$) a) (Apply (Apply ListnubBySym0 eq) (Apply (Apply ListfilterSym0 (Apply (Apply (Apply Lambda_1628136182Sym0 eq) a) as)) as))

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

Equations

arg_1628136160 :!! arg_1628136162 = Case_1628136319 arg_1628136160 arg_1628136162 (Apply (Apply Tuple2Sym0 arg_1628136160) arg_1628136162)

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

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 ... #

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 ... #

Equations

Unzip ((:|) '(a, b) asbs) = Apply (Apply Tuple2Sym0 (Apply (Apply (:|$) a) (Let1628136218AsSym3 a b asbs))) (Apply (Apply (:|$) b) (Let1628136218BsSym3 a b asbs))

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

Equations

FromList ((:) a as) = Apply (Apply (:\|$) a) as
FromList '[] = Apply ErrorSym0 "NonEmpty.fromList: empty list"

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

Equations

ToList ((:|) a as) = Apply (Apply (:$) a) as

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

Equations

NonEmpty_ '[] = NothingSym0
NonEmpty_ ((:) a as) = Apply JustSym0 (Apply (Apply (:\|$) a) as)

type family Xor (a :: NonEmpty Bool) :: Bool where ... #

Equations

Xor ((:|) x xs) = Apply (Apply (Apply FoldrSym0 (Let1628137081Xor'Sym2 x xs)) x) xs

Defunctionalization symbols

data (:|$) (l :: TyFun a1627455910 (TyFun [a1627455910] (NonEmpty a1627455910) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a1627455910 (TyFun [a1627455910] (NonEmpty a1627455910) -> Type) -> *) ((:\|$) a1627455910) #
Methods suppressUnusedWarnings :: Proxy ((:\|$) a1627455910) t -> () #
type Apply a1627455910 (TyFun [a1627455910] (NonEmpty a1627455910) -> Type) ((:\|$) a1627455910) l #
type Apply a1627455910 (TyFun [a1627455910] (NonEmpty a1627455910) -> Type) ((:\|$) a1627455910) l = (:\|$$) a1627455910 l

data (l :: a1627455910) :|$$ (l :: TyFun [a1627455910] (NonEmpty a1627455910)) #

Instances

SuppressUnusedWarnings (a1627455910 -> TyFun [a1627455910] (NonEmpty a1627455910) -> *) ((:\|$$) a1627455910) #
Methods suppressUnusedWarnings :: Proxy ((:\|$$) a1627455910) t -> () #
type Apply [a] (NonEmpty a) ((:\|$$) a l1) l2 #
type Apply [a] (NonEmpty a) ((:\|$$) a l1) l2 = (:\|) a l1 l2

type (:|$$$) (t :: a1627455910) (t :: [a1627455910]) = (:|) t t #

data MapSym0 (l :: TyFun (TyFun a1628135970 b1628135971 -> Type) (TyFun (NonEmpty a1628135970) (NonEmpty b1628135971) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135970 b1628135971 -> Type) (TyFun (NonEmpty a1628135970) (NonEmpty b1628135971) -> Type) -> *) (MapSym0 a1628135970 b1628135971) #
Methods suppressUnusedWarnings :: Proxy (MapSym0 a1628135970 b1628135971) t -> () #
type Apply (TyFun a1628135970 b1628135971 -> Type) (TyFun (NonEmpty a1628135970) (NonEmpty b1628135971) -> Type) (MapSym0 a1628135970 b1628135971) l #
type Apply (TyFun a1628135970 b1628135971 -> Type) (TyFun (NonEmpty a1628135970) (NonEmpty b1628135971) -> Type) (MapSym0 a1628135970 b1628135971) l = MapSym1 a1628135970 b1628135971 l

data MapSym1 (l :: TyFun a1628135970 b1628135971 -> Type) (l :: TyFun (NonEmpty a1628135970) (NonEmpty b1628135971)) #

Instances

SuppressUnusedWarnings ((TyFun a1628135970 b1628135971 -> Type) -> TyFun (NonEmpty a1628135970) (NonEmpty b1628135971) -> *) (MapSym1 a1628135970 b1628135971) #
Methods suppressUnusedWarnings :: Proxy (MapSym1 a1628135970 b1628135971) t -> () #
type Apply (NonEmpty a) (NonEmpty b) (MapSym1 a b l1) l2 #
type Apply (NonEmpty a) (NonEmpty b) (MapSym1 a b l1) l2 = Map a b l1 l2

type MapSym2 (t :: TyFun a1628135970 b1628135971 -> Type) (t :: NonEmpty a1628135970) = Map t t #

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

Instances

SuppressUnusedWarnings (TyFun a1628135960 (TyFun (NonEmpty a1628135960) (NonEmpty a1628135960) -> Type) -> *) (IntersperseSym0 a1628135960) #
Methods suppressUnusedWarnings :: Proxy (IntersperseSym0 a1628135960) t -> () #
type Apply a1628135960 (TyFun (NonEmpty a1628135960) (NonEmpty a1628135960) -> Type) (IntersperseSym0 a1628135960) l #
type Apply a1628135960 (TyFun (NonEmpty a1628135960) (NonEmpty a1628135960) -> Type) (IntersperseSym0 a1628135960) l = IntersperseSym1 a1628135960 l

data IntersperseSym1 (l :: a1628135960) (l :: TyFun (NonEmpty a1628135960) (NonEmpty a1628135960)) #

Instances

SuppressUnusedWarnings (a1628135960 -> TyFun (NonEmpty a1628135960) (NonEmpty a1628135960) -> *) (IntersperseSym1 a1628135960) #
Methods suppressUnusedWarnings :: Proxy (IntersperseSym1 a1628135960) t -> () #
type Apply (NonEmpty a) (NonEmpty a) (IntersperseSym1 a l1) l2 #
type Apply (NonEmpty a) (NonEmpty a) (IntersperseSym1 a l1) l2 = Intersperse a l1 l2

type IntersperseSym2 (t :: a1628135960) (t :: NonEmpty a1628135960) = Intersperse t t #

data ScanlSym0 (l :: TyFun (TyFun b1628135965 (TyFun a1628135966 b1628135965 -> Type) -> Type) (TyFun b1628135965 (TyFun [a1628135966] (NonEmpty b1628135965) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun b1628135965 (TyFun a1628135966 b1628135965 -> Type) -> Type) (TyFun b1628135965 (TyFun [a1628135966] (NonEmpty b1628135965) -> Type) -> Type) -> *) (ScanlSym0 a1628135966 b1628135965) #
Methods suppressUnusedWarnings :: Proxy (ScanlSym0 a1628135966 b1628135965) t -> () #
type Apply (TyFun b1628135965 (TyFun a1628135966 b1628135965 -> Type) -> Type) (TyFun b1628135965 (TyFun [a1628135966] (NonEmpty b1628135965) -> Type) -> Type) (ScanlSym0 a1628135966 b1628135965) l #
type Apply (TyFun b1628135965 (TyFun a1628135966 b1628135965 -> Type) -> Type) (TyFun b1628135965 (TyFun [a1628135966] (NonEmpty b1628135965) -> Type) -> Type) (ScanlSym0 a1628135966 b1628135965) l = ScanlSym1 a1628135966 b1628135965 l

data ScanlSym1 (l :: TyFun b1628135965 (TyFun a1628135966 b1628135965 -> Type) -> Type) (l :: TyFun b1628135965 (TyFun [a1628135966] (NonEmpty b1628135965) -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun b1628135965 (TyFun a1628135966 b1628135965 -> Type) -> Type) -> TyFun b1628135965 (TyFun [a1628135966] (NonEmpty b1628135965) -> Type) -> *) (ScanlSym1 a1628135966 b1628135965) #
Methods suppressUnusedWarnings :: Proxy (ScanlSym1 a1628135966 b1628135965) t -> () #
type Apply b1628135965 (TyFun [a1628135966] (NonEmpty b1628135965) -> Type) (ScanlSym1 a1628135966 b1628135965 l1) l2 #
type Apply b1628135965 (TyFun [a1628135966] (NonEmpty b1628135965) -> Type) (ScanlSym1 a1628135966 b1628135965 l1) l2 = ScanlSym2 a1628135966 b1628135965 l1 l2

data ScanlSym2 (l :: TyFun b1628135965 (TyFun a1628135966 b1628135965 -> Type) -> Type) (l :: b1628135965) (l :: TyFun [a1628135966] (NonEmpty b1628135965)) #

Instances

SuppressUnusedWarnings ((TyFun b1628135965 (TyFun a1628135966 b1628135965 -> Type) -> Type) -> b1628135965 -> TyFun [a1628135966] (NonEmpty b1628135965) -> *) (ScanlSym2 a1628135966 b1628135965) #
Methods suppressUnusedWarnings :: Proxy (ScanlSym2 a1628135966 b1628135965) t -> () #
type Apply [a] (NonEmpty b) (ScanlSym2 a b l1 l2) l3 #
type Apply [a] (NonEmpty b) (ScanlSym2 a b l1 l2) l3 = Scanl a b l1 l2 l3

type ScanlSym3 (t :: TyFun b1628135965 (TyFun a1628135966 b1628135965 -> Type) -> Type) (t :: b1628135965) (t :: [a1628135966]) = Scanl t t t #

data ScanrSym0 (l :: TyFun (TyFun a1628135963 (TyFun b1628135964 b1628135964 -> Type) -> Type) (TyFun b1628135964 (TyFun [a1628135963] (NonEmpty b1628135964) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135963 (TyFun b1628135964 b1628135964 -> Type) -> Type) (TyFun b1628135964 (TyFun [a1628135963] (NonEmpty b1628135964) -> Type) -> Type) -> *) (ScanrSym0 a1628135963 b1628135964) #
Methods suppressUnusedWarnings :: Proxy (ScanrSym0 a1628135963 b1628135964) t -> () #
type Apply (TyFun a1628135963 (TyFun b1628135964 b1628135964 -> Type) -> Type) (TyFun b1628135964 (TyFun [a1628135963] (NonEmpty b1628135964) -> Type) -> Type) (ScanrSym0 a1628135963 b1628135964) l #
type Apply (TyFun a1628135963 (TyFun b1628135964 b1628135964 -> Type) -> Type) (TyFun b1628135964 (TyFun [a1628135963] (NonEmpty b1628135964) -> Type) -> Type) (ScanrSym0 a1628135963 b1628135964) l = ScanrSym1 a1628135963 b1628135964 l

data ScanrSym1 (l :: TyFun a1628135963 (TyFun b1628135964 b1628135964 -> Type) -> Type) (l :: TyFun b1628135964 (TyFun [a1628135963] (NonEmpty b1628135964) -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1628135963 (TyFun b1628135964 b1628135964 -> Type) -> Type) -> TyFun b1628135964 (TyFun [a1628135963] (NonEmpty b1628135964) -> Type) -> *) (ScanrSym1 a1628135963 b1628135964) #
Methods suppressUnusedWarnings :: Proxy (ScanrSym1 a1628135963 b1628135964) t -> () #
type Apply b1628135964 (TyFun [a1628135963] (NonEmpty b1628135964) -> Type) (ScanrSym1 a1628135963 b1628135964 l1) l2 #
type Apply b1628135964 (TyFun [a1628135963] (NonEmpty b1628135964) -> Type) (ScanrSym1 a1628135963 b1628135964 l1) l2 = ScanrSym2 a1628135963 b1628135964 l1 l2

data ScanrSym2 (l :: TyFun a1628135963 (TyFun b1628135964 b1628135964 -> Type) -> Type) (l :: b1628135964) (l :: TyFun [a1628135963] (NonEmpty b1628135964)) #

Instances

SuppressUnusedWarnings ((TyFun a1628135963 (TyFun b1628135964 b1628135964 -> Type) -> Type) -> b1628135964 -> TyFun [a1628135963] (NonEmpty b1628135964) -> *) (ScanrSym2 a1628135963 b1628135964) #
Methods suppressUnusedWarnings :: Proxy (ScanrSym2 a1628135963 b1628135964) t -> () #
type Apply [a] (NonEmpty b) (ScanrSym2 a b l1 l2) l3 #
type Apply [a] (NonEmpty b) (ScanrSym2 a b l1 l2) l3 = Scanr a b l1 l2 l3

type ScanrSym3 (t :: TyFun a1628135963 (TyFun b1628135964 b1628135964 -> Type) -> Type) (t :: b1628135964) (t :: [a1628135963]) = Scanr t t t #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135962 (TyFun a1628135962 a1628135962 -> Type) -> Type) (TyFun (NonEmpty a1628135962) (NonEmpty a1628135962) -> Type) -> *) (Scanl1Sym0 a1628135962) #
Methods suppressUnusedWarnings :: Proxy (Scanl1Sym0 a1628135962) t -> () #
type Apply (TyFun a1628135962 (TyFun a1628135962 a1628135962 -> Type) -> Type) (TyFun (NonEmpty a1628135962) (NonEmpty a1628135962) -> Type) (Scanl1Sym0 a1628135962) l #
type Apply (TyFun a1628135962 (TyFun a1628135962 a1628135962 -> Type) -> Type) (TyFun (NonEmpty a1628135962) (NonEmpty a1628135962) -> Type) (Scanl1Sym0 a1628135962) l = Scanl1Sym1 a1628135962 l

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

Instances

SuppressUnusedWarnings ((TyFun a1628135962 (TyFun a1628135962 a1628135962 -> Type) -> Type) -> TyFun (NonEmpty a1628135962) (NonEmpty a1628135962) -> *) (Scanl1Sym1 a1628135962) #
Methods suppressUnusedWarnings :: Proxy (Scanl1Sym1 a1628135962) t -> () #
type Apply (NonEmpty a) (NonEmpty a) (Scanl1Sym1 a l1) l2 #
type Apply (NonEmpty a) (NonEmpty a) (Scanl1Sym1 a l1) l2 = Scanl1 a l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135961 (TyFun a1628135961 a1628135961 -> Type) -> Type) (TyFun (NonEmpty a1628135961) (NonEmpty a1628135961) -> Type) -> *) (Scanr1Sym0 a1628135961) #
Methods suppressUnusedWarnings :: Proxy (Scanr1Sym0 a1628135961) t -> () #
type Apply (TyFun a1628135961 (TyFun a1628135961 a1628135961 -> Type) -> Type) (TyFun (NonEmpty a1628135961) (NonEmpty a1628135961) -> Type) (Scanr1Sym0 a1628135961) l #
type Apply (TyFun a1628135961 (TyFun a1628135961 a1628135961 -> Type) -> Type) (TyFun (NonEmpty a1628135961) (NonEmpty a1628135961) -> Type) (Scanr1Sym0 a1628135961) l = Scanr1Sym1 a1628135961 l

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

Instances

SuppressUnusedWarnings ((TyFun a1628135961 (TyFun a1628135961 a1628135961 -> Type) -> Type) -> TyFun (NonEmpty a1628135961) (NonEmpty a1628135961) -> *) (Scanr1Sym1 a1628135961) #
Methods suppressUnusedWarnings :: Proxy (Scanr1Sym1 a1628135961) t -> () #
type Apply (NonEmpty a) (NonEmpty a) (Scanr1Sym1 a l1) l2 #
type Apply (NonEmpty a) (NonEmpty a) (Scanr1Sym1 a l1) l2 = Scanr1 a l1 l2

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

data TransposeSym0 (l :: TyFun (NonEmpty (NonEmpty a1628135926)) (NonEmpty (NonEmpty a1628135926))) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty (NonEmpty a1628135926)) (NonEmpty (NonEmpty a1628135926)) -> *) (TransposeSym0 a1628135926) #
Methods suppressUnusedWarnings :: Proxy (TransposeSym0 a1628135926) t -> () #
type Apply (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) (TransposeSym0 a) l #
type Apply (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) (TransposeSym0 a) l = Transpose a l

type TransposeSym1 (t :: NonEmpty (NonEmpty a1628135926)) = Transpose t #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135925 (TyFun a1628135925 Ordering -> Type) -> Type) (TyFun (NonEmpty a1628135925) (NonEmpty a1628135925) -> Type) -> *) (SortBySym0 a1628135925) #
Methods suppressUnusedWarnings :: Proxy (SortBySym0 a1628135925) t -> () #
type Apply (TyFun a1628135925 (TyFun a1628135925 Ordering -> Type) -> Type) (TyFun (NonEmpty a1628135925) (NonEmpty a1628135925) -> Type) (SortBySym0 a1628135925) l #
type Apply (TyFun a1628135925 (TyFun a1628135925 Ordering -> Type) -> Type) (TyFun (NonEmpty a1628135925) (NonEmpty a1628135925) -> Type) (SortBySym0 a1628135925) l = SortBySym1 a1628135925 l

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

Instances

SuppressUnusedWarnings ((TyFun a1628135925 (TyFun a1628135925 Ordering -> Type) -> Type) -> TyFun (NonEmpty a1628135925) (NonEmpty a1628135925) -> *) (SortBySym1 a1628135925) #
Methods suppressUnusedWarnings :: Proxy (SortBySym1 a1628135925) t -> () #
type Apply (NonEmpty a) (NonEmpty a) (SortBySym1 a l1) l2 #
type Apply (NonEmpty a) (NonEmpty a) (SortBySym1 a l1) l2 = SortBy a l1 l2

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

data SortWithSym0 (l :: TyFun (TyFun a1628135924 o1628135923 -> Type) (TyFun (NonEmpty a1628135924) (NonEmpty a1628135924) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135924 o1628135923 -> Type) (TyFun (NonEmpty a1628135924) (NonEmpty a1628135924) -> Type) -> *) (SortWithSym0 o1628135923 a1628135924) #
Methods suppressUnusedWarnings :: Proxy (SortWithSym0 o1628135923 a1628135924) t -> () #
type Apply (TyFun a1628135924 o1628135923 -> Type) (TyFun (NonEmpty a1628135924) (NonEmpty a1628135924) -> Type) (SortWithSym0 o1628135923 a1628135924) l #
type Apply (TyFun a1628135924 o1628135923 -> Type) (TyFun (NonEmpty a1628135924) (NonEmpty a1628135924) -> Type) (SortWithSym0 o1628135923 a1628135924) l = SortWithSym1 o1628135923 a1628135924 l

data SortWithSym1 (l :: TyFun a1628135924 o1628135923 -> Type) (l :: TyFun (NonEmpty a1628135924) (NonEmpty a1628135924)) #

Instances

SuppressUnusedWarnings ((TyFun a1628135924 o1628135923 -> Type) -> TyFun (NonEmpty a1628135924) (NonEmpty a1628135924) -> *) (SortWithSym1 o1628135923 a1628135924) #
Methods suppressUnusedWarnings :: Proxy (SortWithSym1 o1628135923 a1628135924) t -> () #
type Apply (NonEmpty a) (NonEmpty a) (SortWithSym1 o a l1) l2 #
type Apply (NonEmpty a) (NonEmpty a) (SortWithSym1 o a l1) l2 = SortWith o a l1 l2

type SortWithSym2 (t :: TyFun a1628135924 o1628135923 -> Type) (t :: NonEmpty a1628135924) = SortWith t t #

data LengthSym0 (l :: TyFun (NonEmpty a1628135989) Nat) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a1628135989) Nat -> *) (LengthSym0 a1628135989) #
Methods suppressUnusedWarnings :: Proxy (LengthSym0 a1628135989) t -> () #
type Apply (NonEmpty a) Nat (LengthSym0 a) l #
type Apply (NonEmpty a) Nat (LengthSym0 a) l = Length a l

type LengthSym1 (t :: NonEmpty a1628135989) = Length t #

data HeadSym0 (l :: TyFun (NonEmpty a1628135982) a1628135982) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a1628135982) a1628135982 -> *) (HeadSym0 a1628135982) #
Methods suppressUnusedWarnings :: Proxy (HeadSym0 a1628135982) t -> () #
type Apply (NonEmpty a) a (HeadSym0 a) l #
type Apply (NonEmpty a) a (HeadSym0 a) l = Head a l

type HeadSym1 (t :: NonEmpty a1628135982) = Head t #

data TailSym0 (l :: TyFun (NonEmpty a1628135981) [a1628135981]) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a1628135981) [a1628135981] -> *) (TailSym0 a1628135981) #
Methods suppressUnusedWarnings :: Proxy (TailSym0 a1628135981) t -> () #
type Apply (NonEmpty a) [a] (TailSym0 a) l #
type Apply (NonEmpty a) [a] (TailSym0 a) l = Tail a l

type TailSym1 (t :: NonEmpty a1628135981) = Tail t #

data LastSym0 (l :: TyFun (NonEmpty a1628135980) a1628135980) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a1628135980) a1628135980 -> *) (LastSym0 a1628135980) #
Methods suppressUnusedWarnings :: Proxy (LastSym0 a1628135980) t -> () #
type Apply (NonEmpty a) a (LastSym0 a) l #
type Apply (NonEmpty a) a (LastSym0 a) l = Last a l

type LastSym1 (t :: NonEmpty a1628135980) = Last t #

data InitSym0 (l :: TyFun (NonEmpty a1628135979) [a1628135979]) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a1628135979) [a1628135979] -> *) (InitSym0 a1628135979) #
Methods suppressUnusedWarnings :: Proxy (InitSym0 a1628135979) t -> () #
type Apply (NonEmpty a) [a] (InitSym0 a) l #
type Apply (NonEmpty a) [a] (InitSym0 a) l = Init a l

type InitSym1 (t :: NonEmpty a1628135979) = Init t #

data (:<|$) (l :: TyFun a1628135978 (TyFun (NonEmpty a1628135978) (NonEmpty a1628135978) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a1628135978 (TyFun (NonEmpty a1628135978) (NonEmpty a1628135978) -> Type) -> *) ((:<\|$) a1628135978) #
Methods suppressUnusedWarnings :: Proxy ((:<\|$) a1628135978) t -> () #
type Apply a1628135978 (TyFun (NonEmpty a1628135978) (NonEmpty a1628135978) -> Type) ((:<\|$) a1628135978) l #
type Apply a1628135978 (TyFun (NonEmpty a1628135978) (NonEmpty a1628135978) -> Type) ((:<\|$) a1628135978) l = (:<\|$$) a1628135978 l

data (l :: a1628135978) :<|$$ (l :: TyFun (NonEmpty a1628135978) (NonEmpty a1628135978)) #

Instances

SuppressUnusedWarnings (a1628135978 -> TyFun (NonEmpty a1628135978) (NonEmpty a1628135978) -> *) ((:<\|$$) a1628135978) #
Methods suppressUnusedWarnings :: Proxy ((:<\|$$) a1628135978) t -> () #
type Apply (NonEmpty a) (NonEmpty a) ((:<\|$$) a l1) l2 #
type Apply (NonEmpty a) (NonEmpty a) ((:<\|$$) a l1) l2 = (:<\|) a l1 l2

type (:<|$$$) (t :: a1628135978) (t :: NonEmpty a1628135978) = (:<|) t t #

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

Instances

SuppressUnusedWarnings (TyFun a1628135977 (TyFun (NonEmpty a1628135977) (NonEmpty a1628135977) -> Type) -> *) (ConsSym0 a1628135977) #
Methods suppressUnusedWarnings :: Proxy (ConsSym0 a1628135977) t -> () #
type Apply a1628135977 (TyFun (NonEmpty a1628135977) (NonEmpty a1628135977) -> Type) (ConsSym0 a1628135977) l #
type Apply a1628135977 (TyFun (NonEmpty a1628135977) (NonEmpty a1628135977) -> Type) (ConsSym0 a1628135977) l = ConsSym1 a1628135977 l

data ConsSym1 (l :: a1628135977) (l :: TyFun (NonEmpty a1628135977) (NonEmpty a1628135977)) #

Instances

SuppressUnusedWarnings (a1628135977 -> TyFun (NonEmpty a1628135977) (NonEmpty a1628135977) -> *) (ConsSym1 a1628135977) #
Methods suppressUnusedWarnings :: Proxy (ConsSym1 a1628135977) t -> () #
type Apply (NonEmpty a) (NonEmpty a) (ConsSym1 a l1) l2 #
type Apply (NonEmpty a) (NonEmpty a) (ConsSym1 a l1) l2 = Cons a l1 l2

type ConsSym2 (t :: a1628135977) (t :: NonEmpty a1628135977) = Cons t t #

data UnconsSym0 (l :: TyFun (NonEmpty a1628135985) (a1628135985, Maybe (NonEmpty a1628135985))) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a1628135985) (a1628135985, Maybe (NonEmpty a1628135985)) -> *) (UnconsSym0 a1628135985) #
Methods suppressUnusedWarnings :: Proxy (UnconsSym0 a1628135985) t -> () #
type Apply (NonEmpty a) (a, Maybe (NonEmpty a)) (UnconsSym0 a) l #
type Apply (NonEmpty a) (a, Maybe (NonEmpty a)) (UnconsSym0 a) l = Uncons a l

type UnconsSym1 (t :: NonEmpty a1628135985) = Uncons t #

data UnfoldrSym0 (l :: TyFun (TyFun a1628135983 (b1628135984, Maybe a1628135983) -> Type) (TyFun a1628135983 (NonEmpty b1628135984) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135983 (b1628135984, Maybe a1628135983) -> Type) (TyFun a1628135983 (NonEmpty b1628135984) -> Type) -> *) (UnfoldrSym0 a1628135983 b1628135984) #
Methods suppressUnusedWarnings :: Proxy (UnfoldrSym0 a1628135983 b1628135984) t -> () #
type Apply (TyFun a1628135983 (b1628135984, Maybe a1628135983) -> Type) (TyFun a1628135983 (NonEmpty b1628135984) -> Type) (UnfoldrSym0 a1628135983 b1628135984) l #
type Apply (TyFun a1628135983 (b1628135984, Maybe a1628135983) -> Type) (TyFun a1628135983 (NonEmpty b1628135984) -> Type) (UnfoldrSym0 a1628135983 b1628135984) l = UnfoldrSym1 a1628135983 b1628135984 l

data UnfoldrSym1 (l :: TyFun a1628135983 (b1628135984, Maybe a1628135983) -> Type) (l :: TyFun a1628135983 (NonEmpty b1628135984)) #

Instances

SuppressUnusedWarnings ((TyFun a1628135983 (b1628135984, Maybe a1628135983) -> Type) -> TyFun a1628135983 (NonEmpty b1628135984) -> *) (UnfoldrSym1 a1628135983 b1628135984) #
Methods suppressUnusedWarnings :: Proxy (UnfoldrSym1 a1628135983 b1628135984) t -> () #
type Apply a (NonEmpty b) (UnfoldrSym1 a b l1) l2 #
type Apply a (NonEmpty b) (UnfoldrSym1 a b l1) l2 = Unfoldr a b l1 l2

type UnfoldrSym2 (t :: TyFun a1628135983 (b1628135984, Maybe a1628135983) -> Type) (t :: a1628135983) = Unfoldr t t #

data SortSym0 (l :: TyFun (NonEmpty a1628135976) (NonEmpty a1628135976)) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a1628135976) (NonEmpty a1628135976) -> *) (SortSym0 a1628135976) #
Methods suppressUnusedWarnings :: Proxy (SortSym0 a1628135976) t -> () #
type Apply (NonEmpty a) (NonEmpty a) (SortSym0 a) l #
type Apply (NonEmpty a) (NonEmpty a) (SortSym0 a) l = Sort a l

type SortSym1 (t :: NonEmpty a1628135976) = Sort t #

data ReverseSym0 (l :: TyFun (NonEmpty a1628135959) (NonEmpty a1628135959)) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a1628135959) (NonEmpty a1628135959) -> *) (ReverseSym0 a1628135959) #
Methods suppressUnusedWarnings :: Proxy (ReverseSym0 a1628135959) t -> () #
type Apply (NonEmpty a) (NonEmpty a) (ReverseSym0 a) l #
type Apply (NonEmpty a) (NonEmpty a) (ReverseSym0 a) l = Reverse a l

type ReverseSym1 (t :: NonEmpty a1628135959) = Reverse t #

data InitsSym0 (l :: TyFun [a1628135969] (NonEmpty [a1628135969])) #

Instances

SuppressUnusedWarnings (TyFun [a1628135969] (NonEmpty [a1628135969]) -> *) (InitsSym0 a1628135969) #
Methods suppressUnusedWarnings :: Proxy (InitsSym0 a1628135969) t -> () #
type Apply [a] (NonEmpty [a]) (InitsSym0 a) l #
type Apply [a] (NonEmpty [a]) (InitsSym0 a) l = Inits a l

type InitsSym1 (t :: [a1628135969]) = Inits t #

data TailsSym0 (l :: TyFun [a1628135968] (NonEmpty [a1628135968])) #

Instances

SuppressUnusedWarnings (TyFun [a1628135968] (NonEmpty [a1628135968]) -> *) (TailsSym0 a1628135968) #
Methods suppressUnusedWarnings :: Proxy (TailsSym0 a1628135968) t -> () #
type Apply [a] (NonEmpty [a]) (TailsSym0 a) l #
type Apply [a] (NonEmpty [a]) (TailsSym0 a) l = Tails a l

type TailsSym1 (t :: [a1628135968]) = Tails t #

data UnfoldSym0 (l :: TyFun (TyFun a1628135987 (b1628135988, Maybe a1628135987) -> Type) (TyFun a1628135987 (NonEmpty b1628135988) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135987 (b1628135988, Maybe a1628135987) -> Type) (TyFun a1628135987 (NonEmpty b1628135988) -> Type) -> *) (UnfoldSym0 a1628135987 b1628135988) #
Methods suppressUnusedWarnings :: Proxy (UnfoldSym0 a1628135987 b1628135988) t -> () #
type Apply (TyFun a1628135987 (b1628135988, Maybe a1628135987) -> Type) (TyFun a1628135987 (NonEmpty b1628135988) -> Type) (UnfoldSym0 a1628135987 b1628135988) l #
type Apply (TyFun a1628135987 (b1628135988, Maybe a1628135987) -> Type) (TyFun a1628135987 (NonEmpty b1628135988) -> Type) (UnfoldSym0 a1628135987 b1628135988) l = UnfoldSym1 a1628135987 b1628135988 l

data UnfoldSym1 (l :: TyFun a1628135987 (b1628135988, Maybe a1628135987) -> Type) (l :: TyFun a1628135987 (NonEmpty b1628135988)) #

Instances

SuppressUnusedWarnings ((TyFun a1628135987 (b1628135988, Maybe a1628135987) -> Type) -> TyFun a1628135987 (NonEmpty b1628135988) -> *) (UnfoldSym1 a1628135987 b1628135988) #
Methods suppressUnusedWarnings :: Proxy (UnfoldSym1 a1628135987 b1628135988) t -> () #
type Apply a (NonEmpty b) (UnfoldSym1 a b l1) l2 #
type Apply a (NonEmpty b) (UnfoldSym1 a b l1) l2 = Unfold a b l1 l2

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

Instances

SuppressUnusedWarnings (TyFun a1628135967 (TyFun [a1628135967] (NonEmpty a1628135967) -> Type) -> *) (InsertSym0 a1628135967) #
Methods suppressUnusedWarnings :: Proxy (InsertSym0 a1628135967) t -> () #
type Apply a1628135967 (TyFun [a1628135967] (NonEmpty a1628135967) -> Type) (InsertSym0 a1628135967) l #
type Apply a1628135967 (TyFun [a1628135967] (NonEmpty a1628135967) -> Type) (InsertSym0 a1628135967) l = InsertSym1 a1628135967 l

data InsertSym1 (l :: a1628135967) (l :: TyFun [a1628135967] (NonEmpty a1628135967)) #

Instances

SuppressUnusedWarnings (a1628135967 -> TyFun [a1628135967] (NonEmpty a1628135967) -> *) (InsertSym1 a1628135967) #
Methods suppressUnusedWarnings :: Proxy (InsertSym1 a1628135967) t -> () #
type Apply [a] (NonEmpty a) (InsertSym1 a l1) l2 #
type Apply [a] (NonEmpty a) (InsertSym1 a l1) l2 = Insert a l1 l2

type InsertSym2 (t :: a1628135967) (t :: [a1628135967]) = Insert t t #

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

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a1628135958) [a1628135958] -> Type) -> *) (TakeSym0 a1628135958) #
Methods suppressUnusedWarnings :: Proxy (TakeSym0 a1628135958) t -> () #
type Apply Nat (TyFun (NonEmpty a1628135958) [a1628135958] -> Type) (TakeSym0 a1628135958) l #
type Apply Nat (TyFun (NonEmpty a1628135958) [a1628135958] -> Type) (TakeSym0 a1628135958) l = TakeSym1 a1628135958 l

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

Instances

SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a1628135958) [a1628135958] -> *) (TakeSym1 a1628135958) #
Methods suppressUnusedWarnings :: Proxy (TakeSym1 a1628135958) t -> () #
type Apply (NonEmpty a) [a] (TakeSym1 a l1) l2 #
type Apply (NonEmpty a) [a] (TakeSym1 a l1) l2 = Take a l1 l2

type TakeSym2 (t :: Nat) (t :: NonEmpty a1628135958) = Take t t #

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

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a1628135957) [a1628135957] -> Type) -> *) (DropSym0 a1628135957) #
Methods suppressUnusedWarnings :: Proxy (DropSym0 a1628135957) t -> () #
type Apply Nat (TyFun (NonEmpty a1628135957) [a1628135957] -> Type) (DropSym0 a1628135957) l #
type Apply Nat (TyFun (NonEmpty a1628135957) [a1628135957] -> Type) (DropSym0 a1628135957) l = DropSym1 a1628135957 l

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

Instances

SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a1628135957) [a1628135957] -> *) (DropSym1 a1628135957) #
Methods suppressUnusedWarnings :: Proxy (DropSym1 a1628135957) t -> () #
type Apply (NonEmpty a) [a] (DropSym1 a l1) l2 #
type Apply (NonEmpty a) [a] (DropSym1 a l1) l2 = Drop a l1 l2

type DropSym2 (t :: Nat) (t :: NonEmpty a1628135957) = Drop t t #

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

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a1628135956) ([a1628135956], [a1628135956]) -> Type) -> *) (SplitAtSym0 a1628135956) #
Methods suppressUnusedWarnings :: Proxy (SplitAtSym0 a1628135956) t -> () #
type Apply Nat (TyFun (NonEmpty a1628135956) ([a1628135956], [a1628135956]) -> Type) (SplitAtSym0 a1628135956) l #
type Apply Nat (TyFun (NonEmpty a1628135956) ([a1628135956], [a1628135956]) -> Type) (SplitAtSym0 a1628135956) l = SplitAtSym1 a1628135956 l

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

Instances

SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a1628135956) ([a1628135956], [a1628135956]) -> *) (SplitAtSym1 a1628135956) #
Methods suppressUnusedWarnings :: Proxy (SplitAtSym1 a1628135956) t -> () #
type Apply (NonEmpty a) ([a], [a]) (SplitAtSym1 a l1) l2 #
type Apply (NonEmpty a) ([a], [a]) (SplitAtSym1 a l1) l2 = SplitAt a l1 l2

type SplitAtSym2 (t :: Nat) (t :: NonEmpty a1628135956) = SplitAt t t #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135955 Bool -> Type) (TyFun (NonEmpty a1628135955) [a1628135955] -> Type) -> *) (TakeWhileSym0 a1628135955) #
Methods suppressUnusedWarnings :: Proxy (TakeWhileSym0 a1628135955) t -> () #
type Apply (TyFun a1628135955 Bool -> Type) (TyFun (NonEmpty a1628135955) [a1628135955] -> Type) (TakeWhileSym0 a1628135955) l #
type Apply (TyFun a1628135955 Bool -> Type) (TyFun (NonEmpty a1628135955) [a1628135955] -> Type) (TakeWhileSym0 a1628135955) l = TakeWhileSym1 a1628135955 l

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

Instances

SuppressUnusedWarnings ((TyFun a1628135955 Bool -> Type) -> TyFun (NonEmpty a1628135955) [a1628135955] -> *) (TakeWhileSym1 a1628135955) #
Methods suppressUnusedWarnings :: Proxy (TakeWhileSym1 a1628135955) t -> () #
type Apply (NonEmpty a) [a] (TakeWhileSym1 a l1) l2 #
type Apply (NonEmpty a) [a] (TakeWhileSym1 a l1) l2 = TakeWhile a l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135954 Bool -> Type) (TyFun (NonEmpty a1628135954) [a1628135954] -> Type) -> *) (DropWhileSym0 a1628135954) #
Methods suppressUnusedWarnings :: Proxy (DropWhileSym0 a1628135954) t -> () #
type Apply (TyFun a1628135954 Bool -> Type) (TyFun (NonEmpty a1628135954) [a1628135954] -> Type) (DropWhileSym0 a1628135954) l #
type Apply (TyFun a1628135954 Bool -> Type) (TyFun (NonEmpty a1628135954) [a1628135954] -> Type) (DropWhileSym0 a1628135954) l = DropWhileSym1 a1628135954 l

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

Instances

SuppressUnusedWarnings ((TyFun a1628135954 Bool -> Type) -> TyFun (NonEmpty a1628135954) [a1628135954] -> *) (DropWhileSym1 a1628135954) #
Methods suppressUnusedWarnings :: Proxy (DropWhileSym1 a1628135954) t -> () #
type Apply (NonEmpty a) [a] (DropWhileSym1 a l1) l2 #
type Apply (NonEmpty a) [a] (DropWhileSym1 a l1) l2 = DropWhile a l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135953 Bool -> Type) (TyFun (NonEmpty a1628135953) ([a1628135953], [a1628135953]) -> Type) -> *) (SpanSym0 a1628135953) #
Methods suppressUnusedWarnings :: Proxy (SpanSym0 a1628135953) t -> () #
type Apply (TyFun a1628135953 Bool -> Type) (TyFun (NonEmpty a1628135953) ([a1628135953], [a1628135953]) -> Type) (SpanSym0 a1628135953) l #
type Apply (TyFun a1628135953 Bool -> Type) (TyFun (NonEmpty a1628135953) ([a1628135953], [a1628135953]) -> Type) (SpanSym0 a1628135953) l = SpanSym1 a1628135953 l

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

Instances

SuppressUnusedWarnings ((TyFun a1628135953 Bool -> Type) -> TyFun (NonEmpty a1628135953) ([a1628135953], [a1628135953]) -> *) (SpanSym1 a1628135953) #
Methods suppressUnusedWarnings :: Proxy (SpanSym1 a1628135953) t -> () #
type Apply (NonEmpty a) ([a], [a]) (SpanSym1 a l1) l2 #
type Apply (NonEmpty a) ([a], [a]) (SpanSym1 a l1) l2 = Span a l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135952 Bool -> Type) (TyFun (NonEmpty a1628135952) ([a1628135952], [a1628135952]) -> Type) -> *) (BreakSym0 a1628135952) #
Methods suppressUnusedWarnings :: Proxy (BreakSym0 a1628135952) t -> () #
type Apply (TyFun a1628135952 Bool -> Type) (TyFun (NonEmpty a1628135952) ([a1628135952], [a1628135952]) -> Type) (BreakSym0 a1628135952) l #
type Apply (TyFun a1628135952 Bool -> Type) (TyFun (NonEmpty a1628135952) ([a1628135952], [a1628135952]) -> Type) (BreakSym0 a1628135952) l = BreakSym1 a1628135952 l

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

Instances

SuppressUnusedWarnings ((TyFun a1628135952 Bool -> Type) -> TyFun (NonEmpty a1628135952) ([a1628135952], [a1628135952]) -> *) (BreakSym1 a1628135952) #
Methods suppressUnusedWarnings :: Proxy (BreakSym1 a1628135952) t -> () #
type Apply (NonEmpty a) ([a], [a]) (BreakSym1 a l1) l2 #
type Apply (NonEmpty a) ([a], [a]) (BreakSym1 a l1) l2 = Break a l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135951 Bool -> Type) (TyFun (NonEmpty a1628135951) [a1628135951] -> Type) -> *) (FilterSym0 a1628135951) #
Methods suppressUnusedWarnings :: Proxy (FilterSym0 a1628135951) t -> () #
type Apply (TyFun a1628135951 Bool -> Type) (TyFun (NonEmpty a1628135951) [a1628135951] -> Type) (FilterSym0 a1628135951) l #
type Apply (TyFun a1628135951 Bool -> Type) (TyFun (NonEmpty a1628135951) [a1628135951] -> Type) (FilterSym0 a1628135951) l = FilterSym1 a1628135951 l

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

Instances

SuppressUnusedWarnings ((TyFun a1628135951 Bool -> Type) -> TyFun (NonEmpty a1628135951) [a1628135951] -> *) (FilterSym1 a1628135951) #
Methods suppressUnusedWarnings :: Proxy (FilterSym1 a1628135951) t -> () #
type Apply (NonEmpty a) [a] (FilterSym1 a l1) l2 #
type Apply (NonEmpty a) [a] (FilterSym1 a l1) l2 = Filter a l1 l2

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

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135950 Bool -> Type) (TyFun (NonEmpty a1628135950) ([a1628135950], [a1628135950]) -> Type) -> *) (PartitionSym0 a1628135950) #
Methods suppressUnusedWarnings :: Proxy (PartitionSym0 a1628135950) t -> () #
type Apply (TyFun a1628135950 Bool -> Type) (TyFun (NonEmpty a1628135950) ([a1628135950], [a1628135950]) -> Type) (PartitionSym0 a1628135950) l #
type Apply (TyFun a1628135950 Bool -> Type) (TyFun (NonEmpty a1628135950) ([a1628135950], [a1628135950]) -> Type) (PartitionSym0 a1628135950) l = PartitionSym1 a1628135950 l

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

Instances

SuppressUnusedWarnings ((TyFun a1628135950 Bool -> Type) -> TyFun (NonEmpty a1628135950) ([a1628135950], [a1628135950]) -> *) (PartitionSym1 a1628135950) #
Methods suppressUnusedWarnings :: Proxy (PartitionSym1 a1628135950) t -> () #
type Apply (NonEmpty a) ([a], [a]) (PartitionSym1 a l1) l2 #
type Apply (NonEmpty a) ([a], [a]) (PartitionSym1 a l1) l2 = Partition a l1 l2

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

data GroupSym0 (l :: TyFun [a1628135949] [NonEmpty a1628135949]) #

Instances

SuppressUnusedWarnings (TyFun [a1628135949] [NonEmpty a1628135949] -> *) (GroupSym0 a1628135949) #
Methods suppressUnusedWarnings :: Proxy (GroupSym0 a1628135949) t -> () #
type Apply [a] [NonEmpty a] (GroupSym0 a) l #
type Apply [a] [NonEmpty a] (GroupSym0 a) l = Group a l

type GroupSym1 (t :: [a1628135949]) = Group t #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135948 (TyFun a1628135948 Bool -> Type) -> Type) (TyFun [a1628135948] [NonEmpty a1628135948] -> Type) -> *) (GroupBySym0 a1628135948) #
Methods suppressUnusedWarnings :: Proxy (GroupBySym0 a1628135948) t -> () #
type Apply (TyFun a1628135948 (TyFun a1628135948 Bool -> Type) -> Type) (TyFun [a1628135948] [NonEmpty a1628135948] -> Type) (GroupBySym0 a1628135948) l #
type Apply (TyFun a1628135948 (TyFun a1628135948 Bool -> Type) -> Type) (TyFun [a1628135948] [NonEmpty a1628135948] -> Type) (GroupBySym0 a1628135948) l = GroupBySym1 a1628135948 l

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

Instances

SuppressUnusedWarnings ((TyFun a1628135948 (TyFun a1628135948 Bool -> Type) -> Type) -> TyFun [a1628135948] [NonEmpty a1628135948] -> *) (GroupBySym1 a1628135948) #
Methods suppressUnusedWarnings :: Proxy (GroupBySym1 a1628135948) t -> () #
type Apply [a] [NonEmpty a] (GroupBySym1 a l1) l2 #
type Apply [a] [NonEmpty a] (GroupBySym1 a l1) l2 = GroupBy a l1 l2

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

data GroupWithSym0 (l :: TyFun (TyFun a1628135947 b1628135946 -> Type) (TyFun [a1628135947] [NonEmpty a1628135947] -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135947 b1628135946 -> Type) (TyFun [a1628135947] [NonEmpty a1628135947] -> Type) -> *) (GroupWithSym0 b1628135946 a1628135947) #
Methods suppressUnusedWarnings :: Proxy (GroupWithSym0 b1628135946 a1628135947) t -> () #
type Apply (TyFun a1628135947 b1628135946 -> Type) (TyFun [a1628135947] [NonEmpty a1628135947] -> Type) (GroupWithSym0 b1628135946 a1628135947) l #
type Apply (TyFun a1628135947 b1628135946 -> Type) (TyFun [a1628135947] [NonEmpty a1628135947] -> Type) (GroupWithSym0 b1628135946 a1628135947) l = GroupWithSym1 b1628135946 a1628135947 l

data GroupWithSym1 (l :: TyFun a1628135947 b1628135946 -> Type) (l :: TyFun [a1628135947] [NonEmpty a1628135947]) #

Instances

SuppressUnusedWarnings ((TyFun a1628135947 b1628135946 -> Type) -> TyFun [a1628135947] [NonEmpty a1628135947] -> *) (GroupWithSym1 b1628135946 a1628135947) #
Methods suppressUnusedWarnings :: Proxy (GroupWithSym1 b1628135946 a1628135947) t -> () #
type Apply [a] [NonEmpty a] (GroupWithSym1 b a l1) l2 #
type Apply [a] [NonEmpty a] (GroupWithSym1 b a l1) l2 = GroupWith b a l1 l2

type GroupWithSym2 (t :: TyFun a1628135947 b1628135946 -> Type) (t :: [a1628135947]) = GroupWith t t #

data GroupAllWithSym0 (l :: TyFun (TyFun a1628135945 b1628135944 -> Type) (TyFun [a1628135945] [NonEmpty a1628135945] -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135945 b1628135944 -> Type) (TyFun [a1628135945] [NonEmpty a1628135945] -> Type) -> *) (GroupAllWithSym0 b1628135944 a1628135945) #
Methods suppressUnusedWarnings :: Proxy (GroupAllWithSym0 b1628135944 a1628135945) t -> () #
type Apply (TyFun a1628135945 b1628135944 -> Type) (TyFun [a1628135945] [NonEmpty a1628135945] -> Type) (GroupAllWithSym0 b1628135944 a1628135945) l #
type Apply (TyFun a1628135945 b1628135944 -> Type) (TyFun [a1628135945] [NonEmpty a1628135945] -> Type) (GroupAllWithSym0 b1628135944 a1628135945) l = GroupAllWithSym1 b1628135944 a1628135945 l

data GroupAllWithSym1 (l :: TyFun a1628135945 b1628135944 -> Type) (l :: TyFun [a1628135945] [NonEmpty a1628135945]) #

Instances

SuppressUnusedWarnings ((TyFun a1628135945 b1628135944 -> Type) -> TyFun [a1628135945] [NonEmpty a1628135945] -> *) (GroupAllWithSym1 b1628135944 a1628135945) #
Methods suppressUnusedWarnings :: Proxy (GroupAllWithSym1 b1628135944 a1628135945) t -> () #
type Apply [a] [NonEmpty a] (GroupAllWithSym1 b a l1) l2 #
type Apply [a] [NonEmpty a] (GroupAllWithSym1 b a l1) l2 = GroupAllWith b a l1 l2

type GroupAllWithSym2 (t :: TyFun a1628135945 b1628135944 -> Type) (t :: [a1628135945]) = GroupAllWith t t #

data Group1Sym0 (l :: TyFun (NonEmpty a1628135943) (NonEmpty (NonEmpty a1628135943))) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a1628135943) (NonEmpty (NonEmpty a1628135943)) -> *) (Group1Sym0 a1628135943) #
Methods suppressUnusedWarnings :: Proxy (Group1Sym0 a1628135943) t -> () #
type Apply (NonEmpty a) (NonEmpty (NonEmpty a)) (Group1Sym0 a) l #
type Apply (NonEmpty a) (NonEmpty (NonEmpty a)) (Group1Sym0 a) l = Group1 a l

type Group1Sym1 (t :: NonEmpty a1628135943) = Group1 t #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135942 (TyFun a1628135942 Bool -> Type) -> Type) (TyFun (NonEmpty a1628135942) (NonEmpty (NonEmpty a1628135942)) -> Type) -> *) (GroupBy1Sym0 a1628135942) #
Methods suppressUnusedWarnings :: Proxy (GroupBy1Sym0 a1628135942) t -> () #
type Apply (TyFun a1628135942 (TyFun a1628135942 Bool -> Type) -> Type) (TyFun (NonEmpty a1628135942) (NonEmpty (NonEmpty a1628135942)) -> Type) (GroupBy1Sym0 a1628135942) l #
type Apply (TyFun a1628135942 (TyFun a1628135942 Bool -> Type) -> Type) (TyFun (NonEmpty a1628135942) (NonEmpty (NonEmpty a1628135942)) -> Type) (GroupBy1Sym0 a1628135942) l = GroupBy1Sym1 a1628135942 l

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

Instances

SuppressUnusedWarnings ((TyFun a1628135942 (TyFun a1628135942 Bool -> Type) -> Type) -> TyFun (NonEmpty a1628135942) (NonEmpty (NonEmpty a1628135942)) -> *) (GroupBy1Sym1 a1628135942) #
Methods suppressUnusedWarnings :: Proxy (GroupBy1Sym1 a1628135942) t -> () #
type Apply (NonEmpty a) (NonEmpty (NonEmpty a)) (GroupBy1Sym1 a l1) l2 #
type Apply (NonEmpty a) (NonEmpty (NonEmpty a)) (GroupBy1Sym1 a l1) l2 = GroupBy1 a l1 l2

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

data GroupWith1Sym0 (l :: TyFun (TyFun a1628135941 b1628135940 -> Type) (TyFun (NonEmpty a1628135941) (NonEmpty (NonEmpty a1628135941)) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135941 b1628135940 -> Type) (TyFun (NonEmpty a1628135941) (NonEmpty (NonEmpty a1628135941)) -> Type) -> *) (GroupWith1Sym0 b1628135940 a1628135941) #
Methods suppressUnusedWarnings :: Proxy (GroupWith1Sym0 b1628135940 a1628135941) t -> () #
type Apply (TyFun a1628135941 b1628135940 -> Type) (TyFun (NonEmpty a1628135941) (NonEmpty (NonEmpty a1628135941)) -> Type) (GroupWith1Sym0 b1628135940 a1628135941) l #
type Apply (TyFun a1628135941 b1628135940 -> Type) (TyFun (NonEmpty a1628135941) (NonEmpty (NonEmpty a1628135941)) -> Type) (GroupWith1Sym0 b1628135940 a1628135941) l = GroupWith1Sym1 b1628135940 a1628135941 l

data GroupWith1Sym1 (l :: TyFun a1628135941 b1628135940 -> Type) (l :: TyFun (NonEmpty a1628135941) (NonEmpty (NonEmpty a1628135941))) #

Instances

SuppressUnusedWarnings ((TyFun a1628135941 b1628135940 -> Type) -> TyFun (NonEmpty a1628135941) (NonEmpty (NonEmpty a1628135941)) -> *) (GroupWith1Sym1 b1628135940 a1628135941) #
Methods suppressUnusedWarnings :: Proxy (GroupWith1Sym1 b1628135940 a1628135941) t -> () #
type Apply (NonEmpty a) (NonEmpty (NonEmpty a)) (GroupWith1Sym1 b a l1) l2 #
type Apply (NonEmpty a) (NonEmpty (NonEmpty a)) (GroupWith1Sym1 b a l1) l2 = GroupWith1 b a l1 l2

type GroupWith1Sym2 (t :: TyFun a1628135941 b1628135940 -> Type) (t :: NonEmpty a1628135941) = GroupWith1 t t #

data GroupAllWith1Sym0 (l :: TyFun (TyFun a1628135939 b1628135938 -> Type) (TyFun (NonEmpty a1628135939) (NonEmpty (NonEmpty a1628135939)) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135939 b1628135938 -> Type) (TyFun (NonEmpty a1628135939) (NonEmpty (NonEmpty a1628135939)) -> Type) -> *) (GroupAllWith1Sym0 b1628135938 a1628135939) #
Methods suppressUnusedWarnings :: Proxy (GroupAllWith1Sym0 b1628135938 a1628135939) t -> () #
type Apply (TyFun a1628135939 b1628135938 -> Type) (TyFun (NonEmpty a1628135939) (NonEmpty (NonEmpty a1628135939)) -> Type) (GroupAllWith1Sym0 b1628135938 a1628135939) l #
type Apply (TyFun a1628135939 b1628135938 -> Type) (TyFun (NonEmpty a1628135939) (NonEmpty (NonEmpty a1628135939)) -> Type) (GroupAllWith1Sym0 b1628135938 a1628135939) l = GroupAllWith1Sym1 b1628135938 a1628135939 l

data GroupAllWith1Sym1 (l :: TyFun a1628135939 b1628135938 -> Type) (l :: TyFun (NonEmpty a1628135939) (NonEmpty (NonEmpty a1628135939))) #

Instances

SuppressUnusedWarnings ((TyFun a1628135939 b1628135938 -> Type) -> TyFun (NonEmpty a1628135939) (NonEmpty (NonEmpty a1628135939)) -> *) (GroupAllWith1Sym1 b1628135938 a1628135939) #
Methods suppressUnusedWarnings :: Proxy (GroupAllWith1Sym1 b1628135938 a1628135939) t -> () #
type Apply (NonEmpty a) (NonEmpty (NonEmpty a)) (GroupAllWith1Sym1 b a l1) l2 #
type Apply (NonEmpty a) (NonEmpty (NonEmpty a)) (GroupAllWith1Sym1 b a l1) l2 = GroupAllWith1 b a l1 l2

type GroupAllWith1Sym2 (t :: TyFun a1628135939 b1628135938 -> Type) (t :: NonEmpty a1628135939) = GroupAllWith1 t t #

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

Instances

SuppressUnusedWarnings (TyFun [a1628135937] (TyFun (NonEmpty a1628135937) Bool -> Type) -> *) (IsPrefixOfSym0 a1628135937) #
Methods suppressUnusedWarnings :: Proxy (IsPrefixOfSym0 a1628135937) t -> () #
type Apply [a1628135937] (TyFun (NonEmpty a1628135937) Bool -> Type) (IsPrefixOfSym0 a1628135937) l #
type Apply [a1628135937] (TyFun (NonEmpty a1628135937) Bool -> Type) (IsPrefixOfSym0 a1628135937) l = IsPrefixOfSym1 a1628135937 l

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

Instances

SuppressUnusedWarnings ([a1628135937] -> TyFun (NonEmpty a1628135937) Bool -> *) (IsPrefixOfSym1 a1628135937) #
Methods suppressUnusedWarnings :: Proxy (IsPrefixOfSym1 a1628135937) t -> () #
type Apply (NonEmpty a) Bool (IsPrefixOfSym1 a l1) l2 #
type Apply (NonEmpty a) Bool (IsPrefixOfSym1 a l1) l2 = IsPrefixOf a l1 l2

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

data NubSym0 (l :: TyFun (NonEmpty a1628135928) (NonEmpty a1628135928)) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a1628135928) (NonEmpty a1628135928) -> *) (NubSym0 a1628135928) #
Methods suppressUnusedWarnings :: Proxy (NubSym0 a1628135928) t -> () #
type Apply (NonEmpty a) (NonEmpty a) (NubSym0 a) l #
type Apply (NonEmpty a) (NonEmpty a) (NubSym0 a) l = Nub a l

type NubSym1 (t :: NonEmpty a1628135928) = Nub t #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135927 (TyFun a1628135927 Bool -> Type) -> Type) (TyFun (NonEmpty a1628135927) (NonEmpty a1628135927) -> Type) -> *) (NubBySym0 a1628135927) #
Methods suppressUnusedWarnings :: Proxy (NubBySym0 a1628135927) t -> () #
type Apply (TyFun a1628135927 (TyFun a1628135927 Bool -> Type) -> Type) (TyFun (NonEmpty a1628135927) (NonEmpty a1628135927) -> Type) (NubBySym0 a1628135927) l #
type Apply (TyFun a1628135927 (TyFun a1628135927 Bool -> Type) -> Type) (TyFun (NonEmpty a1628135927) (NonEmpty a1628135927) -> Type) (NubBySym0 a1628135927) l = NubBySym1 a1628135927 l

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

Instances

SuppressUnusedWarnings ((TyFun a1628135927 (TyFun a1628135927 Bool -> Type) -> Type) -> TyFun (NonEmpty a1628135927) (NonEmpty a1628135927) -> *) (NubBySym1 a1628135927) #
Methods suppressUnusedWarnings :: Proxy (NubBySym1 a1628135927) t -> () #
type Apply (NonEmpty a) (NonEmpty a) (NubBySym1 a l1) l2 #
type Apply (NonEmpty a) (NonEmpty a) (NubBySym1 a l1) l2 = NubBy a l1 l2

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

data (:!!$) (l :: TyFun (NonEmpty a1628135936) (TyFun Nat a1628135936 -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a1628135936) (TyFun Nat a1628135936 -> Type) -> *) ((:!!$) a1628135936) #
Methods suppressUnusedWarnings :: Proxy ((:!!$) a1628135936) t -> () #
type Apply (NonEmpty a1628135936) (TyFun Nat a1628135936 -> Type) ((:!!$) a1628135936) l #
type Apply (NonEmpty a1628135936) (TyFun Nat a1628135936 -> Type) ((:!!$) a1628135936) l = (:!!$$) a1628135936 l

data (l :: NonEmpty a1628135936) :!!$$ (l :: TyFun Nat a1628135936) #

Instances

SuppressUnusedWarnings (NonEmpty a1628135936 -> TyFun Nat a1628135936 -> *) ((:!!$$) a1628135936) #
Methods suppressUnusedWarnings :: Proxy ((:!!$$) a1628135936) t -> () #
type Apply Nat a ((:!!$$) a l1) l2 #
type Apply Nat a ((:!!$$) a l1) l2 = (:!!) a l1 l2

type (:!!$$$) (t :: NonEmpty a1628135936) (t :: Nat) = (:!!) t t #

data ZipSym0 (l :: TyFun (NonEmpty a1628135934) (TyFun (NonEmpty b1628135935) (NonEmpty (a1628135934, b1628135935)) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a1628135934) (TyFun (NonEmpty b1628135935) (NonEmpty (a1628135934, b1628135935)) -> Type) -> *) (ZipSym0 a1628135934 b1628135935) #
Methods suppressUnusedWarnings :: Proxy (ZipSym0 a1628135934 b1628135935) t -> () #
type Apply (NonEmpty a1628135934) (TyFun (NonEmpty b1628135935) (NonEmpty (a1628135934, b1628135935)) -> Type) (ZipSym0 a1628135934 b1628135935) l #
type Apply (NonEmpty a1628135934) (TyFun (NonEmpty b1628135935) (NonEmpty (a1628135934, b1628135935)) -> Type) (ZipSym0 a1628135934 b1628135935) l = ZipSym1 a1628135934 b1628135935 l

data ZipSym1 (l :: NonEmpty a1628135934) (l :: TyFun (NonEmpty b1628135935) (NonEmpty (a1628135934, b1628135935))) #

Instances

SuppressUnusedWarnings (NonEmpty a1628135934 -> TyFun (NonEmpty b1628135935) (NonEmpty (a1628135934, b1628135935)) -> *) (ZipSym1 a1628135934 b1628135935) #
Methods suppressUnusedWarnings :: Proxy (ZipSym1 a1628135934 b1628135935) t -> () #
type Apply (NonEmpty b) (NonEmpty (a, b)) (ZipSym1 a b l1) l2 #
type Apply (NonEmpty b) (NonEmpty (a, b)) (ZipSym1 a b l1) l2 = Zip a b l1 l2

type ZipSym2 (t :: NonEmpty a1628135934) (t :: NonEmpty b1628135935) = Zip t t #

data ZipWithSym0 (l :: TyFun (TyFun a1628135931 (TyFun b1628135932 c1628135933 -> Type) -> Type) (TyFun (NonEmpty a1628135931) (TyFun (NonEmpty b1628135932) (NonEmpty c1628135933) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1628135931 (TyFun b1628135932 c1628135933 -> Type) -> Type) (TyFun (NonEmpty a1628135931) (TyFun (NonEmpty b1628135932) (NonEmpty c1628135933) -> Type) -> Type) -> *) (ZipWithSym0 a1628135931 b1628135932 c1628135933) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym0 a1628135931 b1628135932 c1628135933) t -> () #
type Apply (TyFun a1628135931 (TyFun b1628135932 c1628135933 -> Type) -> Type) (TyFun (NonEmpty a1628135931) (TyFun (NonEmpty b1628135932) (NonEmpty c1628135933) -> Type) -> Type) (ZipWithSym0 a1628135931 b1628135932 c1628135933) l #
type Apply (TyFun a1628135931 (TyFun b1628135932 c1628135933 -> Type) -> Type) (TyFun (NonEmpty a1628135931) (TyFun (NonEmpty b1628135932) (NonEmpty c1628135933) -> Type) -> Type) (ZipWithSym0 a1628135931 b1628135932 c1628135933) l = ZipWithSym1 a1628135931 b1628135932 c1628135933 l

data ZipWithSym1 (l :: TyFun a1628135931 (TyFun b1628135932 c1628135933 -> Type) -> Type) (l :: TyFun (NonEmpty a1628135931) (TyFun (NonEmpty b1628135932) (NonEmpty c1628135933) -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1628135931 (TyFun b1628135932 c1628135933 -> Type) -> Type) -> TyFun (NonEmpty a1628135931) (TyFun (NonEmpty b1628135932) (NonEmpty c1628135933) -> Type) -> *) (ZipWithSym1 a1628135931 b1628135932 c1628135933) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym1 a1628135931 b1628135932 c1628135933) t -> () #
type Apply (NonEmpty a1628135931) (TyFun (NonEmpty b1628135932) (NonEmpty c1628135933) -> Type) (ZipWithSym1 a1628135931 b1628135932 c1628135933 l1) l2 #
type Apply (NonEmpty a1628135931) (TyFun (NonEmpty b1628135932) (NonEmpty c1628135933) -> Type) (ZipWithSym1 a1628135931 b1628135932 c1628135933 l1) l2 = ZipWithSym2 a1628135931 b1628135932 c1628135933 l1 l2

data ZipWithSym2 (l :: TyFun a1628135931 (TyFun b1628135932 c1628135933 -> Type) -> Type) (l :: NonEmpty a1628135931) (l :: TyFun (NonEmpty b1628135932) (NonEmpty c1628135933)) #

Instances

SuppressUnusedWarnings ((TyFun a1628135931 (TyFun b1628135932 c1628135933 -> Type) -> Type) -> NonEmpty a1628135931 -> TyFun (NonEmpty b1628135932) (NonEmpty c1628135933) -> *) (ZipWithSym2 a1628135931 b1628135932 c1628135933) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym2 a1628135931 b1628135932 c1628135933) t -> () #
type Apply (NonEmpty b) (NonEmpty c) (ZipWithSym2 a b c l1 l2) l3 #
type Apply (NonEmpty b) (NonEmpty c) (ZipWithSym2 a b c l1 l2) l3 = ZipWith a b c l1 l2 l3

type ZipWithSym3 (t :: TyFun a1628135931 (TyFun b1628135932 c1628135933 -> Type) -> Type) (t :: NonEmpty a1628135931) (t :: NonEmpty b1628135932) = ZipWith t t t #

data UnzipSym0 (l :: TyFun (NonEmpty (a1628135929, b1628135930)) (NonEmpty a1628135929, NonEmpty b1628135930)) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty (a1628135929, b1628135930)) (NonEmpty a1628135929, NonEmpty b1628135930) -> *) (UnzipSym0 a1628135929 b1628135930) #
Methods suppressUnusedWarnings :: Proxy (UnzipSym0 a1628135929 b1628135930) t -> () #
type Apply (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) (UnzipSym0 a b) l #
type Apply (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) (UnzipSym0 a b) l = Unzip a b l

type UnzipSym1 (t :: NonEmpty (a1628135929, b1628135930)) = Unzip t #

data FromListSym0 (l :: TyFun [a1628135975] (NonEmpty a1628135975)) #

Instances

SuppressUnusedWarnings (TyFun [a1628135975] (NonEmpty a1628135975) -> *) (FromListSym0 a1628135975) #
Methods suppressUnusedWarnings :: Proxy (FromListSym0 a1628135975) t -> () #
type Apply [a] (NonEmpty a) (FromListSym0 a) l #
type Apply [a] (NonEmpty a) (FromListSym0 a) l = FromList a l

type FromListSym1 (t :: [a1628135975]) = FromList t #

data ToListSym0 (l :: TyFun (NonEmpty a1628135974) [a1628135974]) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a1628135974) [a1628135974] -> *) (ToListSym0 a1628135974) #
Methods suppressUnusedWarnings :: Proxy (ToListSym0 a1628135974) t -> () #
type Apply (NonEmpty a) [a] (ToListSym0 a) l #
type Apply (NonEmpty a) [a] (ToListSym0 a) l = ToList a l

type ToListSym1 (t :: NonEmpty a1628135974) = ToList t #

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

Instances

SuppressUnusedWarnings (TyFun [a1628135986] (Maybe (NonEmpty a1628135986)) -> *) (NonEmpty_Sym0 a1628135986) #
Methods suppressUnusedWarnings :: Proxy (NonEmpty_Sym0 a1628135986) t -> () #
type Apply [a] (Maybe (NonEmpty a)) (NonEmpty_Sym0 a) l #
type Apply [a] (Maybe (NonEmpty a)) (NonEmpty_Sym0 a) l = NonEmpty_ a l

type NonEmpty_Sym1 (t :: [a1628135986]) = NonEmpty_ t #

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

Instances

SuppressUnusedWarnings (TyFun (NonEmpty Bool) Bool -> *) XorSym0 #
Methods suppressUnusedWarnings :: Proxy XorSym0 t -> () #
type Apply (NonEmpty Bool) Bool XorSym0 l #
type Apply (NonEmpty Bool) Bool XorSym0 l = Xor l

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

SuppressUnusedWarnings (TyFun a1627455910 (TyFun [a1627455910] (NonEmpty a1627455910) -> Type) -> *) ((:\|$) a1627455910) #
Methods suppressUnusedWarnings :: Proxy ((:\|$) a1627455910) t -> () #
type Apply a1627455910 (TyFun [a1627455910] (NonEmpty a1627455910) -> Type) ((:\|$) a1627455910) l #
type Apply a1627455910 (TyFun [a1627455910] (NonEmpty a1627455910) -> Type) ((:\|$) a1627455910) l = (:\|$$) a1627455910 l

SuppressUnusedWarnings (a1627455910 -> TyFun [a1627455910] (NonEmpty a1627455910) -> *) ((:\|$$) a1627455910) #
Methods suppressUnusedWarnings :: Proxy ((:\|$$) a1627455910) t -> () #
type Apply [a] (NonEmpty a) ((:\|$$) a l1) l2 #
type Apply [a] (NonEmpty a) ((:\|$$) a l1) l2 = (:\|) a l1 l2

SuppressUnusedWarnings (TyFun a1628135978 (TyFun (NonEmpty a1628135978) (NonEmpty a1628135978) -> Type) -> *) ((:<\|$) a1628135978) #
Methods suppressUnusedWarnings :: Proxy ((:<\|$) a1628135978) t -> () #
type Apply a1628135978 (TyFun (NonEmpty a1628135978) (NonEmpty a1628135978) -> Type) ((:<\|$) a1628135978) l #
type Apply a1628135978 (TyFun (NonEmpty a1628135978) (NonEmpty a1628135978) -> Type) ((:<\|$) a1628135978) l = (:<\|$$) a1628135978 l

SuppressUnusedWarnings (a1628135978 -> TyFun (NonEmpty a1628135978) (NonEmpty a1628135978) -> *) ((:<\|$$) a1628135978) #
Methods suppressUnusedWarnings :: Proxy ((:<\|$$) a1628135978) t -> () #
type Apply (NonEmpty a) (NonEmpty a) ((:<\|$$) a l1) l2 #
type Apply (NonEmpty a) (NonEmpty a) ((:<\|$$) a l1) l2 = (:<\|) a l1 l2