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_6989586621679754169 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_6989586621679754422 = Apply (Apply (Apply (:.$) FromListSym0) (Apply (Apply ListscanlSym0 f) z)) a_6989586621679754422

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_6989586621679754442 = Apply (Apply (Apply (:.$) FromListSym0) (Apply (Apply ListscanrSym0 f) z)) a_6989586621679754442

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_6989586621679754676 = Apply (Apply (Apply (:.$) (Apply FmapSym0 FromListSym0)) (Apply (Apply (:.$) FromListSym0) (Apply (Apply (:.$) ListtransposeSym0) (Apply (Apply (:.$) ToListSym0) (Apply FmapSym0 ToListSym0))))) a_6989586621679754676

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_6989586621679754348 = Apply (Apply LiftSym0 (Apply ListsortBySym0 f)) a_6989586621679754348

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_6989586621679754352 a_6989586621679754354 = Apply (Apply (Apply (Apply (:.$) SortBySym0) ComparingSym0) a_6989586621679754352) a_6989586621679754354

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_6989586621679754660 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_6989586621679754530) = a

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

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

Equations

Tail ((:|) _z_6989586621679754521 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_6989586621679754490 a_6989586621679754492 = Apply (Apply (:<|$) a_6989586621679754490) a_6989586621679754492

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_6989586621679754585 f a (Let6989586621679754577Scrutinee_6989586621679753708Sym2 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_6989586621679754471 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621679754471

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_6989586621679754332 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621679754332

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

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

Equations

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

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

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

Equations

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

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_6989586621679754621 f a (Let6989586621679754613Scrutinee_6989586621679753706Sym2 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_6989586621679754403 = Apply (Apply (Apply (:.$) FromListSym0) (Apply ListinsertSym0 a)) a_6989586621679754403

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_6989586621679754205 = Apply (Apply (Apply (:.$) (Apply ListtakeSym0 n)) ToListSym0) a_6989586621679754205

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_6989586621679754218 = Apply (Apply (Apply (:.$) (Apply ListdropSym0 n)) ToListSym0) a_6989586621679754218

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_6989586621679754231 = Apply (Apply (Apply (:.$) (Apply ListsplitAtSym0 n)) ToListSym0) a_6989586621679754231

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_6989586621679754244 = Apply (Apply (Apply (:.$) (Apply ListtakeWhileSym0 p)) ToListSym0) a_6989586621679754244

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_6989586621679754257 = Apply (Apply (Apply (:.$) (Apply ListdropWhileSym0 p)) ToListSym0) a_6989586621679754257

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_6989586621679754270 = Apply (Apply (Apply (:.$) (Apply ListspanSym0 p)) ToListSym0) a_6989586621679754270

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_6989586621679754283 = Apply (Apply SpanSym0 (Apply (Apply (:.$) NotSym0) p)) a_6989586621679754283

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_6989586621679754296 = Apply (Apply (Apply (:.$) (Apply ListfilterSym0 p)) ToListSym0) a_6989586621679754296

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_6989586621679754309 = Apply (Apply (Apply (:.$) (Apply ListpartitionSym0 p)) ToListSym0) a_6989586621679754309

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_6989586621679754150 = Apply (Apply GroupBySym0 (:==$)) a_6989586621679754150

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_6989586621679753908 = Apply (Apply (Let6989586621679753912GoSym2 eq0 a_6989586621679753908) eq0) a_6989586621679753908

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_6989586621679754044 = Apply (Apply GroupBySym0 (Apply (Apply OnSym0 (:==$)) f)) a_6989586621679754044

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_6989586621679754057 = Apply (Apply (Apply (:.$) (Apply GroupWithSym0 f)) (Apply ListsortBySym0 (Apply (Apply OnSym0 CompareSym0) f))) a_6989586621679754057

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_6989586621679754130 = Apply (Apply GroupBy1Sym0 (:==$)) a_6989586621679754130

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) (Let6989586621679754073YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621679754073ZsSym3 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_6989586621679754146 = Apply (Apply GroupBy1Sym0 (Apply (Apply OnSym0 (:==$)) f)) a_6989586621679754146

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_6989586621679754376 = Apply (Apply (Apply (:.$) (Apply GroupWith1Sym0 f)) (Apply SortWithSym0 f)) a_6989586621679754376

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_6989586621679753892 = 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_6989586621679753756 = Apply (Apply NubBySym0 (:==$)) a_6989586621679753756

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_6989586621679753734Sym0 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_6989586621679753712 :!! arg_6989586621679753714 = Case_6989586621679753871 arg_6989586621679753712 arg_6989586621679753714 (Apply (Apply Tuple2Sym0 arg_6989586621679753712) arg_6989586621679753714)

(%:!!) :: 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) (Let6989586621679753770AsSym3 a b asbs))) (Apply (Apply (:|$) b) (Let6989586621679753770BsSym3 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 (Let6989586621679754633Xor'Sym2 x xs)) x) xs

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

Defunctionalization symbols

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

Instances

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

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

Instances

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

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

data MapSym0 (l :: TyFun (TyFun a6989586621679753522 b6989586621679753523 -> Type) (TyFun (NonEmpty a6989586621679753522) (NonEmpty b6989586621679753523) -> Type)) #

Instances

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

data MapSym1 (l :: TyFun a6989586621679753522 b6989586621679753523 -> Type) (l :: TyFun (NonEmpty a6989586621679753522) (NonEmpty b6989586621679753523)) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753522 b6989586621679753523 -> Type) -> TyFun (NonEmpty a6989586621679753522) (NonEmpty b6989586621679753523) -> *) (MapSym1 a6989586621679753522 b6989586621679753523) #
Methods suppressUnusedWarnings :: Proxy (MapSym1 a6989586621679753522 b6989586621679753523) 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 a6989586621679753522 b6989586621679753523 -> Type) (t :: NonEmpty a6989586621679753522) = Map t t #

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

