Copyright	(C) 2016 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Ryan Scott
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
Orphan instances

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

data family Sing :: k -> Type
type SNonEmpty = (Sing :: NonEmpty a -> Type)
type family Map (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty b where ...
sMap :: forall a b (t :: (~>) a b) (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 ...
sIntersperse :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply IntersperseSym0 t) t :: NonEmpty a)
type family Scanl (a :: (~>) b ((~>) a b)) (a :: b) (a :: [a]) :: NonEmpty b where ...
sScanl :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: NonEmpty b)
type family Scanr (a :: (~>) a ((~>) b b)) (a :: b) (a :: [a]) :: NonEmpty b where ...
sScanr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: NonEmpty b)
type family Scanl1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ...
sScanl1 :: forall a (t :: (~>) a ((~>) a a)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: NonEmpty a)
type family Scanr1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ...
sScanr1 :: forall a (t :: (~>) a ((~>) a a)) (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 ...
sTranspose :: forall a (t :: NonEmpty (NonEmpty a)). Sing t -> Sing (Apply TransposeSym0 t :: NonEmpty (NonEmpty a))
type family SortBy (a :: (~>) a ((~>) a Ordering)) (a :: NonEmpty a) :: NonEmpty a where ...
sSortBy :: forall a (t :: (~>) a ((~>) a Ordering)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SortBySym0 t) t :: NonEmpty a)
type family SortWith (a :: (~>) a o) (a :: NonEmpty a) :: NonEmpty a where ...
sSortWith :: forall o a (t :: (~>) a o) (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 ...
sLength :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply LengthSym0 t :: Nat)
type family Head (a :: NonEmpty a) :: a where ...
sHead :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply HeadSym0 t :: a)
type family Tail (a :: NonEmpty a) :: [a] where ...
sTail :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply TailSym0 t :: [a])
type family Last (a :: NonEmpty a) :: a where ...
sLast :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply LastSym0 t :: a)
type family Init (a :: NonEmpty a) :: [a] where ...
sInit :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply InitSym0 t :: [a])
type family (a :: a) <| (a :: NonEmpty a) :: NonEmpty a where ...
(%<|) :: forall a (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 ...
sCons :: forall a (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 ...
sUncons :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply UnconsSym0 t :: (a, Maybe (NonEmpty a)))
type family Unfoldr (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ...
sUnfoldr :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldrSym0 t) t :: NonEmpty b)
type family Sort (a :: NonEmpty a) :: NonEmpty a where ...
sSort :: forall a (t :: NonEmpty a). SOrd a => Sing t -> Sing (Apply SortSym0 t :: NonEmpty a)
type family Reverse (a :: NonEmpty a) :: NonEmpty a where ...
sReverse :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply ReverseSym0 t :: NonEmpty a)
type family Inits (a :: [a]) :: NonEmpty [a] where ...
sInits :: forall a (t :: [a]). Sing t -> Sing (Apply InitsSym0 t :: NonEmpty [a])
type family Tails (a :: [a]) :: NonEmpty [a] where ...
sTails :: forall a (t :: [a]). Sing t -> Sing (Apply TailsSym0 t :: NonEmpty [a])
type family Unfold (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ...
sUnfold :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldSym0 t) t :: NonEmpty b)
type family Insert (a :: a) (a :: [a]) :: NonEmpty a where ...
sInsert :: forall a (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 ...
sTake :: forall a (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 ...
sDrop :: forall a (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 ...
sSplitAt :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a]))
type family TakeWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
sTakeWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a])
type family DropWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
sDropWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropWhileSym0 t) t :: [a])
type family Span (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
sSpan :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a]))
type family Break (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
sBreak :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a]))
type family Filter (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
sFilter :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FilterSym0 t) t :: [a])
type family Partition (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
sPartition :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply PartitionSym0 t) t :: ([a], [a]))
type family Group (a :: [a]) :: [NonEmpty a] where ...
sGroup :: forall a (t :: [a]). SEq a => Sing t -> Sing (Apply GroupSym0 t :: [NonEmpty a])
type family GroupBy (a :: (~>) a ((~>) a Bool)) (a :: [a]) :: [NonEmpty a] where ...
sGroupBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [NonEmpty a])
type family GroupWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ...
sGroupWith :: forall b a (t :: (~>) a b) (t :: [a]). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWithSym0 t) t :: [NonEmpty a])
type family GroupAllWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ...
sGroupAllWith :: forall b a (t :: (~>) a b) (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 ...
sGroup1 :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply Group1Sym0 t :: NonEmpty (NonEmpty a))
type family GroupBy1 (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroupBy1 :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply GroupBy1Sym0 t) t :: NonEmpty (NonEmpty a))
type family GroupWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroupWith1 :: forall b a (t :: (~>) a b) (t :: NonEmpty a). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWith1Sym0 t) t :: NonEmpty (NonEmpty a))
type family GroupAllWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroupAllWith1 :: forall b a (t :: (~>) a b) (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 ...
sIsPrefixOf :: forall a (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 ...
sNub :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply NubSym0 t :: NonEmpty a)
type family NubBy (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty a where ...
sNubBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply NubBySym0 t) t :: NonEmpty a)
type family (a :: NonEmpty a) !! (a :: Nat) :: a where ...
(%!!) :: forall a (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 ...
sZip :: forall a b (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: NonEmpty (a, b))
type family ZipWith (a :: (~>) a ((~>) b c)) (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty c where ...
sZipWith :: forall a b c (t :: (~>) a ((~>) b c)) (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 ...
sUnzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Apply UnzipSym0 t :: (NonEmpty a, NonEmpty b))
type family FromList (a :: [a]) :: NonEmpty a where ...
sFromList :: forall a (t :: [a]). Sing t -> Sing (Apply FromListSym0 t :: NonEmpty a)
type family ToList (a :: NonEmpty a) :: [a] where ...
sToList :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply ToListSym0 t :: [a])
type family NonEmpty_ (a :: [a]) :: Maybe (NonEmpty a) where ...
sNonEmpty_ :: forall a (t :: [a]). Sing t -> Sing (Apply NonEmpty_Sym0 t :: Maybe (NonEmpty a))
type family Xor (a :: NonEmpty Bool) :: Bool where ...
sXor :: forall (t :: NonEmpty Bool). Sing t -> Sing (Apply XorSym0 t :: Bool)
data (:|@#@$) :: forall (a6989586621679070501 :: Type). (~>) a6989586621679070501 ((~>) [a6989586621679070501] (NonEmpty (a6989586621679070501 :: Type)))
data (:|@#@$$) (t6989586621679312508 :: (a6989586621679070501 :: Type)) :: (~>) [a6989586621679070501] (NonEmpty (a6989586621679070501 :: Type))
type (:|@#@$$$) (t6989586621679312508 :: a6989586621679070501) (t6989586621679312509 :: [a6989586621679070501]) = (:|) t6989586621679312508 t6989586621679312509
data MapSym0 :: forall a6989586621681153384 b6989586621681153385. (~>) ((~>) a6989586621681153384 b6989586621681153385) ((~>) (NonEmpty a6989586621681153384) (NonEmpty b6989586621681153385))
data MapSym1 (a6989586621681155005 :: (~>) a6989586621681153384 b6989586621681153385) :: (~>) (NonEmpty a6989586621681153384) (NonEmpty b6989586621681153385)
type MapSym2 (a6989586621681155005 :: (~>) a6989586621681153384 b6989586621681153385) (a6989586621681155006 :: NonEmpty a6989586621681153384) = Map a6989586621681155005 a6989586621681155006
data IntersperseSym0 :: forall a6989586621681153374. (~>) a6989586621681153374 ((~>) (NonEmpty a6989586621681153374) (NonEmpty a6989586621681153374))
data IntersperseSym1 (a6989586621681154995 :: a6989586621681153374) :: (~>) (NonEmpty a6989586621681153374) (NonEmpty a6989586621681153374)
type IntersperseSym2 (a6989586621681154995 :: a6989586621681153374) (a6989586621681154996 :: NonEmpty a6989586621681153374) = Intersperse a6989586621681154995 a6989586621681154996
data ScanlSym0 :: forall a6989586621681153380 b6989586621681153379. (~>) ((~>) b6989586621681153379 ((~>) a6989586621681153380 b6989586621681153379)) ((~>) b6989586621681153379 ((~>) [a6989586621681153380] (NonEmpty b6989586621681153379)))
data ScanlSym1 (a6989586621681155149 :: (~>) b6989586621681153379 ((~>) a6989586621681153380 b6989586621681153379)) :: (~>) b6989586621681153379 ((~>) [a6989586621681153380] (NonEmpty b6989586621681153379))
data ScanlSym2 (a6989586621681155149 :: (~>) b6989586621681153379 ((~>) a6989586621681153380 b6989586621681153379)) (a6989586621681155150 :: b6989586621681153379) :: (~>) [a6989586621681153380] (NonEmpty b6989586621681153379)
type ScanlSym3 (a6989586621681155149 :: (~>) b6989586621681153379 ((~>) a6989586621681153380 b6989586621681153379)) (a6989586621681155150 :: b6989586621681153379) (a6989586621681155151 :: [a6989586621681153380]) = Scanl a6989586621681155149 a6989586621681155150 a6989586621681155151
data ScanrSym0 :: forall a6989586621681153377 b6989586621681153378. (~>) ((~>) a6989586621681153377 ((~>) b6989586621681153378 b6989586621681153378)) ((~>) b6989586621681153378 ((~>) [a6989586621681153377] (NonEmpty b6989586621681153378)))
data ScanrSym1 (a6989586621681155160 :: (~>) a6989586621681153377 ((~>) b6989586621681153378 b6989586621681153378)) :: (~>) b6989586621681153378 ((~>) [a6989586621681153377] (NonEmpty b6989586621681153378))
data ScanrSym2 (a6989586621681155160 :: (~>) a6989586621681153377 ((~>) b6989586621681153378 b6989586621681153378)) (a6989586621681155161 :: b6989586621681153378) :: (~>) [a6989586621681153377] (NonEmpty b6989586621681153378)
type ScanrSym3 (a6989586621681155160 :: (~>) a6989586621681153377 ((~>) b6989586621681153378 b6989586621681153378)) (a6989586621681155161 :: b6989586621681153378) (a6989586621681155162 :: [a6989586621681153377]) = Scanr a6989586621681155160 a6989586621681155161 a6989586621681155162
data Scanl1Sym0 :: forall a6989586621681153376. (~>) ((~>) a6989586621681153376 ((~>) a6989586621681153376 a6989586621681153376)) ((~>) (NonEmpty a6989586621681153376) (NonEmpty a6989586621681153376))
data Scanl1Sym1 (a6989586621681155171 :: (~>) a6989586621681153376 ((~>) a6989586621681153376 a6989586621681153376)) :: (~>) (NonEmpty a6989586621681153376) (NonEmpty a6989586621681153376)
type Scanl1Sym2 (a6989586621681155171 :: (~>) a6989586621681153376 ((~>) a6989586621681153376 a6989586621681153376)) (a6989586621681155172 :: NonEmpty a6989586621681153376) = Scanl1 a6989586621681155171 a6989586621681155172
data Scanr1Sym0 :: forall a6989586621681153375. (~>) ((~>) a6989586621681153375 ((~>) a6989586621681153375 a6989586621681153375)) ((~>) (NonEmpty a6989586621681153375) (NonEmpty a6989586621681153375))
data Scanr1Sym1 (a6989586621681155178 :: (~>) a6989586621681153375 ((~>) a6989586621681153375 a6989586621681153375)) :: (~>) (NonEmpty a6989586621681153375) (NonEmpty a6989586621681153375)
type Scanr1Sym2 (a6989586621681155178 :: (~>) a6989586621681153375 ((~>) a6989586621681153375 a6989586621681153375)) (a6989586621681155179 :: NonEmpty a6989586621681153375) = Scanr1 a6989586621681155178 a6989586621681155179
data TransposeSym0 :: forall a6989586621681153340. (~>) (NonEmpty (NonEmpty a6989586621681153340)) (NonEmpty (NonEmpty a6989586621681153340))
type TransposeSym1 (a6989586621681155298 :: NonEmpty (NonEmpty a6989586621681153340)) = Transpose a6989586621681155298
data SortBySym0 :: forall a6989586621681153339. (~>) ((~>) a6989586621681153339 ((~>) a6989586621681153339 Ordering)) ((~>) (NonEmpty a6989586621681153339) (NonEmpty a6989586621681153339))
data SortBySym1 (a6989586621681155105 :: (~>) a6989586621681153339 ((~>) a6989586621681153339 Ordering)) :: (~>) (NonEmpty a6989586621681153339) (NonEmpty a6989586621681153339)
type SortBySym2 (a6989586621681155105 :: (~>) a6989586621681153339 ((~>) a6989586621681153339 Ordering)) (a6989586621681155106 :: NonEmpty a6989586621681153339) = SortBy a6989586621681155105 a6989586621681155106
data SortWithSym0 :: forall a6989586621681153338 o6989586621681153337. (~>) ((~>) a6989586621681153338 o6989586621681153337) ((~>) (NonEmpty a6989586621681153338) (NonEmpty a6989586621681153338))
data SortWithSym1 (a6989586621681155117 :: (~>) a6989586621681153338 o6989586621681153337) :: (~>) (NonEmpty a6989586621681153338) (NonEmpty a6989586621681153338)
type SortWithSym2 (a6989586621681155117 :: (~>) a6989586621681153338 o6989586621681153337) (a6989586621681155118 :: NonEmpty a6989586621681153338) = SortWith a6989586621681155117 a6989586621681155118
data LengthSym0 :: forall a6989586621681153403. (~>) (NonEmpty a6989586621681153403) Nat
type LengthSym1 (a6989586621681155286 :: NonEmpty a6989586621681153403) = Length a6989586621681155286
data HeadSym0 :: forall a6989586621681153396. (~>) (NonEmpty a6989586621681153396) a6989586621681153396
type HeadSym1 (a6989586621681155218 :: NonEmpty a6989586621681153396) = Head a6989586621681155218
data TailSym0 :: forall a6989586621681153395. (~>) (NonEmpty a6989586621681153395) [a6989586621681153395]
type TailSym1 (a6989586621681155215 :: NonEmpty a6989586621681153395) = Tail a6989586621681155215
data LastSym0 :: forall a6989586621681153394. (~>) (NonEmpty a6989586621681153394) a6989586621681153394
type LastSym1 (a6989586621681155211 :: NonEmpty a6989586621681153394) = Last a6989586621681155211
data InitSym0 :: forall a6989586621681153393. (~>) (NonEmpty a6989586621681153393) [a6989586621681153393]
type InitSym1 (a6989586621681155207 :: NonEmpty a6989586621681153393) = Init a6989586621681155207
data (<|@#@$) :: forall a6989586621681153392. (~>) a6989586621681153392 ((~>) (NonEmpty a6989586621681153392) (NonEmpty a6989586621681153392))
data (<|@#@$$) (a6989586621681155190 :: a6989586621681153392) :: (~>) (NonEmpty a6989586621681153392) (NonEmpty a6989586621681153392)
type (<|@#@$$$) (a6989586621681155190 :: a6989586621681153392) (a6989586621681155191 :: NonEmpty a6989586621681153392) = (<|) a6989586621681155190 a6989586621681155191
data ConsSym0 :: forall a6989586621681153391. (~>) a6989586621681153391 ((~>) (NonEmpty a6989586621681153391) (NonEmpty a6989586621681153391))
data ConsSym1 (a6989586621681155201 :: a6989586621681153391) :: (~>) (NonEmpty a6989586621681153391) (NonEmpty a6989586621681153391)
type ConsSym2 (a6989586621681155201 :: a6989586621681153391) (a6989586621681155202 :: NonEmpty a6989586621681153391) = Cons a6989586621681155201 a6989586621681155202
data UnconsSym0 :: forall a6989586621681153399. (~>) (NonEmpty a6989586621681153399) (a6989586621681153399, Maybe (NonEmpty a6989586621681153399))
type UnconsSym1 (a6989586621681155254 :: NonEmpty a6989586621681153399) = Uncons a6989586621681155254
data UnfoldrSym0 :: forall a6989586621681153397 b6989586621681153398. (~>) ((~>) a6989586621681153397 (b6989586621681153398, Maybe a6989586621681153397)) ((~>) a6989586621681153397 (NonEmpty b6989586621681153398))
data UnfoldrSym1 (a6989586621681155221 :: (~>) a6989586621681153397 (b6989586621681153398, Maybe a6989586621681153397)) :: (~>) a6989586621681153397 (NonEmpty b6989586621681153398)
type UnfoldrSym2 (a6989586621681155221 :: (~>) a6989586621681153397 (b6989586621681153398, Maybe a6989586621681153397)) (a6989586621681155222 :: a6989586621681153397) = Unfoldr a6989586621681155221 a6989586621681155222
data SortSym0 :: forall a6989586621681153390. (~>) (NonEmpty a6989586621681153390) (NonEmpty a6989586621681153390)
type SortSym1 (a6989586621681155187 :: NonEmpty a6989586621681153390) = Sort a6989586621681155187
data ReverseSym0 :: forall a6989586621681153373. (~>) (NonEmpty a6989586621681153373) (NonEmpty a6989586621681153373)
type ReverseSym1 (a6989586621681155102 :: NonEmpty a6989586621681153373) = Reverse a6989586621681155102
data InitsSym0 :: forall a6989586621681153383. (~>) [a6989586621681153383] (NonEmpty [a6989586621681153383])
type InitsSym1 (a6989586621681155133 :: [a6989586621681153383]) = Inits a6989586621681155133
data TailsSym0 :: forall a6989586621681153382. (~>) [a6989586621681153382] (NonEmpty [a6989586621681153382])
type TailsSym1 (a6989586621681155138 :: [a6989586621681153382]) = Tails a6989586621681155138
data UnfoldSym0 :: forall a6989586621681153401 b6989586621681153402. (~>) ((~>) a6989586621681153401 (b6989586621681153402, Maybe a6989586621681153401)) ((~>) a6989586621681153401 (NonEmpty b6989586621681153402))
data UnfoldSym1 (a6989586621681155258 :: (~>) a6989586621681153401 (b6989586621681153402, Maybe a6989586621681153401)) :: (~>) a6989586621681153401 (NonEmpty b6989586621681153402)
data InsertSym0 :: forall a6989586621681153381. (~>) a6989586621681153381 ((~>) [a6989586621681153381] (NonEmpty a6989586621681153381))
data InsertSym1 (a6989586621681155141 :: a6989586621681153381) :: (~>) [a6989586621681153381] (NonEmpty a6989586621681153381)
type InsertSym2 (a6989586621681155141 :: a6989586621681153381) (a6989586621681155142 :: [a6989586621681153381]) = Insert a6989586621681155141 a6989586621681155142
data TakeSym0 :: forall a6989586621681153372. (~>) Nat ((~>) (NonEmpty a6989586621681153372) [a6989586621681153372])
data TakeSym1 (a6989586621681155016 :: Nat) :: forall a6989586621681153372. (~>) (NonEmpty a6989586621681153372) [a6989586621681153372]
type TakeSym2 (a6989586621681155016 :: Nat) (a6989586621681155017 :: NonEmpty a6989586621681153372) = Take a6989586621681155016 a6989586621681155017
data DropSym0 :: forall a6989586621681153371. (~>) Nat ((~>) (NonEmpty a6989586621681153371) [a6989586621681153371])
data DropSym1 (a6989586621681155024 :: Nat) :: forall a6989586621681153371. (~>) (NonEmpty a6989586621681153371) [a6989586621681153371]
type DropSym2 (a6989586621681155024 :: Nat) (a6989586621681155025 :: NonEmpty a6989586621681153371) = Drop a6989586621681155024 a6989586621681155025
data SplitAtSym0 :: forall a6989586621681153370. (~>) Nat ((~>) (NonEmpty a6989586621681153370) ([a6989586621681153370], [a6989586621681153370]))
data SplitAtSym1 (a6989586621681155032 :: Nat) :: forall a6989586621681153370. (~>) (NonEmpty a6989586621681153370) ([a6989586621681153370], [a6989586621681153370])
type SplitAtSym2 (a6989586621681155032 :: Nat) (a6989586621681155033 :: NonEmpty a6989586621681153370) = SplitAt a6989586621681155032 a6989586621681155033
data TakeWhileSym0 :: forall a6989586621681153369. (~>) ((~>) a6989586621681153369 Bool) ((~>) (NonEmpty a6989586621681153369) [a6989586621681153369])
data TakeWhileSym1 (a6989586621681155040 :: (~>) a6989586621681153369 Bool) :: (~>) (NonEmpty a6989586621681153369) [a6989586621681153369]
type TakeWhileSym2 (a6989586621681155040 :: (~>) a6989586621681153369 Bool) (a6989586621681155041 :: NonEmpty a6989586621681153369) = TakeWhile a6989586621681155040 a6989586621681155041
data DropWhileSym0 :: forall a6989586621681153368. (~>) ((~>) a6989586621681153368 Bool) ((~>) (NonEmpty a6989586621681153368) [a6989586621681153368])
data DropWhileSym1 (a6989586621681155048 :: (~>) a6989586621681153368 Bool) :: (~>) (NonEmpty a6989586621681153368) [a6989586621681153368]
type DropWhileSym2 (a6989586621681155048 :: (~>) a6989586621681153368 Bool) (a6989586621681155049 :: NonEmpty a6989586621681153368) = DropWhile a6989586621681155048 a6989586621681155049
data SpanSym0 :: forall a6989586621681153367. (~>) ((~>) a6989586621681153367 Bool) ((~>) (NonEmpty a6989586621681153367) ([a6989586621681153367], [a6989586621681153367]))
data SpanSym1 (a6989586621681155056 :: (~>) a6989586621681153367 Bool) :: (~>) (NonEmpty a6989586621681153367) ([a6989586621681153367], [a6989586621681153367])
type SpanSym2 (a6989586621681155056 :: (~>) a6989586621681153367 Bool) (a6989586621681155057 :: NonEmpty a6989586621681153367) = Span a6989586621681155056 a6989586621681155057
data BreakSym0 :: forall a6989586621681153366. (~>) ((~>) a6989586621681153366 Bool) ((~>) (NonEmpty a6989586621681153366) ([a6989586621681153366], [a6989586621681153366]))
data BreakSym1 (a6989586621681155064 :: (~>) a6989586621681153366 Bool) :: (~>) (NonEmpty a6989586621681153366) ([a6989586621681153366], [a6989586621681153366])
type BreakSym2 (a6989586621681155064 :: (~>) a6989586621681153366 Bool) (a6989586621681155065 :: NonEmpty a6989586621681153366) = Break a6989586621681155064 a6989586621681155065
data FilterSym0 :: forall a6989586621681153365. (~>) ((~>) a6989586621681153365 Bool) ((~>) (NonEmpty a6989586621681153365) [a6989586621681153365])
data FilterSym1 (a6989586621681155072 :: (~>) a6989586621681153365 Bool) :: (~>) (NonEmpty a6989586621681153365) [a6989586621681153365]
type FilterSym2 (a6989586621681155072 :: (~>) a6989586621681153365 Bool) (a6989586621681155073 :: NonEmpty a6989586621681153365) = Filter a6989586621681155072 a6989586621681155073
data PartitionSym0 :: forall a6989586621681153364. (~>) ((~>) a6989586621681153364 Bool) ((~>) (NonEmpty a6989586621681153364) ([a6989586621681153364], [a6989586621681153364]))
data PartitionSym1 (a6989586621681155080 :: (~>) a6989586621681153364 Bool) :: (~>) (NonEmpty a6989586621681153364) ([a6989586621681153364], [a6989586621681153364])
type PartitionSym2 (a6989586621681155080 :: (~>) a6989586621681153364 Bool) (a6989586621681155081 :: NonEmpty a6989586621681153364) = Partition a6989586621681155080 a6989586621681155081
data GroupSym0 :: forall a6989586621681153363. (~>) [a6989586621681153363] [NonEmpty a6989586621681153363]
type GroupSym1 (a6989586621681154992 :: [a6989586621681153363]) = Group a6989586621681154992
data GroupBySym0 :: forall a6989586621681153362. (~>) ((~>) a6989586621681153362 ((~>) a6989586621681153362 Bool)) ((~>) [a6989586621681153362] [NonEmpty a6989586621681153362])
data GroupBySym1 (a6989586621681154882 :: (~>) a6989586621681153362 ((~>) a6989586621681153362 Bool)) :: (~>) [a6989586621681153362] [NonEmpty a6989586621681153362]
type GroupBySym2 (a6989586621681154882 :: (~>) a6989586621681153362 ((~>) a6989586621681153362 Bool)) (a6989586621681154883 :: [a6989586621681153362]) = GroupBy a6989586621681154882 a6989586621681154883
data GroupWithSym0 :: forall a6989586621681153361 b6989586621681153360. (~>) ((~>) a6989586621681153361 b6989586621681153360) ((~>) [a6989586621681153361] [NonEmpty a6989586621681153361])
data GroupWithSym1 (a6989586621681154930 :: (~>) a6989586621681153361 b6989586621681153360) :: (~>) [a6989586621681153361] [NonEmpty a6989586621681153361]
type GroupWithSym2 (a6989586621681154930 :: (~>) a6989586621681153361 b6989586621681153360) (a6989586621681154931 :: [a6989586621681153361]) = GroupWith a6989586621681154930 a6989586621681154931
data GroupAllWithSym0 :: forall a6989586621681153359 b6989586621681153358. (~>) ((~>) a6989586621681153359 b6989586621681153358) ((~>) [a6989586621681153359] [NonEmpty a6989586621681153359])
data GroupAllWithSym1 (a6989586621681154938 :: (~>) a6989586621681153359 b6989586621681153358) :: (~>) [a6989586621681153359] [NonEmpty a6989586621681153359]
type GroupAllWithSym2 (a6989586621681154938 :: (~>) a6989586621681153359 b6989586621681153358) (a6989586621681154939 :: [a6989586621681153359]) = GroupAllWith a6989586621681154938 a6989586621681154939
data Group1Sym0 :: forall a6989586621681153357. (~>) (NonEmpty a6989586621681153357) (NonEmpty (NonEmpty a6989586621681153357))
type Group1Sym1 (a6989586621681154979 :: NonEmpty a6989586621681153357) = Group1 a6989586621681154979
data GroupBy1Sym0 :: forall a6989586621681153356. (~>) ((~>) a6989586621681153356 ((~>) a6989586621681153356 Bool)) ((~>) (NonEmpty a6989586621681153356) (NonEmpty (NonEmpty a6989586621681153356)))
data GroupBy1Sym1 (a6989586621681154946 :: (~>) a6989586621681153356 ((~>) a6989586621681153356 Bool)) :: (~>) (NonEmpty a6989586621681153356) (NonEmpty (NonEmpty a6989586621681153356))
type GroupBy1Sym2 (a6989586621681154946 :: (~>) a6989586621681153356 ((~>) a6989586621681153356 Bool)) (a6989586621681154947 :: NonEmpty a6989586621681153356) = GroupBy1 a6989586621681154946 a6989586621681154947
data GroupWith1Sym0 :: forall a6989586621681153355 b6989586621681153354. (~>) ((~>) a6989586621681153355 b6989586621681153354) ((~>) (NonEmpty a6989586621681153355) (NonEmpty (NonEmpty a6989586621681153355)))
data GroupWith1Sym1 (a6989586621681154982 :: (~>) a6989586621681153355 b6989586621681153354) :: (~>) (NonEmpty a6989586621681153355) (NonEmpty (NonEmpty a6989586621681153355))
type GroupWith1Sym2 (a6989586621681154982 :: (~>) a6989586621681153355 b6989586621681153354) (a6989586621681154983 :: NonEmpty a6989586621681153355) = GroupWith1 a6989586621681154982 a6989586621681154983
data GroupAllWith1Sym0 :: forall a6989586621681153353 b6989586621681153352. (~>) ((~>) a6989586621681153353 b6989586621681153352) ((~>) (NonEmpty a6989586621681153353) (NonEmpty (NonEmpty a6989586621681153353)))
data GroupAllWith1Sym1 (a6989586621681155123 :: (~>) a6989586621681153353 b6989586621681153352) :: (~>) (NonEmpty a6989586621681153353) (NonEmpty (NonEmpty a6989586621681153353))
type GroupAllWith1Sym2 (a6989586621681155123 :: (~>) a6989586621681153353 b6989586621681153352) (a6989586621681155124 :: NonEmpty a6989586621681153353) = GroupAllWith1 a6989586621681155123 a6989586621681155124
data IsPrefixOfSym0 :: forall a6989586621681153351. (~>) [a6989586621681153351] ((~>) (NonEmpty a6989586621681153351) Bool)
data IsPrefixOfSym1 (a6989586621681154874 :: [a6989586621681153351]) :: (~>) (NonEmpty a6989586621681153351) Bool
type IsPrefixOfSym2 (a6989586621681154874 :: [a6989586621681153351]) (a6989586621681154875 :: NonEmpty a6989586621681153351) = IsPrefixOf a6989586621681154874 a6989586621681154875
data NubSym0 :: forall a6989586621681153342. (~>) (NonEmpty a6989586621681153342) (NonEmpty a6989586621681153342)
type NubSym1 (a6989586621681154805 :: NonEmpty a6989586621681153342) = Nub a6989586621681154805
data NubBySym0 :: forall a6989586621681153341. (~>) ((~>) a6989586621681153341 ((~>) a6989586621681153341 Bool)) ((~>) (NonEmpty a6989586621681153341) (NonEmpty a6989586621681153341))
data NubBySym1 (a6989586621681154788 :: (~>) a6989586621681153341 ((~>) a6989586621681153341 Bool)) :: (~>) (NonEmpty a6989586621681153341) (NonEmpty a6989586621681153341)
type NubBySym2 (a6989586621681154788 :: (~>) a6989586621681153341 ((~>) a6989586621681153341 Bool)) (a6989586621681154789 :: NonEmpty a6989586621681153341) = NubBy a6989586621681154788 a6989586621681154789
data (!!@#@$) :: forall a6989586621681153350. (~>) (NonEmpty a6989586621681153350) ((~>) Nat a6989586621681153350)
data (!!@#@$$) (a6989586621681154856 :: NonEmpty a6989586621681153350) :: (~>) Nat a6989586621681153350
type (!!@#@$$$) (a6989586621681154856 :: NonEmpty a6989586621681153350) (a6989586621681154857 :: Nat) = (!!) a6989586621681154856 a6989586621681154857
data ZipSym0 :: forall a6989586621681153348 b6989586621681153349. (~>) (NonEmpty a6989586621681153348) ((~>) (NonEmpty b6989586621681153349) (NonEmpty (a6989586621681153348, b6989586621681153349)))
data ZipSym1 (a6989586621681154848 :: NonEmpty a6989586621681153348) :: forall b6989586621681153349. (~>) (NonEmpty b6989586621681153349) (NonEmpty (a6989586621681153348, b6989586621681153349))
type ZipSym2 (a6989586621681154848 :: NonEmpty a6989586621681153348) (a6989586621681154849 :: NonEmpty b6989586621681153349) = Zip a6989586621681154848 a6989586621681154849
data ZipWithSym0 :: forall a6989586621681153345 b6989586621681153346 c6989586621681153347. (~>) ((~>) a6989586621681153345 ((~>) b6989586621681153346 c6989586621681153347)) ((~>) (NonEmpty a6989586621681153345) ((~>) (NonEmpty b6989586621681153346) (NonEmpty c6989586621681153347)))
data ZipWithSym1 (a6989586621681154837 :: (~>) a6989586621681153345 ((~>) b6989586621681153346 c6989586621681153347)) :: (~>) (NonEmpty a6989586621681153345) ((~>) (NonEmpty b6989586621681153346) (NonEmpty c6989586621681153347))
data ZipWithSym2 (a6989586621681154837 :: (~>) a6989586621681153345 ((~>) b6989586621681153346 c6989586621681153347)) (a6989586621681154838 :: NonEmpty a6989586621681153345) :: (~>) (NonEmpty b6989586621681153346) (NonEmpty c6989586621681153347)
type ZipWithSym3 (a6989586621681154837 :: (~>) a6989586621681153345 ((~>) b6989586621681153346 c6989586621681153347)) (a6989586621681154838 :: NonEmpty a6989586621681153345) (a6989586621681154839 :: NonEmpty b6989586621681153346) = ZipWith a6989586621681154837 a6989586621681154838 a6989586621681154839
data UnzipSym0 :: forall a6989586621681153343 b6989586621681153344. (~>) (NonEmpty (a6989586621681153343, b6989586621681153344)) (NonEmpty a6989586621681153343, NonEmpty b6989586621681153344)
type UnzipSym1 (a6989586621681154808 :: NonEmpty (a6989586621681153343, b6989586621681153344)) = Unzip a6989586621681154808
data FromListSym0 :: forall a6989586621681153389. (~>) [a6989586621681153389] (NonEmpty a6989586621681153389)
type FromListSym1 (a6989586621681155088 :: [a6989586621681153389]) = FromList a6989586621681155088
data ToListSym0 :: forall a6989586621681153388. (~>) (NonEmpty a6989586621681153388) [a6989586621681153388]
type ToListSym1 (a6989586621681155012 :: NonEmpty a6989586621681153388) = ToList a6989586621681155012
data NonEmpty_Sym0 :: forall a6989586621681153400. (~>) [a6989586621681153400] (Maybe (NonEmpty a6989586621681153400))
type NonEmpty_Sym1 (a6989586621681155250 :: [a6989586621681153400]) = NonEmpty_ a6989586621681155250
data XorSym0 :: (~>) (NonEmpty Bool) Bool
type XorSym1 (a6989586621681155273 :: NonEmpty Bool) = Xor a6989586621681155273

The `NonEmpty` singleton

data family Sing :: k -> Type infixr 5 #

The singleton kind-indexed data family.

Instances

SDecide k => TestCoercion (Sing :: k -> Type) #
Instance details Defined in Data.Singletons.Decide Methods testCoercion :: Sing a -> Sing b -> Maybe (Coercion a b) #
SDecide k => TestEquality (Sing :: k -> Type) #
Instance details Defined in Data.Singletons.Decide Methods testEquality :: Sing a -> Sing b -> Maybe (a :~: b) #
Show (SSymbol s) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SSymbol s -> ShowS # show :: SSymbol s -> String # showList :: [SSymbol s] -> ShowS #
Show (SNat n) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SNat n -> ShowS # show :: SNat n -> String # showList :: [SNat n] -> ShowS #
Eq (Sing a) #
Instance details Defined in Data.Singletons.TypeRepTYPE Methods (==) :: Sing a -> Sing a -> Bool # (/=) :: Sing a -> Sing a -> Bool #
Ord (Sing a) #
Instance details Defined in Data.Singletons.TypeRepTYPE Methods compare :: Sing a -> Sing a -> Ordering # (<) :: Sing a -> Sing a -> Bool # (<=) :: Sing a -> Sing a -> Bool # (>) :: Sing a -> Sing a -> Bool # (>=) :: Sing a -> Sing a -> Bool # max :: Sing a -> Sing a -> Sing a # min :: Sing a -> Sing a -> Sing a #
Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing [a]) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
Show (Sing a) #
Instance details Defined in Data.Singletons.TypeRepTYPE Methods showsPrec :: Int -> Sing a -> ShowS # show :: Sing a -> String # showList :: [Sing a] -> ShowS #
Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b) => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing m => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing (Maybe a) => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing (Maybe a) => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing (Maybe a) => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing Bool => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing Bool => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing [a]) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
data Sing (a :: Bool) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: Bool) where SFalse :: forall (a :: Bool). Sing False STrue :: forall (a :: Bool). Sing True
data Sing (a :: Ordering) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: Ordering) where SLT :: forall (a :: Ordering). Sing LT SEQ :: forall (a :: Ordering). Sing EQ SGT :: forall (a :: Ordering). Sing GT
data Sing (n :: Nat) #
Instance details Defined in Data.Singletons.TypeLits.Internal data Sing (n :: Nat) where SNat :: forall (n :: Nat). KnownNat n => Sing n
data Sing (n :: Symbol) #
Instance details Defined in Data.Singletons.TypeLits.Internal data Sing (n :: Symbol) where SSym :: forall (n :: Symbol). KnownSymbol n => Sing n
data Sing (a :: ()) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: ()) where STuple0 :: forall (a :: ()). Sing ()
data Sing (a :: Void) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: Void)
data Sing (a :: All) #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: All) where SAll :: forall (a :: All) (n :: Bool). {..} -> Sing (All n)
data Sing (a :: Any) #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: Any) where SAny :: forall (a :: Any) (n :: Bool). {..} -> Sing (Any n)
data Sing (a :: PErrorMessage) #
Instance details Defined in Data.Singletons.TypeError data Sing (a :: PErrorMessage) where SText :: forall (a :: PErrorMessage) (t :: Symbol). Sing t -> Sing (Text t) SShowType :: forall (a :: PErrorMessage) t (ty :: t). Sing ty -> Sing (ShowType ty :: ErrorMessage' Symbol) (:%<>:) :: forall (a :: PErrorMessage) (e1 :: ErrorMessage' Symbol) (e2 :: ErrorMessage' Symbol). Sing e1 -> Sing e2 -> Sing (e1 :<>: e2) (:%$$:) :: forall (a :: PErrorMessage) (e1 :: ErrorMessage' Symbol) (e2 :: ErrorMessage' Symbol). Sing e1 -> Sing e2 -> Sing (e1 :$$: e2)
data Sing (b :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (b :: [a]) where SNil :: forall k (b :: [k]). Sing ([] :: [k]) SCons :: forall a (b :: [a]) (n :: a) (n :: [a]). Sing n -> Sing n -> Sing (n ': n)
data Sing (b :: Maybe a) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (b :: Maybe a) where SNothing :: forall a (b :: Maybe a). Sing (Nothing :: Maybe a) SJust :: forall a (b :: Maybe a) (n :: a). Sing n -> Sing (Just n)
newtype Sing (a :: TYPE rep) #	A choice of singleton for the kind `TYPE rep` (for some `RuntimeRep` `rep`), an instantiation of which is the famous kind `Type`. Conceivably, one could generalize this instance to `Sing :: k -> Type` for any kind `k`, and remove all other `Sing` instances. We don't adopt this design, however, since it is far more convenient in practice to work with explicit singleton values than `TypeRep`s (for instance, `TypeRep`s are more difficult to pattern match on, and require extra runtime checks). We cannot produce explicit singleton values for everything in `TYPE rep`, however, since it is an open kind, so we reach for `TypeRep` in this one particular case.
Instance details Defined in Data.Singletons.TypeRepTYPE newtype Sing (a :: TYPE rep) = STypeRep (TypeRep a)
data Sing (b :: Min a) #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Min a) where SMin :: forall a (b :: Min a) (n :: a). {..} -> Sing (Min n)
data Sing (b :: Max a) #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Max a) where SMax :: forall a (b :: Max a) (n :: a). {..} -> Sing (Max n)
data Sing (b :: First a) #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: First a) where SFirst :: forall a (b :: First a) (n :: a). {..} -> Sing (First n)
data Sing (b :: Last a) #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Last a) where SLast :: forall a (b :: Last a) (n :: a). {..} -> Sing (Last n)
data Sing (a :: WrappedMonoid m) #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: WrappedMonoid m) where SWrapMonoid :: forall m (a :: WrappedMonoid m) (n :: m). {..} -> Sing (WrapMonoid n)
data Sing (b :: Option a) #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Option a) where SOption :: forall a (b :: Option a) (n :: Maybe a). {..} -> Sing (Option n)
data Sing (b :: Identity a) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (b :: Identity a) where SIdentity :: forall a (b :: Identity a) (n :: a). {..} -> Sing (Identity n)
data Sing (b :: First a) #
Instance details Defined in Data.Singletons.Prelude.Monoid data Sing (b :: First a) where SFirst :: forall a (b :: First a) (n :: Maybe a). {..} -> Sing (First n)
data Sing (b :: Last a) #
Instance details Defined in Data.Singletons.Prelude.Monoid data Sing (b :: Last a) where SLast :: forall a (b :: Last a) (n :: Maybe a). {..} -> Sing (Last n)
data Sing (b :: Dual a) #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Dual a) where SDual :: forall a (b :: Dual a) (n :: a). {..} -> Sing (Dual n)
data Sing (b :: Sum a) #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Sum a) where SSum :: forall a (b :: Sum a) (n :: a). {..} -> Sing (Sum n)
data Sing (b :: Product a) #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Product a) where SProduct :: forall a (b :: Product a) (n :: a). {..} -> Sing (Product n)
data Sing (b :: Down a) #
Instance details Defined in Data.Singletons.Prelude.Ord data Sing (b :: Down a) where SDown :: forall a (b :: Down a) (n :: a). Sing n -> Sing (Down n)
data Sing (b :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (b :: NonEmpty a) where (:%\|) :: forall a (b :: NonEmpty a) (n :: a) (n :: [a]). Sing n -> Sing n -> Sing (n :\| n)
data Sing (c :: Either a b) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (c :: Either a b) where SLeft :: forall a b (c :: Either a b) (n :: a). Sing n -> Sing (Left n :: Either a b) SRight :: forall a b (c :: Either a b) (n :: b). Sing n -> Sing (Right n :: Either a b)
data Sing (c :: (a, b)) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (c :: (a, b)) where STuple2 :: forall a b (c :: (a, b)) (n :: a) (n :: b). Sing n -> Sing n -> Sing ((,) n n)
data Sing (c :: Arg a b) #
Instance details Defined in Data.Singletons.Prelude.Semigroup data Sing (c :: Arg a b) where SArg :: forall a b (c :: Arg a b) (n :: a) (n :: b). Sing n -> Sing n -> Sing (Arg n n)
newtype Sing (f :: k1 ~> k2) #
Instance details Defined in Data.Singletons.Internal newtype Sing (f :: k1 ~> k2) = SLambda { applySing :: forall (t :: k1). Sing t -> Sing (f @@ t) }
data Sing (d :: (a, b, c)) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (d :: (a, b, c)) where STuple3 :: forall a b c (d :: (a, b, c)) (n :: a) (n :: b) (n :: c). Sing n -> Sing n -> Sing n -> Sing ((,,) n n n)
data Sing (c :: Const a b) #
Instance details Defined in Data.Singletons.Prelude.Const data Sing (c :: Const a b) where SConst :: forall k a (b :: k) (c :: Const a b) (a :: a). {..} -> Sing (Const a :: Const a b)
data Sing (e :: (a, b, c, d)) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (e :: (a, b, c, d)) where STuple4 :: forall a b c d (e :: (a, b, c, d)) (n :: a) (n :: b) (n :: c) (n :: d). Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,) n n n n)
data Sing (f :: (a, b, c, d, e)) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (f :: (a, b, c, d, e)) where STuple5 :: forall a b c d e (f :: (a, b, c, d, e)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,) n n n n n)
data Sing (g :: (a, b, c, d, e, f)) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (g :: (a, b, c, d, e, f)) where STuple6 :: forall a b c d e f (g :: (a, b, c, d, e, f)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,,) n n n n n n)
data Sing (h :: (a, b, c, d, e, f, g)) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (h :: (a, b, c, d, e, f, g)) where STuple7 :: forall a b c d e f g (h :: (a, b, c, d, e, f, g)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f) (n :: g). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,,,) n n n n n n n)

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 :: (~>) a b) (a :: NonEmpty a) :: NonEmpty b where ... #

