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 (a6989586621679065577 :: Type). (~>) a6989586621679065577 ((~>) [a6989586621679065577] (NonEmpty (a6989586621679065577 :: Type)))
data (:|@#@$$) (t6989586621679291727 :: (a6989586621679065577 :: Type)) :: (~>) [a6989586621679065577] (NonEmpty (a6989586621679065577 :: Type))
type (:|@#@$$$) (t6989586621679291727 :: a6989586621679065577) (t6989586621679291728 :: [a6989586621679065577]) = (:|) t6989586621679291727 t6989586621679291728
data MapSym0 :: forall a6989586621681089459 b6989586621681089460. (~>) ((~>) a6989586621681089459 b6989586621681089460) ((~>) (NonEmpty a6989586621681089459) (NonEmpty b6989586621681089460))
data MapSym1 (a6989586621681091080 :: (~>) a6989586621681089459 b6989586621681089460) :: (~>) (NonEmpty a6989586621681089459) (NonEmpty b6989586621681089460)
type MapSym2 (a6989586621681091080 :: (~>) a6989586621681089459 b6989586621681089460) (a6989586621681091081 :: NonEmpty a6989586621681089459) = Map a6989586621681091080 a6989586621681091081
data IntersperseSym0 :: forall a6989586621681089449. (~>) a6989586621681089449 ((~>) (NonEmpty a6989586621681089449) (NonEmpty a6989586621681089449))
data IntersperseSym1 (a6989586621681091070 :: a6989586621681089449) :: (~>) (NonEmpty a6989586621681089449) (NonEmpty a6989586621681089449)
type IntersperseSym2 (a6989586621681091070 :: a6989586621681089449) (a6989586621681091071 :: NonEmpty a6989586621681089449) = Intersperse a6989586621681091070 a6989586621681091071
data ScanlSym0 :: forall a6989586621681089455 b6989586621681089454. (~>) ((~>) b6989586621681089454 ((~>) a6989586621681089455 b6989586621681089454)) ((~>) b6989586621681089454 ((~>) [a6989586621681089455] (NonEmpty b6989586621681089454)))
data ScanlSym1 (a6989586621681091224 :: (~>) b6989586621681089454 ((~>) a6989586621681089455 b6989586621681089454)) :: (~>) b6989586621681089454 ((~>) [a6989586621681089455] (NonEmpty b6989586621681089454))
data ScanlSym2 (a6989586621681091224 :: (~>) b6989586621681089454 ((~>) a6989586621681089455 b6989586621681089454)) (a6989586621681091225 :: b6989586621681089454) :: (~>) [a6989586621681089455] (NonEmpty b6989586621681089454)
type ScanlSym3 (a6989586621681091224 :: (~>) b6989586621681089454 ((~>) a6989586621681089455 b6989586621681089454)) (a6989586621681091225 :: b6989586621681089454) (a6989586621681091226 :: [a6989586621681089455]) = Scanl a6989586621681091224 a6989586621681091225 a6989586621681091226
data ScanrSym0 :: forall a6989586621681089452 b6989586621681089453. (~>) ((~>) a6989586621681089452 ((~>) b6989586621681089453 b6989586621681089453)) ((~>) b6989586621681089453 ((~>) [a6989586621681089452] (NonEmpty b6989586621681089453)))
data ScanrSym1 (a6989586621681091235 :: (~>) a6989586621681089452 ((~>) b6989586621681089453 b6989586621681089453)) :: (~>) b6989586621681089453 ((~>) [a6989586621681089452] (NonEmpty b6989586621681089453))
data ScanrSym2 (a6989586621681091235 :: (~>) a6989586621681089452 ((~>) b6989586621681089453 b6989586621681089453)) (a6989586621681091236 :: b6989586621681089453) :: (~>) [a6989586621681089452] (NonEmpty b6989586621681089453)
type ScanrSym3 (a6989586621681091235 :: (~>) a6989586621681089452 ((~>) b6989586621681089453 b6989586621681089453)) (a6989586621681091236 :: b6989586621681089453) (a6989586621681091237 :: [a6989586621681089452]) = Scanr a6989586621681091235 a6989586621681091236 a6989586621681091237
data Scanl1Sym0 :: forall a6989586621681089451. (~>) ((~>) a6989586621681089451 ((~>) a6989586621681089451 a6989586621681089451)) ((~>) (NonEmpty a6989586621681089451) (NonEmpty a6989586621681089451))
data Scanl1Sym1 (a6989586621681091246 :: (~>) a6989586621681089451 ((~>) a6989586621681089451 a6989586621681089451)) :: (~>) (NonEmpty a6989586621681089451) (NonEmpty a6989586621681089451)
type Scanl1Sym2 (a6989586621681091246 :: (~>) a6989586621681089451 ((~>) a6989586621681089451 a6989586621681089451)) (a6989586621681091247 :: NonEmpty a6989586621681089451) = Scanl1 a6989586621681091246 a6989586621681091247
data Scanr1Sym0 :: forall a6989586621681089450. (~>) ((~>) a6989586621681089450 ((~>) a6989586621681089450 a6989586621681089450)) ((~>) (NonEmpty a6989586621681089450) (NonEmpty a6989586621681089450))
data Scanr1Sym1 (a6989586621681091253 :: (~>) a6989586621681089450 ((~>) a6989586621681089450 a6989586621681089450)) :: (~>) (NonEmpty a6989586621681089450) (NonEmpty a6989586621681089450)
type Scanr1Sym2 (a6989586621681091253 :: (~>) a6989586621681089450 ((~>) a6989586621681089450 a6989586621681089450)) (a6989586621681091254 :: NonEmpty a6989586621681089450) = Scanr1 a6989586621681091253 a6989586621681091254
data TransposeSym0 :: forall a6989586621681089415. (~>) (NonEmpty (NonEmpty a6989586621681089415)) (NonEmpty (NonEmpty a6989586621681089415))
type TransposeSym1 (a6989586621681091373 :: NonEmpty (NonEmpty a6989586621681089415)) = Transpose a6989586621681091373
data SortBySym0 :: forall a6989586621681089414. (~>) ((~>) a6989586621681089414 ((~>) a6989586621681089414 Ordering)) ((~>) (NonEmpty a6989586621681089414) (NonEmpty a6989586621681089414))
data SortBySym1 (a6989586621681091180 :: (~>) a6989586621681089414 ((~>) a6989586621681089414 Ordering)) :: (~>) (NonEmpty a6989586621681089414) (NonEmpty a6989586621681089414)
type SortBySym2 (a6989586621681091180 :: (~>) a6989586621681089414 ((~>) a6989586621681089414 Ordering)) (a6989586621681091181 :: NonEmpty a6989586621681089414) = SortBy a6989586621681091180 a6989586621681091181
data SortWithSym0 :: forall a6989586621681089413 o6989586621681089412. (~>) ((~>) a6989586621681089413 o6989586621681089412) ((~>) (NonEmpty a6989586621681089413) (NonEmpty a6989586621681089413))
data SortWithSym1 (a6989586621681091192 :: (~>) a6989586621681089413 o6989586621681089412) :: (~>) (NonEmpty a6989586621681089413) (NonEmpty a6989586621681089413)
type SortWithSym2 (a6989586621681091192 :: (~>) a6989586621681089413 o6989586621681089412) (a6989586621681091193 :: NonEmpty a6989586621681089413) = SortWith a6989586621681091192 a6989586621681091193
data LengthSym0 :: forall a6989586621681089478. (~>) (NonEmpty a6989586621681089478) Nat
type LengthSym1 (a6989586621681091361 :: NonEmpty a6989586621681089478) = Length a6989586621681091361
data HeadSym0 :: forall a6989586621681089471. (~>) (NonEmpty a6989586621681089471) a6989586621681089471
type HeadSym1 (a6989586621681091293 :: NonEmpty a6989586621681089471) = Head a6989586621681091293
data TailSym0 :: forall a6989586621681089470. (~>) (NonEmpty a6989586621681089470) [a6989586621681089470]
type TailSym1 (a6989586621681091290 :: NonEmpty a6989586621681089470) = Tail a6989586621681091290
data LastSym0 :: forall a6989586621681089469. (~>) (NonEmpty a6989586621681089469) a6989586621681089469
type LastSym1 (a6989586621681091286 :: NonEmpty a6989586621681089469) = Last a6989586621681091286
data InitSym0 :: forall a6989586621681089468. (~>) (NonEmpty a6989586621681089468) [a6989586621681089468]
type InitSym1 (a6989586621681091282 :: NonEmpty a6989586621681089468) = Init a6989586621681091282
data (<|@#@$) :: forall a6989586621681089467. (~>) a6989586621681089467 ((~>) (NonEmpty a6989586621681089467) (NonEmpty a6989586621681089467))
data (<|@#@$$) (a6989586621681091265 :: a6989586621681089467) :: (~>) (NonEmpty a6989586621681089467) (NonEmpty a6989586621681089467)
type (<|@#@$$$) (a6989586621681091265 :: a6989586621681089467) (a6989586621681091266 :: NonEmpty a6989586621681089467) = (<|) a6989586621681091265 a6989586621681091266
data ConsSym0 :: forall a6989586621681089466. (~>) a6989586621681089466 ((~>) (NonEmpty a6989586621681089466) (NonEmpty a6989586621681089466))
data ConsSym1 (a6989586621681091276 :: a6989586621681089466) :: (~>) (NonEmpty a6989586621681089466) (NonEmpty a6989586621681089466)
type ConsSym2 (a6989586621681091276 :: a6989586621681089466) (a6989586621681091277 :: NonEmpty a6989586621681089466) = Cons a6989586621681091276 a6989586621681091277
data UnconsSym0 :: forall a6989586621681089474. (~>) (NonEmpty a6989586621681089474) (a6989586621681089474, Maybe (NonEmpty a6989586621681089474))
type UnconsSym1 (a6989586621681091329 :: NonEmpty a6989586621681089474) = Uncons a6989586621681091329
data UnfoldrSym0 :: forall a6989586621681089472 b6989586621681089473. (~>) ((~>) a6989586621681089472 (b6989586621681089473, Maybe a6989586621681089472)) ((~>) a6989586621681089472 (NonEmpty b6989586621681089473))
data UnfoldrSym1 (a6989586621681091296 :: (~>) a6989586621681089472 (b6989586621681089473, Maybe a6989586621681089472)) :: (~>) a6989586621681089472 (NonEmpty b6989586621681089473)
type UnfoldrSym2 (a6989586621681091296 :: (~>) a6989586621681089472 (b6989586621681089473, Maybe a6989586621681089472)) (a6989586621681091297 :: a6989586621681089472) = Unfoldr a6989586621681091296 a6989586621681091297
data SortSym0 :: forall a6989586621681089465. (~>) (NonEmpty a6989586621681089465) (NonEmpty a6989586621681089465)
type SortSym1 (a6989586621681091262 :: NonEmpty a6989586621681089465) = Sort a6989586621681091262
data ReverseSym0 :: forall a6989586621681089448. (~>) (NonEmpty a6989586621681089448) (NonEmpty a6989586621681089448)
type ReverseSym1 (a6989586621681091177 :: NonEmpty a6989586621681089448) = Reverse a6989586621681091177
data InitsSym0 :: forall a6989586621681089458. (~>) [a6989586621681089458] (NonEmpty [a6989586621681089458])
type InitsSym1 (a6989586621681091208 :: [a6989586621681089458]) = Inits a6989586621681091208
data TailsSym0 :: forall a6989586621681089457. (~>) [a6989586621681089457] (NonEmpty [a6989586621681089457])
type TailsSym1 (a6989586621681091213 :: [a6989586621681089457]) = Tails a6989586621681091213
data UnfoldSym0 :: forall a6989586621681089476 b6989586621681089477. (~>) ((~>) a6989586621681089476 (b6989586621681089477, Maybe a6989586621681089476)) ((~>) a6989586621681089476 (NonEmpty b6989586621681089477))
data UnfoldSym1 (a6989586621681091333 :: (~>) a6989586621681089476 (b6989586621681089477, Maybe a6989586621681089476)) :: (~>) a6989586621681089476 (NonEmpty b6989586621681089477)
data InsertSym0 :: forall a6989586621681089456. (~>) a6989586621681089456 ((~>) [a6989586621681089456] (NonEmpty a6989586621681089456))
data InsertSym1 (a6989586621681091216 :: a6989586621681089456) :: (~>) [a6989586621681089456] (NonEmpty a6989586621681089456)
type InsertSym2 (a6989586621681091216 :: a6989586621681089456) (a6989586621681091217 :: [a6989586621681089456]) = Insert a6989586621681091216 a6989586621681091217
data TakeSym0 :: forall a6989586621681089447. (~>) Nat ((~>) (NonEmpty a6989586621681089447) [a6989586621681089447])
data TakeSym1 (a6989586621681091091 :: Nat) :: forall a6989586621681089447. (~>) (NonEmpty a6989586621681089447) [a6989586621681089447]
type TakeSym2 (a6989586621681091091 :: Nat) (a6989586621681091092 :: NonEmpty a6989586621681089447) = Take a6989586621681091091 a6989586621681091092
data DropSym0 :: forall a6989586621681089446. (~>) Nat ((~>) (NonEmpty a6989586621681089446) [a6989586621681089446])
data DropSym1 (a6989586621681091099 :: Nat) :: forall a6989586621681089446. (~>) (NonEmpty a6989586621681089446) [a6989586621681089446]
type DropSym2 (a6989586621681091099 :: Nat) (a6989586621681091100 :: NonEmpty a6989586621681089446) = Drop a6989586621681091099 a6989586621681091100
data SplitAtSym0 :: forall a6989586621681089445. (~>) Nat ((~>) (NonEmpty a6989586621681089445) ([a6989586621681089445], [a6989586621681089445]))
data SplitAtSym1 (a6989586621681091107 :: Nat) :: forall a6989586621681089445. (~>) (NonEmpty a6989586621681089445) ([a6989586621681089445], [a6989586621681089445])
type SplitAtSym2 (a6989586621681091107 :: Nat) (a6989586621681091108 :: NonEmpty a6989586621681089445) = SplitAt a6989586621681091107 a6989586621681091108
data TakeWhileSym0 :: forall a6989586621681089444. (~>) ((~>) a6989586621681089444 Bool) ((~>) (NonEmpty a6989586621681089444) [a6989586621681089444])
data TakeWhileSym1 (a6989586621681091115 :: (~>) a6989586621681089444 Bool) :: (~>) (NonEmpty a6989586621681089444) [a6989586621681089444]
type TakeWhileSym2 (a6989586621681091115 :: (~>) a6989586621681089444 Bool) (a6989586621681091116 :: NonEmpty a6989586621681089444) = TakeWhile a6989586621681091115 a6989586621681091116
data DropWhileSym0 :: forall a6989586621681089443. (~>) ((~>) a6989586621681089443 Bool) ((~>) (NonEmpty a6989586621681089443) [a6989586621681089443])
data DropWhileSym1 (a6989586621681091123 :: (~>) a6989586621681089443 Bool) :: (~>) (NonEmpty a6989586621681089443) [a6989586621681089443]
type DropWhileSym2 (a6989586621681091123 :: (~>) a6989586621681089443 Bool) (a6989586621681091124 :: NonEmpty a6989586621681089443) = DropWhile a6989586621681091123 a6989586621681091124
data SpanSym0 :: forall a6989586621681089442. (~>) ((~>) a6989586621681089442 Bool) ((~>) (NonEmpty a6989586621681089442) ([a6989586621681089442], [a6989586621681089442]))
data SpanSym1 (a6989586621681091131 :: (~>) a6989586621681089442 Bool) :: (~>) (NonEmpty a6989586621681089442) ([a6989586621681089442], [a6989586621681089442])
type SpanSym2 (a6989586621681091131 :: (~>) a6989586621681089442 Bool) (a6989586621681091132 :: NonEmpty a6989586621681089442) = Span a6989586621681091131 a6989586621681091132
data BreakSym0 :: forall a6989586621681089441. (~>) ((~>) a6989586621681089441 Bool) ((~>) (NonEmpty a6989586621681089441) ([a6989586621681089441], [a6989586621681089441]))
data BreakSym1 (a6989586621681091139 :: (~>) a6989586621681089441 Bool) :: (~>) (NonEmpty a6989586621681089441) ([a6989586621681089441], [a6989586621681089441])
type BreakSym2 (a6989586621681091139 :: (~>) a6989586621681089441 Bool) (a6989586621681091140 :: NonEmpty a6989586621681089441) = Break a6989586621681091139 a6989586621681091140
data FilterSym0 :: forall a6989586621681089440. (~>) ((~>) a6989586621681089440 Bool) ((~>) (NonEmpty a6989586621681089440) [a6989586621681089440])
data FilterSym1 (a6989586621681091147 :: (~>) a6989586621681089440 Bool) :: (~>) (NonEmpty a6989586621681089440) [a6989586621681089440]
type FilterSym2 (a6989586621681091147 :: (~>) a6989586621681089440 Bool) (a6989586621681091148 :: NonEmpty a6989586621681089440) = Filter a6989586621681091147 a6989586621681091148
data PartitionSym0 :: forall a6989586621681089439. (~>) ((~>) a6989586621681089439 Bool) ((~>) (NonEmpty a6989586621681089439) ([a6989586621681089439], [a6989586621681089439]))
data PartitionSym1 (a6989586621681091155 :: (~>) a6989586621681089439 Bool) :: (~>) (NonEmpty a6989586621681089439) ([a6989586621681089439], [a6989586621681089439])
type PartitionSym2 (a6989586621681091155 :: (~>) a6989586621681089439 Bool) (a6989586621681091156 :: NonEmpty a6989586621681089439) = Partition a6989586621681091155 a6989586621681091156
data GroupSym0 :: forall a6989586621681089438. (~>) [a6989586621681089438] [NonEmpty a6989586621681089438]
type GroupSym1 (a6989586621681091067 :: [a6989586621681089438]) = Group a6989586621681091067
data GroupBySym0 :: forall a6989586621681089437. (~>) ((~>) a6989586621681089437 ((~>) a6989586621681089437 Bool)) ((~>) [a6989586621681089437] [NonEmpty a6989586621681089437])
data GroupBySym1 (a6989586621681090957 :: (~>) a6989586621681089437 ((~>) a6989586621681089437 Bool)) :: (~>) [a6989586621681089437] [NonEmpty a6989586621681089437]
type GroupBySym2 (a6989586621681090957 :: (~>) a6989586621681089437 ((~>) a6989586621681089437 Bool)) (a6989586621681090958 :: [a6989586621681089437]) = GroupBy a6989586621681090957 a6989586621681090958
data GroupWithSym0 :: forall a6989586621681089436 b6989586621681089435. (~>) ((~>) a6989586621681089436 b6989586621681089435) ((~>) [a6989586621681089436] [NonEmpty a6989586621681089436])
data GroupWithSym1 (a6989586621681091005 :: (~>) a6989586621681089436 b6989586621681089435) :: (~>) [a6989586621681089436] [NonEmpty a6989586621681089436]
type GroupWithSym2 (a6989586621681091005 :: (~>) a6989586621681089436 b6989586621681089435) (a6989586621681091006 :: [a6989586621681089436]) = GroupWith a6989586621681091005 a6989586621681091006
data GroupAllWithSym0 :: forall a6989586621681089434 b6989586621681089433. (~>) ((~>) a6989586621681089434 b6989586621681089433) ((~>) [a6989586621681089434] [NonEmpty a6989586621681089434])
data GroupAllWithSym1 (a6989586621681091013 :: (~>) a6989586621681089434 b6989586621681089433) :: (~>) [a6989586621681089434] [NonEmpty a6989586621681089434]
type GroupAllWithSym2 (a6989586621681091013 :: (~>) a6989586621681089434 b6989586621681089433) (a6989586621681091014 :: [a6989586621681089434]) = GroupAllWith a6989586621681091013 a6989586621681091014
data Group1Sym0 :: forall a6989586621681089432. (~>) (NonEmpty a6989586621681089432) (NonEmpty (NonEmpty a6989586621681089432))
type Group1Sym1 (a6989586621681091054 :: NonEmpty a6989586621681089432) = Group1 a6989586621681091054
data GroupBy1Sym0 :: forall a6989586621681089431. (~>) ((~>) a6989586621681089431 ((~>) a6989586621681089431 Bool)) ((~>) (NonEmpty a6989586621681089431) (NonEmpty (NonEmpty a6989586621681089431)))
data GroupBy1Sym1 (a6989586621681091021 :: (~>) a6989586621681089431 ((~>) a6989586621681089431 Bool)) :: (~>) (NonEmpty a6989586621681089431) (NonEmpty (NonEmpty a6989586621681089431))
type GroupBy1Sym2 (a6989586621681091021 :: (~>) a6989586621681089431 ((~>) a6989586621681089431 Bool)) (a6989586621681091022 :: NonEmpty a6989586621681089431) = GroupBy1 a6989586621681091021 a6989586621681091022
data GroupWith1Sym0 :: forall a6989586621681089430 b6989586621681089429. (~>) ((~>) a6989586621681089430 b6989586621681089429) ((~>) (NonEmpty a6989586621681089430) (NonEmpty (NonEmpty a6989586621681089430)))
data GroupWith1Sym1 (a6989586621681091057 :: (~>) a6989586621681089430 b6989586621681089429) :: (~>) (NonEmpty a6989586621681089430) (NonEmpty (NonEmpty a6989586621681089430))
type GroupWith1Sym2 (a6989586621681091057 :: (~>) a6989586621681089430 b6989586621681089429) (a6989586621681091058 :: NonEmpty a6989586621681089430) = GroupWith1 a6989586621681091057 a6989586621681091058
data GroupAllWith1Sym0 :: forall a6989586621681089428 b6989586621681089427. (~>) ((~>) a6989586621681089428 b6989586621681089427) ((~>) (NonEmpty a6989586621681089428) (NonEmpty (NonEmpty a6989586621681089428)))
data GroupAllWith1Sym1 (a6989586621681091198 :: (~>) a6989586621681089428 b6989586621681089427) :: (~>) (NonEmpty a6989586621681089428) (NonEmpty (NonEmpty a6989586621681089428))
type GroupAllWith1Sym2 (a6989586621681091198 :: (~>) a6989586621681089428 b6989586621681089427) (a6989586621681091199 :: NonEmpty a6989586621681089428) = GroupAllWith1 a6989586621681091198 a6989586621681091199
data IsPrefixOfSym0 :: forall a6989586621681089426. (~>) [a6989586621681089426] ((~>) (NonEmpty a6989586621681089426) Bool)
data IsPrefixOfSym1 (a6989586621681090949 :: [a6989586621681089426]) :: (~>) (NonEmpty a6989586621681089426) Bool
type IsPrefixOfSym2 (a6989586621681090949 :: [a6989586621681089426]) (a6989586621681090950 :: NonEmpty a6989586621681089426) = IsPrefixOf a6989586621681090949 a6989586621681090950
data NubSym0 :: forall a6989586621681089417. (~>) (NonEmpty a6989586621681089417) (NonEmpty a6989586621681089417)
type NubSym1 (a6989586621681090880 :: NonEmpty a6989586621681089417) = Nub a6989586621681090880
data NubBySym0 :: forall a6989586621681089416. (~>) ((~>) a6989586621681089416 ((~>) a6989586621681089416 Bool)) ((~>) (NonEmpty a6989586621681089416) (NonEmpty a6989586621681089416))
data NubBySym1 (a6989586621681090863 :: (~>) a6989586621681089416 ((~>) a6989586621681089416 Bool)) :: (~>) (NonEmpty a6989586621681089416) (NonEmpty a6989586621681089416)
type NubBySym2 (a6989586621681090863 :: (~>) a6989586621681089416 ((~>) a6989586621681089416 Bool)) (a6989586621681090864 :: NonEmpty a6989586621681089416) = NubBy a6989586621681090863 a6989586621681090864
data (!!@#@$) :: forall a6989586621681089425. (~>) (NonEmpty a6989586621681089425) ((~>) Nat a6989586621681089425)
data (!!@#@$$) (a6989586621681090931 :: NonEmpty a6989586621681089425) :: (~>) Nat a6989586621681089425
type (!!@#@$$$) (a6989586621681090931 :: NonEmpty a6989586621681089425) (a6989586621681090932 :: Nat) = (!!) a6989586621681090931 a6989586621681090932
data ZipSym0 :: forall a6989586621681089423 b6989586621681089424. (~>) (NonEmpty a6989586621681089423) ((~>) (NonEmpty b6989586621681089424) (NonEmpty (a6989586621681089423, b6989586621681089424)))
data ZipSym1 (a6989586621681090923 :: NonEmpty a6989586621681089423) :: forall b6989586621681089424. (~>) (NonEmpty b6989586621681089424) (NonEmpty (a6989586621681089423, b6989586621681089424))
type ZipSym2 (a6989586621681090923 :: NonEmpty a6989586621681089423) (a6989586621681090924 :: NonEmpty b6989586621681089424) = Zip a6989586621681090923 a6989586621681090924
data ZipWithSym0 :: forall a6989586621681089420 b6989586621681089421 c6989586621681089422. (~>) ((~>) a6989586621681089420 ((~>) b6989586621681089421 c6989586621681089422)) ((~>) (NonEmpty a6989586621681089420) ((~>) (NonEmpty b6989586621681089421) (NonEmpty c6989586621681089422)))
data ZipWithSym1 (a6989586621681090912 :: (~>) a6989586621681089420 ((~>) b6989586621681089421 c6989586621681089422)) :: (~>) (NonEmpty a6989586621681089420) ((~>) (NonEmpty b6989586621681089421) (NonEmpty c6989586621681089422))
data ZipWithSym2 (a6989586621681090912 :: (~>) a6989586621681089420 ((~>) b6989586621681089421 c6989586621681089422)) (a6989586621681090913 :: NonEmpty a6989586621681089420) :: (~>) (NonEmpty b6989586621681089421) (NonEmpty c6989586621681089422)
type ZipWithSym3 (a6989586621681090912 :: (~>) a6989586621681089420 ((~>) b6989586621681089421 c6989586621681089422)) (a6989586621681090913 :: NonEmpty a6989586621681089420) (a6989586621681090914 :: NonEmpty b6989586621681089421) = ZipWith a6989586621681090912 a6989586621681090913 a6989586621681090914
data UnzipSym0 :: forall a6989586621681089418 b6989586621681089419. (~>) (NonEmpty (a6989586621681089418, b6989586621681089419)) (NonEmpty a6989586621681089418, NonEmpty b6989586621681089419)
type UnzipSym1 (a6989586621681090883 :: NonEmpty (a6989586621681089418, b6989586621681089419)) = Unzip a6989586621681090883
data FromListSym0 :: forall a6989586621681089464. (~>) [a6989586621681089464] (NonEmpty a6989586621681089464)
type FromListSym1 (a6989586621681091163 :: [a6989586621681089464]) = FromList a6989586621681091163
data ToListSym0 :: forall a6989586621681089463. (~>) (NonEmpty a6989586621681089463) [a6989586621681089463]
type ToListSym1 (a6989586621681091087 :: NonEmpty a6989586621681089463) = ToList a6989586621681091087
data NonEmpty_Sym0 :: forall a6989586621681089475. (~>) [a6989586621681089475] (Maybe (NonEmpty a6989586621681089475))
type NonEmpty_Sym1 (a6989586621681091325 :: [a6989586621681089475]) = NonEmpty_ a6989586621681091325
data XorSym0 :: (~>) (NonEmpty Bool) Bool
type XorSym1 (a6989586621681091348 :: NonEmpty Bool) = Xor a6989586621681091348

The `NonEmpty` singleton

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

The singleton kind-indexed data family.

Instances

SDecide k => TestCoercion (Sing :: k -> Type) Source #
Instance details Defined in Data.Singletons.Decide Methods testCoercion :: Sing a -> Sing b -> Maybe (Coercion a b) #
SDecide k => TestEquality (Sing :: k -> Type) Source #
Instance details Defined in Data.Singletons.Decide Methods testEquality :: Sing a -> Sing b -> Maybe (a :~: b) #
Show (SSymbol s) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SSymbol s -> ShowS # show :: SSymbol s -> String # showList :: [SSymbol s] -> ShowS #
Show (SNat n) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SNat n -> ShowS # show :: SNat n -> String # showList :: [SNat n] -> ShowS #
Eq (Sing a) Source #
Instance details Defined in Data.Singletons.TypeRepTYPE Methods (==) :: Sing a -> Sing a -> Bool # (/=) :: Sing a -> Sing a -> Bool #
Ord (Sing a) Source #
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) Source #
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) Source #
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) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
Show (Sing z) Source #
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) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
Show (Sing a) Source #
Instance details Defined in Data.Singletons.TypeRepTYPE Methods showsPrec :: Int -> Sing a -> ShowS # show :: Sing a -> String # showList :: [Sing a] -> ShowS #
Show (Sing z) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
Show (Sing z) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
Instance details Defined in Data.Singletons.TypeLits.Internal data Sing (n :: Symbol) where SSym :: forall (n :: Symbol). KnownSymbol n => Sing n
data Sing (a :: ()) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: ()) where STuple0 :: forall (a :: ()). Sing ()
data Sing (a :: Void) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: Void)
data Sing (a :: All) Source #
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) Source #
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) Source #
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]) Source #
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) Source #
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)
data Sing (a :: TYPE rep) Source #	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 data Sing (a :: TYPE rep) = STypeRep (TypeRep a)
data Sing (b :: Min a) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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)) Source #
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) Source #
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)
data Sing (f :: k1 ~> k2) Source #
Instance details Defined in Data.Singletons.Internal data Sing (f :: k1 ~> k2) = SLambda { applySing :: forall (t :: k1). Sing t -> Sing (f @@ t) }
data Sing (d :: (a, b, c)) Source #
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) Source #
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)) Source #
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)) Source #
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)) Source #
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)) Source #
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) Source #

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

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

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