Instances

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

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

Instances

SuppressUnusedWarnings (a6989586621679753512 -> TyFun (NonEmpty a6989586621679753512) (NonEmpty a6989586621679753512) -> *) (IntersperseSym1 a6989586621679753512) #
Methods suppressUnusedWarnings :: Proxy (IntersperseSym1 a6989586621679753512) 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 :: a6989586621679753512) (t :: NonEmpty a6989586621679753512) = Intersperse t t #

data ScanlSym0 (l :: TyFun (TyFun b6989586621679753517 (TyFun a6989586621679753518 b6989586621679753517 -> Type) -> Type) (TyFun b6989586621679753517 (TyFun [a6989586621679753518] (NonEmpty b6989586621679753517) -> Type) -> Type)) #

Instances

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

data ScanlSym1 (l :: TyFun b6989586621679753517 (TyFun a6989586621679753518 b6989586621679753517 -> Type) -> Type) (l :: TyFun b6989586621679753517 (TyFun [a6989586621679753518] (NonEmpty b6989586621679753517) -> Type)) #

Instances

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

data ScanlSym2 (l :: TyFun b6989586621679753517 (TyFun a6989586621679753518 b6989586621679753517 -> Type) -> Type) (l :: b6989586621679753517) (l :: TyFun [a6989586621679753518] (NonEmpty b6989586621679753517)) #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679753517 (TyFun a6989586621679753518 b6989586621679753517 -> Type) -> Type) -> b6989586621679753517 -> TyFun [a6989586621679753518] (NonEmpty b6989586621679753517) -> *) (ScanlSym2 a6989586621679753518 b6989586621679753517) #
Methods suppressUnusedWarnings :: Proxy (ScanlSym2 a6989586621679753518 b6989586621679753517) 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 b6989586621679753517 (TyFun a6989586621679753518 b6989586621679753517 -> Type) -> Type) (t :: b6989586621679753517) (t :: [a6989586621679753518]) = Scanl t t t #

data ScanrSym0 (l :: TyFun (TyFun a6989586621679753515 (TyFun b6989586621679753516 b6989586621679753516 -> Type) -> Type) (TyFun b6989586621679753516 (TyFun [a6989586621679753515] (NonEmpty b6989586621679753516) -> Type) -> Type)) #

