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.Singletons.Prelude.List.NonEmpty

Contents

The NonEmpty singleton
Non-empty stream transformations
Defunctionalization symbols

Description

Defines functions and datatypes relating to the singleton for NonEmpty, including a singletons version of all the definitions in Data.List.NonEmpty.

Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Please look up the corresponding operation in Data.List.NonEmpty. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

Synopsis

The `NonEmpty` singleton

data family Sing (a :: k) #

The singleton kind-indexed data family.

Instances

data Sing Bool #
data Sing Bool where SFalse :: Sing Bool z STrue :: Sing Bool z
data Sing Ordering #
data Sing Ordering where SLT :: Sing Ordering z SEQ :: Sing Ordering z SGT :: Sing Ordering z
data Sing * #
data Sing * where STypeRep :: Sing * a
data Sing Nat #
data Sing Nat where SNat :: Sing Nat n
data Sing Symbol #
data Sing Symbol where SSym :: Sing Symbol n
data Sing () #
data Sing () where STuple0 :: Sing () z
data Sing [a] #
data Sing [a] where SNil :: Sing [a] z SCons :: Sing [a] z
data Sing (Maybe a) #
data Sing (Maybe a) where SNothing :: Sing (Maybe a) z SJust :: Sing (Maybe a) z
data Sing (NonEmpty a) #
data Sing (NonEmpty a) where (:%\|) :: Sing (NonEmpty a) z
data Sing (Either a b) #
data Sing (Either a b) where SLeft :: Sing (Either a b) z SRight :: Sing (Either a b) z
data Sing (a, b) #
data Sing (a, b) where STuple2 :: Sing (a, b) z
data Sing ((~>) k1 k2) #
data Sing ((~>) k1 k2) = SLambda { applySing :: forall (t :: k1). Sing k1 t -> Sing k2 ((@@) k1 k2 f t) }
data Sing (a, b, c) #
data Sing (a, b, c) where STuple3 :: Sing (a, b, c) z
data Sing (a, b, c, d) #
data Sing (a, b, c, d) where STuple4 :: Sing (a, b, c, d) z
data Sing (a, b, c, d, e) #
data Sing (a, b, c, d, e) where STuple5 :: Sing (a, b, c, d, e) z
data Sing (a, b, c, d, e, f) #
data Sing (a, b, c, d, e, f) where STuple6 :: Sing (a, b, c, d, e, f) z
data Sing (a, b, c, d, e, f, g) #
data Sing (a, b, c, d, e, f, g) where STuple7 :: Sing (a, b, c, d, e, f, g) z

Though Haddock doesn't show it, the Sing instance above declares constructor

(:%|) :: Sing h -> Sing t -> Sing (h :| t)

type SNonEmpty = (Sing :: NonEmpty a -> Type) #

SNonEmpty is a kind-restricted synonym for Sing: type SNonEmpty (a :: NonEmpty) = Sing a

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)

sMap :: forall (t :: TyFun a b -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: NonEmpty b) #

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)

sIntersperse :: forall (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply IntersperseSym0 t) t :: NonEmpty a) #

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

sScanl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: NonEmpty b) #

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

sScanr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: NonEmpty b) #

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)

sScanl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: NonEmpty a) #

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

sScanr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanr1Sym0 t) t :: NonEmpty a) #

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

sTranspose :: forall (t :: NonEmpty (NonEmpty a)). Sing t -> Sing (Apply TransposeSym0 t :: NonEmpty (NonEmpty a)) #

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

sSortBy :: forall (t :: TyFun a (TyFun a Ordering -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SortBySym0 t) t :: NonEmpty a) #

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

sSortWith :: forall (t :: TyFun a o -> Type) (t :: NonEmpty a). SOrd o => Sing t -> Sing t -> Sing (Apply (Apply SortWithSym0 t) t :: NonEmpty a) #

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

Equations

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

sLength :: forall (t :: NonEmpty a). Sing t -> Sing (Apply LengthSym0 t :: Nat) #

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

Equations

Head ((:|) a _z_1628136978) = a

sHead :: forall (t :: NonEmpty a). Sing t -> Sing (Apply HeadSym0 t :: a) #

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

Equations

Tail ((:|) _z_1628136969 as) = as

sTail :: forall (t :: NonEmpty a). Sing t -> Sing (Apply TailSym0 t :: [a]) #

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

Equations

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

sLast :: forall (t :: NonEmpty a). Sing t -> Sing (Apply LastSym0 t :: a) #

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

Equations

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

sInit :: forall (t :: NonEmpty a). Sing t -> Sing (Apply InitSym0 t :: [a]) #

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

Equations

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

(%:<|) :: forall (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply (:<|$) t) t :: NonEmpty a) #

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

