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

type family Sing :: k -> Type
data SNonEmpty :: forall a. NonEmpty a -> Type where
- (:%|) :: forall a (n :: a) (n :: [a]). (Sing (n :: a)) -> (Sing (n :: [a])) -> SNonEmpty ('(:|) n n)
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 a o (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 a b (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 a b (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 a b (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 a b (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 (a6989586621679059398 :: Type). (~>) a6989586621679059398 ((~>) [a6989586621679059398] (NonEmpty (a6989586621679059398 :: Type)))
data (:|@#@$$) (t6989586621679310974 :: a6989586621679059398 :: Type) :: (~>) [a6989586621679059398] (NonEmpty (a6989586621679059398 :: Type))
type (:|@#@$$$) (t6989586621679310974 :: a6989586621679059398) (t6989586621679310975 :: [a6989586621679059398]) = '(:|) t6989586621679310974 t6989586621679310975
data MapSym0 :: forall a6989586621681159624 b6989586621681159625. (~>) ((~>) a6989586621681159624 b6989586621681159625) ((~>) (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625))
data MapSym1 (a6989586621681161238 :: (~>) a6989586621681159624 b6989586621681159625) :: (~>) (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625)
type MapSym2 (a6989586621681161238 :: (~>) a6989586621681159624 b6989586621681159625) (a6989586621681161239 :: NonEmpty a6989586621681159624) = Map a6989586621681161238 a6989586621681161239
data IntersperseSym0 :: forall a6989586621681159614. (~>) a6989586621681159614 ((~>) (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614))
data IntersperseSym1 (a6989586621681161174 :: a6989586621681159614) :: (~>) (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614)
type IntersperseSym2 (a6989586621681161174 :: a6989586621681159614) (a6989586621681161175 :: NonEmpty a6989586621681159614) = Intersperse a6989586621681161174 a6989586621681161175
data ScanlSym0 :: forall b6989586621681159619 a6989586621681159620. (~>) ((~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) ((~>) b6989586621681159619 ((~>) [a6989586621681159620] (NonEmpty b6989586621681159619)))
data ScanlSym1 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) :: (~>) b6989586621681159619 ((~>) [a6989586621681159620] (NonEmpty b6989586621681159619))
data ScanlSym2 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) (a6989586621681161210 :: b6989586621681159619) :: (~>) [a6989586621681159620] (NonEmpty b6989586621681159619)
type ScanlSym3 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) (a6989586621681161210 :: b6989586621681159619) (a6989586621681161211 :: [a6989586621681159620]) = Scanl a6989586621681161209 a6989586621681161210 a6989586621681161211
data ScanrSym0 :: forall a6989586621681159617 b6989586621681159618. (~>) ((~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) ((~>) b6989586621681159618 ((~>) [a6989586621681159617] (NonEmpty b6989586621681159618)))
data ScanrSym1 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) :: (~>) b6989586621681159618 ((~>) [a6989586621681159617] (NonEmpty b6989586621681159618))
data ScanrSym2 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) (a6989586621681161199 :: b6989586621681159618) :: (~>) [a6989586621681159617] (NonEmpty b6989586621681159618)
type ScanrSym3 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) (a6989586621681161199 :: b6989586621681159618) (a6989586621681161200 :: [a6989586621681159617]) = Scanr a6989586621681161198 a6989586621681161199 a6989586621681161200
data Scanl1Sym0 :: forall a6989586621681159616. (~>) ((~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) ((~>) (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616))
data Scanl1Sym1 (a6989586621681161191 :: (~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) :: (~>) (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616)
type Scanl1Sym2 (a6989586621681161191 :: (~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) (a6989586621681161192 :: NonEmpty a6989586621681159616) = Scanl1 a6989586621681161191 a6989586621681161192
data Scanr1Sym0 :: forall a6989586621681159615. (~>) ((~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) ((~>) (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615))
data Scanr1Sym1 (a6989586621681161184 :: (~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) :: (~>) (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615)
type Scanr1Sym2 (a6989586621681161184 :: (~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) (a6989586621681161185 :: NonEmpty a6989586621681159615) = Scanr1 a6989586621681161184 a6989586621681161185
data TransposeSym0 :: forall a6989586621681159580. (~>) (NonEmpty (NonEmpty a6989586621681159580)) (NonEmpty (NonEmpty a6989586621681159580))
type TransposeSym1 (a6989586621681160879 :: NonEmpty (NonEmpty a6989586621681159580)) = Transpose a6989586621681160879
data SortBySym0 :: forall a6989586621681159579. (~>) ((~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) ((~>) (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579))
data SortBySym1 (a6989586621681160869 :: (~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) :: (~>) (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579)
type SortBySym2 (a6989586621681160869 :: (~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) (a6989586621681160870 :: NonEmpty a6989586621681159579) = SortBy a6989586621681160869 a6989586621681160870
data SortWithSym0 :: forall a6989586621681159578 o6989586621681159577. (~>) ((~>) a6989586621681159578 o6989586621681159577) ((~>) (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578))
data SortWithSym1 (a6989586621681160863 :: (~>) a6989586621681159578 o6989586621681159577) :: (~>) (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578)
type SortWithSym2 (a6989586621681160863 :: (~>) a6989586621681159578 o6989586621681159577) (a6989586621681160864 :: NonEmpty a6989586621681159578) = SortWith a6989586621681160863 a6989586621681160864
data LengthSym0 :: forall a6989586621681159643. (~>) (NonEmpty a6989586621681159643) Nat
type LengthSym1 (a6989586621681161362 :: NonEmpty a6989586621681159643) = Length a6989586621681161362
data HeadSym0 :: forall a6989586621681159636. (~>) (NonEmpty a6989586621681159636) a6989586621681159636
type HeadSym1 (a6989586621681161294 :: NonEmpty a6989586621681159636) = Head a6989586621681161294
data TailSym0 :: forall a6989586621681159635. (~>) (NonEmpty a6989586621681159635) [a6989586621681159635]
type TailSym1 (a6989586621681161291 :: NonEmpty a6989586621681159635) = Tail a6989586621681161291
data LastSym0 :: forall a6989586621681159634. (~>) (NonEmpty a6989586621681159634) a6989586621681159634
type LastSym1 (a6989586621681161287 :: NonEmpty a6989586621681159634) = Last a6989586621681161287
data InitSym0 :: forall a6989586621681159633. (~>) (NonEmpty a6989586621681159633) [a6989586621681159633]
type InitSym1 (a6989586621681161283 :: NonEmpty a6989586621681159633) = Init a6989586621681161283
data (<|@#@$) :: forall a6989586621681159632. (~>) a6989586621681159632 ((~>) (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632))
data (<|@#@$$) (a6989586621681161276 :: a6989586621681159632) :: (~>) (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632)
type (<|@#@$$$) (a6989586621681161276 :: a6989586621681159632) (a6989586621681161277 :: NonEmpty a6989586621681159632) = (<|) a6989586621681161276 a6989586621681161277
data ConsSym0 :: forall a6989586621681159631. (~>) a6989586621681159631 ((~>) (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631))
data ConsSym1 (a6989586621681161270 :: a6989586621681159631) :: (~>) (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631)
type ConsSym2 (a6989586621681161270 :: a6989586621681159631) (a6989586621681161271 :: NonEmpty a6989586621681159631) = Cons a6989586621681161270 a6989586621681161271
data UnconsSym0 :: forall a6989586621681159639. (~>) (NonEmpty a6989586621681159639) (a6989586621681159639, Maybe (NonEmpty a6989586621681159639))
type UnconsSym1 (a6989586621681161326 :: NonEmpty a6989586621681159639) = Uncons a6989586621681161326
data UnfoldrSym0 :: forall a6989586621681159637 b6989586621681159638. (~>) ((~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) ((~>) a6989586621681159637 (NonEmpty b6989586621681159638))
data UnfoldrSym1 (a6989586621681161297 :: (~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) :: (~>) a6989586621681159637 (NonEmpty b6989586621681159638)
type UnfoldrSym2 (a6989586621681161297 :: (~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681161298 :: a6989586621681159637) = Unfoldr a6989586621681161297 a6989586621681161298
data SortSym0 :: forall a6989586621681159630. (~>) (NonEmpty a6989586621681159630) (NonEmpty a6989586621681159630)
type SortSym1 (a6989586621681161263 :: NonEmpty a6989586621681159630) = Sort a6989586621681161263
data ReverseSym0 :: forall a6989586621681159613. (~>) (NonEmpty a6989586621681159613) (NonEmpty a6989586621681159613)
type ReverseSym1 (a6989586621681161171 :: NonEmpty a6989586621681159613) = Reverse a6989586621681161171
data InitsSym0 :: forall a6989586621681159623. (~>) [a6989586621681159623] (NonEmpty [a6989586621681159623])
type InitsSym1 (a6989586621681161235 :: [a6989586621681159623]) = Inits a6989586621681161235
data TailsSym0 :: forall a6989586621681159622. (~>) [a6989586621681159622] (NonEmpty [a6989586621681159622])
type TailsSym1 (a6989586621681161230 :: [a6989586621681159622]) = Tails a6989586621681161230
data UnfoldSym0 :: forall a6989586621681159641 b6989586621681159642. (~>) ((~>) a6989586621681159641 (b6989586621681159642, Maybe a6989586621681159641)) ((~>) a6989586621681159641 (NonEmpty b6989586621681159642))
data UnfoldSym1 (a6989586621681161334 :: (~>) a6989586621681159641 (b6989586621681159642, Maybe a6989586621681159641)) :: (~>) a6989586621681159641 (NonEmpty b6989586621681159642)
data InsertSym0 :: forall a6989586621681159621. (~>) a6989586621681159621 ((~>) [a6989586621681159621] (NonEmpty a6989586621681159621))
data InsertSym1 (a6989586621681161220 :: a6989586621681159621) :: (~>) [a6989586621681159621] (NonEmpty a6989586621681159621)
type InsertSym2 (a6989586621681161220 :: a6989586621681159621) (a6989586621681161221 :: [a6989586621681159621]) = Insert a6989586621681161220 a6989586621681161221
data TakeSym0 :: forall a6989586621681159612. (~>) Nat ((~>) (NonEmpty a6989586621681159612) [a6989586621681159612])
data TakeSym1 (a6989586621681161161 :: Nat) :: forall a6989586621681159612. (~>) (NonEmpty a6989586621681159612) [a6989586621681159612]
type TakeSym2 (a6989586621681161161 :: Nat) (a6989586621681161162 :: NonEmpty a6989586621681159612) = Take a6989586621681161161 a6989586621681161162
data DropSym0 :: forall a6989586621681159611. (~>) Nat ((~>) (NonEmpty a6989586621681159611) [a6989586621681159611])
data DropSym1 (a6989586621681161153 :: Nat) :: forall a6989586621681159611. (~>) (NonEmpty a6989586621681159611) [a6989586621681159611]
type DropSym2 (a6989586621681161153 :: Nat) (a6989586621681161154 :: NonEmpty a6989586621681159611) = Drop a6989586621681161153 a6989586621681161154
data SplitAtSym0 :: forall a6989586621681159610. (~>) Nat ((~>) (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610]))
data SplitAtSym1 (a6989586621681161145 :: Nat) :: forall a6989586621681159610. (~>) (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610])
type SplitAtSym2 (a6989586621681161145 :: Nat) (a6989586621681161146 :: NonEmpty a6989586621681159610) = SplitAt a6989586621681161145 a6989586621681161146
data TakeWhileSym0 :: forall a6989586621681159609. (~>) ((~>) a6989586621681159609 Bool) ((~>) (NonEmpty a6989586621681159609) [a6989586621681159609])
data TakeWhileSym1 (a6989586621681161137 :: (~>) a6989586621681159609 Bool) :: (~>) (NonEmpty a6989586621681159609) [a6989586621681159609]
type TakeWhileSym2 (a6989586621681161137 :: (~>) a6989586621681159609 Bool) (a6989586621681161138 :: NonEmpty a6989586621681159609) = TakeWhile a6989586621681161137 a6989586621681161138
data DropWhileSym0 :: forall a6989586621681159608. (~>) ((~>) a6989586621681159608 Bool) ((~>) (NonEmpty a6989586621681159608) [a6989586621681159608])
data DropWhileSym1 (a6989586621681161129 :: (~>) a6989586621681159608 Bool) :: (~>) (NonEmpty a6989586621681159608) [a6989586621681159608]
type DropWhileSym2 (a6989586621681161129 :: (~>) a6989586621681159608 Bool) (a6989586621681161130 :: NonEmpty a6989586621681159608) = DropWhile a6989586621681161129 a6989586621681161130
data SpanSym0 :: forall a6989586621681159607. (~>) ((~>) a6989586621681159607 Bool) ((~>) (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607]))
data SpanSym1 (a6989586621681161121 :: (~>) a6989586621681159607 Bool) :: (~>) (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607])
type SpanSym2 (a6989586621681161121 :: (~>) a6989586621681159607 Bool) (a6989586621681161122 :: NonEmpty a6989586621681159607) = Span a6989586621681161121 a6989586621681161122
data BreakSym0 :: forall a6989586621681159606. (~>) ((~>) a6989586621681159606 Bool) ((~>) (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606]))
data BreakSym1 (a6989586621681161113 :: (~>) a6989586621681159606 Bool) :: (~>) (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606])
type BreakSym2 (a6989586621681161113 :: (~>) a6989586621681159606 Bool) (a6989586621681161114 :: NonEmpty a6989586621681159606) = Break a6989586621681161113 a6989586621681161114
data FilterSym0 :: forall a6989586621681159605. (~>) ((~>) a6989586621681159605 Bool) ((~>) (NonEmpty a6989586621681159605) [a6989586621681159605])
data FilterSym1 (a6989586621681161105 :: (~>) a6989586621681159605 Bool) :: (~>) (NonEmpty a6989586621681159605) [a6989586621681159605]
type FilterSym2 (a6989586621681161105 :: (~>) a6989586621681159605 Bool) (a6989586621681161106 :: NonEmpty a6989586621681159605) = Filter a6989586621681161105 a6989586621681161106
data PartitionSym0 :: forall a6989586621681159604. (~>) ((~>) a6989586621681159604 Bool) ((~>) (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604]))
data PartitionSym1 (a6989586621681161097 :: (~>) a6989586621681159604 Bool) :: (~>) (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604])
type PartitionSym2 (a6989586621681161097 :: (~>) a6989586621681159604 Bool) (a6989586621681161098 :: NonEmpty a6989586621681159604) = Partition a6989586621681161097 a6989586621681161098
data GroupSym0 :: forall a6989586621681159603. (~>) [a6989586621681159603] [NonEmpty a6989586621681159603]
type GroupSym1 (a6989586621681161094 :: [a6989586621681159603]) = Group a6989586621681161094
data GroupBySym0 :: forall a6989586621681159602. (~>) ((~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) ((~>) [a6989586621681159602] [NonEmpty a6989586621681159602])
data GroupBySym1 (a6989586621681161044 :: (~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) :: (~>) [a6989586621681159602] [NonEmpty a6989586621681159602]
type GroupBySym2 (a6989586621681161044 :: (~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) (a6989586621681161045 :: [a6989586621681159602]) = GroupBy a6989586621681161044 a6989586621681161045
data GroupWithSym0 :: forall a6989586621681159601 b6989586621681159600. (~>) ((~>) a6989586621681159601 b6989586621681159600) ((~>) [a6989586621681159601] [NonEmpty a6989586621681159601])
data GroupWithSym1 (a6989586621681161036 :: (~>) a6989586621681159601 b6989586621681159600) :: (~>) [a6989586621681159601] [NonEmpty a6989586621681159601]
type GroupWithSym2 (a6989586621681161036 :: (~>) a6989586621681159601 b6989586621681159600) (a6989586621681161037 :: [a6989586621681159601]) = GroupWith a6989586621681161036 a6989586621681161037
data GroupAllWithSym0 :: forall a6989586621681159599 b6989586621681159598. (~>) ((~>) a6989586621681159599 b6989586621681159598) ((~>) [a6989586621681159599] [NonEmpty a6989586621681159599])
data GroupAllWithSym1 (a6989586621681161028 :: (~>) a6989586621681159599 b6989586621681159598) :: (~>) [a6989586621681159599] [NonEmpty a6989586621681159599]
type GroupAllWithSym2 (a6989586621681161028 :: (~>) a6989586621681159599 b6989586621681159598) (a6989586621681161029 :: [a6989586621681159599]) = GroupAllWith a6989586621681161028 a6989586621681161029
data Group1Sym0 :: forall a6989586621681159597. (~>) (NonEmpty a6989586621681159597) (NonEmpty (NonEmpty a6989586621681159597))
type Group1Sym1 (a6989586621681161025 :: NonEmpty a6989586621681159597) = Group1 a6989586621681161025
data GroupBy1Sym0 :: forall a6989586621681159596. (~>) ((~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) ((~>) (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596)))
data GroupBy1Sym1 (a6989586621681160992 :: (~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) :: (~>) (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596))
type GroupBy1Sym2 (a6989586621681160992 :: (~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) (a6989586621681160993 :: NonEmpty a6989586621681159596) = GroupBy1 a6989586621681160992 a6989586621681160993
data GroupWith1Sym0 :: forall a6989586621681159595 b6989586621681159594. (~>) ((~>) a6989586621681159595 b6989586621681159594) ((~>) (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595)))
data GroupWith1Sym1 (a6989586621681160984 :: (~>) a6989586621681159595 b6989586621681159594) :: (~>) (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595))
type GroupWith1Sym2 (a6989586621681160984 :: (~>) a6989586621681159595 b6989586621681159594) (a6989586621681160985 :: NonEmpty a6989586621681159595) = GroupWith1 a6989586621681160984 a6989586621681160985
data GroupAllWith1Sym0 :: forall a6989586621681159593 b6989586621681159592. (~>) ((~>) a6989586621681159593 b6989586621681159592) ((~>) (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593)))
data GroupAllWith1Sym1 (a6989586621681160976 :: (~>) a6989586621681159593 b6989586621681159592) :: (~>) (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593))
type GroupAllWith1Sym2 (a6989586621681160976 :: (~>) a6989586621681159593 b6989586621681159592) (a6989586621681160977 :: NonEmpty a6989586621681159593) = GroupAllWith1 a6989586621681160976 a6989586621681160977
data IsPrefixOfSym0 :: forall a6989586621681159591. (~>) [a6989586621681159591] ((~>) (NonEmpty a6989586621681159591) Bool)
data IsPrefixOfSym1 (a6989586621681160968 :: [a6989586621681159591]) :: (~>) (NonEmpty a6989586621681159591) Bool
type IsPrefixOfSym2 (a6989586621681160968 :: [a6989586621681159591]) (a6989586621681160969 :: NonEmpty a6989586621681159591) = IsPrefixOf a6989586621681160968 a6989586621681160969
data NubSym0 :: forall a6989586621681159582. (~>) (NonEmpty a6989586621681159582) (NonEmpty a6989586621681159582)
type NubSym1 (a6989586621681160899 :: NonEmpty a6989586621681159582) = Nub a6989586621681160899
data NubBySym0 :: forall a6989586621681159581. (~>) ((~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) ((~>) (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581))
data NubBySym1 (a6989586621681160882 :: (~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) :: (~>) (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581)
type NubBySym2 (a6989586621681160882 :: (~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) (a6989586621681160883 :: NonEmpty a6989586621681159581) = NubBy a6989586621681160882 a6989586621681160883
data (!!@#@$) :: forall a6989586621681159590. (~>) (NonEmpty a6989586621681159590) ((~>) Nat a6989586621681159590)
data (!!@#@$$) (a6989586621681160950 :: NonEmpty a6989586621681159590) :: (~>) Nat a6989586621681159590
type (!!@#@$$$) (a6989586621681160950 :: NonEmpty a6989586621681159590) (a6989586621681160951 :: Nat) = (!!) a6989586621681160950 a6989586621681160951
data ZipSym0 :: forall a6989586621681159588 b6989586621681159589. (~>) (NonEmpty a6989586621681159588) ((~>) (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589)))
data ZipSym1 (a6989586621681160942 :: NonEmpty a6989586621681159588) :: forall b6989586621681159589. (~>) (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589))
type ZipSym2 (a6989586621681160942 :: NonEmpty a6989586621681159588) (a6989586621681160943 :: NonEmpty b6989586621681159589) = Zip a6989586621681160942 a6989586621681160943
data ZipWithSym0 :: forall a6989586621681159585 b6989586621681159586 c6989586621681159587. (~>) ((~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) ((~>) (NonEmpty a6989586621681159585) ((~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587)))
data ZipWithSym1 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) :: (~>) (NonEmpty a6989586621681159585) ((~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587))
data ZipWithSym2 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) (a6989586621681160932 :: NonEmpty a6989586621681159585) :: (~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587)
type ZipWithSym3 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) (a6989586621681160932 :: NonEmpty a6989586621681159585) (a6989586621681160933 :: NonEmpty b6989586621681159586) = ZipWith a6989586621681160931 a6989586621681160932 a6989586621681160933
data UnzipSym0 :: forall a6989586621681159583 b6989586621681159584. (~>) (NonEmpty (a6989586621681159583, b6989586621681159584)) (NonEmpty a6989586621681159583, NonEmpty b6989586621681159584)
type UnzipSym1 (a6989586621681160902 :: NonEmpty (a6989586621681159583, b6989586621681159584)) = Unzip a6989586621681160902
data FromListSym0 :: forall a6989586621681159629. (~>) [a6989586621681159629] (NonEmpty a6989586621681159629)
type FromListSym1 (a6989586621681161257 :: [a6989586621681159629]) = FromList a6989586621681161257
data ToListSym0 :: forall a6989586621681159628. (~>) (NonEmpty a6989586621681159628) [a6989586621681159628]
type ToListSym1 (a6989586621681161253 :: NonEmpty a6989586621681159628) = ToList a6989586621681161253
data NonEmpty_Sym0 :: forall a6989586621681159640. (~>) [a6989586621681159640] (Maybe (NonEmpty a6989586621681159640))
type NonEmpty_Sym1 (a6989586621681161330 :: [a6989586621681159640]) = NonEmpty_ a6989586621681161330
data XorSym0 :: (~>) (NonEmpty Bool) Bool
type XorSym1 (a6989586621681161349 :: NonEmpty Bool) = Xor a6989586621681161349

The `NonEmpty` singleton

type family Sing :: k -> Type Source #

The singleton kind-indexed type family.

Instances

Instances details

type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SBool
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SOrdering
type Sing Source #
Instance details Defined in Data.Singletons.TypeLits.Internal type Sing = SNat
type Sing Source #
Instance details Defined in Data.Singletons.TypeLits.Internal type Sing = SSymbol
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple0
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SVoid
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SAll
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SAny
type Sing Source #
Instance details Defined in Data.Singletons.TypeError type Sing = SErrorMessage
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SList :: [a] -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SMaybe :: Maybe a -> Type
type Sing 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` 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 type Sing = TypeRep :: TYPE rep -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SNonEmpty :: NonEmpty a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Sing = SDown :: Down a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SIdentity :: Identity a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SFirst :: First a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SLast :: Last a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SMax :: Max a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SMin :: Min a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SOption :: Option a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SWrappedMonoid :: WrappedMonoid m -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SDual :: Dual a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SProduct :: Product a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SSum :: Sum a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Sing = SFirst :: First a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Sing = SLast :: Last a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SEither :: Either a b -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple2 :: (a, b) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Internal type Sing = SLambda :: (k1 ~> k2) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Internal type Sing = SWrappedSing :: WrappedSing a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type Sing = SArg :: Arg a b -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Sigma type Sing = SSigma :: Sigma s t -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple3 :: (a, b, c) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Const type Sing = SConst :: Const a b -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple4 :: (a, b, c, d) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple5 :: (a, b, c, d, e) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple6 :: (a, b, c, d, e, f) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple7 :: (a, b, c, d, e, f, g) -> Type

data SNonEmpty :: forall a. NonEmpty a -> Type where Source #

Constructors

(:%|) :: forall a (n :: a) (n :: [a]). (Sing (n :: a)) -> (Sing (n :: [a])) -> SNonEmpty ('(:|) n n) infixr 5

Instances

Instances details

(SDecide a, SDecide [a]) => TestCoercion (SNonEmpty :: NonEmpty a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b :: k). SNonEmpty a0 -> SNonEmpty b -> Maybe (Coercion a0 b)
(SDecide a, SDecide [a]) => TestEquality (SNonEmpty :: NonEmpty a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b :: k). SNonEmpty a0 -> SNonEmpty b -> Maybe (a0 :~: b)
(ShowSing a, ShowSing [a]) => Show (SNonEmpty z)
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SNonEmpty z -> ShowS show :: SNonEmpty z -> String showList :: [SNonEmpty z] -> ShowS

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_6989586621681161181 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_6989586621681161215 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply ListscanlSym0 f) z)) a_6989586621681161215

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_6989586621681161204 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply ListscanrSym0 f) z)) a_6989586621681161204

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_6989586621681160877 = Apply (Apply (Apply (.@#@$) (Apply FmapSym0 FromListSym0)) (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply (.@#@$) ListtransposeSym0) (Apply (Apply (.@#@$) ToListSym0) (Apply FmapSym0 ToListSym0))))) a_6989586621681160877

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_6989586621681160873 = Apply (Apply LiftSym0 (Apply ListsortBySym0 f)) a_6989586621681160873

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_6989586621681160859 a_6989586621681160861 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621681160859) a_6989586621681160861

sSortWith :: forall a o (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_6989586621681161266 a_6989586621681161268 = Apply (Apply (<|@#@$) a_6989586621681161266) a_6989586621681161268

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_6989586621681161321 f a (Let6989586621681161318Scrutinee_6989586621681159818Sym2 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_6989586621681161261 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621681161261

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_6989586621681161169 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621681161169

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_6989586621681161233 = Apply (Apply (Apply (.@#@$) FromListSym0) ListinitsSym0) a_6989586621681161233

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_6989586621681161228 = Apply (Apply (Apply (.@#@$) FromListSym0) ListtailsSym0) a_6989586621681161228

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_6989586621681161343 f a (Let6989586621681161340Scrutinee_6989586621681159808Sym2 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_6989586621681161224 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply ListinsertSym0 a)) a_6989586621681161224

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_6989586621681161165 = Apply (Apply (Apply (.@#@$) (Apply ListtakeSym0 n)) ToListSym0) a_6989586621681161165

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_6989586621681161157 = Apply (Apply (Apply (.@#@$) (Apply ListdropSym0 n)) ToListSym0) a_6989586621681161157

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_6989586621681161149 = Apply (Apply (Apply (.@#@$) (Apply ListsplitAtSym0 n)) ToListSym0) a_6989586621681161149

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_6989586621681161141 = Apply (Apply (Apply (.@#@$) (Apply ListtakeWhileSym0 p)) ToListSym0) a_6989586621681161141

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_6989586621681161133 = Apply (Apply (Apply (.@#@$) (Apply ListdropWhileSym0 p)) ToListSym0) a_6989586621681161133

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_6989586621681161125 = Apply (Apply (Apply (.@#@$) (Apply ListspanSym0 p)) ToListSym0) a_6989586621681161125

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_6989586621681161117 = Apply (Apply SpanSym0 (Apply (Apply (.@#@$) NotSym0) p)) a_6989586621681161117

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_6989586621681161109 = Apply (Apply (Apply (.@#@$) (Apply ListfilterSym0 p)) ToListSym0) a_6989586621681161109

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_6989586621681161101 = Apply (Apply (Apply (.@#@$) (Apply ListpartitionSym0 p)) ToListSym0) a_6989586621681161101

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_6989586621681161092 = Apply (Apply GroupBySym0 (==@#@$)) a_6989586621681161092

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_6989586621681161048 = Apply (Apply (Let6989586621681161052GoSym2 eq0 a_6989586621681161048) eq0) a_6989586621681161048

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_6989586621681161040 = Apply (Apply GroupBySym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621681161040

sGroupWith :: forall a b (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_6989586621681161032 = Apply (Apply (Apply (.@#@$) (Apply GroupWithSym0 f)) (Apply ListsortBySym0 (Apply (Apply OnSym0 CompareSym0) f))) a_6989586621681161032

sGroupAllWith :: forall a b (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_6989586621681161023 = Apply (Apply GroupBy1Sym0 (==@#@$)) a_6989586621681161023

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) (Let6989586621681160999YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621681160999ZsSym3 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_6989586621681160988 = Apply (Apply GroupBy1Sym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621681160988

sGroupWith1 :: forall a b (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_6989586621681160980 = Apply (Apply (Apply (.@#@$) (Apply GroupWith1Sym0 f)) (Apply SortWithSym0 f)) a_6989586621681160980

sGroupAllWith1 :: forall a b (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_6989586621681160897 = Apply (Apply NubBySym0 (==@#@$)) a_6989586621681160897

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_6989586621681160889Sym0 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_6989586621681159830 !! arg_6989586621681159832 = Case_6989586621681160956 arg_6989586621681159830 arg_6989586621681159832 (Apply (Apply Tuple2Sym0 arg_6989586621681159830) arg_6989586621681159832)

(%!!) :: 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) (Let6989586621681160907AsSym3 a b asbs))) (Apply (Apply (:|@#@$) b) (Let6989586621681160907BsSym3 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 (Let6989586621681161353Xor'Sym2 x xs)) x) xs

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

Defunctionalization symbols

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

Instances

Instances details

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

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

Instances

Instances details

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

type (:|@#@$$$) (t6989586621679310974 :: a6989586621679059398) (t6989586621679310975 :: [a6989586621679059398]) = '(:|) t6989586621679310974 t6989586621679310975 Source #

data MapSym0 :: forall a6989586621681159624 b6989586621681159625. (~>) ((~>) a6989586621681159624 b6989586621681159625) ((~>) (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625)) Source #

Instances

Instances details

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 (a6989586621681159624 ~> b6989586621681159625) (NonEmpty a6989586621681159624 ~> NonEmpty b6989586621681159625) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (MapSym0 :: TyFun (a6989586621681159624 ~> b6989586621681159625) (NonEmpty a6989586621681159624 ~> NonEmpty b6989586621681159625) -> Type) (a6989586621681161238 :: a6989586621681159624 ~> b6989586621681159625) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (MapSym0 :: TyFun (a6989586621681159624 ~> b6989586621681159625) (NonEmpty a6989586621681159624 ~> NonEmpty b6989586621681159625) -> Type) (a6989586621681161238 :: a6989586621681159624 ~> b6989586621681159625) = MapSym1 a6989586621681161238

data MapSym1 (a6989586621681161238 :: (~>) a6989586621681159624 b6989586621681159625) :: (~>) (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625) Source #

Instances

Instances details

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 a6989586621681161238 :: TyFun (NonEmpty a6989586621681159624) (NonEmpty b6989586621681159625) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (MapSym1 a6989586621681161238 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681161239 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (MapSym1 a6989586621681161238 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681161239 :: NonEmpty a) = Map a6989586621681161238 a6989586621681161239

type MapSym2 (a6989586621681161238 :: (~>) a6989586621681159624 b6989586621681159625) (a6989586621681161239 :: NonEmpty a6989586621681159624) = Map a6989586621681161238 a6989586621681161239 Source #

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

Instances

Instances details

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 a6989586621681159614 (NonEmpty a6989586621681159614 ~> NonEmpty a6989586621681159614) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (IntersperseSym0 :: TyFun a6989586621681159614 (NonEmpty a6989586621681159614 ~> NonEmpty a6989586621681159614) -> Type) (a6989586621681161174 :: a6989586621681159614) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IntersperseSym0 :: TyFun a6989586621681159614 (NonEmpty a6989586621681159614 ~> NonEmpty a6989586621681159614) -> Type) (a6989586621681161174 :: a6989586621681159614) = IntersperseSym1 a6989586621681161174

data IntersperseSym1 (a6989586621681161174 :: a6989586621681159614) :: (~>) (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614) Source #

Instances

Instances details

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 a6989586621681161174 :: TyFun (NonEmpty a6989586621681159614) (NonEmpty a6989586621681159614) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (IntersperseSym1 a6989586621681161174 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161175 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IntersperseSym1 a6989586621681161174 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161175 :: NonEmpty a) = Intersperse a6989586621681161174 a6989586621681161175

type IntersperseSym2 (a6989586621681161174 :: a6989586621681159614) (a6989586621681161175 :: NonEmpty a6989586621681159614) = Intersperse a6989586621681161174 a6989586621681161175 Source #

data ScanlSym0 :: forall b6989586621681159619 a6989586621681159620. (~>) ((~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) ((~>) b6989586621681159619 ((~>) [a6989586621681159620] (NonEmpty b6989586621681159619))) Source #

Instances

Instances details

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 (b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) (b6989586621681159619 ~> ([a6989586621681159620] ~> NonEmpty b6989586621681159619)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanlSym0 :: TyFun (b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) (b6989586621681159619 ~> ([a6989586621681159620] ~> NonEmpty b6989586621681159619)) -> Type) (a6989586621681161209 :: b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym0 :: TyFun (b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) (b6989586621681159619 ~> ([a6989586621681159620] ~> NonEmpty b6989586621681159619)) -> Type) (a6989586621681161209 :: b6989586621681159619 ~> (a6989586621681159620 ~> b6989586621681159619)) = ScanlSym1 a6989586621681161209

data ScanlSym1 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) :: (~>) b6989586621681159619 ((~>) [a6989586621681159620] (NonEmpty b6989586621681159619)) Source #

Instances

Instances details

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 a6989586621681161209 :: TyFun b6989586621681159619 ([a6989586621681159620] ~> NonEmpty b6989586621681159619) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanlSym1 a6989586621681161209 :: TyFun b6989586621681159619 ([a6989586621681159620] ~> NonEmpty b6989586621681159619) -> Type) (a6989586621681161210 :: b6989586621681159619) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym1 a6989586621681161209 :: TyFun b6989586621681159619 ([a6989586621681159620] ~> NonEmpty b6989586621681159619) -> Type) (a6989586621681161210 :: b6989586621681159619) = ScanlSym2 a6989586621681161209 a6989586621681161210

data ScanlSym2 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) (a6989586621681161210 :: b6989586621681159619) :: (~>) [a6989586621681159620] (NonEmpty b6989586621681159619) Source #

Instances

Instances details

(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 a6989586621681161210 a6989586621681161209 :: TyFun [a6989586621681159620] (NonEmpty b6989586621681159619) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanlSym2 a6989586621681161210 a6989586621681161209 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161211 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym2 a6989586621681161210 a6989586621681161209 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161211 :: [a]) = Scanl a6989586621681161210 a6989586621681161209 a6989586621681161211

type ScanlSym3 (a6989586621681161209 :: (~>) b6989586621681159619 ((~>) a6989586621681159620 b6989586621681159619)) (a6989586621681161210 :: b6989586621681159619) (a6989586621681161211 :: [a6989586621681159620]) = Scanl a6989586621681161209 a6989586621681161210 a6989586621681161211 Source #

data ScanrSym0 :: forall a6989586621681159617 b6989586621681159618. (~>) ((~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) ((~>) b6989586621681159618 ((~>) [a6989586621681159617] (NonEmpty b6989586621681159618))) Source #

Instances

Instances details

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 (a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) (b6989586621681159618 ~> ([a6989586621681159617] ~> NonEmpty b6989586621681159618)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanrSym0 :: TyFun (a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) (b6989586621681159618 ~> ([a6989586621681159617] ~> NonEmpty b6989586621681159618)) -> Type) (a6989586621681161198 :: a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym0 :: TyFun (a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) (b6989586621681159618 ~> ([a6989586621681159617] ~> NonEmpty b6989586621681159618)) -> Type) (a6989586621681161198 :: a6989586621681159617 ~> (b6989586621681159618 ~> b6989586621681159618)) = ScanrSym1 a6989586621681161198

data ScanrSym1 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) :: (~>) b6989586621681159618 ((~>) [a6989586621681159617] (NonEmpty b6989586621681159618)) Source #

Instances

Instances details

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 a6989586621681161198 :: TyFun b6989586621681159618 ([a6989586621681159617] ~> NonEmpty b6989586621681159618) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanrSym1 a6989586621681161198 :: TyFun b6989586621681159618 ([a6989586621681159617] ~> NonEmpty b6989586621681159618) -> Type) (a6989586621681161199 :: b6989586621681159618) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym1 a6989586621681161198 :: TyFun b6989586621681159618 ([a6989586621681159617] ~> NonEmpty b6989586621681159618) -> Type) (a6989586621681161199 :: b6989586621681159618) = ScanrSym2 a6989586621681161198 a6989586621681161199

data ScanrSym2 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) (a6989586621681161199 :: b6989586621681159618) :: (~>) [a6989586621681159617] (NonEmpty b6989586621681159618) Source #

Instances

Instances details

(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 a6989586621681161199 a6989586621681161198 :: TyFun [a6989586621681159617] (NonEmpty b6989586621681159618) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanrSym2 a6989586621681161199 a6989586621681161198 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161200 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym2 a6989586621681161199 a6989586621681161198 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161200 :: [a]) = Scanr a6989586621681161199 a6989586621681161198 a6989586621681161200

type ScanrSym3 (a6989586621681161198 :: (~>) a6989586621681159617 ((~>) b6989586621681159618 b6989586621681159618)) (a6989586621681161199 :: b6989586621681159618) (a6989586621681161200 :: [a6989586621681159617]) = Scanr a6989586621681161198 a6989586621681161199 a6989586621681161200 Source #

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

Instances

Instances details

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 (a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) (NonEmpty a6989586621681159616 ~> NonEmpty a6989586621681159616) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (Scanl1Sym0 :: TyFun (a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) (NonEmpty a6989586621681159616 ~> NonEmpty a6989586621681159616) -> Type) (a6989586621681161191 :: a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanl1Sym0 :: TyFun (a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) (NonEmpty a6989586621681159616 ~> NonEmpty a6989586621681159616) -> Type) (a6989586621681161191 :: a6989586621681159616 ~> (a6989586621681159616 ~> a6989586621681159616)) = Scanl1Sym1 a6989586621681161191

data Scanl1Sym1 (a6989586621681161191 :: (~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) :: (~>) (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616) Source #

Instances

Instances details

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 a6989586621681161191 :: TyFun (NonEmpty a6989586621681159616) (NonEmpty a6989586621681159616) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (Scanl1Sym1 a6989586621681161191 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161192 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanl1Sym1 a6989586621681161191 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161192 :: NonEmpty a) = Scanl1 a6989586621681161191 a6989586621681161192

type Scanl1Sym2 (a6989586621681161191 :: (~>) a6989586621681159616 ((~>) a6989586621681159616 a6989586621681159616)) (a6989586621681161192 :: NonEmpty a6989586621681159616) = Scanl1 a6989586621681161191 a6989586621681161192 Source #

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

Instances

Instances details

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 (a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) (NonEmpty a6989586621681159615 ~> NonEmpty a6989586621681159615) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (Scanr1Sym0 :: TyFun (a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) (NonEmpty a6989586621681159615 ~> NonEmpty a6989586621681159615) -> Type) (a6989586621681161184 :: a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanr1Sym0 :: TyFun (a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) (NonEmpty a6989586621681159615 ~> NonEmpty a6989586621681159615) -> Type) (a6989586621681161184 :: a6989586621681159615 ~> (a6989586621681159615 ~> a6989586621681159615)) = Scanr1Sym1 a6989586621681161184

data Scanr1Sym1 (a6989586621681161184 :: (~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) :: (~>) (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615) Source #

Instances

Instances details

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 a6989586621681161184 :: TyFun (NonEmpty a6989586621681159615) (NonEmpty a6989586621681159615) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (Scanr1Sym1 a6989586621681161184 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161185 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanr1Sym1 a6989586621681161184 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161185 :: NonEmpty a) = Scanr1 a6989586621681161184 a6989586621681161185

type Scanr1Sym2 (a6989586621681161184 :: (~>) a6989586621681159615 ((~>) a6989586621681159615 a6989586621681159615)) (a6989586621681161185 :: NonEmpty a6989586621681159615) = Scanr1 a6989586621681161184 a6989586621681161185 Source #

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

Instances

Instances details

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 a6989586621681159580)) (NonEmpty (NonEmpty a6989586621681159580)) -> 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) (a6989586621681160879 :: NonEmpty (NonEmpty a)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160879 :: NonEmpty (NonEmpty a)) = Transpose a6989586621681160879

type TransposeSym1 (a6989586621681160879 :: NonEmpty (NonEmpty a6989586621681159580)) = Transpose a6989586621681160879 Source #

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

Instances

Instances details

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 (a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) (NonEmpty a6989586621681159579 ~> NonEmpty a6989586621681159579) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (SortBySym0 :: TyFun (a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) (NonEmpty a6989586621681159579 ~> NonEmpty a6989586621681159579) -> Type) (a6989586621681160869 :: a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortBySym0 :: TyFun (a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) (NonEmpty a6989586621681159579 ~> NonEmpty a6989586621681159579) -> Type) (a6989586621681160869 :: a6989586621681159579 ~> (a6989586621681159579 ~> Ordering)) = SortBySym1 a6989586621681160869

data SortBySym1 (a6989586621681160869 :: (~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) :: (~>) (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579) Source #

Instances

Instances details

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 a6989586621681160869 :: TyFun (NonEmpty a6989586621681159579) (NonEmpty a6989586621681159579) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (SortBySym1 a6989586621681160869 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160870 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortBySym1 a6989586621681160869 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160870 :: NonEmpty a) = SortBy a6989586621681160869 a6989586621681160870

type SortBySym2 (a6989586621681160869 :: (~>) a6989586621681159579 ((~>) a6989586621681159579 Ordering)) (a6989586621681160870 :: NonEmpty a6989586621681159579) = SortBy a6989586621681160869 a6989586621681160870 Source #

data SortWithSym0 :: forall a6989586621681159578 o6989586621681159577. (~>) ((~>) a6989586621681159578 o6989586621681159577) ((~>) (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578)) Source #

Instances

Instances details

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 (a6989586621681159578 ~> o6989586621681159577) (NonEmpty a6989586621681159578 ~> NonEmpty a6989586621681159578) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (SortWithSym0 :: TyFun (a6989586621681159578 ~> o6989586621681159577) (NonEmpty a6989586621681159578 ~> NonEmpty a6989586621681159578) -> Type) (a6989586621681160863 :: a6989586621681159578 ~> o6989586621681159577) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortWithSym0 :: TyFun (a6989586621681159578 ~> o6989586621681159577) (NonEmpty a6989586621681159578 ~> NonEmpty a6989586621681159578) -> Type) (a6989586621681160863 :: a6989586621681159578 ~> o6989586621681159577) = SortWithSym1 a6989586621681160863

data SortWithSym1 (a6989586621681160863 :: (~>) a6989586621681159578 o6989586621681159577) :: (~>) (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578) Source #

Instances

Instances details

(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 a6989586621681160863 :: TyFun (NonEmpty a6989586621681159578) (NonEmpty a6989586621681159578) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (SortWithSym1 a6989586621681160863 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160864 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortWithSym1 a6989586621681160863 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160864 :: NonEmpty a) = SortWith a6989586621681160863 a6989586621681160864

type SortWithSym2 (a6989586621681160863 :: (~>) a6989586621681159578 o6989586621681159577) (a6989586621681160864 :: NonEmpty a6989586621681159578) = SortWith a6989586621681160863 a6989586621681160864 Source #

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

Instances

Instances details

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 a6989586621681159643) Nat -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> Type) (a6989586621681161362 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> Type) (a6989586621681161362 :: NonEmpty a) = Length a6989586621681161362

type LengthSym1 (a6989586621681161362 :: NonEmpty a6989586621681159643) = Length a6989586621681161362 Source #

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

Instances

Instances details

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 a6989586621681159636) a6989586621681159636 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681161294 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681161294 :: NonEmpty a) = Head a6989586621681161294

type HeadSym1 (a6989586621681161294 :: NonEmpty a6989586621681159636) = Head a6989586621681161294 Source #

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

Instances

Instances details

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 a6989586621681159635) [a6989586621681159635] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161291 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161291 :: NonEmpty a) = Tail a6989586621681161291

type TailSym1 (a6989586621681161291 :: NonEmpty a6989586621681159635) = Tail a6989586621681161291 Source #

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

Instances

Instances details

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 a6989586621681159634) a6989586621681159634 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (LastSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681161287 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (LastSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681161287 :: NonEmpty a) = Last a6989586621681161287

type LastSym1 (a6989586621681161287 :: NonEmpty a6989586621681159634) = Last a6989586621681161287 Source #

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

Instances

Instances details

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 a6989586621681159633) [a6989586621681159633] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161283 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161283 :: NonEmpty a) = Init a6989586621681161283

type InitSym1 (a6989586621681161283 :: NonEmpty a6989586621681159633) = Init a6989586621681161283 Source #

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

Instances

Instances details

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

data (<|@#@$$) (a6989586621681161276 :: a6989586621681159632) :: (~>) (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632) Source #

Instances

Instances details

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 ((<\|@#@$$) a6989586621681161276 :: TyFun (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply ((<\|@#@$$) a6989586621681161276 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161277 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((<\|@#@$$) a6989586621681161276 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161277 :: NonEmpty a) = a6989586621681161276 <\| a6989586621681161277

type (<|@#@$$$) (a6989586621681161276 :: a6989586621681159632) (a6989586621681161277 :: NonEmpty a6989586621681159632) = (<|) a6989586621681161276 a6989586621681161277 Source #

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

Instances

Instances details

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 a6989586621681159631 (NonEmpty a6989586621681159631 ~> NonEmpty a6989586621681159631) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ConsSym0 :: TyFun a6989586621681159631 (NonEmpty a6989586621681159631 ~> NonEmpty a6989586621681159631) -> Type) (a6989586621681161270 :: a6989586621681159631) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ConsSym0 :: TyFun a6989586621681159631 (NonEmpty a6989586621681159631 ~> NonEmpty a6989586621681159631) -> Type) (a6989586621681161270 :: a6989586621681159631) = ConsSym1 a6989586621681161270

data ConsSym1 (a6989586621681161270 :: a6989586621681159631) :: (~>) (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631) Source #

Instances

Instances details

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 a6989586621681161270 :: TyFun (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ConsSym1 a6989586621681161270 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161271 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ConsSym1 a6989586621681161270 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161271 :: NonEmpty a) = Cons a6989586621681161270 a6989586621681161271

type ConsSym2 (a6989586621681161270 :: a6989586621681159631) (a6989586621681161271 :: NonEmpty a6989586621681159631) = Cons a6989586621681161270 a6989586621681161271 Source #

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

Instances

Instances details

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 a6989586621681159639) (a6989586621681159639, Maybe (NonEmpty a6989586621681159639)) -> 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) (a6989586621681161326 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) (a6989586621681161326 :: NonEmpty a) = Uncons a6989586621681161326

type UnconsSym1 (a6989586621681161326 :: NonEmpty a6989586621681159639) = Uncons a6989586621681161326 Source #

data UnfoldrSym0 :: forall a6989586621681159637 b6989586621681159638. (~>) ((~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) ((~>) a6989586621681159637 (NonEmpty b6989586621681159638)) Source #

Instances

Instances details

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 (a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681159637 ~> NonEmpty b6989586621681159638) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (UnfoldrSym0 :: TyFun (a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681159637 ~> NonEmpty b6989586621681159638) -> Type) (a6989586621681161297 :: a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldrSym0 :: TyFun (a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681159637 ~> NonEmpty b6989586621681159638) -> Type) (a6989586621681161297 :: a6989586621681159637 ~> (b6989586621681159638, Maybe a6989586621681159637)) = UnfoldrSym1 a6989586621681161297

data UnfoldrSym1 (a6989586621681161297 :: (~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) :: (~>) a6989586621681159637 (NonEmpty b6989586621681159638) Source #

Instances

Instances details

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 a6989586621681161297 :: TyFun a6989586621681159637 (NonEmpty b6989586621681159638) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (UnfoldrSym1 a6989586621681161297 :: TyFun a (NonEmpty b) -> Type) (a6989586621681161298 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldrSym1 a6989586621681161297 :: TyFun a (NonEmpty b) -> Type) (a6989586621681161298 :: a) = Unfoldr a6989586621681161297 a6989586621681161298

type UnfoldrSym2 (a6989586621681161297 :: (~>) a6989586621681159637 (b6989586621681159638, Maybe a6989586621681159637)) (a6989586621681161298 :: a6989586621681159637) = Unfoldr a6989586621681161297 a6989586621681161298 Source #

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

Instances

Instances details

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 a6989586621681159630) (NonEmpty a6989586621681159630) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161263 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161263 :: NonEmpty a) = Sort a6989586621681161263

type SortSym1 (a6989586621681161263 :: NonEmpty a6989586621681159630) = Sort a6989586621681161263 Source #

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

Instances

Instances details

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 a6989586621681159613) (NonEmpty a6989586621681159613) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161171 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161171 :: NonEmpty a) = Reverse a6989586621681161171

type ReverseSym1 (a6989586621681161171 :: NonEmpty a6989586621681159613) = Reverse a6989586621681161171 Source #

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

Instances

Instances details

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 [a6989586621681159623] (NonEmpty [a6989586621681159623]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681161235 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681161235 :: [a]) = Inits a6989586621681161235

type InitsSym1 (a6989586621681161235 :: [a6989586621681159623]) = Inits a6989586621681161235 Source #

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

Instances

Instances details

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 [a6989586621681159622] (NonEmpty [a6989586621681159622]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681161230 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681161230 :: [a]) = Tails a6989586621681161230

type TailsSym1 (a6989586621681161230 :: [a6989586621681159622]) = Tails a6989586621681161230 Source #

data UnfoldSym0 :: forall a6989586621681159641 b6989586621681159642. (~>) ((~>) a6989586621681159641 (b6989586621681159642, Maybe a6989586621681159641)) ((~>) a6989586621681159641 (NonEmpty b6989586621681159642)) Source #

Instances

Instances details

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 (a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) (a6989586621681159641 ~> NonEmpty b6989586621681159642) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (UnfoldSym0 :: TyFun (a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) (a6989586621681159641 ~> NonEmpty b6989586621681159642) -> Type) (a6989586621681161334 :: a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldSym0 :: TyFun (a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) (a6989586621681159641 ~> NonEmpty b6989586621681159642) -> Type) (a6989586621681161334 :: a6989586621681159641 ~> (b6989586621681159642, Maybe a6989586621681159641)) = UnfoldSym1 a6989586621681161334

data UnfoldSym1 (a6989586621681161334 :: (~>) a6989586621681159641 (b6989586621681159642, Maybe a6989586621681159641)) :: (~>) a6989586621681159641 (NonEmpty b6989586621681159642) Source #

Instances

Instances details

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 a6989586621681161334 :: TyFun a6989586621681159641 (NonEmpty b6989586621681159642) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (UnfoldSym1 a6989586621681161334 :: TyFun a (NonEmpty b) -> Type) (a6989586621681161335 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldSym1 a6989586621681161334 :: TyFun a (NonEmpty b) -> Type) (a6989586621681161335 :: a) = Unfold a6989586621681161334 a6989586621681161335

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

Instances

Instances details

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 a6989586621681159621 ([a6989586621681159621] ~> NonEmpty a6989586621681159621) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (InsertSym0 :: TyFun a6989586621681159621 ([a6989586621681159621] ~> NonEmpty a6989586621681159621) -> Type) (a6989586621681161220 :: a6989586621681159621) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InsertSym0 :: TyFun a6989586621681159621 ([a6989586621681159621] ~> NonEmpty a6989586621681159621) -> Type) (a6989586621681161220 :: a6989586621681159621) = InsertSym1 a6989586621681161220

data InsertSym1 (a6989586621681161220 :: a6989586621681159621) :: (~>) [a6989586621681159621] (NonEmpty a6989586621681159621) Source #

Instances

Instances details

(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 a6989586621681161220 :: TyFun [a6989586621681159621] (NonEmpty a6989586621681159621) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (InsertSym1 a6989586621681161220 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681161221 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InsertSym1 a6989586621681161220 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681161221 :: [a]) = Insert a6989586621681161220 a6989586621681161221

type InsertSym2 (a6989586621681161220 :: a6989586621681159621) (a6989586621681161221 :: [a6989586621681159621]) = Insert a6989586621681161220 a6989586621681161221 Source #

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

Instances

Instances details

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 a6989586621681159612 ~> [a6989586621681159612]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681159612 ~> [a6989586621681159612]) -> Type) (a6989586621681161161 :: Nat) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeSym0 :: TyFun Nat (NonEmpty a6989586621681159612 ~> [a6989586621681159612]) -> Type) (a6989586621681161161 :: Nat) = TakeSym1 a6989586621681161161 a6989586621681159612 :: TyFun (NonEmpty a6989586621681159612) [a6989586621681159612] -> Type

data TakeSym1 (a6989586621681161161 :: Nat) :: forall a6989586621681159612. (~>) (NonEmpty a6989586621681159612) [a6989586621681159612] Source #

Instances

Instances details

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 a6989586621681161161 a6989586621681159612 :: TyFun (NonEmpty a6989586621681159612) [a6989586621681159612] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (TakeSym1 a6989586621681161161 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161162 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeSym1 a6989586621681161161 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161162 :: NonEmpty a) = Take a6989586621681161161 a6989586621681161162

type TakeSym2 (a6989586621681161161 :: Nat) (a6989586621681161162 :: NonEmpty a6989586621681159612) = Take a6989586621681161161 a6989586621681161162 Source #

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

Instances

Instances details

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 a6989586621681159611 ~> [a6989586621681159611]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (DropSym0 :: TyFun Nat (NonEmpty a6989586621681159611 ~> [a6989586621681159611]) -> Type) (a6989586621681161153 :: Nat) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropSym0 :: TyFun Nat (NonEmpty a6989586621681159611 ~> [a6989586621681159611]) -> Type) (a6989586621681161153 :: Nat) = DropSym1 a6989586621681161153 a6989586621681159611 :: TyFun (NonEmpty a6989586621681159611) [a6989586621681159611] -> Type

data DropSym1 (a6989586621681161153 :: Nat) :: forall a6989586621681159611. (~>) (NonEmpty a6989586621681159611) [a6989586621681159611] Source #

Instances

Instances details

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 a6989586621681161153 a6989586621681159611 :: TyFun (NonEmpty a6989586621681159611) [a6989586621681159611] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (DropSym1 a6989586621681161153 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161154 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropSym1 a6989586621681161153 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161154 :: NonEmpty a) = Drop a6989586621681161153 a6989586621681161154

type DropSym2 (a6989586621681161153 :: Nat) (a6989586621681161154 :: NonEmpty a6989586621681159611) = Drop a6989586621681161153 a6989586621681161154 Source #

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

Instances

Instances details

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 a6989586621681159610 ~> ([a6989586621681159610], [a6989586621681159610])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681159610 ~> ([a6989586621681159610], [a6989586621681159610])) -> Type) (a6989586621681161145 :: Nat) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SplitAtSym0 :: TyFun Nat (NonEmpty a6989586621681159610 ~> ([a6989586621681159610], [a6989586621681159610])) -> Type) (a6989586621681161145 :: Nat) = SplitAtSym1 a6989586621681161145 a6989586621681159610 :: TyFun (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610]) -> Type

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

Instances

Instances details

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 a6989586621681161145 a6989586621681159610 :: TyFun (NonEmpty a6989586621681159610) ([a6989586621681159610], [a6989586621681159610]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (SplitAtSym1 a6989586621681161145 a :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161146 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SplitAtSym1 a6989586621681161145 a :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161146 :: NonEmpty a) = SplitAt a6989586621681161145 a6989586621681161146

type SplitAtSym2 (a6989586621681161145 :: Nat) (a6989586621681161146 :: NonEmpty a6989586621681159610) = SplitAt a6989586621681161145 a6989586621681161146 Source #

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

Instances

Instances details

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 (a6989586621681159609 ~> Bool) (NonEmpty a6989586621681159609 ~> [a6989586621681159609]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (TakeWhileSym0 :: TyFun (a6989586621681159609 ~> Bool) (NonEmpty a6989586621681159609 ~> [a6989586621681159609]) -> Type) (a6989586621681161137 :: a6989586621681159609 ~> Bool) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeWhileSym0 :: TyFun (a6989586621681159609 ~> Bool) (NonEmpty a6989586621681159609 ~> [a6989586621681159609]) -> Type) (a6989586621681161137 :: a6989586621681159609 ~> Bool) = TakeWhileSym1 a6989586621681161137

data TakeWhileSym1 (a6989586621681161137 :: (~>) a6989586621681159609 Bool) :: (~>) (NonEmpty a6989586621681159609) [a6989586621681159609] Source #

Instances

Instances details

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 a6989586621681161137 :: TyFun (NonEmpty a6989586621681159609) [a6989586621681159609] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (TakeWhileSym1 a6989586621681161137 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161138 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeWhileSym1 a6989586621681161137 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161138 :: NonEmpty a) = TakeWhile a6989586621681161137 a6989586621681161138

type TakeWhileSym2 (a6989586621681161137 :: (~>) a6989586621681159609 Bool) (a6989586621681161138 :: NonEmpty a6989586621681159609) = TakeWhile a6989586621681161137 a6989586621681161138 Source #

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

Instances

Instances details

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 (a6989586621681159608 ~> Bool) (NonEmpty a6989586621681159608 ~> [a6989586621681159608]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (DropWhileSym0 :: TyFun (a6989586621681159608 ~> Bool) (NonEmpty a6989586621681159608 ~> [a6989586621681159608]) -> Type) (a6989586621681161129 :: a6989586621681159608 ~> Bool) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropWhileSym0 :: TyFun (a6989586621681159608 ~> Bool) (NonEmpty a6989586621681159608 ~> [a6989586621681159608]) -> Type) (a6989586621681161129 :: a6989586621681159608 ~> Bool) = DropWhileSym1 a6989586621681161129

data DropWhileSym1 (a6989586621681161129 :: (~>) a6989586621681159608 Bool) :: (~>) (NonEmpty a6989586621681159608) [a6989586621681159608] Source #

Instances

Instances details

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 a6989586621681161129 :: TyFun (NonEmpty a6989586621681159608) [a6989586621681159608] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (DropWhileSym1 a6989586621681161129 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161130 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropWhileSym1 a6989586621681161129 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161130 :: NonEmpty a) = DropWhile a6989586621681161129 a6989586621681161130

type DropWhileSym2 (a6989586621681161129 :: (~>) a6989586621681159608 Bool) (a6989586621681161130 :: NonEmpty a6989586621681159608) = DropWhile a6989586621681161129 a6989586621681161130 Source #

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

Instances

Instances details

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 (a6989586621681159607 ~> Bool) (NonEmpty a6989586621681159607 ~> ([a6989586621681159607], [a6989586621681159607])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (SpanSym0 :: TyFun (a6989586621681159607 ~> Bool) (NonEmpty a6989586621681159607 ~> ([a6989586621681159607], [a6989586621681159607])) -> Type) (a6989586621681161121 :: a6989586621681159607 ~> Bool) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SpanSym0 :: TyFun (a6989586621681159607 ~> Bool) (NonEmpty a6989586621681159607 ~> ([a6989586621681159607], [a6989586621681159607])) -> Type) (a6989586621681161121 :: a6989586621681159607 ~> Bool) = SpanSym1 a6989586621681161121

data SpanSym1 (a6989586621681161121 :: (~>) a6989586621681159607 Bool) :: (~>) (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607]) Source #

Instances

Instances details

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 a6989586621681161121 :: TyFun (NonEmpty a6989586621681159607) ([a6989586621681159607], [a6989586621681159607]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (SpanSym1 a6989586621681161121 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161122 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SpanSym1 a6989586621681161121 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161122 :: NonEmpty a) = Span a6989586621681161121 a6989586621681161122

type SpanSym2 (a6989586621681161121 :: (~>) a6989586621681159607 Bool) (a6989586621681161122 :: NonEmpty a6989586621681159607) = Span a6989586621681161121 a6989586621681161122 Source #

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

Instances

Instances details

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 (a6989586621681159606 ~> Bool) (NonEmpty a6989586621681159606 ~> ([a6989586621681159606], [a6989586621681159606])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (BreakSym0 :: TyFun (a6989586621681159606 ~> Bool) (NonEmpty a6989586621681159606 ~> ([a6989586621681159606], [a6989586621681159606])) -> Type) (a6989586621681161113 :: a6989586621681159606 ~> Bool) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (BreakSym0 :: TyFun (a6989586621681159606 ~> Bool) (NonEmpty a6989586621681159606 ~> ([a6989586621681159606], [a6989586621681159606])) -> Type) (a6989586621681161113 :: a6989586621681159606 ~> Bool) = BreakSym1 a6989586621681161113

data BreakSym1 (a6989586621681161113 :: (~>) a6989586621681159606 Bool) :: (~>) (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606]) Source #

Instances

Instances details

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 a6989586621681161113 :: TyFun (NonEmpty a6989586621681159606) ([a6989586621681159606], [a6989586621681159606]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (BreakSym1 a6989586621681161113 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161114 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (BreakSym1 a6989586621681161113 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161114 :: NonEmpty a) = Break a6989586621681161113 a6989586621681161114

type BreakSym2 (a6989586621681161113 :: (~>) a6989586621681159606 Bool) (a6989586621681161114 :: NonEmpty a6989586621681159606) = Break a6989586621681161113 a6989586621681161114 Source #

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

Instances

Instances details

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 (a6989586621681159605 ~> Bool) (NonEmpty a6989586621681159605 ~> [a6989586621681159605]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (FilterSym0 :: TyFun (a6989586621681159605 ~> Bool) (NonEmpty a6989586621681159605 ~> [a6989586621681159605]) -> Type) (a6989586621681161105 :: a6989586621681159605 ~> Bool) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (FilterSym0 :: TyFun (a6989586621681159605 ~> Bool) (NonEmpty a6989586621681159605 ~> [a6989586621681159605]) -> Type) (a6989586621681161105 :: a6989586621681159605 ~> Bool) = FilterSym1 a6989586621681161105

data FilterSym1 (a6989586621681161105 :: (~>) a6989586621681159605 Bool) :: (~>) (NonEmpty a6989586621681159605) [a6989586621681159605] Source #

Instances

Instances details

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 a6989586621681161105 :: TyFun (NonEmpty a6989586621681159605) [a6989586621681159605] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (FilterSym1 a6989586621681161105 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161106 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (FilterSym1 a6989586621681161105 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161106 :: NonEmpty a) = Filter a6989586621681161105 a6989586621681161106

type FilterSym2 (a6989586621681161105 :: (~>) a6989586621681159605 Bool) (a6989586621681161106 :: NonEmpty a6989586621681159605) = Filter a6989586621681161105 a6989586621681161106 Source #

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

Instances

Instances details

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 (a6989586621681159604 ~> Bool) (NonEmpty a6989586621681159604 ~> ([a6989586621681159604], [a6989586621681159604])) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (PartitionSym0 :: TyFun (a6989586621681159604 ~> Bool) (NonEmpty a6989586621681159604 ~> ([a6989586621681159604], [a6989586621681159604])) -> Type) (a6989586621681161097 :: a6989586621681159604 ~> Bool) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (PartitionSym0 :: TyFun (a6989586621681159604 ~> Bool) (NonEmpty a6989586621681159604 ~> ([a6989586621681159604], [a6989586621681159604])) -> Type) (a6989586621681161097 :: a6989586621681159604 ~> Bool) = PartitionSym1 a6989586621681161097

data PartitionSym1 (a6989586621681161097 :: (~>) a6989586621681159604 Bool) :: (~>) (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604]) Source #

Instances

Instances details

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 a6989586621681161097 :: TyFun (NonEmpty a6989586621681159604) ([a6989586621681159604], [a6989586621681159604]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (PartitionSym1 a6989586621681161097 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161098 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (PartitionSym1 a6989586621681161097 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681161098 :: NonEmpty a) = Partition a6989586621681161097 a6989586621681161098

type PartitionSym2 (a6989586621681161097 :: (~>) a6989586621681159604 Bool) (a6989586621681161098 :: NonEmpty a6989586621681159604) = Partition a6989586621681161097 a6989586621681161098 Source #

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

Instances

Instances details

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 [a6989586621681159603] [NonEmpty a6989586621681159603] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161094 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161094 :: [a]) = Group a6989586621681161094

type GroupSym1 (a6989586621681161094 :: [a6989586621681159603]) = Group a6989586621681161094 Source #

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

Instances

Instances details

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 (a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) ([a6989586621681159602] ~> [NonEmpty a6989586621681159602]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupBySym0 :: TyFun (a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) ([a6989586621681159602] ~> [NonEmpty a6989586621681159602]) -> Type) (a6989586621681161044 :: a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBySym0 :: TyFun (a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) ([a6989586621681159602] ~> [NonEmpty a6989586621681159602]) -> Type) (a6989586621681161044 :: a6989586621681159602 ~> (a6989586621681159602 ~> Bool)) = GroupBySym1 a6989586621681161044

data GroupBySym1 (a6989586621681161044 :: (~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) :: (~>) [a6989586621681159602] [NonEmpty a6989586621681159602] Source #

Instances

Instances details

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 a6989586621681161044 :: TyFun [a6989586621681159602] [NonEmpty a6989586621681159602] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupBySym1 a6989586621681161044 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161045 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBySym1 a6989586621681161044 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161045 :: [a]) = GroupBy a6989586621681161044 a6989586621681161045

type GroupBySym2 (a6989586621681161044 :: (~>) a6989586621681159602 ((~>) a6989586621681159602 Bool)) (a6989586621681161045 :: [a6989586621681159602]) = GroupBy a6989586621681161044 a6989586621681161045 Source #

data GroupWithSym0 :: forall a6989586621681159601 b6989586621681159600. (~>) ((~>) a6989586621681159601 b6989586621681159600) ((~>) [a6989586621681159601] [NonEmpty a6989586621681159601]) Source #

Instances

Instances details

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 (a6989586621681159601 ~> b6989586621681159600) ([a6989586621681159601] ~> [NonEmpty a6989586621681159601]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupWithSym0 :: TyFun (a6989586621681159601 ~> b6989586621681159600) ([a6989586621681159601] ~> [NonEmpty a6989586621681159601]) -> Type) (a6989586621681161036 :: a6989586621681159601 ~> b6989586621681159600) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWithSym0 :: TyFun (a6989586621681159601 ~> b6989586621681159600) ([a6989586621681159601] ~> [NonEmpty a6989586621681159601]) -> Type) (a6989586621681161036 :: a6989586621681159601 ~> b6989586621681159600) = GroupWithSym1 a6989586621681161036

data GroupWithSym1 (a6989586621681161036 :: (~>) a6989586621681159601 b6989586621681159600) :: (~>) [a6989586621681159601] [NonEmpty a6989586621681159601] Source #

Instances

Instances details

(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 a6989586621681161036 :: TyFun [a6989586621681159601] [NonEmpty a6989586621681159601] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupWithSym1 a6989586621681161036 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161037 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWithSym1 a6989586621681161036 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161037 :: [a]) = GroupWith a6989586621681161036 a6989586621681161037

type GroupWithSym2 (a6989586621681161036 :: (~>) a6989586621681159601 b6989586621681159600) (a6989586621681161037 :: [a6989586621681159601]) = GroupWith a6989586621681161036 a6989586621681161037 Source #

data GroupAllWithSym0 :: forall a6989586621681159599 b6989586621681159598. (~>) ((~>) a6989586621681159599 b6989586621681159598) ((~>) [a6989586621681159599] [NonEmpty a6989586621681159599]) Source #

Instances

Instances details

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 (a6989586621681159599 ~> b6989586621681159598) ([a6989586621681159599] ~> [NonEmpty a6989586621681159599]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupAllWithSym0 :: TyFun (a6989586621681159599 ~> b6989586621681159598) ([a6989586621681159599] ~> [NonEmpty a6989586621681159599]) -> Type) (a6989586621681161028 :: a6989586621681159599 ~> b6989586621681159598) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWithSym0 :: TyFun (a6989586621681159599 ~> b6989586621681159598) ([a6989586621681159599] ~> [NonEmpty a6989586621681159599]) -> Type) (a6989586621681161028 :: a6989586621681159599 ~> b6989586621681159598) = GroupAllWithSym1 a6989586621681161028

data GroupAllWithSym1 (a6989586621681161028 :: (~>) a6989586621681159599 b6989586621681159598) :: (~>) [a6989586621681159599] [NonEmpty a6989586621681159599] Source #

Instances

Instances details

(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 a6989586621681161028 :: TyFun [a6989586621681159599] [NonEmpty a6989586621681159599] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupAllWithSym1 a6989586621681161028 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161029 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWithSym1 a6989586621681161028 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681161029 :: [a]) = GroupAllWith a6989586621681161028 a6989586621681161029

type GroupAllWithSym2 (a6989586621681161028 :: (~>) a6989586621681159599 b6989586621681159598) (a6989586621681161029 :: [a6989586621681159599]) = GroupAllWith a6989586621681161028 a6989586621681161029 Source #

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

Instances

Instances details

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 a6989586621681159597) (NonEmpty (NonEmpty a6989586621681159597)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681161025 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681161025 :: NonEmpty a) = Group1 a6989586621681161025

type Group1Sym1 (a6989586621681161025 :: NonEmpty a6989586621681159597) = Group1 a6989586621681161025 Source #

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

Instances

Instances details

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 (a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) (NonEmpty a6989586621681159596 ~> NonEmpty (NonEmpty a6989586621681159596)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupBy1Sym0 :: TyFun (a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) (NonEmpty a6989586621681159596 ~> NonEmpty (NonEmpty a6989586621681159596)) -> Type) (a6989586621681160992 :: a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBy1Sym0 :: TyFun (a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) (NonEmpty a6989586621681159596 ~> NonEmpty (NonEmpty a6989586621681159596)) -> Type) (a6989586621681160992 :: a6989586621681159596 ~> (a6989586621681159596 ~> Bool)) = GroupBy1Sym1 a6989586621681160992

data GroupBy1Sym1 (a6989586621681160992 :: (~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) :: (~>) (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596)) Source #

Instances

Instances details

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 a6989586621681160992 :: TyFun (NonEmpty a6989586621681159596) (NonEmpty (NonEmpty a6989586621681159596)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupBy1Sym1 a6989586621681160992 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160993 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBy1Sym1 a6989586621681160992 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160993 :: NonEmpty a) = GroupBy1 a6989586621681160992 a6989586621681160993

type GroupBy1Sym2 (a6989586621681160992 :: (~>) a6989586621681159596 ((~>) a6989586621681159596 Bool)) (a6989586621681160993 :: NonEmpty a6989586621681159596) = GroupBy1 a6989586621681160992 a6989586621681160993 Source #

data GroupWith1Sym0 :: forall a6989586621681159595 b6989586621681159594. (~>) ((~>) a6989586621681159595 b6989586621681159594) ((~>) (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595))) Source #

Instances

Instances details

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 (a6989586621681159595 ~> b6989586621681159594) (NonEmpty a6989586621681159595 ~> NonEmpty (NonEmpty a6989586621681159595)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupWith1Sym0 :: TyFun (a6989586621681159595 ~> b6989586621681159594) (NonEmpty a6989586621681159595 ~> NonEmpty (NonEmpty a6989586621681159595)) -> Type) (a6989586621681160984 :: a6989586621681159595 ~> b6989586621681159594) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWith1Sym0 :: TyFun (a6989586621681159595 ~> b6989586621681159594) (NonEmpty a6989586621681159595 ~> NonEmpty (NonEmpty a6989586621681159595)) -> Type) (a6989586621681160984 :: a6989586621681159595 ~> b6989586621681159594) = GroupWith1Sym1 a6989586621681160984

data GroupWith1Sym1 (a6989586621681160984 :: (~>) a6989586621681159595 b6989586621681159594) :: (~>) (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595)) Source #

Instances

Instances details

(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 a6989586621681160984 :: TyFun (NonEmpty a6989586621681159595) (NonEmpty (NonEmpty a6989586621681159595)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupWith1Sym1 a6989586621681160984 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160985 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWith1Sym1 a6989586621681160984 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160985 :: NonEmpty a) = GroupWith1 a6989586621681160984 a6989586621681160985

type GroupWith1Sym2 (a6989586621681160984 :: (~>) a6989586621681159595 b6989586621681159594) (a6989586621681160985 :: NonEmpty a6989586621681159595) = GroupWith1 a6989586621681160984 a6989586621681160985 Source #

data GroupAllWith1Sym0 :: forall a6989586621681159593 b6989586621681159592. (~>) ((~>) a6989586621681159593 b6989586621681159592) ((~>) (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593))) Source #

Instances

Instances details

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 (a6989586621681159593 ~> b6989586621681159592) (NonEmpty a6989586621681159593 ~> NonEmpty (NonEmpty a6989586621681159593)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupAllWith1Sym0 :: TyFun (a6989586621681159593 ~> b6989586621681159592) (NonEmpty a6989586621681159593 ~> NonEmpty (NonEmpty a6989586621681159593)) -> Type) (a6989586621681160976 :: a6989586621681159593 ~> b6989586621681159592) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWith1Sym0 :: TyFun (a6989586621681159593 ~> b6989586621681159592) (NonEmpty a6989586621681159593 ~> NonEmpty (NonEmpty a6989586621681159593)) -> Type) (a6989586621681160976 :: a6989586621681159593 ~> b6989586621681159592) = GroupAllWith1Sym1 a6989586621681160976

data GroupAllWith1Sym1 (a6989586621681160976 :: (~>) a6989586621681159593 b6989586621681159592) :: (~>) (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593)) Source #

Instances

Instances details

(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 a6989586621681160976 :: TyFun (NonEmpty a6989586621681159593) (NonEmpty (NonEmpty a6989586621681159593)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupAllWith1Sym1 a6989586621681160976 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160977 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWith1Sym1 a6989586621681160976 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681160977 :: NonEmpty a) = GroupAllWith1 a6989586621681160976 a6989586621681160977

type GroupAllWith1Sym2 (a6989586621681160976 :: (~>) a6989586621681159593 b6989586621681159592) (a6989586621681160977 :: NonEmpty a6989586621681159593) = GroupAllWith1 a6989586621681160976 a6989586621681160977 Source #

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

Instances

Instances details

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 [a6989586621681159591] (NonEmpty a6989586621681159591 ~> Bool) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (IsPrefixOfSym0 :: TyFun [a6989586621681159591] (NonEmpty a6989586621681159591 ~> Bool) -> Type) (a6989586621681160968 :: [a6989586621681159591]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IsPrefixOfSym0 :: TyFun [a6989586621681159591] (NonEmpty a6989586621681159591 ~> Bool) -> Type) (a6989586621681160968 :: [a6989586621681159591]) = IsPrefixOfSym1 a6989586621681160968

data IsPrefixOfSym1 (a6989586621681160968 :: [a6989586621681159591]) :: (~>) (NonEmpty a6989586621681159591) Bool Source #

Instances

Instances details

(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 a6989586621681160968 :: TyFun (NonEmpty a6989586621681159591) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (IsPrefixOfSym1 a6989586621681160968 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681160969 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IsPrefixOfSym1 a6989586621681160968 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681160969 :: NonEmpty a) = IsPrefixOf a6989586621681160968 a6989586621681160969

type IsPrefixOfSym2 (a6989586621681160968 :: [a6989586621681159591]) (a6989586621681160969 :: NonEmpty a6989586621681159591) = IsPrefixOf a6989586621681160968 a6989586621681160969 Source #

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

Instances

Instances details

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 a6989586621681159582) (NonEmpty a6989586621681159582) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160899 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160899 :: NonEmpty a) = Nub a6989586621681160899

type NubSym1 (a6989586621681160899 :: NonEmpty a6989586621681159582) = Nub a6989586621681160899 Source #

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

Instances

Instances details

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 (a6989586621681159581 ~> (a6989586621681159581 ~> Bool)) (NonEmpty a6989586621681159581 ~> NonEmpty a6989586621681159581) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (NubBySym0 :: TyFun (a6989586621681159581 ~> (a6989586621681159581 ~> Bool)) (NonEmpty a6989586621681159581 ~> NonEmpty a6989586621681159581) -> Type) (a6989586621681160882 :: a6989586621681159581 ~> (a6989586621681159581 ~> Bool)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NubBySym0 :: TyFun (a6989586621681159581 ~> (a6989586621681159581 ~> Bool)) (NonEmpty a6989586621681159581 ~> NonEmpty a6989586621681159581) -> Type) (a6989586621681160882 :: a6989586621681159581 ~> (a6989586621681159581 ~> Bool)) = NubBySym1 a6989586621681160882

data NubBySym1 (a6989586621681160882 :: (~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) :: (~>) (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581) Source #

Instances

Instances details

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 a6989586621681160882 :: TyFun (NonEmpty a6989586621681159581) (NonEmpty a6989586621681159581) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (NubBySym1 a6989586621681160882 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160883 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NubBySym1 a6989586621681160882 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681160883 :: NonEmpty a) = NubBy a6989586621681160882 a6989586621681160883

type NubBySym2 (a6989586621681160882 :: (~>) a6989586621681159581 ((~>) a6989586621681159581 Bool)) (a6989586621681160883 :: NonEmpty a6989586621681159581) = NubBy a6989586621681160882 a6989586621681160883 Source #

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

Instances

Instances details

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

data (!!@#@$$) (a6989586621681160950 :: NonEmpty a6989586621681159590) :: (~>) Nat a6989586621681159590 Source #

Instances

Instances details

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

type (!!@#@$$$) (a6989586621681160950 :: NonEmpty a6989586621681159590) (a6989586621681160951 :: Nat) = (!!) a6989586621681160950 a6989586621681160951 Source #

data ZipSym0 :: forall a6989586621681159588 b6989586621681159589. (~>) (NonEmpty a6989586621681159588) ((~>) (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589))) Source #

Instances

Instances details

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 a6989586621681159588) (NonEmpty b6989586621681159589 ~> NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621681159588) (NonEmpty b6989586621681159589 ~> NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type) (a6989586621681160942 :: NonEmpty a6989586621681159588) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621681159588) (NonEmpty b6989586621681159589 ~> NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type) (a6989586621681160942 :: NonEmpty a6989586621681159588) = ZipSym1 a6989586621681160942 b6989586621681159589 :: TyFun (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type

data ZipSym1 (a6989586621681160942 :: NonEmpty a6989586621681159588) :: forall b6989586621681159589. (~>) (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589)) Source #

Instances

Instances details

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 a6989586621681160942 b6989586621681159589 :: TyFun (NonEmpty b6989586621681159589) (NonEmpty (a6989586621681159588, b6989586621681159589)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipSym1 a6989586621681160942 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681160943 :: NonEmpty b) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipSym1 a6989586621681160942 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681160943 :: NonEmpty b) = Zip a6989586621681160942 a6989586621681160943

type ZipSym2 (a6989586621681160942 :: NonEmpty a6989586621681159588) (a6989586621681160943 :: NonEmpty b6989586621681159589) = Zip a6989586621681160942 a6989586621681160943 Source #

data ZipWithSym0 :: forall a6989586621681159585 b6989586621681159586 c6989586621681159587. (~>) ((~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) ((~>) (NonEmpty a6989586621681159585) ((~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587))) Source #

Instances

Instances details

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 (a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) (NonEmpty a6989586621681159585 ~> (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym0 :: TyFun (a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) (NonEmpty a6989586621681159585 ~> (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587)) -> Type) (a6989586621681160931 :: a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym0 :: TyFun (a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) (NonEmpty a6989586621681159585 ~> (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587)) -> Type) (a6989586621681160931 :: a6989586621681159585 ~> (b6989586621681159586 ~> c6989586621681159587)) = ZipWithSym1 a6989586621681160931

data ZipWithSym1 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) :: (~>) (NonEmpty a6989586621681159585) ((~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587)) Source #

Instances

Instances details

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 a6989586621681160931 :: TyFun (NonEmpty a6989586621681159585) (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym1 a6989586621681160931 :: TyFun (NonEmpty a6989586621681159585) (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587) -> Type) (a6989586621681160932 :: NonEmpty a6989586621681159585) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym1 a6989586621681160931 :: TyFun (NonEmpty a6989586621681159585) (NonEmpty b6989586621681159586 ~> NonEmpty c6989586621681159587) -> Type) (a6989586621681160932 :: NonEmpty a6989586621681159585) = ZipWithSym2 a6989586621681160931 a6989586621681160932

data ZipWithSym2 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) (a6989586621681160932 :: NonEmpty a6989586621681159585) :: (~>) (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587) Source #

Instances

Instances details

(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 a6989586621681160932 a6989586621681160931 :: TyFun (NonEmpty b6989586621681159586) (NonEmpty c6989586621681159587) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym2 a6989586621681160932 a6989586621681160931 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681160933 :: NonEmpty b) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym2 a6989586621681160932 a6989586621681160931 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681160933 :: NonEmpty b) = ZipWith a6989586621681160932 a6989586621681160931 a6989586621681160933

type ZipWithSym3 (a6989586621681160931 :: (~>) a6989586621681159585 ((~>) b6989586621681159586 c6989586621681159587)) (a6989586621681160932 :: NonEmpty a6989586621681159585) (a6989586621681160933 :: NonEmpty b6989586621681159586) = ZipWith a6989586621681160931 a6989586621681160932 a6989586621681160933 Source #

data UnzipSym0 :: forall a6989586621681159583 b6989586621681159584. (~>) (NonEmpty (a6989586621681159583, b6989586621681159584)) (NonEmpty a6989586621681159583, NonEmpty b6989586621681159584) Source #

Instances

Instances details

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 (a6989586621681159583, b6989586621681159584)) (NonEmpty a6989586621681159583, NonEmpty b6989586621681159584) -> 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) (a6989586621681160902 :: 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) (a6989586621681160902 :: NonEmpty (a, b)) = Unzip a6989586621681160902

type UnzipSym1 (a6989586621681160902 :: NonEmpty (a6989586621681159583, b6989586621681159584)) = Unzip a6989586621681160902 Source #

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

Instances

Instances details

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 [a6989586621681159629] (NonEmpty a6989586621681159629) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681161257 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681161257 :: [a]) = FromList a6989586621681161257

type FromListSym1 (a6989586621681161257 :: [a6989586621681159629]) = FromList a6989586621681161257 Source #

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

Instances

Instances details

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 a6989586621681159628) [a6989586621681159628] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161253 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681161253 :: NonEmpty a) = ToList a6989586621681161253

type ToListSym1 (a6989586621681161253 :: NonEmpty a6989586621681159628) = ToList a6989586621681161253 Source #

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

Instances

Instances details

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 [a6989586621681159640] (Maybe (NonEmpty a6989586621681159640)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) (a6989586621681161330 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) (a6989586621681161330 :: [a]) = NonEmpty_ a6989586621681161330

type NonEmpty_Sym1 (a6989586621681161330 :: [a6989586621681159640]) = NonEmpty_ a6989586621681161330 Source #

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

Instances

Instances details

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 (a6989586621681161349 :: NonEmpty Bool) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply XorSym0 (a6989586621681161349 :: NonEmpty Bool) = Xor a6989586621681161349

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

Orphan instances

SMonadZip NonEmpty Source #
Instance details Methods sMzip :: forall a b (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply MzipSym0 t) t) Source # sMzipWith :: forall a b c (t :: a ~> (b ~> c)) (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MzipWithSym0 t) t) t) Source # sMunzip :: forall a b (t :: NonEmpty (a, b)). 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 a6989586621679059398 ([a6989586621679059398] ~> NonEmpty a6989586621679059398) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply ((:\|@#@$) :: TyFun a6989586621679059398 ([a6989586621679059398] ~> NonEmpty a6989586621679059398) -> Type) (t6989586621679310974 :: a6989586621679059398) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply ((:\|@#@$) :: TyFun a6989586621679059398 ([a6989586621679059398] ~> NonEmpty a6989586621679059398) -> Type) (t6989586621679310974 :: a6989586621679059398) = (:\|@#@$$) t6989586621679310974

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

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

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 ((<\|@#@$$) a6989586621681161276 :: TyFun (NonEmpty a6989586621681159632) (NonEmpty a6989586621681159632) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply ((<\|@#@$$) a6989586621681161276 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161277 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((<\|@#@$$) a6989586621681161276 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681161277 :: NonEmpty a) = a6989586621681161276 <\| a6989586621681161277

The NonEmpty singleton

Instances

Instances

Non-empty stream transformations

Defunctionalization symbols

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

The `NonEmpty` singleton