Instances

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

data ScanrSym1 (l :: TyFun a6989586621679753515 (TyFun b6989586621679753516 b6989586621679753516 -> Type) -> Type) (l :: TyFun b6989586621679753516 (TyFun [a6989586621679753515] (NonEmpty b6989586621679753516) -> Type)) #

Instances

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

data ScanrSym2 (l :: TyFun a6989586621679753515 (TyFun b6989586621679753516 b6989586621679753516 -> Type) -> Type) (l :: b6989586621679753516) (l :: TyFun [a6989586621679753515] (NonEmpty b6989586621679753516)) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753515 (TyFun b6989586621679753516 b6989586621679753516 -> Type) -> Type) -> b6989586621679753516 -> TyFun [a6989586621679753515] (NonEmpty b6989586621679753516) -> *) (ScanrSym2 a6989586621679753515 b6989586621679753516) #
Methods suppressUnusedWarnings :: Proxy (ScanrSym2 a6989586621679753515 b6989586621679753516) 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 a6989586621679753515 (TyFun b6989586621679753516 b6989586621679753516 -> Type) -> Type) (t :: b6989586621679753516) (t :: [a6989586621679753515]) = Scanr t t t #

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

Instances

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

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753514 (TyFun a6989586621679753514 a6989586621679753514 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679753514) (NonEmpty a6989586621679753514) -> *) (Scanl1Sym1 a6989586621679753514) #
Methods suppressUnusedWarnings :: Proxy (Scanl1Sym1 a6989586621679753514) 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 a6989586621679753514 (TyFun a6989586621679753514 a6989586621679753514 -> Type) -> Type) (t :: NonEmpty a6989586621679753514) = Scanl1 t t #

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

Instances

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

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753513 (TyFun a6989586621679753513 a6989586621679753513 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679753513) (NonEmpty a6989586621679753513) -> *) (Scanr1Sym1 a6989586621679753513) #
Methods suppressUnusedWarnings :: Proxy (Scanr1Sym1 a6989586621679753513) 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 a6989586621679753513 (TyFun a6989586621679753513 a6989586621679753513 -> Type) -> Type) (t :: NonEmpty a6989586621679753513) = Scanr1 t t #

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

Instances

SuppressUnusedWarnings (TyFun (NonEmpty (NonEmpty a6989586621679753478)) (NonEmpty (NonEmpty a6989586621679753478)) -> *) (TransposeSym0 a6989586621679753478) #
Methods suppressUnusedWarnings :: Proxy (TransposeSym0 a6989586621679753478) 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 a6989586621679753478)) = Transpose t #

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

Instances

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

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753477 (TyFun a6989586621679753477 Ordering -> Type) -> Type) -> TyFun (NonEmpty a6989586621679753477) (NonEmpty a6989586621679753477) -> *) (SortBySym1 a6989586621679753477) #
Methods suppressUnusedWarnings :: Proxy (SortBySym1 a6989586621679753477) 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 a6989586621679753477 (TyFun a6989586621679753477 Ordering -> Type) -> Type) (t :: NonEmpty a6989586621679753477) = SortBy t t #

data SortWithSym0 (l :: TyFun (TyFun a6989586621679753476 o6989586621679753475 -> Type) (TyFun (NonEmpty a6989586621679753476) (NonEmpty a6989586621679753476) -> Type)) #

Instances

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

data SortWithSym1 (l :: TyFun a6989586621679753476 o6989586621679753475 -> Type) (l :: TyFun (NonEmpty a6989586621679753476) (NonEmpty a6989586621679753476)) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753476 o6989586621679753475 -> Type) -> TyFun (NonEmpty a6989586621679753476) (NonEmpty a6989586621679753476) -> *) (SortWithSym1 o6989586621679753475 a6989586621679753476) #
Methods suppressUnusedWarnings :: Proxy (SortWithSym1 o6989586621679753475 a6989586621679753476) 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 a6989586621679753476 o6989586621679753475 -> Type) (t :: NonEmpty a6989586621679753476) = SortWith t t #

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