Equations

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

sCons :: forall (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply ConsSym0 t) t :: NonEmpty a) #

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

Equations

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

sUncons :: forall (t :: NonEmpty a). Sing t -> Sing (Apply UnconsSym0 t :: (a, Maybe (NonEmpty a))) #

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)

sUnfoldr :: forall (t :: TyFun a (b, Maybe a) -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldrSym0 t) t :: NonEmpty b) #

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

Equations

Sort a_1628136919 = Apply (Apply LiftSym0 ListsortSym0) a_1628136919

sSort :: forall (t :: NonEmpty a). SOrd a => Sing t -> Sing (Apply SortSym0 t :: NonEmpty a) #

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

Equations

Reverse a_1628136780 = Apply (Apply LiftSym0 ListreverseSym0) a_1628136780

sReverse :: forall (t :: NonEmpty a). Sing t -> Sing (Apply ReverseSym0 t :: NonEmpty a) #

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

Equations

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

sInits :: forall (t :: [a]). Sing t -> Sing (Apply InitsSym0 t :: NonEmpty [a]) #

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

Equations

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

sTails :: forall (t :: [a]). Sing t -> Sing (Apply TailsSym0 t :: NonEmpty [a]) #

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)

sUnfold :: forall (t :: TyFun a (b, Maybe a) -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldSym0 t) t :: NonEmpty b) #

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

Equations

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

sInsert :: forall (t :: a) (t :: [a]). SOrd a => Sing t -> Sing t -> Sing (Apply (Apply InsertSym0 t) t :: NonEmpty a) #

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

Equations

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

sTake :: forall (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a]) #

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

Equations

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

sDrop :: forall (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a]) #

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

sSplitAt :: forall (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a])) #

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

sTakeWhile :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a]) #

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

sDropWhile :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropWhileSym0 t) t :: [a]) #

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

sSpan :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a])) #

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

sBreak :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a])) #

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

sFilter :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FilterSym0 t) t :: [a]) #

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

sPartition :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply PartitionSym0 t) t :: ([a], [a])) #

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

Equations

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

sGroup :: forall (t :: [a]). SEq a => Sing t -> Sing (Apply GroupSym0 t :: [NonEmpty a]) #

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

sGroupBy :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [NonEmpty a]) #

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

sGroupWith :: forall (t :: TyFun a b -> Type) (t :: [a]). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWithSym0 t) t :: [NonEmpty a]) #

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

sGroupAllWith :: forall (t :: TyFun a b -> Type) (t :: [a]). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWithSym0 t) t :: [NonEmpty a]) #

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

Equations

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

sGroup1 :: forall (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply Group1Sym0 t :: NonEmpty (NonEmpty a)) #

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

sGroupBy1 :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply GroupBy1Sym0 t) t :: NonEmpty (NonEmpty a)) #

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

sGroupWith1 :: forall (t :: TyFun a b -> Type) (t :: NonEmpty a). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWith1Sym0 t) t :: NonEmpty (NonEmpty a)) #

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

sGroupAllWith1 :: forall (t :: TyFun a b -> Type) (t :: NonEmpty a). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWith1Sym0 t) t :: NonEmpty (NonEmpty a)) #

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)

sIsPrefixOf :: forall (t :: [a]) (t :: NonEmpty a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply IsPrefixOfSym0 t) t :: Bool) #

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

Equations

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

sNub :: forall (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply NubSym0 t :: NonEmpty a) #

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

sNubBy :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply NubBySym0 t) t :: NonEmpty a) #

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)

(%:!!) :: forall (t :: NonEmpty a) (t :: Nat). Sing t -> Sing t -> Sing (Apply (Apply (:!!$) t) t :: a) #

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)

sZip :: forall (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: NonEmpty (a, b)) #

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)

sZipWith :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: NonEmpty c) #

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

sUnzip :: forall (t :: NonEmpty (a, b)). Sing t -> Sing (Apply UnzipSym0 t :: (NonEmpty a, NonEmpty b)) #

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

Equations

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

sFromList :: forall (t :: [a]). Sing t -> Sing (Apply FromListSym0 t :: NonEmpty a) #

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

Equations

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

sToList :: forall (t :: NonEmpty a). Sing t -> Sing (Apply ToListSym0 t :: [a]) #

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

Equations

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

sNonEmpty_ :: forall (t :: [a]). Sing t -> Sing (Apply NonEmpty_Sym0 t :: Maybe (NonEmpty a)) #

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

Equations

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

sXor :: forall (t :: NonEmpty Bool). Sing t -> Sing (Apply XorSym0 t :: Bool) #

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

The NonEmpty singleton

Non-empty stream transformations

Defunctionalization symbols

The `NonEmpty` singleton