Equations

Map f ((:|) a as) = Apply (Apply (:|@#@$) (Apply f a)) (Apply (Apply ListmapSym0 f) as)

sMap :: forall a b (t :: (~>) a b) (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_6989586621681155002 a b bs bs)

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

type family Scanl (a :: (~>) b ((~>) a b)) (a :: b) (a :: [a]) :: NonEmpty b where ... #

Equations

Scanl f z a_6989586621681155155 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply ListscanlSym0 f) z)) a_6989586621681155155

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

type family Scanr (a :: (~>) a ((~>) b b)) (a :: b) (a :: [a]) :: NonEmpty b where ... #

Equations

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

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

type family Scanl1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ... #

Equations

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

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

type family Scanr1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ... #

Equations

Scanr1 f ((:|) a as) = Apply FromListSym0 (Apply (Apply Listscanr1Sym0 f) (Apply (Apply (:@#@$) a) as))

sScanr1 :: forall a (t :: (~>) a ((~>) a a)) (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_6989586621681155296 = Apply (Apply (Apply (.@#@$) (Apply FmapSym0 FromListSym0)) (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply (.@#@$) ListtransposeSym0) (Apply (Apply (.@#@$) ToListSym0) (Apply FmapSym0 ToListSym0))))) a_6989586621681155296

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

type family SortBy (a :: (~>) a ((~>) a Ordering)) (a :: NonEmpty a) :: NonEmpty a where ... #

Equations

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

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

type family SortWith (a :: (~>) a o) (a :: NonEmpty a) :: NonEmpty a where ... #

Equations

SortWith a_6989586621681155113 a_6989586621681155115 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621681155113) a_6989586621681155115

sSortWith :: forall o a (t :: (~>) a o) (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 ((:|) _ xs) = Apply (Apply (+@#@$) (FromInteger 1)) (Apply ListlengthSym0 xs)

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

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

Equations

Head ((:|) a _) = a

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

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

Equations

Tail ((:|) _ as) = as

sTail :: forall a (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 a (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 a (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 a (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_6989586621681155197 a_6989586621681155199 = Apply (Apply (<|@#@$) a_6989586621681155197) a_6989586621681155199

sCons :: forall a (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 a (t :: NonEmpty a). Sing t -> Sing (Apply UnconsSym0 t :: (a, Maybe (NonEmpty a))) #

type family Unfoldr (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ... #

Equations

Unfoldr f a = Case_6989586621681155245 f a (Let6989586621681155242Scrutinee_6989586621681153578Sym2 f a)

sUnfoldr :: forall a b (t :: (~>) a (b, Maybe a)) (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_6989586621681155185 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621681155185

sSort :: forall a (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_6989586621681155100 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621681155100

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

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

Equations

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

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

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

Equations

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

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

type family Unfold (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ... #

Equations

Unfold f a = Case_6989586621681155267 f a (Let6989586621681155264Scrutinee_6989586621681153568Sym2 f a)

sUnfold :: forall a b (t :: (~>) a (b, Maybe a)) (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_6989586621681155145 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply ListinsertSym0 a)) a_6989586621681155145

sInsert :: forall a (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_6989586621681155020 = Apply (Apply (Apply (.@#@$) (Apply ListtakeSym0 n)) ToListSym0) a_6989586621681155020

sTake :: forall a (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_6989586621681155028 = Apply (Apply (Apply (.@#@$) (Apply ListdropSym0 n)) ToListSym0) a_6989586621681155028

sDrop :: forall a (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_6989586621681155036 = Apply (Apply (Apply (.@#@$) (Apply ListsplitAtSym0 n)) ToListSym0) a_6989586621681155036

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

type family TakeWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ... #

Equations

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

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

type family DropWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ... #

Equations

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

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

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

Equations

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

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

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

Equations

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

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

type family Filter (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ... #

Equations

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

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

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

Equations

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

sPartition :: forall a (t :: (~>) a Bool) (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_6989586621681154990 = Apply (Apply GroupBySym0 (==@#@$)) a_6989586621681154990

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

type family GroupBy (a :: (~>) a ((~>) a Bool)) (a :: [a]) :: [NonEmpty a] where ... #

Equations

GroupBy eq0 a_6989586621681154886 = Apply (Apply (Let6989586621681154890GoSym2 eq0 a_6989586621681154886) eq0) a_6989586621681154886

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

type family GroupWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ... #

Equations

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

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

type family GroupAllWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ... #

Equations

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

sGroupAllWith :: forall b a (t :: (~>) a b) (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_6989586621681154977 = Apply (Apply GroupBy1Sym0 (==@#@$)) a_6989586621681154977

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

type family GroupBy1 (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... #

Equations

GroupBy1 eq ((:|) x xs) = Apply (Apply (:|@#@$) (Apply (Apply (:|@#@$) x) (Let6989586621681154953YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621681154953ZsSym3 eq x xs))

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

type family GroupWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... #

Equations

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

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

type family GroupAllWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... #

Equations

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

sGroupAllWith1 :: forall b a (t :: (~>) a b) (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 '[] _ = TrueSym0
IsPrefixOf ((:) y ys) ((:\|) x xs) = Apply (Apply (&&@#@$) (Apply (Apply (==@#@$) y) x)) (Apply (Apply ListisPrefixOfSym0 ys) xs)

sIsPrefixOf :: forall a (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_6989586621681154803 = Apply (Apply NubBySym0 (==@#@$)) a_6989586621681154803

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

type family NubBy (a :: (~>) a ((~>) a Bool)) (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_6989586621681154795Sym0 eq) a) as)) as))

sNubBy :: forall a (t :: (~>) a ((~>) a Bool)) (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_6989586621681153590 !! arg_6989586621681153592 = Case_6989586621681154862 arg_6989586621681153590 arg_6989586621681153592 (Apply (Apply Tuple2Sym0 arg_6989586621681153590) arg_6989586621681153592)

(%!!) :: forall a (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 a b (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: NonEmpty (a, b)) #

type family ZipWith (a :: (~>) a ((~>) b c)) (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 a b c (t :: (~>) a ((~>) b c)) (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) (Let6989586621681154813AsSym3 a b asbs))) (Apply (Apply (:|@#@$) b) (Let6989586621681154813BsSym3 a b asbs))

sUnzip :: forall a b (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 a (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 a (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 a (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 (Let6989586621681155277Xor'Sym2 x xs)) x) xs

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

Defunctionalization symbols

data (:|@#@$) :: forall (a6989586621679070501 :: Type). (~>) a6989586621679070501 ((~>) [a6989586621679070501] (NonEmpty (a6989586621679070501 :: Type))) infixr 5 #

Instances

SingI ((:\|@#@$) :: TyFun a ([a] ~> NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (:\|@#@$) #
SuppressUnusedWarnings ((:\|@#@$) :: TyFun a6989586621679070501 ([a6989586621679070501] ~> NonEmpty a6989586621679070501) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () #
type Apply ((:\|@#@$) :: TyFun a6989586621679070501 ([a6989586621679070501] ~> NonEmpty a6989586621679070501) -> Type) (t6989586621679312508 :: a6989586621679070501) #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply ((:\|@#@$) :: TyFun a6989586621679070501 ([a6989586621679070501] ~> NonEmpty a6989586621679070501) -> Type) (t6989586621679312508 :: a6989586621679070501) = (:\|@#@$$) t6989586621679312508

data (:|@#@$$) (t6989586621679312508 :: (a6989586621679070501 :: Type)) :: (~>) [a6989586621679070501] (NonEmpty (a6989586621679070501 :: Type)) infixr 5 #

Instances

SingI d => SingI ((:\|@#@$$) d :: TyFun [a] (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing ((:\|@#@$$) d) #
SuppressUnusedWarnings ((:\|@#@$$) t6989586621679312508 :: TyFun [a6989586621679070501] (NonEmpty a6989586621679070501) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () #
type Apply ((:\|@#@$$) t6989586621679312508 :: TyFun [a] (NonEmpty a) -> Type) (t6989586621679312509 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply ((:\|@#@$$) t6989586621679312508 :: TyFun [a] (NonEmpty a) -> Type) (t6989586621679312509 :: [a]) = t6989586621679312508 :\| t6989586621679312509

type (:|@#@$$$) (t6989586621679312508 :: a6989586621679070501) (t6989586621679312509 :: [a6989586621679070501]) = (:|) t6989586621679312508 t6989586621679312509 #

data MapSym0 :: forall a6989586621681153384 b6989586621681153385. (~>) ((~>) a6989586621681153384 b6989586621681153385) ((~>) (NonEmpty a6989586621681153384) (NonEmpty b6989586621681153385)) #

Instances

SingI (MapSym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing MapSym0 #
SuppressUnusedWarnings (MapSym0 :: TyFun (a6989586621681153384 ~> b6989586621681153385) (NonEmpty a6989586621681153384 ~> NonEmpty b6989586621681153385) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (MapSym0 :: TyFun (a6989586621681153384 ~> b6989586621681153385) (NonEmpty a6989586621681153384 ~> NonEmpty b6989586621681153385) -> Type) (a6989586621681155005 :: a6989586621681153384 ~> b6989586621681153385) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (MapSym0 :: TyFun (a6989586621681153384 ~> b6989586621681153385) (NonEmpty a6989586621681153384 ~> NonEmpty b6989586621681153385) -> Type) (a6989586621681155005 :: a6989586621681153384 ~> b6989586621681153385) = MapSym1 a6989586621681155005

data MapSym1 (a6989586621681155005 :: (~>) a6989586621681153384 b6989586621681153385) :: (~>) (NonEmpty a6989586621681153384) (NonEmpty b6989586621681153385) #

Instances

SingI d => SingI (MapSym1 d :: TyFun (NonEmpty a) (NonEmpty b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (MapSym1 d) #
SuppressUnusedWarnings (MapSym1 a6989586621681155005 :: TyFun (NonEmpty a6989586621681153384) (NonEmpty b6989586621681153385) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (MapSym1 a6989586621681155005 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681155006 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (MapSym1 a6989586621681155005 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681155006 :: NonEmpty a) = Map a6989586621681155005 a6989586621681155006

type MapSym2 (a6989586621681155005 :: (~>) a6989586621681153384 b6989586621681153385) (a6989586621681155006 :: NonEmpty a6989586621681153384) = Map a6989586621681155005 a6989586621681155006 #

data IntersperseSym0 :: forall a6989586621681153374. (~>) a6989586621681153374 ((~>) (NonEmpty a6989586621681153374) (NonEmpty a6989586621681153374)) #

Instances

SingI (IntersperseSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing IntersperseSym0 #
SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621681153374 (NonEmpty a6989586621681153374 ~> NonEmpty a6989586621681153374) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (IntersperseSym0 :: TyFun a6989586621681153374 (NonEmpty a6989586621681153374 ~> NonEmpty a6989586621681153374) -> Type) (a6989586621681154995 :: a6989586621681153374) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IntersperseSym0 :: TyFun a6989586621681153374 (NonEmpty a6989586621681153374 ~> NonEmpty a6989586621681153374) -> Type) (a6989586621681154995 :: a6989586621681153374) = IntersperseSym1 a6989586621681154995

data IntersperseSym1 (a6989586621681154995 :: a6989586621681153374) :: (~>) (NonEmpty a6989586621681153374) (NonEmpty a6989586621681153374) #

Instances

SingI d => SingI (IntersperseSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (IntersperseSym1 d) #
SuppressUnusedWarnings (IntersperseSym1 a6989586621681154995 :: TyFun (NonEmpty a6989586621681153374) (NonEmpty a6989586621681153374) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (IntersperseSym1 a6989586621681154995 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681154996 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IntersperseSym1 a6989586621681154995 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681154996 :: NonEmpty a) = Intersperse a6989586621681154995 a6989586621681154996

type IntersperseSym2 (a6989586621681154995 :: a6989586621681153374) (a6989586621681154996 :: NonEmpty a6989586621681153374) = Intersperse a6989586621681154995 a6989586621681154996 #

data ScanlSym0 :: forall a6989586621681153380 b6989586621681153379. (~>) ((~>) b6989586621681153379 ((~>) a6989586621681153380 b6989586621681153379)) ((~>) b6989586621681153379 ((~>) [a6989586621681153380] (NonEmpty b6989586621681153379))) #

Instances

SingI (ScanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ScanlSym0 #
SuppressUnusedWarnings (ScanlSym0 :: TyFun (b6989586621681153379 ~> (a6989586621681153380 ~> b6989586621681153379)) (b6989586621681153379 ~> ([a6989586621681153380] ~> NonEmpty b6989586621681153379)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ScanlSym0 :: TyFun (b6989586621681153379 ~> (a6989586621681153380 ~> b6989586621681153379)) (b6989586621681153379 ~> ([a6989586621681153380] ~> NonEmpty b6989586621681153379)) -> Type) (a6989586621681155149 :: b6989586621681153379 ~> (a6989586621681153380 ~> b6989586621681153379)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym0 :: TyFun (b6989586621681153379 ~> (a6989586621681153380 ~> b6989586621681153379)) (b6989586621681153379 ~> ([a6989586621681153380] ~> NonEmpty b6989586621681153379)) -> Type) (a6989586621681155149 :: b6989586621681153379 ~> (a6989586621681153380 ~> b6989586621681153379)) = ScanlSym1 a6989586621681155149

data ScanlSym1 (a6989586621681155149 :: (~>) b6989586621681153379 ((~>) a6989586621681153380 b6989586621681153379)) :: (~>) b6989586621681153379 ((~>) [a6989586621681153380] (NonEmpty b6989586621681153379)) #

Instances

SingI d => SingI (ScanlSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ScanlSym1 d) #
SuppressUnusedWarnings (ScanlSym1 a6989586621681155149 :: TyFun b6989586621681153379 ([a6989586621681153380] ~> NonEmpty b6989586621681153379) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ScanlSym1 a6989586621681155149 :: TyFun b6989586621681153379 ([a6989586621681153380] ~> NonEmpty b6989586621681153379) -> Type) (a6989586621681155150 :: b6989586621681153379) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym1 a6989586621681155149 :: TyFun b6989586621681153379 ([a6989586621681153380] ~> NonEmpty b6989586621681153379) -> Type) (a6989586621681155150 :: b6989586621681153379) = ScanlSym2 a6989586621681155149 a6989586621681155150

data ScanlSym2 (a6989586621681155149 :: (~>) b6989586621681153379 ((~>) a6989586621681153380 b6989586621681153379)) (a6989586621681155150 :: b6989586621681153379) :: (~>) [a6989586621681153380] (NonEmpty b6989586621681153379) #

Instances

(SingI d1, SingI d2) => SingI (ScanlSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ScanlSym2 d1 d2) #
SuppressUnusedWarnings (ScanlSym2 a6989586621681155150 a6989586621681155149 :: TyFun [a6989586621681153380] (NonEmpty b6989586621681153379) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ScanlSym2 a6989586621681155150 a6989586621681155149 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681155151 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym2 a6989586621681155150 a6989586621681155149 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681155151 :: [a]) = Scanl a6989586621681155150 a6989586621681155149 a6989586621681155151

type ScanlSym3 (a6989586621681155149 :: (~>) b6989586621681153379 ((~>) a6989586621681153380 b6989586621681153379)) (a6989586621681155150 :: b6989586621681153379) (a6989586621681155151 :: [a6989586621681153380]) = Scanl a6989586621681155149 a6989586621681155150 a6989586621681155151 #

data ScanrSym0 :: forall a6989586621681153377 b6989586621681153378. (~>) ((~>) a6989586621681153377 ((~>) b6989586621681153378 b6989586621681153378)) ((~>) b6989586621681153378 ((~>) [a6989586621681153377] (NonEmpty b6989586621681153378))) #

Instances

SingI (ScanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ScanrSym0 #
SuppressUnusedWarnings (ScanrSym0 :: TyFun (a6989586621681153377 ~> (b6989586621681153378 ~> b6989586621681153378)) (b6989586621681153378 ~> ([a6989586621681153377] ~> NonEmpty b6989586621681153378)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ScanrSym0 :: TyFun (a6989586621681153377 ~> (b6989586621681153378 ~> b6989586621681153378)) (b6989586621681153378 ~> ([a6989586621681153377] ~> NonEmpty b6989586621681153378)) -> Type) (a6989586621681155160 :: a6989586621681153377 ~> (b6989586621681153378 ~> b6989586621681153378)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym0 :: TyFun (a6989586621681153377 ~> (b6989586621681153378 ~> b6989586621681153378)) (b6989586621681153378 ~> ([a6989586621681153377] ~> NonEmpty b6989586621681153378)) -> Type) (a6989586621681155160 :: a6989586621681153377 ~> (b6989586621681153378 ~> b6989586621681153378)) = ScanrSym1 a6989586621681155160

data ScanrSym1 (a6989586621681155160 :: (~>) a6989586621681153377 ((~>) b6989586621681153378 b6989586621681153378)) :: (~>) b6989586621681153378 ((~>) [a6989586621681153377] (NonEmpty b6989586621681153378)) #

Instances

SingI d => SingI (ScanrSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ScanrSym1 d) #
SuppressUnusedWarnings (ScanrSym1 a6989586621681155160 :: TyFun b6989586621681153378 ([a6989586621681153377] ~> NonEmpty b6989586621681153378) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ScanrSym1 a6989586621681155160 :: TyFun b6989586621681153378 ([a6989586621681153377] ~> NonEmpty b6989586621681153378) -> Type) (a6989586621681155161 :: b6989586621681153378) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym1 a6989586621681155160 :: TyFun b6989586621681153378 ([a6989586621681153377] ~> NonEmpty b6989586621681153378) -> Type) (a6989586621681155161 :: b6989586621681153378) = ScanrSym2 a6989586621681155160 a6989586621681155161

data ScanrSym2 (a6989586621681155160 :: (~>) a6989586621681153377 ((~>) b6989586621681153378 b6989586621681153378)) (a6989586621681155161 :: b6989586621681153378) :: (~>) [a6989586621681153377] (NonEmpty b6989586621681153378) #

Instances

(SingI d1, SingI d2) => SingI (ScanrSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ScanrSym2 d1 d2) #
SuppressUnusedWarnings (ScanrSym2 a6989586621681155161 a6989586621681155160 :: TyFun [a6989586621681153377] (NonEmpty b6989586621681153378) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ScanrSym2 a6989586621681155161 a6989586621681155160 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681155162 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym2 a6989586621681155161 a6989586621681155160 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681155162 :: [a]) = Scanr a6989586621681155161 a6989586621681155160 a6989586621681155162

type ScanrSym3 (a6989586621681155160 :: (~>) a6989586621681153377 ((~>) b6989586621681153378 b6989586621681153378)) (a6989586621681155161 :: b6989586621681153378) (a6989586621681155162 :: [a6989586621681153377]) = Scanr a6989586621681155160 a6989586621681155161 a6989586621681155162 #

data Scanl1Sym0 :: forall a6989586621681153376. (~>) ((~>) a6989586621681153376 ((~>) a6989586621681153376 a6989586621681153376)) ((~>) (NonEmpty a6989586621681153376) (NonEmpty a6989586621681153376)) #

Instances

SingI (Scanl1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing Scanl1Sym0 #
SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (a6989586621681153376 ~> (a6989586621681153376 ~> a6989586621681153376)) (NonEmpty a6989586621681153376 ~> NonEmpty a6989586621681153376) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (Scanl1Sym0 :: TyFun (a6989586621681153376 ~> (a6989586621681153376 ~> a6989586621681153376)) (NonEmpty a6989586621681153376 ~> NonEmpty a6989586621681153376) -> Type) (a6989586621681155171 :: a6989586621681153376 ~> (a6989586621681153376 ~> a6989586621681153376)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanl1Sym0 :: TyFun (a6989586621681153376 ~> (a6989586621681153376 ~> a6989586621681153376)) (NonEmpty a6989586621681153376 ~> NonEmpty a6989586621681153376) -> Type) (a6989586621681155171 :: a6989586621681153376 ~> (a6989586621681153376 ~> a6989586621681153376)) = Scanl1Sym1 a6989586621681155171

data Scanl1Sym1 (a6989586621681155171 :: (~>) a6989586621681153376 ((~>) a6989586621681153376 a6989586621681153376)) :: (~>) (NonEmpty a6989586621681153376) (NonEmpty a6989586621681153376) #

Instances

SingI d => SingI (Scanl1Sym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (Scanl1Sym1 d) #
SuppressUnusedWarnings (Scanl1Sym1 a6989586621681155171 :: TyFun (NonEmpty a6989586621681153376) (NonEmpty a6989586621681153376) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (Scanl1Sym1 a6989586621681155171 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155172 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanl1Sym1 a6989586621681155171 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155172 :: NonEmpty a) = Scanl1 a6989586621681155171 a6989586621681155172

type Scanl1Sym2 (a6989586621681155171 :: (~>) a6989586621681153376 ((~>) a6989586621681153376 a6989586621681153376)) (a6989586621681155172 :: NonEmpty a6989586621681153376) = Scanl1 a6989586621681155171 a6989586621681155172 #

data Scanr1Sym0 :: forall a6989586621681153375. (~>) ((~>) a6989586621681153375 ((~>) a6989586621681153375 a6989586621681153375)) ((~>) (NonEmpty a6989586621681153375) (NonEmpty a6989586621681153375)) #

Instances

SingI (Scanr1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing Scanr1Sym0 #
SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (a6989586621681153375 ~> (a6989586621681153375 ~> a6989586621681153375)) (NonEmpty a6989586621681153375 ~> NonEmpty a6989586621681153375) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (Scanr1Sym0 :: TyFun (a6989586621681153375 ~> (a6989586621681153375 ~> a6989586621681153375)) (NonEmpty a6989586621681153375 ~> NonEmpty a6989586621681153375) -> Type) (a6989586621681155178 :: a6989586621681153375 ~> (a6989586621681153375 ~> a6989586621681153375)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanr1Sym0 :: TyFun (a6989586621681153375 ~> (a6989586621681153375 ~> a6989586621681153375)) (NonEmpty a6989586621681153375 ~> NonEmpty a6989586621681153375) -> Type) (a6989586621681155178 :: a6989586621681153375 ~> (a6989586621681153375 ~> a6989586621681153375)) = Scanr1Sym1 a6989586621681155178

data Scanr1Sym1 (a6989586621681155178 :: (~>) a6989586621681153375 ((~>) a6989586621681153375 a6989586621681153375)) :: (~>) (NonEmpty a6989586621681153375) (NonEmpty a6989586621681153375) #

Instances

SingI d => SingI (Scanr1Sym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (Scanr1Sym1 d) #
SuppressUnusedWarnings (Scanr1Sym1 a6989586621681155178 :: TyFun (NonEmpty a6989586621681153375) (NonEmpty a6989586621681153375) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (Scanr1Sym1 a6989586621681155178 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155179 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanr1Sym1 a6989586621681155178 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155179 :: NonEmpty a) = Scanr1 a6989586621681155178 a6989586621681155179

type Scanr1Sym2 (a6989586621681155178 :: (~>) a6989586621681153375 ((~>) a6989586621681153375 a6989586621681153375)) (a6989586621681155179 :: NonEmpty a6989586621681153375) = Scanr1 a6989586621681155178 a6989586621681155179 #

data TransposeSym0 :: forall a6989586621681153340. (~>) (NonEmpty (NonEmpty a6989586621681153340)) (NonEmpty (NonEmpty a6989586621681153340)) #

Instances

SingI (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing TransposeSym0 #
SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621681153340)) (NonEmpty (NonEmpty a6989586621681153340)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681155298 :: NonEmpty (NonEmpty a)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681155298 :: NonEmpty (NonEmpty a)) = Transpose a6989586621681155298

type TransposeSym1 (a6989586621681155298 :: NonEmpty (NonEmpty a6989586621681153340)) = Transpose a6989586621681155298 #

data SortBySym0 :: forall a6989586621681153339. (~>) ((~>) a6989586621681153339 ((~>) a6989586621681153339 Ordering)) ((~>) (NonEmpty a6989586621681153339) (NonEmpty a6989586621681153339)) #

Instances

SingI (SortBySym0 :: TyFun (a ~> (a ~> Ordering)) (NonEmpty a ~> NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing SortBySym0 #
SuppressUnusedWarnings (SortBySym0 :: TyFun (a6989586621681153339 ~> (a6989586621681153339 ~> Ordering)) (NonEmpty a6989586621681153339 ~> NonEmpty a6989586621681153339) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SortBySym0 :: TyFun (a6989586621681153339 ~> (a6989586621681153339 ~> Ordering)) (NonEmpty a6989586621681153339 ~> NonEmpty a6989586621681153339) -> Type) (a6989586621681155105 :: a6989586621681153339 ~> (a6989586621681153339 ~> Ordering)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortBySym0 :: TyFun (a6989586621681153339 ~> (a6989586621681153339 ~> Ordering)) (NonEmpty a6989586621681153339 ~> NonEmpty a6989586621681153339) -> Type) (a6989586621681155105 :: a6989586621681153339 ~> (a6989586621681153339 ~> Ordering)) = SortBySym1 a6989586621681155105

data SortBySym1 (a6989586621681155105 :: (~>) a6989586621681153339 ((~>) a6989586621681153339 Ordering)) :: (~>) (NonEmpty a6989586621681153339) (NonEmpty a6989586621681153339) #

Instances

SingI d => SingI (SortBySym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (SortBySym1 d) #
SuppressUnusedWarnings (SortBySym1 a6989586621681155105 :: TyFun (NonEmpty a6989586621681153339) (NonEmpty a6989586621681153339) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SortBySym1 a6989586621681155105 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155106 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortBySym1 a6989586621681155105 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155106 :: NonEmpty a) = SortBy a6989586621681155105 a6989586621681155106

type SortBySym2 (a6989586621681155105 :: (~>) a6989586621681153339 ((~>) a6989586621681153339 Ordering)) (a6989586621681155106 :: NonEmpty a6989586621681153339) = SortBy a6989586621681155105 a6989586621681155106 #

data SortWithSym0 :: forall a6989586621681153338 o6989586621681153337. (~>) ((~>) a6989586621681153338 o6989586621681153337) ((~>) (NonEmpty a6989586621681153338) (NonEmpty a6989586621681153338)) #

Instances

SOrd o => SingI (SortWithSym0 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing SortWithSym0 #
SuppressUnusedWarnings (SortWithSym0 :: TyFun (a6989586621681153338 ~> o6989586621681153337) (NonEmpty a6989586621681153338 ~> NonEmpty a6989586621681153338) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SortWithSym0 :: TyFun (a6989586621681153338 ~> o6989586621681153337) (NonEmpty a6989586621681153338 ~> NonEmpty a6989586621681153338) -> Type) (a6989586621681155117 :: a6989586621681153338 ~> o6989586621681153337) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortWithSym0 :: TyFun (a6989586621681153338 ~> o6989586621681153337) (NonEmpty a6989586621681153338 ~> NonEmpty a6989586621681153338) -> Type) (a6989586621681155117 :: a6989586621681153338 ~> o6989586621681153337) = SortWithSym1 a6989586621681155117

data SortWithSym1 (a6989586621681155117 :: (~>) a6989586621681153338 o6989586621681153337) :: (~>) (NonEmpty a6989586621681153338) (NonEmpty a6989586621681153338) #

Instances

(SOrd o, SingI d) => SingI (SortWithSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (SortWithSym1 d) #
SuppressUnusedWarnings (SortWithSym1 a6989586621681155117 :: TyFun (NonEmpty a6989586621681153338) (NonEmpty a6989586621681153338) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SortWithSym1 a6989586621681155117 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155118 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortWithSym1 a6989586621681155117 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155118 :: NonEmpty a) = SortWith a6989586621681155117 a6989586621681155118

type SortWithSym2 (a6989586621681155117 :: (~>) a6989586621681153338 o6989586621681153337) (a6989586621681155118 :: NonEmpty a6989586621681153338) = SortWith a6989586621681155117 a6989586621681155118 #

data LengthSym0 :: forall a6989586621681153403. (~>) (NonEmpty a6989586621681153403) Nat #

Instances

SingI (LengthSym0 :: TyFun (NonEmpty a) Nat -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing LengthSym0 #
SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a6989586621681153403) Nat -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> Type) (a6989586621681155286 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> Type) (a6989586621681155286 :: NonEmpty a) = Length a6989586621681155286

type LengthSym1 (a6989586621681155286 :: NonEmpty a6989586621681153403) = Length a6989586621681155286 #

data HeadSym0 :: forall a6989586621681153396. (~>) (NonEmpty a6989586621681153396) a6989586621681153396 #

Instances

SingI (HeadSym0 :: TyFun (NonEmpty a) a -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing HeadSym0 #
SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a6989586621681153396) a6989586621681153396 -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681155218 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681155218 :: NonEmpty a) = Head a6989586621681155218

type HeadSym1 (a6989586621681155218 :: NonEmpty a6989586621681153396) = Head a6989586621681155218 #

data TailSym0 :: forall a6989586621681153395. (~>) (NonEmpty a6989586621681153395) [a6989586621681153395] #

Instances

SingI (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing TailSym0 #
SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a6989586621681153395) [a6989586621681153395] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155215 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155215 :: NonEmpty a) = Tail a6989586621681155215

type TailSym1 (a6989586621681155215 :: NonEmpty a6989586621681153395) = Tail a6989586621681155215 #

data LastSym0 :: forall a6989586621681153394. (~>) (NonEmpty a6989586621681153394) a6989586621681153394 #

Instances

SingI (LastSym0 :: TyFun (NonEmpty a) a -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing LastSym0 #
SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a6989586621681153394) a6989586621681153394 -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (LastSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681155211 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (LastSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681155211 :: NonEmpty a) = Last a6989586621681155211

type LastSym1 (a6989586621681155211 :: NonEmpty a6989586621681153394) = Last a6989586621681155211 #

data InitSym0 :: forall a6989586621681153393. (~>) (NonEmpty a6989586621681153393) [a6989586621681153393] #

Instances

SingI (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing InitSym0 #
SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a6989586621681153393) [a6989586621681153393] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155207 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155207 :: NonEmpty a) = Init a6989586621681155207

type InitSym1 (a6989586621681155207 :: NonEmpty a6989586621681153393) = Init a6989586621681155207 #

data (<|@#@$) :: forall a6989586621681153392. (~>) a6989586621681153392 ((~>) (NonEmpty a6989586621681153392) (NonEmpty a6989586621681153392)) #

Instances

SingI ((<\|@#@$) :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (<\|@#@$) #
SuppressUnusedWarnings ((<\|@#@$) :: TyFun a6989586621681153392 (NonEmpty a6989586621681153392 ~> NonEmpty a6989586621681153392) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply ((<\|@#@$) :: TyFun a6989586621681153392 (NonEmpty a6989586621681153392 ~> NonEmpty a6989586621681153392) -> Type) (a6989586621681155190 :: a6989586621681153392) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((<\|@#@$) :: TyFun a6989586621681153392 (NonEmpty a6989586621681153392 ~> NonEmpty a6989586621681153392) -> Type) (a6989586621681155190 :: a6989586621681153392) = (<\|@#@$$) a6989586621681155190

data (<|@#@$$) (a6989586621681155190 :: a6989586621681153392) :: (~>) (NonEmpty a6989586621681153392) (NonEmpty a6989586621681153392) #

Instances

SingI d => SingI ((<\|@#@$$) d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ((<\|@#@$$) d) #
SuppressUnusedWarnings ((<\|@#@$$) a6989586621681155190 :: TyFun (NonEmpty a6989586621681153392) (NonEmpty a6989586621681153392) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply ((<\|@#@$$) a6989586621681155190 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155191 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((<\|@#@$$) a6989586621681155190 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155191 :: NonEmpty a) = a6989586621681155190 <\| a6989586621681155191

type (<|@#@$$$) (a6989586621681155190 :: a6989586621681153392) (a6989586621681155191 :: NonEmpty a6989586621681153392) = (<|) a6989586621681155190 a6989586621681155191 #

data ConsSym0 :: forall a6989586621681153391. (~>) a6989586621681153391 ((~>) (NonEmpty a6989586621681153391) (NonEmpty a6989586621681153391)) #

Instances

SingI (ConsSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ConsSym0 #
SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621681153391 (NonEmpty a6989586621681153391 ~> NonEmpty a6989586621681153391) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ConsSym0 :: TyFun a6989586621681153391 (NonEmpty a6989586621681153391 ~> NonEmpty a6989586621681153391) -> Type) (a6989586621681155201 :: a6989586621681153391) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ConsSym0 :: TyFun a6989586621681153391 (NonEmpty a6989586621681153391 ~> NonEmpty a6989586621681153391) -> Type) (a6989586621681155201 :: a6989586621681153391) = ConsSym1 a6989586621681155201

data ConsSym1 (a6989586621681155201 :: a6989586621681153391) :: (~>) (NonEmpty a6989586621681153391) (NonEmpty a6989586621681153391) #

Instances

SingI d => SingI (ConsSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ConsSym1 d) #
SuppressUnusedWarnings (ConsSym1 a6989586621681155201 :: TyFun (NonEmpty a6989586621681153391) (NonEmpty a6989586621681153391) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ConsSym1 a6989586621681155201 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155202 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ConsSym1 a6989586621681155201 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155202 :: NonEmpty a) = Cons a6989586621681155201 a6989586621681155202

type ConsSym2 (a6989586621681155201 :: a6989586621681153391) (a6989586621681155202 :: NonEmpty a6989586621681153391) = Cons a6989586621681155201 a6989586621681155202 #

data UnconsSym0 :: forall a6989586621681153399. (~>) (NonEmpty a6989586621681153399) (a6989586621681153399, Maybe (NonEmpty a6989586621681153399)) #

Instances

SingI (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing UnconsSym0 #
SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621681153399) (a6989586621681153399, Maybe (NonEmpty a6989586621681153399)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) (a6989586621681155254 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) (a6989586621681155254 :: NonEmpty a) = Uncons a6989586621681155254

type UnconsSym1 (a6989586621681155254 :: NonEmpty a6989586621681153399) = Uncons a6989586621681155254 #

data UnfoldrSym0 :: forall a6989586621681153397 b6989586621681153398. (~>) ((~>) a6989586621681153397 (b6989586621681153398, Maybe a6989586621681153397)) ((~>) a6989586621681153397 (NonEmpty b6989586621681153398)) #

Instances

SingI (UnfoldrSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing UnfoldrSym0 #
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (a6989586621681153397 ~> (b6989586621681153398, Maybe a6989586621681153397)) (a6989586621681153397 ~> NonEmpty b6989586621681153398) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (UnfoldrSym0 :: TyFun (a6989586621681153397 ~> (b6989586621681153398, Maybe a6989586621681153397)) (a6989586621681153397 ~> NonEmpty b6989586621681153398) -> Type) (a6989586621681155221 :: a6989586621681153397 ~> (b6989586621681153398, Maybe a6989586621681153397)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldrSym0 :: TyFun (a6989586621681153397 ~> (b6989586621681153398, Maybe a6989586621681153397)) (a6989586621681153397 ~> NonEmpty b6989586621681153398) -> Type) (a6989586621681155221 :: a6989586621681153397 ~> (b6989586621681153398, Maybe a6989586621681153397)) = UnfoldrSym1 a6989586621681155221

data UnfoldrSym1 (a6989586621681155221 :: (~>) a6989586621681153397 (b6989586621681153398, Maybe a6989586621681153397)) :: (~>) a6989586621681153397 (NonEmpty b6989586621681153398) #

Instances

SingI d => SingI (UnfoldrSym1 d :: TyFun a (NonEmpty b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (UnfoldrSym1 d) #
SuppressUnusedWarnings (UnfoldrSym1 a6989586621681155221 :: TyFun a6989586621681153397 (NonEmpty b6989586621681153398) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (UnfoldrSym1 a6989586621681155221 :: TyFun a (NonEmpty b) -> Type) (a6989586621681155222 :: a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldrSym1 a6989586621681155221 :: TyFun a (NonEmpty b) -> Type) (a6989586621681155222 :: a) = Unfoldr a6989586621681155221 a6989586621681155222

type UnfoldrSym2 (a6989586621681155221 :: (~>) a6989586621681153397 (b6989586621681153398, Maybe a6989586621681153397)) (a6989586621681155222 :: a6989586621681153397) = Unfoldr a6989586621681155221 a6989586621681155222 #

data SortSym0 :: forall a6989586621681153390. (~>) (NonEmpty a6989586621681153390) (NonEmpty a6989586621681153390) #

Instances

SOrd a => SingI (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing SortSym0 #
SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621681153390) (NonEmpty a6989586621681153390) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155187 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155187 :: NonEmpty a) = Sort a6989586621681155187

type SortSym1 (a6989586621681155187 :: NonEmpty a6989586621681153390) = Sort a6989586621681155187 #

data ReverseSym0 :: forall a6989586621681153373. (~>) (NonEmpty a6989586621681153373) (NonEmpty a6989586621681153373) #

Instances

SingI (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ReverseSym0 #
SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a6989586621681153373) (NonEmpty a6989586621681153373) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155102 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155102 :: NonEmpty a) = Reverse a6989586621681155102

type ReverseSym1 (a6989586621681155102 :: NonEmpty a6989586621681153373) = Reverse a6989586621681155102 #

data InitsSym0 :: forall a6989586621681153383. (~>) [a6989586621681153383] (NonEmpty [a6989586621681153383]) #

Instances

SingI (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing InitsSym0 #
SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621681153383] (NonEmpty [a6989586621681153383]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681155133 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681155133 :: [a]) = Inits a6989586621681155133

type InitsSym1 (a6989586621681155133 :: [a6989586621681153383]) = Inits a6989586621681155133 #

data TailsSym0 :: forall a6989586621681153382. (~>) [a6989586621681153382] (NonEmpty [a6989586621681153382]) #

Instances

SingI (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing TailsSym0 #
SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621681153382] (NonEmpty [a6989586621681153382]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681155138 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681155138 :: [a]) = Tails a6989586621681155138

type TailsSym1 (a6989586621681155138 :: [a6989586621681153382]) = Tails a6989586621681155138 #

data UnfoldSym0 :: forall a6989586621681153401 b6989586621681153402. (~>) ((~>) a6989586621681153401 (b6989586621681153402, Maybe a6989586621681153401)) ((~>) a6989586621681153401 (NonEmpty b6989586621681153402)) #

Instances

SingI (UnfoldSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing UnfoldSym0 #
SuppressUnusedWarnings (UnfoldSym0 :: TyFun (a6989586621681153401 ~> (b6989586621681153402, Maybe a6989586621681153401)) (a6989586621681153401 ~> NonEmpty b6989586621681153402) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (UnfoldSym0 :: TyFun (a6989586621681153401 ~> (b6989586621681153402, Maybe a6989586621681153401)) (a6989586621681153401 ~> NonEmpty b6989586621681153402) -> Type) (a6989586621681155258 :: a6989586621681153401 ~> (b6989586621681153402, Maybe a6989586621681153401)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldSym0 :: TyFun (a6989586621681153401 ~> (b6989586621681153402, Maybe a6989586621681153401)) (a6989586621681153401 ~> NonEmpty b6989586621681153402) -> Type) (a6989586621681155258 :: a6989586621681153401 ~> (b6989586621681153402, Maybe a6989586621681153401)) = UnfoldSym1 a6989586621681155258

data UnfoldSym1 (a6989586621681155258 :: (~>) a6989586621681153401 (b6989586621681153402, Maybe a6989586621681153401)) :: (~>) a6989586621681153401 (NonEmpty b6989586621681153402) #

Instances

SingI d => SingI (UnfoldSym1 d :: TyFun a (NonEmpty b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (UnfoldSym1 d) #
SuppressUnusedWarnings (UnfoldSym1 a6989586621681155258 :: TyFun a6989586621681153401 (NonEmpty b6989586621681153402) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (UnfoldSym1 a6989586621681155258 :: TyFun a (NonEmpty b) -> Type) (a6989586621681155259 :: a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldSym1 a6989586621681155258 :: TyFun a (NonEmpty b) -> Type) (a6989586621681155259 :: a) = Unfold a6989586621681155258 a6989586621681155259

data InsertSym0 :: forall a6989586621681153381. (~>) a6989586621681153381 ((~>) [a6989586621681153381] (NonEmpty a6989586621681153381)) #

Instances

SOrd a => SingI (InsertSym0 :: TyFun a ([a] ~> NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing InsertSym0 #
SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621681153381 ([a6989586621681153381] ~> NonEmpty a6989586621681153381) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (InsertSym0 :: TyFun a6989586621681153381 ([a6989586621681153381] ~> NonEmpty a6989586621681153381) -> Type) (a6989586621681155141 :: a6989586621681153381) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InsertSym0 :: TyFun a6989586621681153381 ([a6989586621681153381] ~> NonEmpty a6989586621681153381) -> Type) (a6989586621681155141 :: a6989586621681153381) = InsertSym1 a6989586621681155141

data InsertSym1 (a6989586621681155141 :: a6989586621681153381) :: (~>) [a6989586621681153381] (NonEmpty a6989586621681153381) #

Instances

(SOrd a, SingI d) => SingI (InsertSym1 d :: TyFun [a] (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (InsertSym1 d) #
SuppressUnusedWarnings (InsertSym1 a6989586621681155141 :: TyFun [a6989586621681153381] (NonEmpty a6989586621681153381) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (InsertSym1 a6989586621681155141 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681155142 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InsertSym1 a6989586621681155141 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681155142 :: [a]) = Insert a6989586621681155141 a6989586621681155142

type InsertSym2 (a6989586621681155141 :: a6989586621681153381) (a6989586621681155142 :: [a6989586621681153381]) = Insert a6989586621681155141 a6989586621681155142 #

data TakeSym0 :: forall a6989586621681153372. (~>) Nat ((~>) (NonEmpty a6989586621681153372) [a6989586621681153372]) #

Instances

SingI (TakeSym0 :: TyFun Nat (NonEmpty a ~> [a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing TakeSym0 #
SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681153372 ~> [a6989586621681153372]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681153372 ~> [a6989586621681153372]) -> Type) (a6989586621681155016 :: Nat) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681153372 ~> [a6989586621681153372]) -> Type) (a6989586621681155016 :: Nat) = (TakeSym1 a6989586621681155016 a6989586621681153372 :: TyFun (NonEmpty a6989586621681153372) [a6989586621681153372] -> Type)

data TakeSym1 (a6989586621681155016 :: Nat) :: forall a6989586621681153372. (~>) (NonEmpty a6989586621681153372) [a6989586621681153372] #

Instances

SingI d => SingI (TakeSym1 d a :: TyFun (NonEmpty a) [a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (TakeSym1 d a) #
SuppressUnusedWarnings (TakeSym1 a6989586621681155016 a6989586621681153372 :: TyFun (NonEmpty a6989586621681153372) [a6989586621681153372] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TakeSym1 a6989586621681155016 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155017 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeSym1 a6989586621681155016 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155017 :: NonEmpty a) = Take a6989586621681155016 a6989586621681155017

type TakeSym2 (a6989586621681155016 :: Nat) (a6989586621681155017 :: NonEmpty a6989586621681153372) = Take a6989586621681155016 a6989586621681155017 #

data DropSym0 :: forall a6989586621681153371. (~>) Nat ((~>) (NonEmpty a6989586621681153371) [a6989586621681153371]) #

Instances

SingI (DropSym0 :: TyFun Nat (NonEmpty a ~> [a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing DropSym0 #
SuppressUnusedWarnings (DropSym0 :: TyFun Nat (NonEmpty a6989586621681153371 ~> [a6989586621681153371]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (DropSym0 :: TyFun Nat (NonEmpty a6989586621681153371 ~> [a6989586621681153371]) -> Type) (a6989586621681155024 :: Nat) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropSym0 :: TyFun Nat (NonEmpty a6989586621681153371 ~> [a6989586621681153371]) -> Type) (a6989586621681155024 :: Nat) = (DropSym1 a6989586621681155024 a6989586621681153371 :: TyFun (NonEmpty a6989586621681153371) [a6989586621681153371] -> Type)

data DropSym1 (a6989586621681155024 :: Nat) :: forall a6989586621681153371. (~>) (NonEmpty a6989586621681153371) [a6989586621681153371] #

Instances

SingI d => SingI (DropSym1 d a :: TyFun (NonEmpty a) [a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (DropSym1 d a) #
SuppressUnusedWarnings (DropSym1 a6989586621681155024 a6989586621681153371 :: TyFun (NonEmpty a6989586621681153371) [a6989586621681153371] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (DropSym1 a6989586621681155024 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155025 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropSym1 a6989586621681155024 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155025 :: NonEmpty a) = Drop a6989586621681155024 a6989586621681155025

type DropSym2 (a6989586621681155024 :: Nat) (a6989586621681155025 :: NonEmpty a6989586621681153371) = Drop a6989586621681155024 a6989586621681155025 #

data SplitAtSym0 :: forall a6989586621681153370. (~>) Nat ((~>) (NonEmpty a6989586621681153370) ([a6989586621681153370], [a6989586621681153370])) #

Instances

SingI (SplitAtSym0 :: TyFun Nat (NonEmpty a ~> ([a], [a])) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing SplitAtSym0 #
SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681153370 ~> ([a6989586621681153370], [a6989586621681153370])) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681153370 ~> ([a6989586621681153370], [a6989586621681153370])) -> Type) (a6989586621681155032 :: Nat) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681153370 ~> ([a6989586621681153370], [a6989586621681153370])) -> Type) (a6989586621681155032 :: Nat) = (SplitAtSym1 a6989586621681155032 a6989586621681153370 :: TyFun (NonEmpty a6989586621681153370) ([a6989586621681153370], [a6989586621681153370]) -> Type)

data SplitAtSym1 (a6989586621681155032 :: Nat) :: forall a6989586621681153370. (~>) (NonEmpty a6989586621681153370) ([a6989586621681153370], [a6989586621681153370]) #

Instances

SingI d => SingI (SplitAtSym1 d a :: TyFun (NonEmpty a) ([a], [a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (SplitAtSym1 d a) #
SuppressUnusedWarnings (SplitAtSym1 a6989586621681155032 a6989586621681153370 :: TyFun (NonEmpty a6989586621681153370) ([a6989586621681153370], [a6989586621681153370]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SplitAtSym1 a6989586621681155032 a :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681155033 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SplitAtSym1 a6989586621681155032 a :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681155033 :: NonEmpty a) = SplitAt a6989586621681155032 a6989586621681155033

type SplitAtSym2 (a6989586621681155032 :: Nat) (a6989586621681155033 :: NonEmpty a6989586621681153370) = SplitAt a6989586621681155032 a6989586621681155033 #

data TakeWhileSym0 :: forall a6989586621681153369. (~>) ((~>) a6989586621681153369 Bool) ((~>) (NonEmpty a6989586621681153369) [a6989586621681153369]) #

Instances

SingI (TakeWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing TakeWhileSym0 #
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a6989586621681153369 ~> Bool) (NonEmpty a6989586621681153369 ~> [a6989586621681153369]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TakeWhileSym0 :: TyFun (a6989586621681153369 ~> Bool) (NonEmpty a6989586621681153369 ~> [a6989586621681153369]) -> Type) (a6989586621681155040 :: a6989586621681153369 ~> Bool) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeWhileSym0 :: TyFun (a6989586621681153369 ~> Bool) (NonEmpty a6989586621681153369 ~> [a6989586621681153369]) -> Type) (a6989586621681155040 :: a6989586621681153369 ~> Bool) = TakeWhileSym1 a6989586621681155040

data TakeWhileSym1 (a6989586621681155040 :: (~>) a6989586621681153369 Bool) :: (~>) (NonEmpty a6989586621681153369) [a6989586621681153369] #

Instances

SingI d => SingI (TakeWhileSym1 d :: TyFun (NonEmpty a) [a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (TakeWhileSym1 d) #
SuppressUnusedWarnings (TakeWhileSym1 a6989586621681155040 :: TyFun (NonEmpty a6989586621681153369) [a6989586621681153369] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TakeWhileSym1 a6989586621681155040 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155041 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeWhileSym1 a6989586621681155040 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155041 :: NonEmpty a) = TakeWhile a6989586621681155040 a6989586621681155041

type TakeWhileSym2 (a6989586621681155040 :: (~>) a6989586621681153369 Bool) (a6989586621681155041 :: NonEmpty a6989586621681153369) = TakeWhile a6989586621681155040 a6989586621681155041 #

data DropWhileSym0 :: forall a6989586621681153368. (~>) ((~>) a6989586621681153368 Bool) ((~>) (NonEmpty a6989586621681153368) [a6989586621681153368]) #

Instances

SingI (DropWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing DropWhileSym0 #
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a6989586621681153368 ~> Bool) (NonEmpty a6989586621681153368 ~> [a6989586621681153368]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (DropWhileSym0 :: TyFun (a6989586621681153368 ~> Bool) (NonEmpty a6989586621681153368 ~> [a6989586621681153368]) -> Type) (a6989586621681155048 :: a6989586621681153368 ~> Bool) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropWhileSym0 :: TyFun (a6989586621681153368 ~> Bool) (NonEmpty a6989586621681153368 ~> [a6989586621681153368]) -> Type) (a6989586621681155048 :: a6989586621681153368 ~> Bool) = DropWhileSym1 a6989586621681155048

data DropWhileSym1 (a6989586621681155048 :: (~>) a6989586621681153368 Bool) :: (~>) (NonEmpty a6989586621681153368) [a6989586621681153368] #

Instances

SingI d => SingI (DropWhileSym1 d :: TyFun (NonEmpty a) [a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (DropWhileSym1 d) #
SuppressUnusedWarnings (DropWhileSym1 a6989586621681155048 :: TyFun (NonEmpty a6989586621681153368) [a6989586621681153368] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (DropWhileSym1 a6989586621681155048 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155049 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropWhileSym1 a6989586621681155048 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155049 :: NonEmpty a) = DropWhile a6989586621681155048 a6989586621681155049

type DropWhileSym2 (a6989586621681155048 :: (~>) a6989586621681153368 Bool) (a6989586621681155049 :: NonEmpty a6989586621681153368) = DropWhile a6989586621681155048 a6989586621681155049 #

data SpanSym0 :: forall a6989586621681153367. (~>) ((~>) a6989586621681153367 Bool) ((~>) (NonEmpty a6989586621681153367) ([a6989586621681153367], [a6989586621681153367])) #

Instances

SingI (SpanSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing SpanSym0 #
SuppressUnusedWarnings (SpanSym0 :: TyFun (a6989586621681153367 ~> Bool) (NonEmpty a6989586621681153367 ~> ([a6989586621681153367], [a6989586621681153367])) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SpanSym0 :: TyFun (a6989586621681153367 ~> Bool) (NonEmpty a6989586621681153367 ~> ([a6989586621681153367], [a6989586621681153367])) -> Type) (a6989586621681155056 :: a6989586621681153367 ~> Bool) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SpanSym0 :: TyFun (a6989586621681153367 ~> Bool) (NonEmpty a6989586621681153367 ~> ([a6989586621681153367], [a6989586621681153367])) -> Type) (a6989586621681155056 :: a6989586621681153367 ~> Bool) = SpanSym1 a6989586621681155056

data SpanSym1 (a6989586621681155056 :: (~>) a6989586621681153367 Bool) :: (~>) (NonEmpty a6989586621681153367) ([a6989586621681153367], [a6989586621681153367]) #

Instances

SingI d => SingI (SpanSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (SpanSym1 d) #
SuppressUnusedWarnings (SpanSym1 a6989586621681155056 :: TyFun (NonEmpty a6989586621681153367) ([a6989586621681153367], [a6989586621681153367]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SpanSym1 a6989586621681155056 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681155057 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SpanSym1 a6989586621681155056 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681155057 :: NonEmpty a) = Span a6989586621681155056 a6989586621681155057

type SpanSym2 (a6989586621681155056 :: (~>) a6989586621681153367 Bool) (a6989586621681155057 :: NonEmpty a6989586621681153367) = Span a6989586621681155056 a6989586621681155057 #

data BreakSym0 :: forall a6989586621681153366. (~>) ((~>) a6989586621681153366 Bool) ((~>) (NonEmpty a6989586621681153366) ([a6989586621681153366], [a6989586621681153366])) #

Instances

SingI (BreakSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing BreakSym0 #
SuppressUnusedWarnings (BreakSym0 :: TyFun (a6989586621681153366 ~> Bool) (NonEmpty a6989586621681153366 ~> ([a6989586621681153366], [a6989586621681153366])) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (BreakSym0 :: TyFun (a6989586621681153366 ~> Bool) (NonEmpty a6989586621681153366 ~> ([a6989586621681153366], [a6989586621681153366])) -> Type) (a6989586621681155064 :: a6989586621681153366 ~> Bool) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (BreakSym0 :: TyFun (a6989586621681153366 ~> Bool) (NonEmpty a6989586621681153366 ~> ([a6989586621681153366], [a6989586621681153366])) -> Type) (a6989586621681155064 :: a6989586621681153366 ~> Bool) = BreakSym1 a6989586621681155064

data BreakSym1 (a6989586621681155064 :: (~>) a6989586621681153366 Bool) :: (~>) (NonEmpty a6989586621681153366) ([a6989586621681153366], [a6989586621681153366]) #

Instances

SingI d => SingI (BreakSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (BreakSym1 d) #
SuppressUnusedWarnings (BreakSym1 a6989586621681155064 :: TyFun (NonEmpty a6989586621681153366) ([a6989586621681153366], [a6989586621681153366]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (BreakSym1 a6989586621681155064 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681155065 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (BreakSym1 a6989586621681155064 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681155065 :: NonEmpty a) = Break a6989586621681155064 a6989586621681155065

type BreakSym2 (a6989586621681155064 :: (~>) a6989586621681153366 Bool) (a6989586621681155065 :: NonEmpty a6989586621681153366) = Break a6989586621681155064 a6989586621681155065 #

data FilterSym0 :: forall a6989586621681153365. (~>) ((~>) a6989586621681153365 Bool) ((~>) (NonEmpty a6989586621681153365) [a6989586621681153365]) #

Instances

SingI (FilterSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing FilterSym0 #
SuppressUnusedWarnings (FilterSym0 :: TyFun (a6989586621681153365 ~> Bool) (NonEmpty a6989586621681153365 ~> [a6989586621681153365]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (FilterSym0 :: TyFun (a6989586621681153365 ~> Bool) (NonEmpty a6989586621681153365 ~> [a6989586621681153365]) -> Type) (a6989586621681155072 :: a6989586621681153365 ~> Bool) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (FilterSym0 :: TyFun (a6989586621681153365 ~> Bool) (NonEmpty a6989586621681153365 ~> [a6989586621681153365]) -> Type) (a6989586621681155072 :: a6989586621681153365 ~> Bool) = FilterSym1 a6989586621681155072

data FilterSym1 (a6989586621681155072 :: (~>) a6989586621681153365 Bool) :: (~>) (NonEmpty a6989586621681153365) [a6989586621681153365] #

Instances

SingI d => SingI (FilterSym1 d :: TyFun (NonEmpty a) [a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (FilterSym1 d) #
SuppressUnusedWarnings (FilterSym1 a6989586621681155072 :: TyFun (NonEmpty a6989586621681153365) [a6989586621681153365] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (FilterSym1 a6989586621681155072 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155073 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (FilterSym1 a6989586621681155072 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155073 :: NonEmpty a) = Filter a6989586621681155072 a6989586621681155073

type FilterSym2 (a6989586621681155072 :: (~>) a6989586621681153365 Bool) (a6989586621681155073 :: NonEmpty a6989586621681153365) = Filter a6989586621681155072 a6989586621681155073 #

data PartitionSym0 :: forall a6989586621681153364. (~>) ((~>) a6989586621681153364 Bool) ((~>) (NonEmpty a6989586621681153364) ([a6989586621681153364], [a6989586621681153364])) #

Instances

SingI (PartitionSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing PartitionSym0 #
SuppressUnusedWarnings (PartitionSym0 :: TyFun (a6989586621681153364 ~> Bool) (NonEmpty a6989586621681153364 ~> ([a6989586621681153364], [a6989586621681153364])) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (PartitionSym0 :: TyFun (a6989586621681153364 ~> Bool) (NonEmpty a6989586621681153364 ~> ([a6989586621681153364], [a6989586621681153364])) -> Type) (a6989586621681155080 :: a6989586621681153364 ~> Bool) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (PartitionSym0 :: TyFun (a6989586621681153364 ~> Bool) (NonEmpty a6989586621681153364 ~> ([a6989586621681153364], [a6989586621681153364])) -> Type) (a6989586621681155080 :: a6989586621681153364 ~> Bool) = PartitionSym1 a6989586621681155080

data PartitionSym1 (a6989586621681155080 :: (~>) a6989586621681153364 Bool) :: (~>) (NonEmpty a6989586621681153364) ([a6989586621681153364], [a6989586621681153364]) #

Instances

SingI d => SingI (PartitionSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (PartitionSym1 d) #
SuppressUnusedWarnings (PartitionSym1 a6989586621681155080 :: TyFun (NonEmpty a6989586621681153364) ([a6989586621681153364], [a6989586621681153364]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (PartitionSym1 a6989586621681155080 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681155081 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (PartitionSym1 a6989586621681155080 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681155081 :: NonEmpty a) = Partition a6989586621681155080 a6989586621681155081

type PartitionSym2 (a6989586621681155080 :: (~>) a6989586621681153364 Bool) (a6989586621681155081 :: NonEmpty a6989586621681153364) = Partition a6989586621681155080 a6989586621681155081 #

data GroupSym0 :: forall a6989586621681153363. (~>) [a6989586621681153363] [NonEmpty a6989586621681153363] #

Instances

SEq a => SingI (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing GroupSym0 #
SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621681153363] [NonEmpty a6989586621681153363] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681154992 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681154992 :: [a]) = Group a6989586621681154992

type GroupSym1 (a6989586621681154992 :: [a6989586621681153363]) = Group a6989586621681154992 #

data GroupBySym0 :: forall a6989586621681153362. (~>) ((~>) a6989586621681153362 ((~>) a6989586621681153362 Bool)) ((~>) [a6989586621681153362] [NonEmpty a6989586621681153362]) #

Instances

SingI (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing GroupBySym0 #
SuppressUnusedWarnings (GroupBySym0 :: TyFun (a6989586621681153362 ~> (a6989586621681153362 ~> Bool)) ([a6989586621681153362] ~> [NonEmpty a6989586621681153362]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupBySym0 :: TyFun (a6989586621681153362 ~> (a6989586621681153362 ~> Bool)) ([a6989586621681153362] ~> [NonEmpty a6989586621681153362]) -> Type) (a6989586621681154882 :: a6989586621681153362 ~> (a6989586621681153362 ~> Bool)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBySym0 :: TyFun (a6989586621681153362 ~> (a6989586621681153362 ~> Bool)) ([a6989586621681153362] ~> [NonEmpty a6989586621681153362]) -> Type) (a6989586621681154882 :: a6989586621681153362 ~> (a6989586621681153362 ~> Bool)) = GroupBySym1 a6989586621681154882

data GroupBySym1 (a6989586621681154882 :: (~>) a6989586621681153362 ((~>) a6989586621681153362 Bool)) :: (~>) [a6989586621681153362] [NonEmpty a6989586621681153362] #

Instances

SingI d => SingI (GroupBySym1 d :: TyFun [a] [NonEmpty a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (GroupBySym1 d) #
SuppressUnusedWarnings (GroupBySym1 a6989586621681154882 :: TyFun [a6989586621681153362] [NonEmpty a6989586621681153362] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupBySym1 a6989586621681154882 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681154883 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBySym1 a6989586621681154882 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681154883 :: [a]) = GroupBy a6989586621681154882 a6989586621681154883

type GroupBySym2 (a6989586621681154882 :: (~>) a6989586621681153362 ((~>) a6989586621681153362 Bool)) (a6989586621681154883 :: [a6989586621681153362]) = GroupBy a6989586621681154882 a6989586621681154883 #

data GroupWithSym0 :: forall a6989586621681153361 b6989586621681153360. (~>) ((~>) a6989586621681153361 b6989586621681153360) ((~>) [a6989586621681153361] [NonEmpty a6989586621681153361]) #

Instances

SEq b => SingI (GroupWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing GroupWithSym0 #
SuppressUnusedWarnings (GroupWithSym0 :: TyFun (a6989586621681153361 ~> b6989586621681153360) ([a6989586621681153361] ~> [NonEmpty a6989586621681153361]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupWithSym0 :: TyFun (a6989586621681153361 ~> b6989586621681153360) ([a6989586621681153361] ~> [NonEmpty a6989586621681153361]) -> Type) (a6989586621681154930 :: a6989586621681153361 ~> b6989586621681153360) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWithSym0 :: TyFun (a6989586621681153361 ~> b6989586621681153360) ([a6989586621681153361] ~> [NonEmpty a6989586621681153361]) -> Type) (a6989586621681154930 :: a6989586621681153361 ~> b6989586621681153360) = GroupWithSym1 a6989586621681154930

data GroupWithSym1 (a6989586621681154930 :: (~>) a6989586621681153361 b6989586621681153360) :: (~>) [a6989586621681153361] [NonEmpty a6989586621681153361] #

Instances

(SEq b, SingI d) => SingI (GroupWithSym1 d :: TyFun [a] [NonEmpty a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (GroupWithSym1 d) #
SuppressUnusedWarnings (GroupWithSym1 a6989586621681154930 :: TyFun [a6989586621681153361] [NonEmpty a6989586621681153361] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupWithSym1 a6989586621681154930 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681154931 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWithSym1 a6989586621681154930 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681154931 :: [a]) = GroupWith a6989586621681154930 a6989586621681154931

type GroupWithSym2 (a6989586621681154930 :: (~>) a6989586621681153361 b6989586621681153360) (a6989586621681154931 :: [a6989586621681153361]) = GroupWith a6989586621681154930 a6989586621681154931 #

data GroupAllWithSym0 :: forall a6989586621681153359 b6989586621681153358. (~>) ((~>) a6989586621681153359 b6989586621681153358) ((~>) [a6989586621681153359] [NonEmpty a6989586621681153359]) #

Instances

SOrd b => SingI (GroupAllWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing GroupAllWithSym0 #
SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (a6989586621681153359 ~> b6989586621681153358) ([a6989586621681153359] ~> [NonEmpty a6989586621681153359]) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupAllWithSym0 :: TyFun (a6989586621681153359 ~> b6989586621681153358) ([a6989586621681153359] ~> [NonEmpty a6989586621681153359]) -> Type) (a6989586621681154938 :: a6989586621681153359 ~> b6989586621681153358) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWithSym0 :: TyFun (a6989586621681153359 ~> b6989586621681153358) ([a6989586621681153359] ~> [NonEmpty a6989586621681153359]) -> Type) (a6989586621681154938 :: a6989586621681153359 ~> b6989586621681153358) = GroupAllWithSym1 a6989586621681154938

data GroupAllWithSym1 (a6989586621681154938 :: (~>) a6989586621681153359 b6989586621681153358) :: (~>) [a6989586621681153359] [NonEmpty a6989586621681153359] #

Instances

(SOrd b, SingI d) => SingI (GroupAllWithSym1 d :: TyFun [a] [NonEmpty a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (GroupAllWithSym1 d) #
SuppressUnusedWarnings (GroupAllWithSym1 a6989586621681154938 :: TyFun [a6989586621681153359] [NonEmpty a6989586621681153359] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupAllWithSym1 a6989586621681154938 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681154939 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWithSym1 a6989586621681154938 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681154939 :: [a]) = GroupAllWith a6989586621681154938 a6989586621681154939

type GroupAllWithSym2 (a6989586621681154938 :: (~>) a6989586621681153359 b6989586621681153358) (a6989586621681154939 :: [a6989586621681153359]) = GroupAllWith a6989586621681154938 a6989586621681154939 #

data Group1Sym0 :: forall a6989586621681153357. (~>) (NonEmpty a6989586621681153357) (NonEmpty (NonEmpty a6989586621681153357)) #

Instances

SEq a => SingI (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing Group1Sym0 #
SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a6989586621681153357) (NonEmpty (NonEmpty a6989586621681153357)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681154979 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681154979 :: NonEmpty a) = Group1 a6989586621681154979

type Group1Sym1 (a6989586621681154979 :: NonEmpty a6989586621681153357) = Group1 a6989586621681154979 #

data GroupBy1Sym0 :: forall a6989586621681153356. (~>) ((~>) a6989586621681153356 ((~>) a6989586621681153356 Bool)) ((~>) (NonEmpty a6989586621681153356) (NonEmpty (NonEmpty a6989586621681153356))) #

Instances

SingI (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing GroupBy1Sym0 #
SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (a6989586621681153356 ~> (a6989586621681153356 ~> Bool)) (NonEmpty a6989586621681153356 ~> NonEmpty (NonEmpty a6989586621681153356)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupBy1Sym0 :: TyFun (a6989586621681153356 ~> (a6989586621681153356 ~> Bool)) (NonEmpty a6989586621681153356 ~> NonEmpty (NonEmpty a6989586621681153356)) -> Type) (a6989586621681154946 :: a6989586621681153356 ~> (a6989586621681153356 ~> Bool)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBy1Sym0 :: TyFun (a6989586621681153356 ~> (a6989586621681153356 ~> Bool)) (NonEmpty a6989586621681153356 ~> NonEmpty (NonEmpty a6989586621681153356)) -> Type) (a6989586621681154946 :: a6989586621681153356 ~> (a6989586621681153356 ~> Bool)) = GroupBy1Sym1 a6989586621681154946

data GroupBy1Sym1 (a6989586621681154946 :: (~>) a6989586621681153356 ((~>) a6989586621681153356 Bool)) :: (~>) (NonEmpty a6989586621681153356) (NonEmpty (NonEmpty a6989586621681153356)) #

Instances

SingI d => SingI (GroupBy1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (GroupBy1Sym1 d) #
SuppressUnusedWarnings (GroupBy1Sym1 a6989586621681154946 :: TyFun (NonEmpty a6989586621681153356) (NonEmpty (NonEmpty a6989586621681153356)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupBy1Sym1 a6989586621681154946 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681154947 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBy1Sym1 a6989586621681154946 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681154947 :: NonEmpty a) = GroupBy1 a6989586621681154946 a6989586621681154947

type GroupBy1Sym2 (a6989586621681154946 :: (~>) a6989586621681153356 ((~>) a6989586621681153356 Bool)) (a6989586621681154947 :: NonEmpty a6989586621681153356) = GroupBy1 a6989586621681154946 a6989586621681154947 #

data GroupWith1Sym0 :: forall a6989586621681153355 b6989586621681153354. (~>) ((~>) a6989586621681153355 b6989586621681153354) ((~>) (NonEmpty a6989586621681153355) (NonEmpty (NonEmpty a6989586621681153355))) #

Instances

SEq b => SingI (GroupWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing GroupWith1Sym0 #
SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (a6989586621681153355 ~> b6989586621681153354) (NonEmpty a6989586621681153355 ~> NonEmpty (NonEmpty a6989586621681153355)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupWith1Sym0 :: TyFun (a6989586621681153355 ~> b6989586621681153354) (NonEmpty a6989586621681153355 ~> NonEmpty (NonEmpty a6989586621681153355)) -> Type) (a6989586621681154982 :: a6989586621681153355 ~> b6989586621681153354) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWith1Sym0 :: TyFun (a6989586621681153355 ~> b6989586621681153354) (NonEmpty a6989586621681153355 ~> NonEmpty (NonEmpty a6989586621681153355)) -> Type) (a6989586621681154982 :: a6989586621681153355 ~> b6989586621681153354) = GroupWith1Sym1 a6989586621681154982

data GroupWith1Sym1 (a6989586621681154982 :: (~>) a6989586621681153355 b6989586621681153354) :: (~>) (NonEmpty a6989586621681153355) (NonEmpty (NonEmpty a6989586621681153355)) #

Instances

(SEq b, SingI d) => SingI (GroupWith1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (GroupWith1Sym1 d) #
SuppressUnusedWarnings (GroupWith1Sym1 a6989586621681154982 :: TyFun (NonEmpty a6989586621681153355) (NonEmpty (NonEmpty a6989586621681153355)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupWith1Sym1 a6989586621681154982 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681154983 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWith1Sym1 a6989586621681154982 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681154983 :: NonEmpty a) = GroupWith1 a6989586621681154982 a6989586621681154983

type GroupWith1Sym2 (a6989586621681154982 :: (~>) a6989586621681153355 b6989586621681153354) (a6989586621681154983 :: NonEmpty a6989586621681153355) = GroupWith1 a6989586621681154982 a6989586621681154983 #

data GroupAllWith1Sym0 :: forall a6989586621681153353 b6989586621681153352. (~>) ((~>) a6989586621681153353 b6989586621681153352) ((~>) (NonEmpty a6989586621681153353) (NonEmpty (NonEmpty a6989586621681153353))) #

Instances

SOrd b => SingI (GroupAllWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing GroupAllWith1Sym0 #
SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (a6989586621681153353 ~> b6989586621681153352) (NonEmpty a6989586621681153353 ~> NonEmpty (NonEmpty a6989586621681153353)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupAllWith1Sym0 :: TyFun (a6989586621681153353 ~> b6989586621681153352) (NonEmpty a6989586621681153353 ~> NonEmpty (NonEmpty a6989586621681153353)) -> Type) (a6989586621681155123 :: a6989586621681153353 ~> b6989586621681153352) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWith1Sym0 :: TyFun (a6989586621681153353 ~> b6989586621681153352) (NonEmpty a6989586621681153353 ~> NonEmpty (NonEmpty a6989586621681153353)) -> Type) (a6989586621681155123 :: a6989586621681153353 ~> b6989586621681153352) = GroupAllWith1Sym1 a6989586621681155123

data GroupAllWith1Sym1 (a6989586621681155123 :: (~>) a6989586621681153353 b6989586621681153352) :: (~>) (NonEmpty a6989586621681153353) (NonEmpty (NonEmpty a6989586621681153353)) #

Instances

(SOrd b, SingI d) => SingI (GroupAllWith1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (GroupAllWith1Sym1 d) #
SuppressUnusedWarnings (GroupAllWith1Sym1 a6989586621681155123 :: TyFun (NonEmpty a6989586621681153353) (NonEmpty (NonEmpty a6989586621681153353)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupAllWith1Sym1 a6989586621681155123 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681155124 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWith1Sym1 a6989586621681155123 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681155124 :: NonEmpty a) = GroupAllWith1 a6989586621681155123 a6989586621681155124

type GroupAllWith1Sym2 (a6989586621681155123 :: (~>) a6989586621681153353 b6989586621681153352) (a6989586621681155124 :: NonEmpty a6989586621681153353) = GroupAllWith1 a6989586621681155123 a6989586621681155124 #

data IsPrefixOfSym0 :: forall a6989586621681153351. (~>) [a6989586621681153351] ((~>) (NonEmpty a6989586621681153351) Bool) #

Instances

SEq a => SingI (IsPrefixOfSym0 :: TyFun [a] (NonEmpty a ~> Bool) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing IsPrefixOfSym0 #
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621681153351] (NonEmpty a6989586621681153351 ~> Bool) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (IsPrefixOfSym0 :: TyFun [a6989586621681153351] (NonEmpty a6989586621681153351 ~> Bool) -> Type) (a6989586621681154874 :: [a6989586621681153351]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IsPrefixOfSym0 :: TyFun [a6989586621681153351] (NonEmpty a6989586621681153351 ~> Bool) -> Type) (a6989586621681154874 :: [a6989586621681153351]) = IsPrefixOfSym1 a6989586621681154874

data IsPrefixOfSym1 (a6989586621681154874 :: [a6989586621681153351]) :: (~>) (NonEmpty a6989586621681153351) Bool #

Instances

(SEq a, SingI d) => SingI (IsPrefixOfSym1 d :: TyFun (NonEmpty a) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (IsPrefixOfSym1 d) #
SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621681154874 :: TyFun (NonEmpty a6989586621681153351) Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (IsPrefixOfSym1 a6989586621681154874 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681154875 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IsPrefixOfSym1 a6989586621681154874 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681154875 :: NonEmpty a) = IsPrefixOf a6989586621681154874 a6989586621681154875

type IsPrefixOfSym2 (a6989586621681154874 :: [a6989586621681153351]) (a6989586621681154875 :: NonEmpty a6989586621681153351) = IsPrefixOf a6989586621681154874 a6989586621681154875 #

data NubSym0 :: forall a6989586621681153342. (~>) (NonEmpty a6989586621681153342) (NonEmpty a6989586621681153342) #

Instances

SEq a => SingI (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing NubSym0 #
SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621681153342) (NonEmpty a6989586621681153342) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681154805 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681154805 :: NonEmpty a) = Nub a6989586621681154805

type NubSym1 (a6989586621681154805 :: NonEmpty a6989586621681153342) = Nub a6989586621681154805 #

data NubBySym0 :: forall a6989586621681153341. (~>) ((~>) a6989586621681153341 ((~>) a6989586621681153341 Bool)) ((~>) (NonEmpty a6989586621681153341) (NonEmpty a6989586621681153341)) #

Instances

SingI (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing NubBySym0 #
SuppressUnusedWarnings (NubBySym0 :: TyFun (a6989586621681153341 ~> (a6989586621681153341 ~> Bool)) (NonEmpty a6989586621681153341 ~> NonEmpty a6989586621681153341) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (NubBySym0 :: TyFun (a6989586621681153341 ~> (a6989586621681153341 ~> Bool)) (NonEmpty a6989586621681153341 ~> NonEmpty a6989586621681153341) -> Type) (a6989586621681154788 :: a6989586621681153341 ~> (a6989586621681153341 ~> Bool)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NubBySym0 :: TyFun (a6989586621681153341 ~> (a6989586621681153341 ~> Bool)) (NonEmpty a6989586621681153341 ~> NonEmpty a6989586621681153341) -> Type) (a6989586621681154788 :: a6989586621681153341 ~> (a6989586621681153341 ~> Bool)) = NubBySym1 a6989586621681154788

data NubBySym1 (a6989586621681154788 :: (~>) a6989586621681153341 ((~>) a6989586621681153341 Bool)) :: (~>) (NonEmpty a6989586621681153341) (NonEmpty a6989586621681153341) #

Instances

SingI d => SingI (NubBySym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (NubBySym1 d) #
SuppressUnusedWarnings (NubBySym1 a6989586621681154788 :: TyFun (NonEmpty a6989586621681153341) (NonEmpty a6989586621681153341) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (NubBySym1 a6989586621681154788 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681154789 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NubBySym1 a6989586621681154788 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681154789 :: NonEmpty a) = NubBy a6989586621681154788 a6989586621681154789

type NubBySym2 (a6989586621681154788 :: (~>) a6989586621681153341 ((~>) a6989586621681153341 Bool)) (a6989586621681154789 :: NonEmpty a6989586621681153341) = NubBy a6989586621681154788 a6989586621681154789 #

data (!!@#@$) :: forall a6989586621681153350. (~>) (NonEmpty a6989586621681153350) ((~>) Nat a6989586621681153350) #

Instances

SingI ((!!@#@$) :: TyFun (NonEmpty a) (Nat ~> a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (!!@#@$) #
SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a6989586621681153350) (Nat ~> a6989586621681153350) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621681153350) (Nat ~> a6989586621681153350) -> Type) (a6989586621681154856 :: NonEmpty a6989586621681153350) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621681153350) (Nat ~> a6989586621681153350) -> Type) (a6989586621681154856 :: NonEmpty a6989586621681153350) = (!!@#@$$) a6989586621681154856

data (!!@#@$$) (a6989586621681154856 :: NonEmpty a6989586621681153350) :: (~>) Nat a6989586621681153350 #

Instances

SingI d => SingI ((!!@#@$$) d :: TyFun Nat a -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ((!!@#@$$) d) #
SuppressUnusedWarnings ((!!@#@$$) a6989586621681154856 :: TyFun Nat a6989586621681153350 -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply ((!!@#@$$) a6989586621681154856 :: TyFun Nat a -> Type) (a6989586621681154857 :: Nat) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((!!@#@$$) a6989586621681154856 :: TyFun Nat a -> Type) (a6989586621681154857 :: Nat) = a6989586621681154856 !! a6989586621681154857

type (!!@#@$$$) (a6989586621681154856 :: NonEmpty a6989586621681153350) (a6989586621681154857 :: Nat) = (!!) a6989586621681154856 a6989586621681154857 #

data ZipSym0 :: forall a6989586621681153348 b6989586621681153349. (~>) (NonEmpty a6989586621681153348) ((~>) (NonEmpty b6989586621681153349) (NonEmpty (a6989586621681153348, b6989586621681153349))) #

Instances

SingI (ZipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ZipSym0 #
SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621681153348) (NonEmpty b6989586621681153349 ~> NonEmpty (a6989586621681153348, b6989586621681153349)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621681153348) (NonEmpty b6989586621681153349 ~> NonEmpty (a6989586621681153348, b6989586621681153349)) -> Type) (a6989586621681154848 :: NonEmpty a6989586621681153348) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621681153348) (NonEmpty b6989586621681153349 ~> NonEmpty (a6989586621681153348, b6989586621681153349)) -> Type) (a6989586621681154848 :: NonEmpty a6989586621681153348) = (ZipSym1 a6989586621681154848 b6989586621681153349 :: TyFun (NonEmpty b6989586621681153349) (NonEmpty (a6989586621681153348, b6989586621681153349)) -> Type)

data ZipSym1 (a6989586621681154848 :: NonEmpty a6989586621681153348) :: forall b6989586621681153349. (~>) (NonEmpty b6989586621681153349) (NonEmpty (a6989586621681153348, b6989586621681153349)) #

Instances

SingI d => SingI (ZipSym1 d b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ZipSym1 d b) #
SuppressUnusedWarnings (ZipSym1 a6989586621681154848 b6989586621681153349 :: TyFun (NonEmpty b6989586621681153349) (NonEmpty (a6989586621681153348, b6989586621681153349)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ZipSym1 a6989586621681154848 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681154849 :: NonEmpty b) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipSym1 a6989586621681154848 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681154849 :: NonEmpty b) = Zip a6989586621681154848 a6989586621681154849

type ZipSym2 (a6989586621681154848 :: NonEmpty a6989586621681153348) (a6989586621681154849 :: NonEmpty b6989586621681153349) = Zip a6989586621681154848 a6989586621681154849 #

data ZipWithSym0 :: forall a6989586621681153345 b6989586621681153346 c6989586621681153347. (~>) ((~>) a6989586621681153345 ((~>) b6989586621681153346 c6989586621681153347)) ((~>) (NonEmpty a6989586621681153345) ((~>) (NonEmpty b6989586621681153346) (NonEmpty c6989586621681153347))) #

Instances

SingI (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ZipWithSym0 #
SuppressUnusedWarnings (ZipWithSym0 :: TyFun (a6989586621681153345 ~> (b6989586621681153346 ~> c6989586621681153347)) (NonEmpty a6989586621681153345 ~> (NonEmpty b6989586621681153346 ~> NonEmpty c6989586621681153347)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ZipWithSym0 :: TyFun (a6989586621681153345 ~> (b6989586621681153346 ~> c6989586621681153347)) (NonEmpty a6989586621681153345 ~> (NonEmpty b6989586621681153346 ~> NonEmpty c6989586621681153347)) -> Type) (a6989586621681154837 :: a6989586621681153345 ~> (b6989586621681153346 ~> c6989586621681153347)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym0 :: TyFun (a6989586621681153345 ~> (b6989586621681153346 ~> c6989586621681153347)) (NonEmpty a6989586621681153345 ~> (NonEmpty b6989586621681153346 ~> NonEmpty c6989586621681153347)) -> Type) (a6989586621681154837 :: a6989586621681153345 ~> (b6989586621681153346 ~> c6989586621681153347)) = ZipWithSym1 a6989586621681154837

data ZipWithSym1 (a6989586621681154837 :: (~>) a6989586621681153345 ((~>) b6989586621681153346 c6989586621681153347)) :: (~>) (NonEmpty a6989586621681153345) ((~>) (NonEmpty b6989586621681153346) (NonEmpty c6989586621681153347)) #

Instances

SingI d => SingI (ZipWithSym1 d :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ZipWithSym1 d) #
SuppressUnusedWarnings (ZipWithSym1 a6989586621681154837 :: TyFun (NonEmpty a6989586621681153345) (NonEmpty b6989586621681153346 ~> NonEmpty c6989586621681153347) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ZipWithSym1 a6989586621681154837 :: TyFun (NonEmpty a6989586621681153345) (NonEmpty b6989586621681153346 ~> NonEmpty c6989586621681153347) -> Type) (a6989586621681154838 :: NonEmpty a6989586621681153345) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym1 a6989586621681154837 :: TyFun (NonEmpty a6989586621681153345) (NonEmpty b6989586621681153346 ~> NonEmpty c6989586621681153347) -> Type) (a6989586621681154838 :: NonEmpty a6989586621681153345) = ZipWithSym2 a6989586621681154837 a6989586621681154838

data ZipWithSym2 (a6989586621681154837 :: (~>) a6989586621681153345 ((~>) b6989586621681153346 c6989586621681153347)) (a6989586621681154838 :: NonEmpty a6989586621681153345) :: (~>) (NonEmpty b6989586621681153346) (NonEmpty c6989586621681153347) #

Instances

(SingI d1, SingI d2) => SingI (ZipWithSym2 d1 d2 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ZipWithSym2 d1 d2) #
SuppressUnusedWarnings (ZipWithSym2 a6989586621681154838 a6989586621681154837 :: TyFun (NonEmpty b6989586621681153346) (NonEmpty c6989586621681153347) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ZipWithSym2 a6989586621681154838 a6989586621681154837 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681154839 :: NonEmpty b) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym2 a6989586621681154838 a6989586621681154837 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681154839 :: NonEmpty b) = ZipWith a6989586621681154838 a6989586621681154837 a6989586621681154839

type ZipWithSym3 (a6989586621681154837 :: (~>) a6989586621681153345 ((~>) b6989586621681153346 c6989586621681153347)) (a6989586621681154838 :: NonEmpty a6989586621681153345) (a6989586621681154839 :: NonEmpty b6989586621681153346) = ZipWith a6989586621681154837 a6989586621681154838 a6989586621681154839 #

data UnzipSym0 :: forall a6989586621681153343 b6989586621681153344. (~>) (NonEmpty (a6989586621681153343, b6989586621681153344)) (NonEmpty a6989586621681153343, NonEmpty b6989586621681153344) #

Instances

SingI (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing UnzipSym0 #
SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621681153343, b6989586621681153344)) (NonEmpty a6989586621681153343, NonEmpty b6989586621681153344) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) (a6989586621681154808 :: NonEmpty (a, b)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) (a6989586621681154808 :: NonEmpty (a, b)) = Unzip a6989586621681154808

type UnzipSym1 (a6989586621681154808 :: NonEmpty (a6989586621681153343, b6989586621681153344)) = Unzip a6989586621681154808 #

data FromListSym0 :: forall a6989586621681153389. (~>) [a6989586621681153389] (NonEmpty a6989586621681153389) #

Instances

SingI (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing FromListSym0 #
SuppressUnusedWarnings (FromListSym0 :: TyFun [a6989586621681153389] (NonEmpty a6989586621681153389) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681155088 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681155088 :: [a]) = FromList a6989586621681155088

type FromListSym1 (a6989586621681155088 :: [a6989586621681153389]) = FromList a6989586621681155088 #

data ToListSym0 :: forall a6989586621681153388. (~>) (NonEmpty a6989586621681153388) [a6989586621681153388] #

Instances

SingI (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ToListSym0 #
SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a6989586621681153388) [a6989586621681153388] -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155012 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681155012 :: NonEmpty a) = ToList a6989586621681155012

type ToListSym1 (a6989586621681155012 :: NonEmpty a6989586621681153388) = ToList a6989586621681155012 #

data NonEmpty_Sym0 :: forall a6989586621681153400. (~>) [a6989586621681153400] (Maybe (NonEmpty a6989586621681153400)) #

Instances

SingI (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing NonEmpty_Sym0 #
SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a6989586621681153400] (Maybe (NonEmpty a6989586621681153400)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) (a6989586621681155250 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) (a6989586621681155250 :: [a]) = NonEmpty_ a6989586621681155250

type NonEmpty_Sym1 (a6989586621681155250 :: [a6989586621681153400]) = NonEmpty_ a6989586621681155250 #

data XorSym0 :: (~>) (NonEmpty Bool) Bool #

Instances

SingI XorSym0 #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing XorSym0 #
SuppressUnusedWarnings XorSym0 #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply XorSym0 (a6989586621681155273 :: NonEmpty Bool) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply XorSym0 (a6989586621681155273 :: NonEmpty Bool) = Xor a6989586621681155273

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

Orphan instances

SMonadZip NonEmpty #
Instance details Methods sMzip :: Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t) # sMzipWith :: Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t) # sMunzip :: Sing t -> Sing (Apply MunzipSym0 t) #
PMonadZip NonEmpty #
Instance details Associated Types type Mzip arg arg :: m (a, b) # type MzipWith arg arg arg :: m c # type Munzip arg :: (m a, m b) #

SingI ((:\|@#@$) :: TyFun a ([a] ~> NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (:\|@#@$) #
SuppressUnusedWarnings ((:\|@#@$) :: TyFun a6989586621679070501 ([a6989586621679070501] ~> NonEmpty a6989586621679070501) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () #
type Apply ((:\|@#@$) :: TyFun a6989586621679070501 ([a6989586621679070501] ~> NonEmpty a6989586621679070501) -> Type) (t6989586621679312508 :: a6989586621679070501) #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply ((:\|@#@$) :: TyFun a6989586621679070501 ([a6989586621679070501] ~> NonEmpty a6989586621679070501) -> Type) (t6989586621679312508 :: a6989586621679070501) = (:\|@#@$$) t6989586621679312508

SingI d => SingI ((:\|@#@$$) d :: TyFun [a] (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing ((:\|@#@$$) d) #
SuppressUnusedWarnings ((:\|@#@$$) t6989586621679312508 :: TyFun [a6989586621679070501] (NonEmpty a6989586621679070501) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () #
type Apply ((:\|@#@$$) t6989586621679312508 :: TyFun [a] (NonEmpty a) -> Type) (t6989586621679312509 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply ((:\|@#@$$) t6989586621679312508 :: TyFun [a] (NonEmpty a) -> Type) (t6989586621679312509 :: [a]) = t6989586621679312508 :\| t6989586621679312509

SingI ((<\|@#@$) :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (<\|@#@$) #
SuppressUnusedWarnings ((<\|@#@$) :: TyFun a6989586621681153392 (NonEmpty a6989586621681153392 ~> NonEmpty a6989586621681153392) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply ((<\|@#@$) :: TyFun a6989586621681153392 (NonEmpty a6989586621681153392 ~> NonEmpty a6989586621681153392) -> Type) (a6989586621681155190 :: a6989586621681153392) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((<\|@#@$) :: TyFun a6989586621681153392 (NonEmpty a6989586621681153392 ~> NonEmpty a6989586621681153392) -> Type) (a6989586621681155190 :: a6989586621681153392) = (<\|@#@$$) a6989586621681155190

SingI d => SingI ((<\|@#@$$) d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ((<\|@#@$$) d) #
SuppressUnusedWarnings ((<\|@#@$$) a6989586621681155190 :: TyFun (NonEmpty a6989586621681153392) (NonEmpty a6989586621681153392) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply ((<\|@#@$$) a6989586621681155190 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155191 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((<\|@#@$$) a6989586621681155190 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681155191 :: NonEmpty a) = a6989586621681155190 <\| a6989586621681155191

The NonEmpty singleton

Non-empty stream transformations

Defunctionalization symbols

Orphan instances

The `NonEmpty` singleton