Instances

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

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

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

Instances

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

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

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

Instances

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

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

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

Instances

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

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

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

Instances

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

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

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

Instances

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

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

Instances

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

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

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

Instances

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

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

Instances

SuppressUnusedWarnings (a6989586621679753529 -> TyFun (NonEmpty a6989586621679753529) (NonEmpty a6989586621679753529) -> *) (ConsSym1 a6989586621679753529) #
Methods suppressUnusedWarnings :: Proxy (ConsSym1 a6989586621679753529) 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 :: a6989586621679753529) (t :: NonEmpty a6989586621679753529) = Cons t t #

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

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679753537) (a6989586621679753537, Maybe (NonEmpty a6989586621679753537)) -> *) (UnconsSym0 a6989586621679753537) #
Methods suppressUnusedWarnings :: Proxy (UnconsSym0 a6989586621679753537) 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 a6989586621679753537) = Uncons t #

data UnfoldrSym0 (l :: TyFun (TyFun a6989586621679753535 (b6989586621679753536, Maybe a6989586621679753535) -> Type) (TyFun a6989586621679753535 (NonEmpty b6989586621679753536) -> Type)) #

Instances

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

data UnfoldrSym1 (l :: TyFun a6989586621679753535 (b6989586621679753536, Maybe a6989586621679753535) -> Type) (l :: TyFun a6989586621679753535 (NonEmpty b6989586621679753536)) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753535 (b6989586621679753536, Maybe a6989586621679753535) -> Type) -> TyFun a6989586621679753535 (NonEmpty b6989586621679753536) -> *) (UnfoldrSym1 a6989586621679753535 b6989586621679753536) #
Methods suppressUnusedWarnings :: Proxy (UnfoldrSym1 a6989586621679753535 b6989586621679753536) 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 a6989586621679753535 (b6989586621679753536, Maybe a6989586621679753535) -> Type) (t :: a6989586621679753535) = Unfoldr t t #

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

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679753528) (NonEmpty a6989586621679753528) -> *) (SortSym0 a6989586621679753528) #
Methods suppressUnusedWarnings :: Proxy (SortSym0 a6989586621679753528) 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 a6989586621679753528) = Sort t #

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

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679753511) (NonEmpty a6989586621679753511) -> *) (ReverseSym0 a6989586621679753511) #
Methods suppressUnusedWarnings :: Proxy (ReverseSym0 a6989586621679753511) 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 a6989586621679753511) = Reverse t #

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

Instances

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

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

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

Instances

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

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

data UnfoldSym0 (l :: TyFun (TyFun a6989586621679753539 (b6989586621679753540, Maybe a6989586621679753539) -> Type) (TyFun a6989586621679753539 (NonEmpty b6989586621679753540) -> Type)) #

Instances

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

data UnfoldSym1 (l :: TyFun a6989586621679753539 (b6989586621679753540, Maybe a6989586621679753539) -> Type) (l :: TyFun a6989586621679753539 (NonEmpty b6989586621679753540)) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753539 (b6989586621679753540, Maybe a6989586621679753539) -> Type) -> TyFun a6989586621679753539 (NonEmpty b6989586621679753540) -> *) (UnfoldSym1 a6989586621679753539 b6989586621679753540) #
Methods suppressUnusedWarnings :: Proxy (UnfoldSym1 a6989586621679753539 b6989586621679753540) 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 a6989586621679753519 (TyFun [a6989586621679753519] (NonEmpty a6989586621679753519) -> Type)) #

Instances

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

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

Instances

SuppressUnusedWarnings (a6989586621679753519 -> TyFun [a6989586621679753519] (NonEmpty a6989586621679753519) -> *) (InsertSym1 a6989586621679753519) #
Methods suppressUnusedWarnings :: Proxy (InsertSym1 a6989586621679753519) 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 :: a6989586621679753519) (t :: [a6989586621679753519]) = Insert t t #

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

Instances

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

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

Instances

SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679753510) [a6989586621679753510] -> *) (TakeSym1 a6989586621679753510) #
Methods suppressUnusedWarnings :: Proxy (TakeSym1 a6989586621679753510) 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 a6989586621679753510) = Take t t #

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