Equations

Intersperse a ((:|) b bs) = Apply (Apply (:|@#@$) b) (Case_6989586621681091077 a b bs bs)

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

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

Equations

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

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

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

Equations

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

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

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

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

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

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

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

Equations

Transpose a_6989586621681091371 = Apply (Apply (Apply (.@#@$) (Apply FmapSym0 FromListSym0)) (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply (.@#@$) ListtransposeSym0) (Apply (Apply (.@#@$) ToListSym0) (Apply FmapSym0 ToListSym0))))) a_6989586621681091371

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

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

Equations

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

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

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

Equations

SortWith a_6989586621681091188 a_6989586621681091190 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621681091188) a_6989586621681091190

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

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

Equations

Length ((:|) _ xs) = Apply (Apply (+@#@$) (FromInteger 1)) (Apply ListlengthSym0 xs)

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

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

Equations

Head ((:|) a _) = a

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

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

Equations

Tail ((:|) _ as) = as

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

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

Equations

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

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

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

Equations

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

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

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

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

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

Equations

Cons a_6989586621681091272 a_6989586621681091274 = Apply (Apply (<|@#@$) a_6989586621681091272) a_6989586621681091274

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

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

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

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

Equations

Unfoldr f a = Case_6989586621681091320 f a (Let6989586621681091317Scrutinee_6989586621681089653Sym2 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) Source #

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

Equations

Sort a_6989586621681091260 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621681091260

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

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

Equations

Reverse a_6989586621681091175 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621681091175

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

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

Equations

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

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

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

Equations

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

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

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

Equations

Unfold f a = Case_6989586621681091342 f a (Let6989586621681091339Scrutinee_6989586621681089643Sym2 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) Source #

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

GroupBy eq0 a_6989586621681090961 = Apply (Apply (Let6989586621681090965GoSym2 eq0 a_6989586621681090961) eq0) a_6989586621681090961

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

GroupBy1 eq ((:|) x xs) = Apply (Apply (:|@#@$) (Apply (Apply (:|@#@$) x) (Let6989586621681091028YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621681091028ZsSym3 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)) Source #

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

Equations

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

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

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

Equations

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

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

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

Equations

IsPrefixOf '[] _ = TrueSym0
IsPrefixOf ((:) y ys) ((:\|) x xs) = Apply (Apply (&&@#@$) (Apply (Apply (==@#@$) y) x)) (Apply (Apply ListisPrefixOfSym0 ys) xs)

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

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

Equations

Nub a_6989586621681090878 = Apply (Apply NubBySym0 (==@#@$)) a_6989586621681090878

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

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

Equations

NubBy eq ((:|) a as) = Apply (Apply (:|@#@$) a) (Apply (Apply ListnubBySym0 eq) (Apply (Apply ListfilterSym0 (Apply (Apply (Apply Lambda_6989586621681090870Sym0 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) Source #

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

Equations

arg_6989586621681089665 !! arg_6989586621681089667 = Case_6989586621681090937 arg_6989586621681089665 arg_6989586621681089667 (Apply (Apply Tuple2Sym0 arg_6989586621681089665) arg_6989586621681089667)

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

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

Equations

Zip ((:|) x xs) ((:|) y ys) = Apply (Apply (:|@#@$) (Apply (Apply Tuple2Sym0 x) y)) (Apply (Apply ListzipSym0 xs) ys)

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

type family ZipWith (a :: (~>) a ((~>) b c)) (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty c where ... Source #

Equations

ZipWith f ((:|) x xs) ((:|) y ys) = Apply (Apply (:|@#@$) (Apply (Apply f x) y)) (Apply (Apply (Apply ListzipWithSym0 f) xs) ys)

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

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

Equations

Unzip ((:|) '(a, b) asbs) = Apply (Apply Tuple2Sym0 (Apply (Apply (:|@#@$) a) (Let6989586621681090888AsSym3 a b asbs))) (Apply (Apply (:|@#@$) b) (Let6989586621681090888BsSym3 a b asbs))

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

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

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

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

Equations

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

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

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

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

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

Equations

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

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

Defunctionalization symbols

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

Instances

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

data (:|@#@$$) (t6989586621679291727 :: (a6989586621679065577 :: Type)) :: (~>) [a6989586621679065577] (NonEmpty (a6989586621679065577 :: Type)) infixr 5 Source #

Instances

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

type (:|@#@$$$) (t6989586621679291727 :: a6989586621679065577) (t6989586621679291728 :: [a6989586621679065577]) = (:|) t6989586621679291727 t6989586621679291728 Source #

data MapSym0 :: forall a6989586621681089459 b6989586621681089460. (~>) ((~>) a6989586621681089459 b6989586621681089460) ((~>) (NonEmpty a6989586621681089459) (NonEmpty b6989586621681089460)) Source #

Instances

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

data MapSym1 (a6989586621681091080 :: (~>) a6989586621681089459 b6989586621681089460) :: (~>) (NonEmpty a6989586621681089459) (NonEmpty b6989586621681089460) Source #

Instances

SingI d => SingI (MapSym1 d :: TyFun (NonEmpty a) (NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (MapSym1 d) Source #
SuppressUnusedWarnings (MapSym1 a6989586621681091080 :: TyFun (NonEmpty a6989586621681089459) (NonEmpty b6989586621681089460) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (MapSym1 a6989586621681091080 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681091081 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (MapSym1 a6989586621681091080 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681091081 :: NonEmpty a) = Map a6989586621681091080 a6989586621681091081

type MapSym2 (a6989586621681091080 :: (~>) a6989586621681089459 b6989586621681089460) (a6989586621681091081 :: NonEmpty a6989586621681089459) = Map a6989586621681091080 a6989586621681091081 Source #

data IntersperseSym0 :: forall a6989586621681089449. (~>) a6989586621681089449 ((~>) (NonEmpty a6989586621681089449) (NonEmpty a6989586621681089449)) Source #

Instances

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

data IntersperseSym1 (a6989586621681091070 :: a6989586621681089449) :: (~>) (NonEmpty a6989586621681089449) (NonEmpty a6989586621681089449) Source #

Instances

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

type IntersperseSym2 (a6989586621681091070 :: a6989586621681089449) (a6989586621681091071 :: NonEmpty a6989586621681089449) = Intersperse a6989586621681091070 a6989586621681091071 Source #

data ScanlSym0 :: forall a6989586621681089455 b6989586621681089454. (~>) ((~>) b6989586621681089454 ((~>) a6989586621681089455 b6989586621681089454)) ((~>) b6989586621681089454 ((~>) [a6989586621681089455] (NonEmpty b6989586621681089454))) Source #

Instances

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

data ScanlSym1 (a6989586621681091224 :: (~>) b6989586621681089454 ((~>) a6989586621681089455 b6989586621681089454)) :: (~>) b6989586621681089454 ((~>) [a6989586621681089455] (NonEmpty b6989586621681089454)) Source #

Instances

SingI d => SingI (ScanlSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ScanlSym1 d) Source #
SuppressUnusedWarnings (ScanlSym1 a6989586621681091224 :: TyFun b6989586621681089454 ([a6989586621681089455] ~> NonEmpty b6989586621681089454) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanlSym1 a6989586621681091224 :: TyFun b6989586621681089454 ([a6989586621681089455] ~> NonEmpty b6989586621681089454) -> Type) (a6989586621681091225 :: b6989586621681089454) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym1 a6989586621681091224 :: TyFun b6989586621681089454 ([a6989586621681089455] ~> NonEmpty b6989586621681089454) -> Type) (a6989586621681091225 :: b6989586621681089454) = ScanlSym2 a6989586621681091224 a6989586621681091225

data ScanlSym2 (a6989586621681091224 :: (~>) b6989586621681089454 ((~>) a6989586621681089455 b6989586621681089454)) (a6989586621681091225 :: b6989586621681089454) :: (~>) [a6989586621681089455] (NonEmpty b6989586621681089454) Source #

Instances

(SingI d1, SingI d2) => SingI (ScanlSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ScanlSym2 d1 d2) Source #
SuppressUnusedWarnings (ScanlSym2 a6989586621681091225 a6989586621681091224 :: TyFun [a6989586621681089455] (NonEmpty b6989586621681089454) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanlSym2 a6989586621681091225 a6989586621681091224 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681091226 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym2 a6989586621681091225 a6989586621681091224 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681091226 :: [a]) = Scanl a6989586621681091225 a6989586621681091224 a6989586621681091226

type ScanlSym3 (a6989586621681091224 :: (~>) b6989586621681089454 ((~>) a6989586621681089455 b6989586621681089454)) (a6989586621681091225 :: b6989586621681089454) (a6989586621681091226 :: [a6989586621681089455]) = Scanl a6989586621681091224 a6989586621681091225 a6989586621681091226 Source #

data ScanrSym0 :: forall a6989586621681089452 b6989586621681089453. (~>) ((~>) a6989586621681089452 ((~>) b6989586621681089453 b6989586621681089453)) ((~>) b6989586621681089453 ((~>) [a6989586621681089452] (NonEmpty b6989586621681089453))) Source #

Instances

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

data ScanrSym1 (a6989586621681091235 :: (~>) a6989586621681089452 ((~>) b6989586621681089453 b6989586621681089453)) :: (~>) b6989586621681089453 ((~>) [a6989586621681089452] (NonEmpty b6989586621681089453)) Source #

Instances

SingI d => SingI (ScanrSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ScanrSym1 d) Source #
SuppressUnusedWarnings (ScanrSym1 a6989586621681091235 :: TyFun b6989586621681089453 ([a6989586621681089452] ~> NonEmpty b6989586621681089453) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanrSym1 a6989586621681091235 :: TyFun b6989586621681089453 ([a6989586621681089452] ~> NonEmpty b6989586621681089453) -> Type) (a6989586621681091236 :: b6989586621681089453) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym1 a6989586621681091235 :: TyFun b6989586621681089453 ([a6989586621681089452] ~> NonEmpty b6989586621681089453) -> Type) (a6989586621681091236 :: b6989586621681089453) = ScanrSym2 a6989586621681091235 a6989586621681091236

data ScanrSym2 (a6989586621681091235 :: (~>) a6989586621681089452 ((~>) b6989586621681089453 b6989586621681089453)) (a6989586621681091236 :: b6989586621681089453) :: (~>) [a6989586621681089452] (NonEmpty b6989586621681089453) Source #

Instances

(SingI d1, SingI d2) => SingI (ScanrSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ScanrSym2 d1 d2) Source #
SuppressUnusedWarnings (ScanrSym2 a6989586621681091236 a6989586621681091235 :: TyFun [a6989586621681089452] (NonEmpty b6989586621681089453) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanrSym2 a6989586621681091236 a6989586621681091235 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681091237 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym2 a6989586621681091236 a6989586621681091235 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681091237 :: [a]) = Scanr a6989586621681091236 a6989586621681091235 a6989586621681091237

type ScanrSym3 (a6989586621681091235 :: (~>) a6989586621681089452 ((~>) b6989586621681089453 b6989586621681089453)) (a6989586621681091236 :: b6989586621681089453) (a6989586621681091237 :: [a6989586621681089452]) = Scanr a6989586621681091235 a6989586621681091236 a6989586621681091237 Source #

data Scanl1Sym0 :: forall a6989586621681089451. (~>) ((~>) a6989586621681089451 ((~>) a6989586621681089451 a6989586621681089451)) ((~>) (NonEmpty a6989586621681089451) (NonEmpty a6989586621681089451)) Source #

Instances

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

data Scanl1Sym1 (a6989586621681091246 :: (~>) a6989586621681089451 ((~>) a6989586621681089451 a6989586621681089451)) :: (~>) (NonEmpty a6989586621681089451) (NonEmpty a6989586621681089451) Source #

Instances

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

type Scanl1Sym2 (a6989586621681091246 :: (~>) a6989586621681089451 ((~>) a6989586621681089451 a6989586621681089451)) (a6989586621681091247 :: NonEmpty a6989586621681089451) = Scanl1 a6989586621681091246 a6989586621681091247 Source #

data Scanr1Sym0 :: forall a6989586621681089450. (~>) ((~>) a6989586621681089450 ((~>) a6989586621681089450 a6989586621681089450)) ((~>) (NonEmpty a6989586621681089450) (NonEmpty a6989586621681089450)) Source #

Instances

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

data Scanr1Sym1 (a6989586621681091253 :: (~>) a6989586621681089450 ((~>) a6989586621681089450 a6989586621681089450)) :: (~>) (NonEmpty a6989586621681089450) (NonEmpty a6989586621681089450) Source #

Instances

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

type Scanr1Sym2 (a6989586621681091253 :: (~>) a6989586621681089450 ((~>) a6989586621681089450 a6989586621681089450)) (a6989586621681091254 :: NonEmpty a6989586621681089450) = Scanr1 a6989586621681091253 a6989586621681091254 Source #

data TransposeSym0 :: forall a6989586621681089415. (~>) (NonEmpty (NonEmpty a6989586621681089415)) (NonEmpty (NonEmpty a6989586621681089415)) Source #

Instances

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

type TransposeSym1 (a6989586621681091373 :: NonEmpty (NonEmpty a6989586621681089415)) = Transpose a6989586621681091373 Source #

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

Instances

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

data SortBySym1 (a6989586621681091180 :: (~>) a6989586621681089414 ((~>) a6989586621681089414 Ordering)) :: (~>) (NonEmpty a6989586621681089414) (NonEmpty a6989586621681089414) Source #

Instances

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

type SortBySym2 (a6989586621681091180 :: (~>) a6989586621681089414 ((~>) a6989586621681089414 Ordering)) (a6989586621681091181 :: NonEmpty a6989586621681089414) = SortBy a6989586621681091180 a6989586621681091181 Source #

data SortWithSym0 :: forall a6989586621681089413 o6989586621681089412. (~>) ((~>) a6989586621681089413 o6989586621681089412) ((~>) (NonEmpty a6989586621681089413) (NonEmpty a6989586621681089413)) Source #

Instances

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

data SortWithSym1 (a6989586621681091192 :: (~>) a6989586621681089413 o6989586621681089412) :: (~>) (NonEmpty a6989586621681089413) (NonEmpty a6989586621681089413) Source #

Instances

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

type SortWithSym2 (a6989586621681091192 :: (~>) a6989586621681089413 o6989586621681089412) (a6989586621681091193 :: NonEmpty a6989586621681089413) = SortWith a6989586621681091192 a6989586621681091193 Source #

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

Instances

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

type LengthSym1 (a6989586621681091361 :: NonEmpty a6989586621681089478) = Length a6989586621681091361 Source #

data HeadSym0 :: forall a6989586621681089471. (~>) (NonEmpty a6989586621681089471) a6989586621681089471 Source #

Instances

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

type HeadSym1 (a6989586621681091293 :: NonEmpty a6989586621681089471) = Head a6989586621681091293 Source #

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

Instances

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

type TailSym1 (a6989586621681091290 :: NonEmpty a6989586621681089470) = Tail a6989586621681091290 Source #

data LastSym0 :: forall a6989586621681089469. (~>) (NonEmpty a6989586621681089469) a6989586621681089469 Source #

Instances

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

type LastSym1 (a6989586621681091286 :: NonEmpty a6989586621681089469) = Last a6989586621681091286 Source #

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

Instances

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

type InitSym1 (a6989586621681091282 :: NonEmpty a6989586621681089468) = Init a6989586621681091282 Source #

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

Instances

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

data (<|@#@$$) (a6989586621681091265 :: a6989586621681089467) :: (~>) (NonEmpty a6989586621681089467) (NonEmpty a6989586621681089467) Source #

Instances

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

type (<|@#@$$$) (a6989586621681091265 :: a6989586621681089467) (a6989586621681091266 :: NonEmpty a6989586621681089467) = (<|) a6989586621681091265 a6989586621681091266 Source #

data ConsSym0 :: forall a6989586621681089466. (~>) a6989586621681089466 ((~>) (NonEmpty a6989586621681089466) (NonEmpty a6989586621681089466)) Source #

Instances

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

data ConsSym1 (a6989586621681091276 :: a6989586621681089466) :: (~>) (NonEmpty a6989586621681089466) (NonEmpty a6989586621681089466) Source #

Instances

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

type ConsSym2 (a6989586621681091276 :: a6989586621681089466) (a6989586621681091277 :: NonEmpty a6989586621681089466) = Cons a6989586621681091276 a6989586621681091277 Source #

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

Instances

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

type UnconsSym1 (a6989586621681091329 :: NonEmpty a6989586621681089474) = Uncons a6989586621681091329 Source #

data UnfoldrSym0 :: forall a6989586621681089472 b6989586621681089473. (~>) ((~>) a6989586621681089472 (b6989586621681089473, Maybe a6989586621681089472)) ((~>) a6989586621681089472 (NonEmpty b6989586621681089473)) Source #

Instances

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

data UnfoldrSym1 (a6989586621681091296 :: (~>) a6989586621681089472 (b6989586621681089473, Maybe a6989586621681089472)) :: (~>) a6989586621681089472 (NonEmpty b6989586621681089473) Source #

Instances

SingI d => SingI (UnfoldrSym1 d :: TyFun a (NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (UnfoldrSym1 d) Source #
SuppressUnusedWarnings (UnfoldrSym1 a6989586621681091296 :: TyFun a6989586621681089472 (NonEmpty b6989586621681089473) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (UnfoldrSym1 a6989586621681091296 :: TyFun a (NonEmpty b) -> Type) (a6989586621681091297 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldrSym1 a6989586621681091296 :: TyFun a (NonEmpty b) -> Type) (a6989586621681091297 :: a) = Unfoldr a6989586621681091296 a6989586621681091297

type UnfoldrSym2 (a6989586621681091296 :: (~>) a6989586621681089472 (b6989586621681089473, Maybe a6989586621681089472)) (a6989586621681091297 :: a6989586621681089472) = Unfoldr a6989586621681091296 a6989586621681091297 Source #

data SortSym0 :: forall a6989586621681089465. (~>) (NonEmpty a6989586621681089465) (NonEmpty a6989586621681089465) Source #

Instances

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

type SortSym1 (a6989586621681091262 :: NonEmpty a6989586621681089465) = Sort a6989586621681091262 Source #

data ReverseSym0 :: forall a6989586621681089448. (~>) (NonEmpty a6989586621681089448) (NonEmpty a6989586621681089448) Source #

Instances

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

type ReverseSym1 (a6989586621681091177 :: NonEmpty a6989586621681089448) = Reverse a6989586621681091177 Source #

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

Instances

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

type InitsSym1 (a6989586621681091208 :: [a6989586621681089458]) = Inits a6989586621681091208 Source #

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

Instances

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

type TailsSym1 (a6989586621681091213 :: [a6989586621681089457]) = Tails a6989586621681091213 Source #

data UnfoldSym0 :: forall a6989586621681089476 b6989586621681089477. (~>) ((~>) a6989586621681089476 (b6989586621681089477, Maybe a6989586621681089476)) ((~>) a6989586621681089476 (NonEmpty b6989586621681089477)) Source #

Instances

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

data UnfoldSym1 (a6989586621681091333 :: (~>) a6989586621681089476 (b6989586621681089477, Maybe a6989586621681089476)) :: (~>) a6989586621681089476 (NonEmpty b6989586621681089477) Source #

Instances

SingI d => SingI (UnfoldSym1 d :: TyFun a (NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (UnfoldSym1 d) Source #
SuppressUnusedWarnings (UnfoldSym1 a6989586621681091333 :: TyFun a6989586621681089476 (NonEmpty b6989586621681089477) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (UnfoldSym1 a6989586621681091333 :: TyFun a (NonEmpty b) -> Type) (a6989586621681091334 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldSym1 a6989586621681091333 :: TyFun a (NonEmpty b) -> Type) (a6989586621681091334 :: a) = Unfold a6989586621681091333 a6989586621681091334

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

Instances

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

data InsertSym1 (a6989586621681091216 :: a6989586621681089456) :: (~>) [a6989586621681089456] (NonEmpty a6989586621681089456) Source #

Instances

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

type InsertSym2 (a6989586621681091216 :: a6989586621681089456) (a6989586621681091217 :: [a6989586621681089456]) = Insert a6989586621681091216 a6989586621681091217 Source #

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

Instances

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

data TakeSym1 (a6989586621681091091 :: Nat) :: forall a6989586621681089447. (~>) (NonEmpty a6989586621681089447) [a6989586621681089447] Source #

Instances

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

type TakeSym2 (a6989586621681091091 :: Nat) (a6989586621681091092 :: NonEmpty a6989586621681089447) = Take a6989586621681091091 a6989586621681091092 Source #

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

Instances

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

data DropSym1 (a6989586621681091099 :: Nat) :: forall a6989586621681089446. (~>) (NonEmpty a6989586621681089446) [a6989586621681089446] Source #

Instances

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

type DropSym2 (a6989586621681091099 :: Nat) (a6989586621681091100 :: NonEmpty a6989586621681089446) = Drop a6989586621681091099 a6989586621681091100 Source #

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

Instances

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

data SplitAtSym1 (a6989586621681091107 :: Nat) :: forall a6989586621681089445. (~>) (NonEmpty a6989586621681089445) ([a6989586621681089445], [a6989586621681089445]) Source #

Instances

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

type SplitAtSym2 (a6989586621681091107 :: Nat) (a6989586621681091108 :: NonEmpty a6989586621681089445) = SplitAt a6989586621681091107 a6989586621681091108 Source #

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

Instances

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

data TakeWhileSym1 (a6989586621681091115 :: (~>) a6989586621681089444 Bool) :: (~>) (NonEmpty a6989586621681089444) [a6989586621681089444] Source #

Instances

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

type TakeWhileSym2 (a6989586621681091115 :: (~>) a6989586621681089444 Bool) (a6989586621681091116 :: NonEmpty a6989586621681089444) = TakeWhile a6989586621681091115 a6989586621681091116 Source #

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

Instances

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

data DropWhileSym1 (a6989586621681091123 :: (~>) a6989586621681089443 Bool) :: (~>) (NonEmpty a6989586621681089443) [a6989586621681089443] Source #

Instances

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

type DropWhileSym2 (a6989586621681091123 :: (~>) a6989586621681089443 Bool) (a6989586621681091124 :: NonEmpty a6989586621681089443) = DropWhile a6989586621681091123 a6989586621681091124 Source #

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

Instances

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

data SpanSym1 (a6989586621681091131 :: (~>) a6989586621681089442 Bool) :: (~>) (NonEmpty a6989586621681089442) ([a6989586621681089442], [a6989586621681089442]) Source #

Instances

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

type SpanSym2 (a6989586621681091131 :: (~>) a6989586621681089442 Bool) (a6989586621681091132 :: NonEmpty a6989586621681089442) = Span a6989586621681091131 a6989586621681091132 Source #

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

Instances

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

data BreakSym1 (a6989586621681091139 :: (~>) a6989586621681089441 Bool) :: (~>) (NonEmpty a6989586621681089441) ([a6989586621681089441], [a6989586621681089441]) Source #

Instances

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

type BreakSym2 (a6989586621681091139 :: (~>) a6989586621681089441 Bool) (a6989586621681091140 :: NonEmpty a6989586621681089441) = Break a6989586621681091139 a6989586621681091140 Source #

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

Instances

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

data FilterSym1 (a6989586621681091147 :: (~>) a6989586621681089440 Bool) :: (~>) (NonEmpty a6989586621681089440) [a6989586621681089440] Source #

Instances

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

type FilterSym2 (a6989586621681091147 :: (~>) a6989586621681089440 Bool) (a6989586621681091148 :: NonEmpty a6989586621681089440) = Filter a6989586621681091147 a6989586621681091148 Source #

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

Instances

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

data PartitionSym1 (a6989586621681091155 :: (~>) a6989586621681089439 Bool) :: (~>) (NonEmpty a6989586621681089439) ([a6989586621681089439], [a6989586621681089439]) Source #

Instances

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

type PartitionSym2 (a6989586621681091155 :: (~>) a6989586621681089439 Bool) (a6989586621681091156 :: NonEmpty a6989586621681089439) = Partition a6989586621681091155 a6989586621681091156 Source #

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

Instances

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

type GroupSym1 (a6989586621681091067 :: [a6989586621681089438]) = Group a6989586621681091067 Source #

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

Instances

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

data GroupBySym1 (a6989586621681090957 :: (~>) a6989586621681089437 ((~>) a6989586621681089437 Bool)) :: (~>) [a6989586621681089437] [NonEmpty a6989586621681089437] Source #

Instances

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

type GroupBySym2 (a6989586621681090957 :: (~>) a6989586621681089437 ((~>) a6989586621681089437 Bool)) (a6989586621681090958 :: [a6989586621681089437]) = GroupBy a6989586621681090957 a6989586621681090958 Source #

data GroupWithSym0 :: forall a6989586621681089436 b6989586621681089435. (~>) ((~>) a6989586621681089436 b6989586621681089435) ((~>) [a6989586621681089436] [NonEmpty a6989586621681089436]) Source #

Instances

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

data GroupWithSym1 (a6989586621681091005 :: (~>) a6989586621681089436 b6989586621681089435) :: (~>) [a6989586621681089436] [NonEmpty a6989586621681089436] Source #

Instances

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

type GroupWithSym2 (a6989586621681091005 :: (~>) a6989586621681089436 b6989586621681089435) (a6989586621681091006 :: [a6989586621681089436]) = GroupWith a6989586621681091005 a6989586621681091006 Source #

data GroupAllWithSym0 :: forall a6989586621681089434 b6989586621681089433. (~>) ((~>) a6989586621681089434 b6989586621681089433) ((~>) [a6989586621681089434] [NonEmpty a6989586621681089434]) Source #

Instances

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

data GroupAllWithSym1 (a6989586621681091013 :: (~>) a6989586621681089434 b6989586621681089433) :: (~>) [a6989586621681089434] [NonEmpty a6989586621681089434] Source #

Instances

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

type GroupAllWithSym2 (a6989586621681091013 :: (~>) a6989586621681089434 b6989586621681089433) (a6989586621681091014 :: [a6989586621681089434]) = GroupAllWith a6989586621681091013 a6989586621681091014 Source #

data Group1Sym0 :: forall a6989586621681089432. (~>) (NonEmpty a6989586621681089432) (NonEmpty (NonEmpty a6989586621681089432)) Source #

Instances

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

type Group1Sym1 (a6989586621681091054 :: NonEmpty a6989586621681089432) = Group1 a6989586621681091054 Source #

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

Instances

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

data GroupBy1Sym1 (a6989586621681091021 :: (~>) a6989586621681089431 ((~>) a6989586621681089431 Bool)) :: (~>) (NonEmpty a6989586621681089431) (NonEmpty (NonEmpty a6989586621681089431)) Source #

Instances

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

type GroupBy1Sym2 (a6989586621681091021 :: (~>) a6989586621681089431 ((~>) a6989586621681089431 Bool)) (a6989586621681091022 :: NonEmpty a6989586621681089431) = GroupBy1 a6989586621681091021 a6989586621681091022 Source #

data GroupWith1Sym0 :: forall a6989586621681089430 b6989586621681089429. (~>) ((~>) a6989586621681089430 b6989586621681089429) ((~>) (NonEmpty a6989586621681089430) (NonEmpty (NonEmpty a6989586621681089430))) Source #

Instances

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

data GroupWith1Sym1 (a6989586621681091057 :: (~>) a6989586621681089430 b6989586621681089429) :: (~>) (NonEmpty a6989586621681089430) (NonEmpty (NonEmpty a6989586621681089430)) Source #

Instances

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

type GroupWith1Sym2 (a6989586621681091057 :: (~>) a6989586621681089430 b6989586621681089429) (a6989586621681091058 :: NonEmpty a6989586621681089430) = GroupWith1 a6989586621681091057 a6989586621681091058 Source #

data GroupAllWith1Sym0 :: forall a6989586621681089428 b6989586621681089427. (~>) ((~>) a6989586621681089428 b6989586621681089427) ((~>) (NonEmpty a6989586621681089428) (NonEmpty (NonEmpty a6989586621681089428))) Source #

Instances

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

data GroupAllWith1Sym1 (a6989586621681091198 :: (~>) a6989586621681089428 b6989586621681089427) :: (~>) (NonEmpty a6989586621681089428) (NonEmpty (NonEmpty a6989586621681089428)) Source #

Instances

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

type GroupAllWith1Sym2 (a6989586621681091198 :: (~>) a6989586621681089428 b6989586621681089427) (a6989586621681091199 :: NonEmpty a6989586621681089428) = GroupAllWith1 a6989586621681091198 a6989586621681091199 Source #

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

Instances

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

data IsPrefixOfSym1 (a6989586621681090949 :: [a6989586621681089426]) :: (~>) (NonEmpty a6989586621681089426) Bool Source #

Instances

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

type IsPrefixOfSym2 (a6989586621681090949 :: [a6989586621681089426]) (a6989586621681090950 :: NonEmpty a6989586621681089426) = IsPrefixOf a6989586621681090949 a6989586621681090950 Source #

data NubSym0 :: forall a6989586621681089417. (~>) (NonEmpty a6989586621681089417) (NonEmpty a6989586621681089417) Source #

Instances

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

type NubSym1 (a6989586621681090880 :: NonEmpty a6989586621681089417) = Nub a6989586621681090880 Source #

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

Instances

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

data NubBySym1 (a6989586621681090863 :: (~>) a6989586621681089416 ((~>) a6989586621681089416 Bool)) :: (~>) (NonEmpty a6989586621681089416) (NonEmpty a6989586621681089416) Source #

Instances

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

type NubBySym2 (a6989586621681090863 :: (~>) a6989586621681089416 ((~>) a6989586621681089416 Bool)) (a6989586621681090864 :: NonEmpty a6989586621681089416) = NubBy a6989586621681090863 a6989586621681090864 Source #

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

Instances

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

data (!!@#@$$) (a6989586621681090931 :: NonEmpty a6989586621681089425) :: (~>) Nat a6989586621681089425 Source #

Instances

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

type (!!@#@$$$) (a6989586621681090931 :: NonEmpty a6989586621681089425) (a6989586621681090932 :: Nat) = (!!) a6989586621681090931 a6989586621681090932 Source #

data ZipSym0 :: forall a6989586621681089423 b6989586621681089424. (~>) (NonEmpty a6989586621681089423) ((~>) (NonEmpty b6989586621681089424) (NonEmpty (a6989586621681089423, b6989586621681089424))) Source #

Instances

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

data ZipSym1 (a6989586621681090923 :: NonEmpty a6989586621681089423) :: forall b6989586621681089424. (~>) (NonEmpty b6989586621681089424) (NonEmpty (a6989586621681089423, b6989586621681089424)) Source #

Instances

SingI d => SingI (ZipSym1 d b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ZipSym1 d b) Source #
SuppressUnusedWarnings (ZipSym1 a6989586621681090923 b6989586621681089424 :: TyFun (NonEmpty b6989586621681089424) (NonEmpty (a6989586621681089423, b6989586621681089424)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipSym1 a6989586621681090923 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681090924 :: NonEmpty b) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipSym1 a6989586621681090923 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681090924 :: NonEmpty b) = Zip a6989586621681090923 a6989586621681090924

type ZipSym2 (a6989586621681090923 :: NonEmpty a6989586621681089423) (a6989586621681090924 :: NonEmpty b6989586621681089424) = Zip a6989586621681090923 a6989586621681090924 Source #

data ZipWithSym0 :: forall a6989586621681089420 b6989586621681089421 c6989586621681089422. (~>) ((~>) a6989586621681089420 ((~>) b6989586621681089421 c6989586621681089422)) ((~>) (NonEmpty a6989586621681089420) ((~>) (NonEmpty b6989586621681089421) (NonEmpty c6989586621681089422))) Source #

Instances

SingI (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ZipWithSym0 Source #
SuppressUnusedWarnings (ZipWithSym0 :: TyFun (a6989586621681089420 ~> (b6989586621681089421 ~> c6989586621681089422)) (NonEmpty a6989586621681089420 ~> (NonEmpty b6989586621681089421 ~> NonEmpty c6989586621681089422)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym0 :: TyFun (a6989586621681089420 ~> (b6989586621681089421 ~> c6989586621681089422)) (NonEmpty a6989586621681089420 ~> (NonEmpty b6989586621681089421 ~> NonEmpty c6989586621681089422)) -> Type) (a6989586621681090912 :: a6989586621681089420 ~> (b6989586621681089421 ~> c6989586621681089422)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym0 :: TyFun (a6989586621681089420 ~> (b6989586621681089421 ~> c6989586621681089422)) (NonEmpty a6989586621681089420 ~> (NonEmpty b6989586621681089421 ~> NonEmpty c6989586621681089422)) -> Type) (a6989586621681090912 :: a6989586621681089420 ~> (b6989586621681089421 ~> c6989586621681089422)) = ZipWithSym1 a6989586621681090912

data ZipWithSym1 (a6989586621681090912 :: (~>) a6989586621681089420 ((~>) b6989586621681089421 c6989586621681089422)) :: (~>) (NonEmpty a6989586621681089420) ((~>) (NonEmpty b6989586621681089421) (NonEmpty c6989586621681089422)) Source #

Instances

SingI d => SingI (ZipWithSym1 d :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ZipWithSym1 d) Source #
SuppressUnusedWarnings (ZipWithSym1 a6989586621681090912 :: TyFun (NonEmpty a6989586621681089420) (NonEmpty b6989586621681089421 ~> NonEmpty c6989586621681089422) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym1 a6989586621681090912 :: TyFun (NonEmpty a6989586621681089420) (NonEmpty b6989586621681089421 ~> NonEmpty c6989586621681089422) -> Type) (a6989586621681090913 :: NonEmpty a6989586621681089420) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym1 a6989586621681090912 :: TyFun (NonEmpty a6989586621681089420) (NonEmpty b6989586621681089421 ~> NonEmpty c6989586621681089422) -> Type) (a6989586621681090913 :: NonEmpty a6989586621681089420) = ZipWithSym2 a6989586621681090912 a6989586621681090913

data ZipWithSym2 (a6989586621681090912 :: (~>) a6989586621681089420 ((~>) b6989586621681089421 c6989586621681089422)) (a6989586621681090913 :: NonEmpty a6989586621681089420) :: (~>) (NonEmpty b6989586621681089421) (NonEmpty c6989586621681089422) Source #

Instances

(SingI d1, SingI d2) => SingI (ZipWithSym2 d1 d2 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ZipWithSym2 d1 d2) Source #
SuppressUnusedWarnings (ZipWithSym2 a6989586621681090913 a6989586621681090912 :: TyFun (NonEmpty b6989586621681089421) (NonEmpty c6989586621681089422) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym2 a6989586621681090913 a6989586621681090912 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681090914 :: NonEmpty b) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym2 a6989586621681090913 a6989586621681090912 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681090914 :: NonEmpty b) = ZipWith a6989586621681090913 a6989586621681090912 a6989586621681090914

type ZipWithSym3 (a6989586621681090912 :: (~>) a6989586621681089420 ((~>) b6989586621681089421 c6989586621681089422)) (a6989586621681090913 :: NonEmpty a6989586621681089420) (a6989586621681090914 :: NonEmpty b6989586621681089421) = ZipWith a6989586621681090912 a6989586621681090913 a6989586621681090914 Source #

data UnzipSym0 :: forall a6989586621681089418 b6989586621681089419. (~>) (NonEmpty (a6989586621681089418, b6989586621681089419)) (NonEmpty a6989586621681089418, NonEmpty b6989586621681089419) Source #

Instances

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

type UnzipSym1 (a6989586621681090883 :: NonEmpty (a6989586621681089418, b6989586621681089419)) = Unzip a6989586621681090883 Source #

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

Instances

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

type FromListSym1 (a6989586621681091163 :: [a6989586621681089464]) = FromList a6989586621681091163 Source #

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

Instances

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

type ToListSym1 (a6989586621681091087 :: NonEmpty a6989586621681089463) = ToList a6989586621681091087 Source #

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

Instances

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

type NonEmpty_Sym1 (a6989586621681091325 :: [a6989586621681089475]) = NonEmpty_ a6989586621681091325 Source #

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

Instances

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

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

Orphan instances

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

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

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

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

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

The NonEmpty singleton

Non-empty stream transformations

Defunctionalization symbols

Orphan instances

The `NonEmpty` singleton