Instances

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

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

Instances

SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679753509) [a6989586621679753509] -> *) (DropSym1 a6989586621679753509) #
Methods suppressUnusedWarnings :: Proxy (DropSym1 a6989586621679753509) 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 a6989586621679753509) = Drop t t #

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

Instances

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

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

Instances

SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679753508) ([a6989586621679753508], [a6989586621679753508]) -> *) (SplitAtSym1 a6989586621679753508) #
Methods suppressUnusedWarnings :: Proxy (SplitAtSym1 a6989586621679753508) 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 a6989586621679753508) = SplitAt t t #

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

Instances

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

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753507 Bool -> Type) -> TyFun (NonEmpty a6989586621679753507) [a6989586621679753507] -> *) (TakeWhileSym1 a6989586621679753507) #
Methods suppressUnusedWarnings :: Proxy (TakeWhileSym1 a6989586621679753507) 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 a6989586621679753507 Bool -> Type) (t :: NonEmpty a6989586621679753507) = TakeWhile t t #

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

Instances

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

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753506 Bool -> Type) -> TyFun (NonEmpty a6989586621679753506) [a6989586621679753506] -> *) (DropWhileSym1 a6989586621679753506) #
Methods suppressUnusedWarnings :: Proxy (DropWhileSym1 a6989586621679753506) 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 a6989586621679753506 Bool -> Type) (t :: NonEmpty a6989586621679753506) = DropWhile t t #

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

Instances

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

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753505 Bool -> Type) -> TyFun (NonEmpty a6989586621679753505) ([a6989586621679753505], [a6989586621679753505]) -> *) (SpanSym1 a6989586621679753505) #
Methods suppressUnusedWarnings :: Proxy (SpanSym1 a6989586621679753505) 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 a6989586621679753505 Bool -> Type) (t :: NonEmpty a6989586621679753505) = Span t t #

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

Instances

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

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753504 Bool -> Type) -> TyFun (NonEmpty a6989586621679753504) ([a6989586621679753504], [a6989586621679753504]) -> *) (BreakSym1 a6989586621679753504) #
Methods suppressUnusedWarnings :: Proxy (BreakSym1 a6989586621679753504) 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 a6989586621679753504 Bool -> Type) (t :: NonEmpty a6989586621679753504) = Break t t #

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

Instances

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

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753503 Bool -> Type) -> TyFun (NonEmpty a6989586621679753503) [a6989586621679753503] -> *) (FilterSym1 a6989586621679753503) #
Methods suppressUnusedWarnings :: Proxy (FilterSym1 a6989586621679753503) 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 a6989586621679753503 Bool -> Type) (t :: NonEmpty a6989586621679753503) = Filter t t #

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

Instances

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

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753502 Bool -> Type) -> TyFun (NonEmpty a6989586621679753502) ([a6989586621679753502], [a6989586621679753502]) -> *) (PartitionSym1 a6989586621679753502) #
Methods suppressUnusedWarnings :: Proxy (PartitionSym1 a6989586621679753502) 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 a6989586621679753502 Bool -> Type) (t :: NonEmpty a6989586621679753502) = Partition t t #

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

Instances

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

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

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

Instances

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

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753500 (TyFun a6989586621679753500 Bool -> Type) -> Type) -> TyFun [a6989586621679753500] [NonEmpty a6989586621679753500] -> *) (GroupBySym1 a6989586621679753500) #
Methods suppressUnusedWarnings :: Proxy (GroupBySym1 a6989586621679753500) 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 a6989586621679753500 (TyFun a6989586621679753500 Bool -> Type) -> Type) (t :: [a6989586621679753500]) = GroupBy t t #

data GroupWithSym0 (l :: TyFun (TyFun a6989586621679753499 b6989586621679753498 -> Type) (TyFun [a6989586621679753499] [NonEmpty a6989586621679753499] -> Type)) #

Instances

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

data GroupWithSym1 (l :: TyFun a6989586621679753499 b6989586621679753498 -> Type) (l :: TyFun [a6989586621679753499] [NonEmpty a6989586621679753499]) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753499 b6989586621679753498 -> Type) -> TyFun [a6989586621679753499] [NonEmpty a6989586621679753499] -> *) (GroupWithSym1 b6989586621679753498 a6989586621679753499) #
Methods suppressUnusedWarnings :: Proxy (GroupWithSym1 b6989586621679753498 a6989586621679753499) 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 a6989586621679753499 b6989586621679753498 -> Type) (t :: [a6989586621679753499]) = GroupWith t t #

data GroupAllWithSym0 (l :: TyFun (TyFun a6989586621679753497 b6989586621679753496 -> Type) (TyFun [a6989586621679753497] [NonEmpty a6989586621679753497] -> Type)) #

Instances

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

data GroupAllWithSym1 (l :: TyFun a6989586621679753497 b6989586621679753496 -> Type) (l :: TyFun [a6989586621679753497] [NonEmpty a6989586621679753497]) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753497 b6989586621679753496 -> Type) -> TyFun [a6989586621679753497] [NonEmpty a6989586621679753497] -> *) (GroupAllWithSym1 b6989586621679753496 a6989586621679753497) #
Methods suppressUnusedWarnings :: Proxy (GroupAllWithSym1 b6989586621679753496 a6989586621679753497) 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 a6989586621679753497 b6989586621679753496 -> Type) (t :: [a6989586621679753497]) = GroupAllWith t t #

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

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679753495) (NonEmpty (NonEmpty a6989586621679753495)) -> *) (Group1Sym0 a6989586621679753495) #
Methods suppressUnusedWarnings :: Proxy (Group1Sym0 a6989586621679753495) 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 a6989586621679753495) = Group1 t #

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

Instances

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

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753494 (TyFun a6989586621679753494 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679753494) (NonEmpty (NonEmpty a6989586621679753494)) -> *) (GroupBy1Sym1 a6989586621679753494) #
Methods suppressUnusedWarnings :: Proxy (GroupBy1Sym1 a6989586621679753494) 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 a6989586621679753494 (TyFun a6989586621679753494 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679753494) = GroupBy1 t t #

data GroupWith1Sym0 (l :: TyFun (TyFun a6989586621679753493 b6989586621679753492 -> Type) (TyFun (NonEmpty a6989586621679753493) (NonEmpty (NonEmpty a6989586621679753493)) -> Type)) #

Instances

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

data GroupWith1Sym1 (l :: TyFun a6989586621679753493 b6989586621679753492 -> Type) (l :: TyFun (NonEmpty a6989586621679753493) (NonEmpty (NonEmpty a6989586621679753493))) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753493 b6989586621679753492 -> Type) -> TyFun (NonEmpty a6989586621679753493) (NonEmpty (NonEmpty a6989586621679753493)) -> *) (GroupWith1Sym1 b6989586621679753492 a6989586621679753493) #
Methods suppressUnusedWarnings :: Proxy (GroupWith1Sym1 b6989586621679753492 a6989586621679753493) 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 a6989586621679753493 b6989586621679753492 -> Type) (t :: NonEmpty a6989586621679753493) = GroupWith1 t t #

data GroupAllWith1Sym0 (l :: TyFun (TyFun a6989586621679753491 b6989586621679753490 -> Type) (TyFun (NonEmpty a6989586621679753491) (NonEmpty (NonEmpty a6989586621679753491)) -> Type)) #

Instances

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

data GroupAllWith1Sym1 (l :: TyFun a6989586621679753491 b6989586621679753490 -> Type) (l :: TyFun (NonEmpty a6989586621679753491) (NonEmpty (NonEmpty a6989586621679753491))) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753491 b6989586621679753490 -> Type) -> TyFun (NonEmpty a6989586621679753491) (NonEmpty (NonEmpty a6989586621679753491)) -> *) (GroupAllWith1Sym1 b6989586621679753490 a6989586621679753491) #
Methods suppressUnusedWarnings :: Proxy (GroupAllWith1Sym1 b6989586621679753490 a6989586621679753491) 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 a6989586621679753491 b6989586621679753490 -> Type) (t :: NonEmpty a6989586621679753491) = GroupAllWith1 t t #

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

Instances

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

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

Instances

SuppressUnusedWarnings ([a6989586621679753489] -> TyFun (NonEmpty a6989586621679753489) Bool -> *) (IsPrefixOfSym1 a6989586621679753489) #
Methods suppressUnusedWarnings :: Proxy (IsPrefixOfSym1 a6989586621679753489) 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 :: [a6989586621679753489]) (t :: NonEmpty a6989586621679753489) = IsPrefixOf t t #

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

Instances

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679753480) (NonEmpty a6989586621679753480) -> *) (NubSym0 a6989586621679753480) #
Methods suppressUnusedWarnings :: Proxy (NubSym0 a6989586621679753480) 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 a6989586621679753480) = Nub t #

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

Instances

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

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753479 (TyFun a6989586621679753479 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679753479) (NonEmpty a6989586621679753479) -> *) (NubBySym1 a6989586621679753479) #
Methods suppressUnusedWarnings :: Proxy (NubBySym1 a6989586621679753479) 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 a6989586621679753479 (TyFun a6989586621679753479 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679753479) = NubBy t t #

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

Instances

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

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

Instances

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

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

data ZipSym0 (l :: TyFun (NonEmpty a6989586621679753486) (TyFun (NonEmpty b6989586621679753487) (NonEmpty (a6989586621679753486, b6989586621679753487)) -> Type)) #

Instances

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

data ZipSym1 (l :: NonEmpty a6989586621679753486) (l :: TyFun (NonEmpty b6989586621679753487) (NonEmpty (a6989586621679753486, b6989586621679753487))) #

Instances

SuppressUnusedWarnings (NonEmpty a6989586621679753486 -> TyFun (NonEmpty b6989586621679753487) (NonEmpty (a6989586621679753486, b6989586621679753487)) -> *) (ZipSym1 a6989586621679753486 b6989586621679753487) #
Methods suppressUnusedWarnings :: Proxy (ZipSym1 a6989586621679753486 b6989586621679753487) 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 a6989586621679753486) (t :: NonEmpty b6989586621679753487) = Zip t t #

data ZipWithSym0 (l :: TyFun (TyFun a6989586621679753483 (TyFun b6989586621679753484 c6989586621679753485 -> Type) -> Type) (TyFun (NonEmpty a6989586621679753483) (TyFun (NonEmpty b6989586621679753484) (NonEmpty c6989586621679753485) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679753483 (TyFun b6989586621679753484 c6989586621679753485 -> Type) -> Type) (TyFun (NonEmpty a6989586621679753483) (TyFun (NonEmpty b6989586621679753484) (NonEmpty c6989586621679753485) -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679753483 b6989586621679753484 c6989586621679753485) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym0 a6989586621679753483 b6989586621679753484 c6989586621679753485) t -> () #
type Apply (TyFun a6989586621679753483 (TyFun b6989586621679753484 c6989586621679753485 -> Type) -> Type) (TyFun (NonEmpty a6989586621679753483) (TyFun (NonEmpty b6989586621679753484) (NonEmpty c6989586621679753485) -> Type) -> Type) (ZipWithSym0 a6989586621679753483 b6989586621679753484 c6989586621679753485) l #
type Apply (TyFun a6989586621679753483 (TyFun b6989586621679753484 c6989586621679753485 -> Type) -> Type) (TyFun (NonEmpty a6989586621679753483) (TyFun (NonEmpty b6989586621679753484) (NonEmpty c6989586621679753485) -> Type) -> Type) (ZipWithSym0 a6989586621679753483 b6989586621679753484 c6989586621679753485) l = ZipWithSym1 a6989586621679753483 b6989586621679753484 c6989586621679753485 l

data ZipWithSym1 (l :: TyFun a6989586621679753483 (TyFun b6989586621679753484 c6989586621679753485 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679753483) (TyFun (NonEmpty b6989586621679753484) (NonEmpty c6989586621679753485) -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753483 (TyFun b6989586621679753484 c6989586621679753485 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679753483) (TyFun (NonEmpty b6989586621679753484) (NonEmpty c6989586621679753485) -> Type) -> *) (ZipWithSym1 a6989586621679753483 b6989586621679753484 c6989586621679753485) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym1 a6989586621679753483 b6989586621679753484 c6989586621679753485) t -> () #
type Apply (NonEmpty a6989586621679753483) (TyFun (NonEmpty b6989586621679753484) (NonEmpty c6989586621679753485) -> Type) (ZipWithSym1 a6989586621679753483 b6989586621679753484 c6989586621679753485 l1) l2 #
type Apply (NonEmpty a6989586621679753483) (TyFun (NonEmpty b6989586621679753484) (NonEmpty c6989586621679753485) -> Type) (ZipWithSym1 a6989586621679753483 b6989586621679753484 c6989586621679753485 l1) l2 = ZipWithSym2 a6989586621679753483 b6989586621679753484 c6989586621679753485 l1 l2

data ZipWithSym2 (l :: TyFun a6989586621679753483 (TyFun b6989586621679753484 c6989586621679753485 -> Type) -> Type) (l :: NonEmpty a6989586621679753483) (l :: TyFun (NonEmpty b6989586621679753484) (NonEmpty c6989586621679753485)) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679753483 (TyFun b6989586621679753484 c6989586621679753485 -> Type) -> Type) -> NonEmpty a6989586621679753483 -> TyFun (NonEmpty b6989586621679753484) (NonEmpty c6989586621679753485) -> *) (ZipWithSym2 a6989586621679753483 b6989586621679753484 c6989586621679753485) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym2 a6989586621679753483 b6989586621679753484 c6989586621679753485) 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 a6989586621679753483 (TyFun b6989586621679753484 c6989586621679753485 -> Type) -> Type) (t :: NonEmpty a6989586621679753483) (t :: NonEmpty b6989586621679753484) = ZipWith t t t #

data UnzipSym0 (l :: TyFun (NonEmpty (a6989586621679753481, b6989586621679753482)) (NonEmpty a6989586621679753481, NonEmpty b6989586621679753482)) #

Instances

SuppressUnusedWarnings (TyFun (NonEmpty (a6989586621679753481, b6989586621679753482)) (NonEmpty a6989586621679753481, NonEmpty b6989586621679753482) -> *) (UnzipSym0 a6989586621679753481 b6989586621679753482) #
Methods suppressUnusedWarnings :: Proxy (UnzipSym0 a6989586621679753481 b6989586621679753482) 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 (a6989586621679753481, b6989586621679753482)) = Unzip t #

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

Instances

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

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

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

Instances

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

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

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

Instances

SuppressUnusedWarnings (TyFun [a6989586621679753538] (Maybe (NonEmpty a6989586621679753538)) -> *) (NonEmpty_Sym0 a6989586621679753538) #
Methods suppressUnusedWarnings :: Proxy (NonEmpty_Sym0 a6989586621679753538) 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 :: [a6989586621679753538]) = 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 a6989586621679075955 (TyFun [a6989586621679075955] (NonEmpty a6989586621679075955) -> Type) -> *) ((:\|$) a6989586621679075955) #
Methods suppressUnusedWarnings :: Proxy ((:\|$) a6989586621679075955) t -> () #
type Apply a6989586621679075955 (TyFun [a6989586621679075955] (NonEmpty a6989586621679075955) -> Type) ((:\|$) a6989586621679075955) l #
type Apply a6989586621679075955 (TyFun [a6989586621679075955] (NonEmpty a6989586621679075955) -> Type) ((:\|$) a6989586621679075955) l = (:\|$$) a6989586621679075955 l

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

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

SuppressUnusedWarnings (a6989586621679753530 -> TyFun (NonEmpty a6989586621679753530) (NonEmpty a6989586621679753530) -> *) ((:<\|$$) a6989586621679753530) #
Methods suppressUnusedWarnings :: Proxy ((:<\|$$) a6989586621679753530) 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