singletons-2.5.1: A framework for generating singleton types

Copyright | (C) 2016 Richard Eisenberg
License | BSD-style (see LICENSE)
Maintainer | Ryan Scott
Stability | experimental
Portability | non-portable
Safe Haskell | None
Language | Haskell2010

Data.Singletons.Prelude.List.NonEmpty

Contents

- The `NonEmpty` singleton
- Non-empty stream transformations
- Defunctionalization symbols
- Orphan instances

Description

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

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

Synopsis

- data family Sing :: k -> Type
- type SNonEmpty = (Sing :: NonEmpty a -> Type)
- type family Map (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty b where ...
- sMap :: forall a b (t :: (~>) a b) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: NonEmpty b)
- type family Intersperse (a :: a) (a :: NonEmpty a) :: NonEmpty a where ...
- sIntersperse :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply IntersperseSym0 t) t :: NonEmpty a)
- type family Scanl (a :: (~>) b ((~>) a b)) (a :: b) (a :: [a]) :: NonEmpty b where ...
- sScanl :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: NonEmpty b)
- type family Scanr (a :: (~>) a ((~>) b b)) (a :: b) (a :: [a]) :: NonEmpty b where ...
- sScanr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: NonEmpty b)
- type family Scanl1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ...
- sScanl1 :: forall a (t :: (~>) a ((~>) a a)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: NonEmpty a)
- type family Scanr1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ...
- sScanr1 :: forall a (t :: (~>) a ((~>) a a)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanr1Sym0 t) t :: NonEmpty a)
- type family Transpose (a :: NonEmpty (NonEmpty a)) :: NonEmpty (NonEmpty a) where ...
- sTranspose :: forall a (t :: NonEmpty (NonEmpty a)). Sing t -> Sing (Apply TransposeSym0 t :: NonEmpty (NonEmpty a))
- type family SortBy (a :: (~>) a ((~>) a Ordering)) (a :: NonEmpty a) :: NonEmpty a where ...
- sSortBy :: forall a (t :: (~>) a ((~>) a Ordering)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SortBySym0 t) t :: NonEmpty a)
- type family SortWith (a :: (~>) a o) (a :: NonEmpty a) :: NonEmpty a where ...
- sSortWith :: forall o a (t :: (~>) a o) (t :: NonEmpty a). SOrd o => Sing t -> Sing t -> Sing (Apply (Apply SortWithSym0 t) t :: NonEmpty a)
- type family Length (a :: NonEmpty a) :: Nat where ...
- sLength :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply LengthSym0 t :: Nat)
- type family Head (a :: NonEmpty a) :: a where ...
- sHead :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply HeadSym0 t :: a)
- type family Tail (a :: NonEmpty a) :: [a] where ...
- sTail :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply TailSym0 t :: [a])
- type family Last (a :: NonEmpty a) :: a where ...
- sLast :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply LastSym0 t :: a)
- type family Init (a :: NonEmpty a) :: [a] where ...
- sInit :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply InitSym0 t :: [a])
- type family (a :: a) <| (a :: NonEmpty a) :: NonEmpty a where ...
- (%<|) :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply (<|@#@$) t) t :: NonEmpty a)
- type family Cons (a :: a) (a :: NonEmpty a) :: NonEmpty a where ...
- sCons :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply ConsSym0 t) t :: NonEmpty a)
- type family Uncons (a :: NonEmpty a) :: (a, Maybe (NonEmpty a)) where ...
- sUncons :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply UnconsSym0 t :: (a, Maybe (NonEmpty a)))
- type family Unfoldr (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ...
- sUnfoldr :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldrSym0 t) t :: NonEmpty b)
- type family Sort (a :: NonEmpty a) :: NonEmpty a where ...
- sSort :: forall a (t :: NonEmpty a). SOrd a => Sing t -> Sing (Apply SortSym0 t :: NonEmpty a)
- type family Reverse (a :: NonEmpty a) :: NonEmpty a where ...
- sReverse :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply ReverseSym0 t :: NonEmpty a)
- type family Inits (a :: [a]) :: NonEmpty [a] where ...
- sInits :: forall a (t :: [a]). Sing t -> Sing (Apply InitsSym0 t :: NonEmpty [a])
- type family Tails (a :: [a]) :: NonEmpty [a] where ...
- sTails :: forall a (t :: [a]). Sing t -> Sing (Apply TailsSym0 t :: NonEmpty [a])
- type family Unfold (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ...
- sUnfold :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldSym0 t) t :: NonEmpty b)
- type family Insert (a :: a) (a :: [a]) :: NonEmpty a where ...
- sInsert :: forall a (t :: a) (t :: [a]). SOrd a => Sing t -> Sing t -> Sing (Apply (Apply InsertSym0 t) t :: NonEmpty a)
- type family Take (a :: Nat) (a :: NonEmpty a) :: [a] where ...
- sTake :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a])
- type family Drop (a :: Nat) (a :: NonEmpty a) :: [a] where ...
- sDrop :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a])
- type family SplitAt (a :: Nat) (a :: NonEmpty a) :: ([a], [a]) where ...
- sSplitAt :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a]))
- type family TakeWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
- sTakeWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a])
- type family DropWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
- sDropWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropWhileSym0 t) t :: [a])
- type family Span (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
- sSpan :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a]))
- type family Break (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
- sBreak :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a]))
- type family Filter (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
- sFilter :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FilterSym0 t) t :: [a])
- type family Partition (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
- sPartition :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply PartitionSym0 t) t :: ([a], [a]))
- type family Group (a :: [a]) :: [NonEmpty a] where ...
- sGroup :: forall a (t :: [a]). SEq a => Sing t -> Sing (Apply GroupSym0 t :: [NonEmpty a])
- type family GroupBy (a :: (~>) a ((~>) a Bool)) (a :: [a]) :: [NonEmpty a] where ...
- sGroupBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [NonEmpty a])
- type family GroupWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ...
- sGroupWith :: forall b a (t :: (~>) a b) (t :: [a]). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWithSym0 t) t :: [NonEmpty a])
- type family GroupAllWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ...
- sGroupAllWith :: forall b a (t :: (~>) a b) (t :: [a]). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWithSym0 t) t :: [NonEmpty a])
- type family Group1 (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
- sGroup1 :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply Group1Sym0 t :: NonEmpty (NonEmpty a))
- type family GroupBy1 (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
- sGroupBy1 :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply GroupBy1Sym0 t) t :: NonEmpty (NonEmpty a))
- type family GroupWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
- sGroupWith1 :: forall b a (t :: (~>) a b) (t :: NonEmpty a). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWith1Sym0 t) t :: NonEmpty (NonEmpty a))
- type family GroupAllWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
- sGroupAllWith1 :: forall b a (t :: (~>) a b) (t :: NonEmpty a). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWith1Sym0 t) t :: NonEmpty (NonEmpty a))
- type family IsPrefixOf (a :: [a]) (a :: NonEmpty a) :: Bool where ...
- sIsPrefixOf :: forall a (t :: [a]) (t :: NonEmpty a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply IsPrefixOfSym0 t) t :: Bool)
- type family Nub (a :: NonEmpty a) :: NonEmpty a where ...
- sNub :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply NubSym0 t :: NonEmpty a)
- type family NubBy (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty a where ...
- sNubBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply NubBySym0 t) t :: NonEmpty a)
- type family (a :: NonEmpty a) !! (a :: Nat) :: a where ...
- (%!!) :: forall a (t :: NonEmpty a) (t :: Nat). Sing t -> Sing t -> Sing (Apply (Apply (!!@#@$) t) t :: a)
- type family Zip (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty (a, b) where ...
- sZip :: forall a b (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: NonEmpty (a, b))
- type family ZipWith (a :: (~>) a ((~>) b c)) (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty c where ...
- sZipWith :: forall a b c (t :: (~>) a ((~>) b c)) (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: NonEmpty c)
- type family Unzip (a :: NonEmpty (a, b)) :: (NonEmpty a, NonEmpty b) where ...
- sUnzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Apply UnzipSym0 t :: (NonEmpty a, NonEmpty b))
- type family FromList (a :: [a]) :: NonEmpty a where ...
- sFromList :: forall a (t :: [a]). Sing t -> Sing (Apply FromListSym0 t :: NonEmpty a)
- type family ToList (a :: NonEmpty a) :: [a] where ...
- sToList :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply ToListSym0 t :: [a])
- type family NonEmpty_ (a :: [a]) :: Maybe (NonEmpty a) where ...
- sNonEmpty_ :: forall a (t :: [a]). Sing t -> Sing (Apply NonEmpty_Sym0 t :: Maybe (NonEmpty a))
- type family Xor (a :: NonEmpty Bool) :: Bool where ...
- sXor :: forall (t :: NonEmpty Bool). Sing t -> Sing (Apply XorSym0 t :: Bool)
- data (:|@#@$) :: forall (a6989586621679068602 :: Type). (~>) a6989586621679068602 ((~>) [a6989586621679068602] (NonEmpty (a6989586621679068602 :: Type)))
- data (:|@#@$$) (t6989586621679301645 :: (a6989586621679068602 :: Type)) :: (~>) [a6989586621679068602] (NonEmpty (a6989586621679068602 :: Type))
- type (:|@#@$$$) (t6989586621679301645 :: a6989586621679068602) (t6989586621679301646 :: [a6989586621679068602]) = (:|) t6989586621679301645 t6989586621679301646
- data MapSym0 :: forall a6989586621681099377 b6989586621681099378. (~>) ((~>) a6989586621681099377 b6989586621681099378) ((~>) (NonEmpty a6989586621681099377) (NonEmpty b6989586621681099378))
- data MapSym1 (a6989586621681100998 :: (~>) a6989586621681099377 b6989586621681099378) :: (~>) (NonEmpty a6989586621681099377) (NonEmpty b6989586621681099378)
- type MapSym2 (a6989586621681100998 :: (~>) a6989586621681099377 b6989586621681099378) (a6989586621681100999 :: NonEmpty a6989586621681099377) = Map a6989586621681100998 a6989586621681100999
- data IntersperseSym0 :: forall a6989586621681099367. (~>) a6989586621681099367 ((~>) (NonEmpty a6989586621681099367) (NonEmpty a6989586621681099367))
- data IntersperseSym1 (a6989586621681100988 :: a6989586621681099367) :: (~>) (NonEmpty a6989586621681099367) (NonEmpty a6989586621681099367)
- type IntersperseSym2 (a6989586621681100988 :: a6989586621681099367) (a6989586621681100989 :: NonEmpty a6989586621681099367) = Intersperse a6989586621681100988 a6989586621681100989
- data ScanlSym0 :: forall a6989586621681099373 b6989586621681099372. (~>) ((~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) ((~>) b6989586621681099372 ((~>) [a6989586621681099373] (NonEmpty b6989586621681099372)))
- data ScanlSym1 (a6989586621681101142 :: (~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) :: (~>) b6989586621681099372 ((~>) [a6989586621681099373] (NonEmpty b6989586621681099372))
- data ScanlSym2 (a6989586621681101142 :: (~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) (a6989586621681101143 :: b6989586621681099372) :: (~>) [a6989586621681099373] (NonEmpty b6989586621681099372)
- type ScanlSym3 (a6989586621681101142 :: (~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) (a6989586621681101143 :: b6989586621681099372) (a6989586621681101144 :: [a6989586621681099373]) = Scanl a6989586621681101142 a6989586621681101143 a6989586621681101144
- data ScanrSym0 :: forall a6989586621681099370 b6989586621681099371. (~>) ((~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) ((~>) b6989586621681099371 ((~>) [a6989586621681099370] (NonEmpty b6989586621681099371)))
- data ScanrSym1 (a6989586621681101153 :: (~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) :: (~>) b6989586621681099371 ((~>) [a6989586621681099370] (NonEmpty b6989586621681099371))
- data ScanrSym2 (a6989586621681101153 :: (~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) (a6989586621681101154 :: b6989586621681099371) :: (~>) [a6989586621681099370] (NonEmpty b6989586621681099371)
- type ScanrSym3 (a6989586621681101153 :: (~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) (a6989586621681101154 :: b6989586621681099371) (a6989586621681101155 :: [a6989586621681099370]) = Scanr a6989586621681101153 a6989586621681101154 a6989586621681101155
- data Scanl1Sym0 :: forall a6989586621681099369. (~>) ((~>) a6989586621681099369 ((~>) a6989586621681099369 a6989586621681099369)) ((~>) (NonEmpty a6989586621681099369) (NonEmpty a6989586621681099369))
- data Scanl1Sym1 (a6989586621681101164 :: (~>) a6989586621681099369 ((~>) a6989586621681099369 a6989586621681099369)) :: (~>) (NonEmpty a6989586621681099369) (NonEmpty a6989586621681099369)
- type Scanl1Sym2 (a6989586621681101164 :: (~>) a6989586621681099369 ((~>) a6989586621681099369 a6989586621681099369)) (a6989586621681101165 :: NonEmpty a6989586621681099369) = Scanl1 a6989586621681101164 a6989586621681101165
- data Scanr1Sym0 :: forall a6989586621681099368. (~>) ((~>) a6989586621681099368 ((~>) a6989586621681099368 a6989586621681099368)) ((~>) (NonEmpty a6989586621681099368) (NonEmpty a6989586621681099368))
- data Scanr1Sym1 (a6989586621681101171 :: (~>) a6989586621681099368 ((~>) a6989586621681099368 a6989586621681099368)) :: (~>) (NonEmpty a6989586621681099368) (NonEmpty a6989586621681099368)
- type Scanr1Sym2 (a6989586621681101171 :: (~>) a6989586621681099368 ((~>) a6989586621681099368 a6989586621681099368)) (a6989586621681101172 :: NonEmpty a6989586621681099368) = Scanr1 a6989586621681101171 a6989586621681101172
- data TransposeSym0 :: forall a6989586621681099333. (~>) (NonEmpty (NonEmpty a6989586621681099333)) (NonEmpty (NonEmpty a6989586621681099333))
- type TransposeSym1 (a6989586621681101291 :: NonEmpty (NonEmpty a6989586621681099333)) = Transpose a6989586621681101291
- data SortBySym0 :: forall a6989586621681099332. (~>) ((~>) a6989586621681099332 ((~>) a6989586621681099332 Ordering)) ((~>) (NonEmpty a6989586621681099332) (NonEmpty a6989586621681099332))
- data SortBySym1 (a6989586621681101098 :: (~>) a6989586621681099332 ((~>) a6989586621681099332 Ordering)) :: (~>) (NonEmpty a6989586621681099332) (NonEmpty a6989586621681099332)
- type SortBySym2 (a6989586621681101098 :: (~>) a6989586621681099332 ((~>) a6989586621681099332 Ordering)) (a6989586621681101099 :: NonEmpty a6989586621681099332) = SortBy a6989586621681101098 a6989586621681101099
- data SortWithSym0 :: forall a6989586621681099331 o6989586621681099330. (~>) ((~>) a6989586621681099331 o6989586621681099330) ((~>) (NonEmpty a6989586621681099331) (NonEmpty a6989586621681099331))
- data SortWithSym1 (a6989586621681101110 :: (~>) a6989586621681099331 o6989586621681099330) :: (~>) (NonEmpty a6989586621681099331) (NonEmpty a6989586621681099331)
- type SortWithSym2 (a6989586621681101110 :: (~>) a6989586621681099331 o6989586621681099330) (a6989586621681101111 :: NonEmpty a6989586621681099331) = SortWith a6989586621681101110 a6989586621681101111
- data LengthSym0 :: forall a6989586621681099396. (~>) (NonEmpty a6989586621681099396) Nat
- type LengthSym1 (a6989586621681101279 :: NonEmpty a6989586621681099396) = Length a6989586621681101279
- data HeadSym0 :: forall a6989586621681099389. (~>) (NonEmpty a6989586621681099389) a6989586621681099389
- type HeadSym1 (a6989586621681101211 :: NonEmpty a6989586621681099389) = Head a6989586621681101211
- data TailSym0 :: forall a6989586621681099388. (~>) (NonEmpty a6989586621681099388) [a6989586621681099388]
- type TailSym1 (a6989586621681101208 :: NonEmpty a6989586621681099388) = Tail a6989586621681101208
- data LastSym0 :: forall a6989586621681099387. (~>) (NonEmpty a6989586621681099387) a6989586621681099387
- type LastSym1 (a6989586621681101204 :: NonEmpty a6989586621681099387) = Last a6989586621681101204
- data InitSym0 :: forall a6989586621681099386. (~>) (NonEmpty a6989586621681099386) [a6989586621681099386]
- type InitSym1 (a6989586621681101200 :: NonEmpty a6989586621681099386) = Init a6989586621681101200
- data (<|@#@$) :: forall a6989586621681099385. (~>) a6989586621681099385 ((~>) (NonEmpty a6989586621681099385) (NonEmpty a6989586621681099385))
- data (<|@#@$$) (a6989586621681101183 :: a6989586621681099385) :: (~>) (NonEmpty a6989586621681099385) (NonEmpty a6989586621681099385)
- type (<|@#@$$$) (a6989586621681101183 :: a6989586621681099385) (a6989586621681101184 :: NonEmpty a6989586621681099385) = (<|) a6989586621681101183 a6989586621681101184
- data ConsSym0 :: forall a6989586621681099384. (~>) a6989586621681099384 ((~>) (NonEmpty a6989586621681099384) (NonEmpty a6989586621681099384))
- data ConsSym1 (a6989586621681101194 :: a6989586621681099384) :: (~>) (NonEmpty a6989586621681099384) (NonEmpty a6989586621681099384)
- type ConsSym2 (a6989586621681101194 :: a6989586621681099384) (a6989586621681101195 :: NonEmpty a6989586621681099384) = Cons a6989586621681101194 a6989586621681101195
- data UnconsSym0 :: forall a6989586621681099392. (~>) (NonEmpty a6989586621681099392) (a6989586621681099392, Maybe (NonEmpty a6989586621681099392))
- type UnconsSym1 (a6989586621681101247 :: NonEmpty a6989586621681099392) = Uncons a6989586621681101247
- data UnfoldrSym0 :: forall a6989586621681099390 b6989586621681099391. (~>) ((~>) a6989586621681099390 (b6989586621681099391, Maybe a6989586621681099390)) ((~>) a6989586621681099390 (NonEmpty b6989586621681099391))
- data UnfoldrSym1 (a6989586621681101214 :: (~>) a6989586621681099390 (b6989586621681099391, Maybe a6989586621681099390)) :: (~>) a6989586621681099390 (NonEmpty b6989586621681099391)
- type UnfoldrSym2 (a6989586621681101214 :: (~>) a6989586621681099390 (b6989586621681099391, Maybe a6989586621681099390)) (a6989586621681101215 :: a6989586621681099390) = Unfoldr a6989586621681101214 a6989586621681101215
- data SortSym0 :: forall a6989586621681099383. (~>) (NonEmpty a6989586621681099383) (NonEmpty a6989586621681099383)
- type SortSym1 (a6989586621681101180 :: NonEmpty a6989586621681099383) = Sort a6989586621681101180
- data ReverseSym0 :: forall a6989586621681099366. (~>) (NonEmpty a6989586621681099366) (NonEmpty a6989586621681099366)
- type ReverseSym1 (a6989586621681101095 :: NonEmpty a6989586621681099366) = Reverse a6989586621681101095
- data InitsSym0 :: forall a6989586621681099376. (~>) [a6989586621681099376] (NonEmpty [a6989586621681099376])
- type InitsSym1 (a6989586621681101126 :: [a6989586621681099376]) = Inits a6989586621681101126
- data TailsSym0 :: forall a6989586621681099375. (~>) [a6989586621681099375] (NonEmpty [a6989586621681099375])
- type TailsSym1 (a6989586621681101131 :: [a6989586621681099375]) = Tails a6989586621681101131
- data UnfoldSym0 :: forall a6989586621681099394 b6989586621681099395. (~>) ((~>) a6989586621681099394 (b6989586621681099395, Maybe a6989586621681099394)) ((~>) a6989586621681099394 (NonEmpty b6989586621681099395))
- data UnfoldSym1 (a6989586621681101251 :: (~>) a6989586621681099394 (b6989586621681099395, Maybe a6989586621681099394)) :: (~>) a6989586621681099394 (NonEmpty b6989586621681099395)
- data InsertSym0 :: forall a6989586621681099374. (~>) a6989586621681099374 ((~>) [a6989586621681099374] (NonEmpty a6989586621681099374))
- data InsertSym1 (a6989586621681101134 :: a6989586621681099374) :: (~>) [a6989586621681099374] (NonEmpty a6989586621681099374)
- type InsertSym2 (a6989586621681101134 :: a6989586621681099374) (a6989586621681101135 :: [a6989586621681099374]) = Insert a6989586621681101134 a6989586621681101135
- data TakeSym0 :: forall a6989586621681099365. (~>) Nat ((~>) (NonEmpty a6989586621681099365) [a6989586621681099365])
- data TakeSym1 (a6989586621681101009 :: Nat) :: forall a6989586621681099365. (~>) (NonEmpty a6989586621681099365) [a6989586621681099365]
- type TakeSym2 (a6989586621681101009 :: Nat) (a6989586621681101010 :: NonEmpty a6989586621681099365) = Take a6989586621681101009 a6989586621681101010
- data DropSym0 :: forall a6989586621681099364. (~>) Nat ((~>) (NonEmpty a6989586621681099364) [a6989586621681099364])
- data DropSym1 (a6989586621681101017 :: Nat) :: forall a6989586621681099364. (~>) (NonEmpty a6989586621681099364) [a6989586621681099364]
- type DropSym2 (a6989586621681101017 :: Nat) (a6989586621681101018 :: NonEmpty a6989586621681099364) = Drop a6989586621681101017 a6989586621681101018
- data SplitAtSym0 :: forall a6989586621681099363. (~>) Nat ((~>) (NonEmpty a6989586621681099363) ([a6989586621681099363], [a6989586621681099363]))
- data SplitAtSym1 (a6989586621681101025 :: Nat) :: forall a6989586621681099363. (~>) (NonEmpty a6989586621681099363) ([a6989586621681099363], [a6989586621681099363])
- type SplitAtSym2 (a6989586621681101025 :: Nat) (a6989586621681101026 :: NonEmpty a6989586621681099363) = SplitAt a6989586621681101025 a6989586621681101026
- data TakeWhileSym0 :: forall a6989586621681099362. (~>) ((~>) a6989586621681099362 Bool) ((~>) (NonEmpty a6989586621681099362) [a6989586621681099362])
- data TakeWhileSym1 (a6989586621681101033 :: (~>) a6989586621681099362 Bool) :: (~>) (NonEmpty a6989586621681099362) [a6989586621681099362]
- type TakeWhileSym2 (a6989586621681101033 :: (~>) a6989586621681099362 Bool) (a6989586621681101034 :: NonEmpty a6989586621681099362) = TakeWhile a6989586621681101033 a6989586621681101034
- data DropWhileSym0 :: forall a6989586621681099361. (~>) ((~>) a6989586621681099361 Bool) ((~>) (NonEmpty a6989586621681099361) [a6989586621681099361])
- data DropWhileSym1 (a6989586621681101041 :: (~>) a6989586621681099361 Bool) :: (~>) (NonEmpty a6989586621681099361) [a6989586621681099361]
- type DropWhileSym2 (a6989586621681101041 :: (~>) a6989586621681099361 Bool) (a6989586621681101042 :: NonEmpty a6989586621681099361) = DropWhile a6989586621681101041 a6989586621681101042
- data SpanSym0 :: forall a6989586621681099360. (~>) ((~>) a6989586621681099360 Bool) ((~>) (NonEmpty a6989586621681099360) ([a6989586621681099360], [a6989586621681099360]))
- data SpanSym1 (a6989586621681101049 :: (~>) a6989586621681099360 Bool) :: (~>) (NonEmpty a6989586621681099360) ([a6989586621681099360], [a6989586621681099360])
- type SpanSym2 (a6989586621681101049 :: (~>) a6989586621681099360 Bool) (a6989586621681101050 :: NonEmpty a6989586621681099360) = Span a6989586621681101049 a6989586621681101050
- data BreakSym0 :: forall a6989586621681099359. (~>) ((~>) a6989586621681099359 Bool) ((~>) (NonEmpty a6989586621681099359) ([a6989586621681099359], [a6989586621681099359]))
- data BreakSym1 (a6989586621681101057 :: (~>) a6989586621681099359 Bool) :: (~>) (NonEmpty a6989586621681099359) ([a6989586621681099359], [a6989586621681099359])
- type BreakSym2 (a6989586621681101057 :: (~>) a6989586621681099359 Bool) (a6989586621681101058 :: NonEmpty a6989586621681099359) = Break a6989586621681101057 a6989586621681101058
- data FilterSym0 :: forall a6989586621681099358. (~>) ((~>) a6989586621681099358 Bool) ((~>) (NonEmpty a6989586621681099358) [a6989586621681099358])
- data FilterSym1 (a6989586621681101065 :: (~>) a6989586621681099358 Bool) :: (~>) (NonEmpty a6989586621681099358) [a6989586621681099358]
- type FilterSym2 (a6989586621681101065 :: (~>) a6989586621681099358 Bool) (a6989586621681101066 :: NonEmpty a6989586621681099358) = Filter a6989586621681101065 a6989586621681101066
- data PartitionSym0 :: forall a6989586621681099357. (~>) ((~>) a6989586621681099357 Bool) ((~>) (NonEmpty a6989586621681099357) ([a6989586621681099357], [a6989586621681099357]))
- data PartitionSym1 (a6989586621681101073 :: (~>) a6989586621681099357 Bool) :: (~>) (NonEmpty a6989586621681099357) ([a6989586621681099357], [a6989586621681099357])
- type PartitionSym2 (a6989586621681101073 :: (~>) a6989586621681099357 Bool) (a6989586621681101074 :: NonEmpty a6989586621681099357) = Partition a6989586621681101073 a6989586621681101074
- data GroupSym0 :: forall a6989586621681099356. (~>) [a6989586621681099356] [NonEmpty a6989586621681099356]
- type GroupSym1 (a6989586621681100985 :: [a6989586621681099356]) = Group a6989586621681100985
- data GroupBySym0 :: forall a6989586621681099355. (~>) ((~>) a6989586621681099355 ((~>) a6989586621681099355 Bool)) ((~>) [a6989586621681099355] [NonEmpty a6989586621681099355])
- data GroupBySym1 (a6989586621681100875 :: (~>) a6989586621681099355 ((~>) a6989586621681099355 Bool)) :: (~>) [a6989586621681099355] [NonEmpty a6989586621681099355]
- type GroupBySym2 (a6989586621681100875 :: (~>) a6989586621681099355 ((~>) a6989586621681099355 Bool)) (a6989586621681100876 :: [a6989586621681099355]) = GroupBy a6989586621681100875 a6989586621681100876
- data GroupWithSym0 :: forall a6989586621681099354 b6989586621681099353. (~>) ((~>) a6989586621681099354 b6989586621681099353) ((~>) [a6989586621681099354] [NonEmpty a6989586621681099354])
- data GroupWithSym1 (a6989586621681100923 :: (~>) a6989586621681099354 b6989586621681099353) :: (~>) [a6989586621681099354] [NonEmpty a6989586621681099354]
- type GroupWithSym2 (a6989586621681100923 :: (~>) a6989586621681099354 b6989586621681099353) (a6989586621681100924 :: [a6989586621681099354]) = GroupWith a6989586621681100923 a6989586621681100924
- data GroupAllWithSym0 :: forall a6989586621681099352 b6989586621681099351. (~>) ((~>) a6989586621681099352 b6989586621681099351) ((~>) [a6989586621681099352] [NonEmpty a6989586621681099352])
- data GroupAllWithSym1 (a6989586621681100931 :: (~>) a6989586621681099352 b6989586621681099351) :: (~>) [a6989586621681099352] [NonEmpty a6989586621681099352]
- type GroupAllWithSym2 (a6989586621681100931 :: (~>) a6989586621681099352 b6989586621681099351) (a6989586621681100932 :: [a6989586621681099352]) = GroupAllWith a6989586621681100931 a6989586621681100932
- data Group1Sym0 :: forall a6989586621681099350. (~>) (NonEmpty a6989586621681099350) (NonEmpty (NonEmpty a6989586621681099350))
- type Group1Sym1 (a6989586621681100972 :: NonEmpty a6989586621681099350) = Group1 a6989586621681100972
- data GroupBy1Sym0 :: forall a6989586621681099349. (~>) ((~>) a6989586621681099349 ((~>) a6989586621681099349 Bool)) ((~>) (NonEmpty a6989586621681099349) (NonEmpty (NonEmpty a6989586621681099349)))
- data GroupBy1Sym1 (a6989586621681100939 :: (~>) a6989586621681099349 ((~>) a6989586621681099349 Bool)) :: (~>) (NonEmpty a6989586621681099349) (NonEmpty (NonEmpty a6989586621681099349))
- type GroupBy1Sym2 (a6989586621681100939 :: (~>) a6989586621681099349 ((~>) a6989586621681099349 Bool)) (a6989586621681100940 :: NonEmpty a6989586621681099349) = GroupBy1 a6989586621681100939 a6989586621681100940
- data GroupWith1Sym0 :: forall a6989586621681099348 b6989586621681099347. (~>) ((~>) a6989586621681099348 b6989586621681099347) ((~>) (NonEmpty a6989586621681099348) (NonEmpty (NonEmpty a6989586621681099348)))
- data GroupWith1Sym1 (a6989586621681100975 :: (~>) a6989586621681099348 b6989586621681099347) :: (~>) (NonEmpty a6989586621681099348) (NonEmpty (NonEmpty a6989586621681099348))
- type GroupWith1Sym2 (a6989586621681100975 :: (~>) a6989586621681099348 b6989586621681099347) (a6989586621681100976 :: NonEmpty a6989586621681099348) = GroupWith1 a6989586621681100975 a6989586621681100976
- data GroupAllWith1Sym0 :: forall a6989586621681099346 b6989586621681099345. (~>) ((~>) a6989586621681099346 b6989586621681099345) ((~>) (NonEmpty a6989586621681099346) (NonEmpty (NonEmpty a6989586621681099346)))
- data GroupAllWith1Sym1 (a6989586621681101116 :: (~>) a6989586621681099346 b6989586621681099345) :: (~>) (NonEmpty a6989586621681099346) (NonEmpty (NonEmpty a6989586621681099346))
- type GroupAllWith1Sym2 (a6989586621681101116 :: (~>) a6989586621681099346 b6989586621681099345) (a6989586621681101117 :: NonEmpty a6989586621681099346) = GroupAllWith1 a6989586621681101116 a6989586621681101117
- data IsPrefixOfSym0 :: forall a6989586621681099344. (~>) [a6989586621681099344] ((~>) (NonEmpty a6989586621681099344) Bool)
- data IsPrefixOfSym1 (a6989586621681100867 :: [a6989586621681099344]) :: (~>) (NonEmpty a6989586621681099344) Bool
- type IsPrefixOfSym2 (a6989586621681100867 :: [a6989586621681099344]) (a6989586621681100868 :: NonEmpty a6989586621681099344) = IsPrefixOf a6989586621681100867 a6989586621681100868
- data NubSym0 :: forall a6989586621681099335. (~>) (NonEmpty a6989586621681099335) (NonEmpty a6989586621681099335)
- type NubSym1 (a6989586621681100798 :: NonEmpty a6989586621681099335) = Nub a6989586621681100798
- data NubBySym0 :: forall a6989586621681099334. (~>) ((~>) a6989586621681099334 ((~>) a6989586621681099334 Bool)) ((~>) (NonEmpty a6989586621681099334) (NonEmpty a6989586621681099334))
- data NubBySym1 (a6989586621681100781 :: (~>) a6989586621681099334 ((~>) a6989586621681099334 Bool)) :: (~>) (NonEmpty a6989586621681099334) (NonEmpty a6989586621681099334)
- type NubBySym2 (a6989586621681100781 :: (~>) a6989586621681099334 ((~>) a6989586621681099334 Bool)) (a6989586621681100782 :: NonEmpty a6989586621681099334) = NubBy a6989586621681100781 a6989586621681100782
- data (!!@#@$) :: forall a6989586621681099343. (~>) (NonEmpty a6989586621681099343) ((~>) Nat a6989586621681099343)
- data (!!@#@$$) (a6989586621681100849 :: NonEmpty a6989586621681099343) :: (~>) Nat a6989586621681099343
- type (!!@#@$$$) (a6989586621681100849 :: NonEmpty a6989586621681099343) (a6989586621681100850 :: Nat) = (!!) a6989586621681100849 a6989586621681100850
- data ZipSym0 :: forall a6989586621681099341 b6989586621681099342. (~>) (NonEmpty a6989586621681099341) ((~>) (NonEmpty b6989586621681099342) (NonEmpty (a6989586621681099341, b6989586621681099342)))
- data ZipSym1 (a6989586621681100841 :: NonEmpty a6989586621681099341) :: forall b6989586621681099342. (~>) (NonEmpty b6989586621681099342) (NonEmpty (a6989586621681099341, b6989586621681099342))
- type ZipSym2 (a6989586621681100841 :: NonEmpty a6989586621681099341) (a6989586621681100842 :: NonEmpty b6989586621681099342) = Zip a6989586621681100841 a6989586621681100842
- data ZipWithSym0 :: forall a6989586621681099338 b6989586621681099339 c6989586621681099340. (~>) ((~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) ((~>) (NonEmpty a6989586621681099338) ((~>) (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340)))
- data ZipWithSym1 (a6989586621681100830 :: (~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) :: (~>) (NonEmpty a6989586621681099338) ((~>) (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340))
- data ZipWithSym2 (a6989586621681100830 :: (~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) (a6989586621681100831 :: NonEmpty a6989586621681099338) :: (~>) (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340)
- type ZipWithSym3 (a6989586621681100830 :: (~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) (a6989586621681100831 :: NonEmpty a6989586621681099338) (a6989586621681100832 :: NonEmpty b6989586621681099339) = ZipWith a6989586621681100830 a6989586621681100831 a6989586621681100832
- data UnzipSym0 :: forall a6989586621681099336 b6989586621681099337. (~>) (NonEmpty (a6989586621681099336, b6989586621681099337)) (NonEmpty a6989586621681099336, NonEmpty b6989586621681099337)
- type UnzipSym1 (a6989586621681100801 :: NonEmpty (a6989586621681099336, b6989586621681099337)) = Unzip a6989586621681100801
- data FromListSym0 :: forall a6989586621681099382. (~>) [a6989586621681099382] (NonEmpty a6989586621681099382)
- type FromListSym1 (a6989586621681101081 :: [a6989586621681099382]) = FromList a6989586621681101081
- data ToListSym0 :: forall a6989586621681099381. (~>) (NonEmpty a6989586621681099381) [a6989586621681099381]
- type ToListSym1 (a6989586621681101005 :: NonEmpty a6989586621681099381) = ToList a6989586621681101005
- data NonEmpty_Sym0 :: forall a6989586621681099393. (~>) [a6989586621681099393] (Maybe (NonEmpty a6989586621681099393))
- type NonEmpty_Sym1 (a6989586621681101243 :: [a6989586621681099393]) = NonEmpty_ a6989586621681101243
- data XorSym0 :: (~>) (NonEmpty Bool) Bool
- type XorSym1 (a6989586621681101266 :: NonEmpty Bool) = Xor a6989586621681101266

# The `NonEmpty` singleton

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

The singleton kind-indexed data family.

Instances

SDecide k => TestCoercion (Sing :: k -> Type) Source # |
Instance details Defined in Data.Singletons.Decide Methods testCoercion :: Sing a -> Sing b -> Maybe (Coercion a b) Source #
SDecide k => TestEquality (Sing :: k -> Type) Source # |
Instance details Defined in Data.Singletons.Decide Methods testEquality :: Sing a -> Sing b -> Maybe (a :~: b) Source #
Show (SSymbol s) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SSymbol s -> ShowS Source # show :: SSymbol s -> String Source # showList :: [SSymbol s] -> ShowS Source #
Show (SNat n) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SNat n -> ShowS Source # show :: SNat n -> String Source # showList :: [SNat n] -> ShowS Source #
Eq (Sing a) Source # |
Instance details Defined in Data.Singletons.TypeRepTYPE Methods (==) :: Sing a -> Sing a -> Bool Source # (/=) :: Sing a -> Sing a -> Bool Source #
Ord (Sing a) Source # |
Instance details Defined in Data.Singletons.TypeRepTYPE Methods compare :: Sing a -> Sing a -> Ordering Source # (<) :: Sing a -> Sing a -> Bool Source # (<=) :: Sing a -> Sing a -> Bool Source # (>) :: Sing a -> Sing a -> Bool Source # (>=) :: Sing a -> Sing a -> Bool Source # max :: Sing a -> Sing a -> Sing a Source # min :: Sing a -> Sing a -> Sing a Source #
Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
Show (Sing a) Source # |
Instance details Defined in Data.Singletons.TypeRepTYPE Methods showsPrec :: Int -> Sing a -> ShowS Source # show :: Sing a -> String Source # showList :: [Sing a] -> ShowS Source #
Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing m => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing (Maybe a) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing (Maybe a) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing (Maybe a) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Monoid Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing Bool => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing Bool => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing [a]) => Show (Sing z) Source # |
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
data Sing (a :: Bool) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Bool) where

- SFalse :: forall (a :: Bool). Sing False
- STrue :: forall (a :: Bool). Sing True

data Sing (a :: Ordering) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: Ordering) where

- SLT :: forall (a :: Ordering). Sing LT
- SEQ :: forall (a :: Ordering). Sing EQ
- SGT :: forall (a :: Ordering). Sing GT

data Sing (n :: Nat) Source # |

Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Nat) where

- SNat :: forall (n :: Nat). KnownNat n => Sing n

data Sing (n :: Symbol) Source # |

Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Symbol) where

- SSym :: forall (n :: Symbol). KnownSymbol n => Sing n

data Sing (a :: ()) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (a :: ()) where

- STuple0 :: forall (a :: ()). Sing ()

data Sing (a :: Void) Source # |
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: Void)
data Sing (a :: All) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: All) where

- SAll :: forall (a :: All) (n :: Bool). {..} -> Sing (All n)

data Sing (a :: Any) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: Any) where

- SAny :: forall (a :: Any) (n :: Bool). {..} -> Sing (Any n)

data Sing (a :: PErrorMessage) Source # |

Instance details

Defined in Data.Singletons.TypeError

data Sing (a :: PErrorMessage) where

- SText :: forall (a :: PErrorMessage) (t :: Symbol). Sing t -> Sing (Text t)
- SShowType :: forall (a :: PErrorMessage) t (ty :: t). Sing ty -> Sing (ShowType ty :: ErrorMessage' Symbol)
- (:%<>:) :: forall (a :: PErrorMessage) (e1 :: ErrorMessage' Symbol) (e2 :: ErrorMessage' Symbol). Sing e1 -> Sing e2 -> Sing (e1 :<>: e2)
- (:%$$:) :: forall (a :: PErrorMessage) (e1 :: ErrorMessage' Symbol) (e2 :: ErrorMessage' Symbol). Sing e1 -> Sing e2 -> Sing (e1 :$$: e2)

data Sing (b :: [a]) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: [a]) where

- SNil :: forall k (b :: [k]). Sing ([] :: [k])
- SCons :: forall a (b :: [a]) (n :: a) (n :: [a]). Sing n -> Sing n -> Sing (n ': n)

data Sing (b :: Maybe a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: Maybe a) where

- SNothing :: forall a (b :: Maybe a). Sing (Nothing :: Maybe a)
- SJust :: forall a (b :: Maybe a) (n :: a). Sing n -> Sing (Just n)

newtype Sing (a :: TYPE rep) Source #

A choice of singleton for the kind ``TYPE` rep` (for some `RuntimeRep` `rep`), an instantiation of which is the famous kind `Type`.

Conceivably, one could generalize this instance to `Sing :: k -> Type` for any kind `k`, and remove all other `Sing` instances. We don't adopt this design, however, since it is far more convenient in practice to work with explicit singleton values than `TypeRep`s (for instance, `TypeRep`s are more difficult to pattern match on, and require extra runtime checks).

We cannot produce explicit singleton values for everything in ``TYPE` rep`, however, since it is an open kind, so we reach for `TypeRep` in this one particular case.

Instance details Defined in Data.Singletons.TypeRepTYPE newtype Sing (a :: TYPE rep) = STypeRep (TypeRep a)
data Sing (b :: Min a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Min a) where

- SMin :: forall a (b :: Min a) (n :: a). {..} -> Sing (Min n)

data Sing (b :: Max a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Max a) where

- SMax :: forall a (b :: Max a) (n :: a). {..} -> Sing (Max n)

data Sing (b :: First a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: First a) where

- SFirst :: forall a (b :: First a) (n :: a). {..} -> Sing (First n)

data Sing (b :: Last a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Last a) where

- SLast :: forall a (b :: Last a) (n :: a). {..} -> Sing (Last n)

data Sing (a :: WrappedMonoid m) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (a :: WrappedMonoid m) where

- SWrapMonoid :: forall m (a :: WrappedMonoid m) (n :: m). {..} -> Sing (WrapMonoid n)

data Sing (b :: Option a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Option a) where

- SOption :: forall a (b :: Option a) (n :: Maybe a). {..} -> Sing (Option n)

data Sing (b :: Identity a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: Identity a) where

- SIdentity :: forall a (b :: Identity a) (n :: a). {..} -> Sing (Identity n)

data Sing (b :: First a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Monoid

data Sing (b :: First a) where

- SFirst :: forall a (b :: First a) (n :: Maybe a). {..} -> Sing (First n)

data Sing (b :: Last a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Monoid

data Sing (b :: Last a) where

- SLast :: forall a (b :: Last a) (n :: Maybe a). {..} -> Sing (Last n)

data Sing (b :: Dual a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Dual a) where

- SDual :: forall a (b :: Dual a) (n :: a). {..} -> Sing (Dual n)

data Sing (b :: Sum a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Sum a) where

- SSum :: forall a (b :: Sum a) (n :: a). {..} -> Sing (Sum n)

data Sing (b :: Product a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup.Internal

data Sing (b :: Product a) where

- SProduct :: forall a (b :: Product a) (n :: a). {..} -> Sing (Product n)

data Sing (b :: Down a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Ord

data Sing (b :: Down a) where

- SDown :: forall a (b :: Down a) (n :: a). Sing n -> Sing (Down n)

data Sing (b :: NonEmpty a) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (b :: NonEmpty a) where

- (:%|) :: forall a (b :: NonEmpty a) (n :: a) (n :: [a]). Sing n -> Sing n -> Sing (n :| n)

data Sing (c :: Either a b) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (c :: Either a b) where

- SLeft :: forall a b (c :: Either a b) (n :: a). Sing n -> Sing (Left n :: Either a b)
- SRight :: forall a b (c :: Either a b) (n :: b). Sing n -> Sing (Right n :: Either a b)

data Sing (c :: (a, b)) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (c :: (a, b)) where

- STuple2 :: forall a b (c :: (a, b)) (n :: a) (n :: b). Sing n -> Sing n -> Sing ((,) n n)

data Sing (c :: Arg a b) Source # |

Instance details

Defined in Data.Singletons.Prelude.Semigroup

data Sing (c :: Arg a b) where

- SArg :: forall a b (c :: Arg a b) (n :: a) (n :: b). Sing n -> Sing n -> Sing (Arg n n)

newtype Sing (f :: k1 ~> k2) Source # |

Instance details

Defined in Data.Singletons.Internal

newtype Sing (f :: k1 ~> k2) = SLambda {

- applySing :: forall (t :: k1). Sing t -> Sing (f @@ t)

}

data Sing (d :: (a, b, c)) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (d :: (a, b, c)) where

- STuple3 :: forall a b c (d :: (a, b, c)) (n :: a) (n :: b) (n :: c). Sing n -> Sing n -> Sing n -> Sing ((,,) n n n)

data Sing (c :: Const a b) Source # |

Instance details

Defined in Data.Singletons.Prelude.Const

data Sing (c :: Const a b) where

- SConst :: forall k a (b :: k) (c :: Const a b) (a :: a). {..} -> Sing (Const a :: Const a b)

data Sing (e :: (a, b, c, d)) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (e :: (a, b, c, d)) where

- STuple4 :: forall a b c d (e :: (a, b, c, d)) (n :: a) (n :: b) (n :: c) (n :: d). Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,) n n n n)

data Sing (f :: (a, b, c, d, e)) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (f :: (a, b, c, d, e)) where

- STuple5 :: forall a b c d e (f :: (a, b, c, d, e)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,) n n n n n)

data Sing (g :: (a, b, c, d, e, f)) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (g :: (a, b, c, d, e, f)) where

- STuple6 :: forall a b c d e f (g :: (a, b, c, d, e, f)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,,) n n n n n n)

data Sing (h :: (a, b, c, d, e, f, g)) Source # |

Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (h :: (a, b, c, d, e, f, g)) where

- STuple7 :: forall a b c d e f g (h :: (a, b, c, d, e, f, g)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f) (n :: g). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,,,) n n n n n n n)

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

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

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

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

# Non-empty stream transformations

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

Equations

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

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

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

Equations

Intersperse a ((:|) b bs) = Apply (Apply (:|@#@$) b) (Case_6989586621681100995 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_6989586621681101148 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply ListscanlSym0 f) z)) a_6989586621681101148 |

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

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

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_6989586621681101102 = Apply (Apply LiftSym0 (Apply ListsortBySym0 f)) a_6989586621681101102 |

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_6989586621681101106 a_6989586621681101108 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621681101106) a_6989586621681101108 |

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

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

Equations

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

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

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

Equations

Head ((:|) a _) = a |

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

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

Equations

Tail ((:|) _ as) = as |

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

Cons a_6989586621681101190 a_6989586621681101192 = Apply (Apply (<|@#@$) a_6989586621681101190) a_6989586621681101192 |

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_6989586621681101238 f a (Let6989586621681101235Scrutinee_6989586621681099571Sym2 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_6989586621681101178 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621681101178 |

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_6989586621681101093 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621681101093 |

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

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

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_6989586621681101260 f a (Let6989586621681101257Scrutinee_6989586621681099561Sym2 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_6989586621681101138 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply ListinsertSym0 a)) a_6989586621681101138 |

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

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

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

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

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

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

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

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

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

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

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_6989586621681100879 = Apply (Apply (Let6989586621681100883GoSym2 eq0 a_6989586621681100879) eq0) a_6989586621681100879 |

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

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

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

Equations

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

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

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

Equations

Group1 a_6989586621681100970 = Apply (Apply GroupBy1Sym0 (==@#@$)) a_6989586621681100970 |

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) (Let6989586621681100946YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621681100946ZsSym3 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_6989586621681100979 = Apply (Apply GroupBy1Sym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621681100979 |

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

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

Equations

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

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

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

Equations

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

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

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

Equations

Nub a_6989586621681100796 = Apply (Apply NubBySym0 (==@#@$)) a_6989586621681100796 |

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_6989586621681100788Sym0 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_6989586621681099583 !! arg_6989586621681099585 = Case_6989586621681100855 arg_6989586621681099583 arg_6989586621681099585 (Apply (Apply Tuple2Sym0 arg_6989586621681099583) arg_6989586621681099585) |

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

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

# Defunctionalization symbols

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

Instances

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

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

Instances

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

type (:|@#@$$$) (t6989586621679301645 :: a6989586621679068602) (t6989586621679301646 :: [a6989586621679068602]) = (:|) t6989586621679301645 t6989586621679301646 Source #

data MapSym0 :: forall a6989586621681099377 b6989586621681099378. (~>) ((~>) a6989586621681099377 b6989586621681099378) ((~>) (NonEmpty a6989586621681099377) (NonEmpty b6989586621681099378)) Source #

Instances

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

data MapSym1 (a6989586621681100998 :: (~>) a6989586621681099377 b6989586621681099378) :: (~>) (NonEmpty a6989586621681099377) (NonEmpty b6989586621681099378) Source #

Instances

SingI d => SingI (MapSym1 d :: TyFun (NonEmpty a) (NonEmpty b) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (MapSym1 d) Source #
SuppressUnusedWarnings (MapSym1 a6989586621681100998 :: TyFun (NonEmpty a6989586621681099377) (NonEmpty b6989586621681099378) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (MapSym1 a6989586621681100998 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681100999 :: NonEmpty a) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (MapSym1 a6989586621681100998 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681100999 :: NonEmpty a) = Map a6989586621681100998 a6989586621681100999

type MapSym2 (a6989586621681100998 :: (~>) a6989586621681099377 b6989586621681099378) (a6989586621681100999 :: NonEmpty a6989586621681099377) = Map a6989586621681100998 a6989586621681100999 Source #

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

Instances

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

data IntersperseSym1 (a6989586621681100988 :: a6989586621681099367) :: (~>) (NonEmpty a6989586621681099367) (NonEmpty a6989586621681099367) Source #

Instances

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

type IntersperseSym2 (a6989586621681100988 :: a6989586621681099367) (a6989586621681100989 :: NonEmpty a6989586621681099367) = Intersperse a6989586621681100988 a6989586621681100989 Source #

data ScanlSym0 :: forall a6989586621681099373 b6989586621681099372. (~>) ((~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) ((~>) b6989586621681099372 ((~>) [a6989586621681099373] (NonEmpty b6989586621681099372))) Source #

Instances

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

data ScanlSym1 (a6989586621681101142 :: (~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) :: (~>) b6989586621681099372 ((~>) [a6989586621681099373] (NonEmpty b6989586621681099372)) Source #

Instances

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

data ScanlSym2 (a6989586621681101142 :: (~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) (a6989586621681101143 :: b6989586621681099372) :: (~>) [a6989586621681099373] (NonEmpty b6989586621681099372) Source #

Instances

(SingI d1, SingI d2) => SingI (ScanlSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ScanlSym2 d1 d2) Source #
SuppressUnusedWarnings (ScanlSym2 a6989586621681101143 a6989586621681101142 :: TyFun [a6989586621681099373] (NonEmpty b6989586621681099372) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanlSym2 a6989586621681101143 a6989586621681101142 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681101144 :: [a]) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym2 a6989586621681101143 a6989586621681101142 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681101144 :: [a]) = Scanl a6989586621681101143 a6989586621681101142 a6989586621681101144

type ScanlSym3 (a6989586621681101142 :: (~>) b6989586621681099372 ((~>) a6989586621681099373 b6989586621681099372)) (a6989586621681101143 :: b6989586621681099372) (a6989586621681101144 :: [a6989586621681099373]) = Scanl a6989586621681101142 a6989586621681101143 a6989586621681101144 Source #

data ScanrSym0 :: forall a6989586621681099370 b6989586621681099371. (~>) ((~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) ((~>) b6989586621681099371 ((~>) [a6989586621681099370] (NonEmpty b6989586621681099371))) Source #

Instances

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

data ScanrSym1 (a6989586621681101153 :: (~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) :: (~>) b6989586621681099371 ((~>) [a6989586621681099370] (NonEmpty b6989586621681099371)) Source #

Instances

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

data ScanrSym2 (a6989586621681101153 :: (~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) (a6989586621681101154 :: b6989586621681099371) :: (~>) [a6989586621681099370] (NonEmpty b6989586621681099371) Source #

Instances

(SingI d1, SingI d2) => SingI (ScanrSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ScanrSym2 d1 d2) Source #
SuppressUnusedWarnings (ScanrSym2 a6989586621681101154 a6989586621681101153 :: TyFun [a6989586621681099370] (NonEmpty b6989586621681099371) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanrSym2 a6989586621681101154 a6989586621681101153 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681101155 :: [a]) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym2 a6989586621681101154 a6989586621681101153 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681101155 :: [a]) = Scanr a6989586621681101154 a6989586621681101153 a6989586621681101155

type ScanrSym3 (a6989586621681101153 :: (~>) a6989586621681099370 ((~>) b6989586621681099371 b6989586621681099371)) (a6989586621681101154 :: b6989586621681099371) (a6989586621681101155 :: [a6989586621681099370]) = Scanr a6989586621681101153 a6989586621681101154 a6989586621681101155 Source #

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

Instances

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

data Scanl1Sym1 (a6989586621681101164 :: (~>) a6989586621681099369 ((~>) a6989586621681099369 a6989586621681099369)) :: (~>) (NonEmpty a6989586621681099369) (NonEmpty a6989586621681099369) Source #

Instances

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

type Scanl1Sym2 (a6989586621681101164 :: (~>) a6989586621681099369 ((~>) a6989586621681099369 a6989586621681099369)) (a6989586621681101165 :: NonEmpty a6989586621681099369) = Scanl1 a6989586621681101164 a6989586621681101165 Source #

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

Instances

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

data Scanr1Sym1 (a6989586621681101171 :: (~>) a6989586621681099368 ((~>) a6989586621681099368 a6989586621681099368)) :: (~>) (NonEmpty a6989586621681099368) (NonEmpty a6989586621681099368) Source #

Instances

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

type Scanr1Sym2 (a6989586621681101171 :: (~>) a6989586621681099368 ((~>) a6989586621681099368 a6989586621681099368)) (a6989586621681101172 :: NonEmpty a6989586621681099368) = Scanr1 a6989586621681101171 a6989586621681101172 Source #

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

Instances

SingI (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing TransposeSym0 Source #
SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621681099333)) (NonEmpty (NonEmpty a6989586621681099333)) -> 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) (a6989586621681101291 :: NonEmpty (NonEmpty a)) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681101291 :: NonEmpty (NonEmpty a)) = Transpose a6989586621681101291

type TransposeSym1 (a6989586621681101291 :: NonEmpty (NonEmpty a6989586621681099333)) = Transpose a6989586621681101291 Source #

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

Instances

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

data SortBySym1 (a6989586621681101098 :: (~>) a6989586621681099332 ((~>) a6989586621681099332 Ordering)) :: (~>) (NonEmpty a6989586621681099332) (NonEmpty a6989586621681099332) Source #

Instances

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

type SortBySym2 (a6989586621681101098 :: (~>) a6989586621681099332 ((~>) a6989586621681099332 Ordering)) (a6989586621681101099 :: NonEmpty a6989586621681099332) = SortBy a6989586621681101098 a6989586621681101099 Source #

data SortWithSym0 :: forall a6989586621681099331 o6989586621681099330. (~>) ((~>) a6989586621681099331 o6989586621681099330) ((~>) (NonEmpty a6989586621681099331) (NonEmpty a6989586621681099331)) Source #

Instances

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

data SortWithSym1 (a6989586621681101110 :: (~>) a6989586621681099331 o6989586621681099330) :: (~>) (NonEmpty a6989586621681099331) (NonEmpty a6989586621681099331) Source #

Instances

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

type SortWithSym2 (a6989586621681101110 :: (~>) a6989586621681099331 o6989586621681099330) (a6989586621681101111 :: NonEmpty a6989586621681099331) = SortWith a6989586621681101110 a6989586621681101111 Source #

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

Instances

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

type LengthSym1 (a6989586621681101279 :: NonEmpty a6989586621681099396) = Length a6989586621681101279 Source #

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

Instances

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

type HeadSym1 (a6989586621681101211 :: NonEmpty a6989586621681099389) = Head a6989586621681101211 Source #

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

Instances

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

type TailSym1 (a6989586621681101208 :: NonEmpty a6989586621681099388) = Tail a6989586621681101208 Source #

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

Instances

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

type LastSym1 (a6989586621681101204 :: NonEmpty a6989586621681099387) = Last a6989586621681101204 Source #

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

Instances

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

type InitSym1 (a6989586621681101200 :: NonEmpty a6989586621681099386) = Init a6989586621681101200 Source #

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

Instances

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

data (<|@#@$$) (a6989586621681101183 :: a6989586621681099385) :: (~>) (NonEmpty a6989586621681099385) (NonEmpty a6989586621681099385) Source #

Instances

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

type (<|@#@$$$) (a6989586621681101183 :: a6989586621681099385) (a6989586621681101184 :: NonEmpty a6989586621681099385) = (<|) a6989586621681101183 a6989586621681101184 Source #

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

Instances

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

data ConsSym1 (a6989586621681101194 :: a6989586621681099384) :: (~>) (NonEmpty a6989586621681099384) (NonEmpty a6989586621681099384) Source #

Instances

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

type ConsSym2 (a6989586621681101194 :: a6989586621681099384) (a6989586621681101195 :: NonEmpty a6989586621681099384) = Cons a6989586621681101194 a6989586621681101195 Source #

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

Instances

SingI (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing UnconsSym0 Source #
SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621681099392) (a6989586621681099392, Maybe (NonEmpty a6989586621681099392)) -> 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) (a6989586621681101247 :: NonEmpty a) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) (a6989586621681101247 :: NonEmpty a) = Uncons a6989586621681101247

type UnconsSym1 (a6989586621681101247 :: NonEmpty a6989586621681099392) = Uncons a6989586621681101247 Source #

data UnfoldrSym0 :: forall a6989586621681099390 b6989586621681099391. (~>) ((~>) a6989586621681099390 (b6989586621681099391, Maybe a6989586621681099390)) ((~>) a6989586621681099390 (NonEmpty b6989586621681099391)) Source #

Instances

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

data UnfoldrSym1 (a6989586621681101214 :: (~>) a6989586621681099390 (b6989586621681099391, Maybe a6989586621681099390)) :: (~>) a6989586621681099390 (NonEmpty b6989586621681099391) Source #

Instances

SingI d => SingI (UnfoldrSym1 d :: TyFun a (NonEmpty b) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (UnfoldrSym1 d) Source #
SuppressUnusedWarnings (UnfoldrSym1 a6989586621681101214 :: TyFun a6989586621681099390 (NonEmpty b6989586621681099391) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (UnfoldrSym1 a6989586621681101214 :: TyFun a (NonEmpty b) -> Type) (a6989586621681101215 :: a) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldrSym1 a6989586621681101214 :: TyFun a (NonEmpty b) -> Type) (a6989586621681101215 :: a) = Unfoldr a6989586621681101214 a6989586621681101215

type UnfoldrSym2 (a6989586621681101214 :: (~>) a6989586621681099390 (b6989586621681099391, Maybe a6989586621681099390)) (a6989586621681101215 :: a6989586621681099390) = Unfoldr a6989586621681101214 a6989586621681101215 Source #

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

Instances

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

type SortSym1 (a6989586621681101180 :: NonEmpty a6989586621681099383) = Sort a6989586621681101180 Source #

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

Instances

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

type ReverseSym1 (a6989586621681101095 :: NonEmpty a6989586621681099366) = Reverse a6989586621681101095 Source #

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

Instances

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

type InitsSym1 (a6989586621681101126 :: [a6989586621681099376]) = Inits a6989586621681101126 Source #

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

Instances

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

type TailsSym1 (a6989586621681101131 :: [a6989586621681099375]) = Tails a6989586621681101131 Source #

data UnfoldSym0 :: forall a6989586621681099394 b6989586621681099395. (~>) ((~>) a6989586621681099394 (b6989586621681099395, Maybe a6989586621681099394)) ((~>) a6989586621681099394 (NonEmpty b6989586621681099395)) Source #

Instances

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

data UnfoldSym1 (a6989586621681101251 :: (~>) a6989586621681099394 (b6989586621681099395, Maybe a6989586621681099394)) :: (~>) a6989586621681099394 (NonEmpty b6989586621681099395) Source #

Instances

SingI d => SingI (UnfoldSym1 d :: TyFun a (NonEmpty b) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (UnfoldSym1 d) Source #
SuppressUnusedWarnings (UnfoldSym1 a6989586621681101251 :: TyFun a6989586621681099394 (NonEmpty b6989586621681099395) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (UnfoldSym1 a6989586621681101251 :: TyFun a (NonEmpty b) -> Type) (a6989586621681101252 :: a) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldSym1 a6989586621681101251 :: TyFun a (NonEmpty b) -> Type) (a6989586621681101252 :: a) = Unfold a6989586621681101251 a6989586621681101252

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

Instances

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

data InsertSym1 (a6989586621681101134 :: a6989586621681099374) :: (~>) [a6989586621681099374] (NonEmpty a6989586621681099374) Source #

Instances

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

type InsertSym2 (a6989586621681101134 :: a6989586621681099374) (a6989586621681101135 :: [a6989586621681099374]) = Insert a6989586621681101134 a6989586621681101135 Source #

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

Instances

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

data TakeSym1 (a6989586621681101009 :: Nat) :: forall a6989586621681099365. (~>) (NonEmpty a6989586621681099365) [a6989586621681099365] Source #

Instances

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

type TakeSym2 (a6989586621681101009 :: Nat) (a6989586621681101010 :: NonEmpty a6989586621681099365) = Take a6989586621681101009 a6989586621681101010 Source #

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

Instances

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

data DropSym1 (a6989586621681101017 :: Nat) :: forall a6989586621681099364. (~>) (NonEmpty a6989586621681099364) [a6989586621681099364] Source #

Instances

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

type DropSym2 (a6989586621681101017 :: Nat) (a6989586621681101018 :: NonEmpty a6989586621681099364) = Drop a6989586621681101017 a6989586621681101018 Source #

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

Instances

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

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

Instances

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

type SplitAtSym2 (a6989586621681101025 :: Nat) (a6989586621681101026 :: NonEmpty a6989586621681099363) = SplitAt a6989586621681101025 a6989586621681101026 Source #

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

Instances

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

data TakeWhileSym1 (a6989586621681101033 :: (~>) a6989586621681099362 Bool) :: (~>) (NonEmpty a6989586621681099362) [a6989586621681099362] Source #

Instances

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

type TakeWhileSym2 (a6989586621681101033 :: (~>) a6989586621681099362 Bool) (a6989586621681101034 :: NonEmpty a6989586621681099362) = TakeWhile a6989586621681101033 a6989586621681101034 Source #

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

Instances

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

data DropWhileSym1 (a6989586621681101041 :: (~>) a6989586621681099361 Bool) :: (~>) (NonEmpty a6989586621681099361) [a6989586621681099361] Source #

Instances

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

type DropWhileSym2 (a6989586621681101041 :: (~>) a6989586621681099361 Bool) (a6989586621681101042 :: NonEmpty a6989586621681099361) = DropWhile a6989586621681101041 a6989586621681101042 Source #

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

Instances

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

data SpanSym1 (a6989586621681101049 :: (~>) a6989586621681099360 Bool) :: (~>) (NonEmpty a6989586621681099360) ([a6989586621681099360], [a6989586621681099360]) Source #

Instances

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

type SpanSym2 (a6989586621681101049 :: (~>) a6989586621681099360 Bool) (a6989586621681101050 :: NonEmpty a6989586621681099360) = Span a6989586621681101049 a6989586621681101050 Source #

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

Instances

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

data BreakSym1 (a6989586621681101057 :: (~>) a6989586621681099359 Bool) :: (~>) (NonEmpty a6989586621681099359) ([a6989586621681099359], [a6989586621681099359]) Source #

Instances

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

type BreakSym2 (a6989586621681101057 :: (~>) a6989586621681099359 Bool) (a6989586621681101058 :: NonEmpty a6989586621681099359) = Break a6989586621681101057 a6989586621681101058 Source #

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

Instances

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

data FilterSym1 (a6989586621681101065 :: (~>) a6989586621681099358 Bool) :: (~>) (NonEmpty a6989586621681099358) [a6989586621681099358] Source #

Instances

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

type FilterSym2 (a6989586621681101065 :: (~>) a6989586621681099358 Bool) (a6989586621681101066 :: NonEmpty a6989586621681099358) = Filter a6989586621681101065 a6989586621681101066 Source #

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

Instances

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

data PartitionSym1 (a6989586621681101073 :: (~>) a6989586621681099357 Bool) :: (~>) (NonEmpty a6989586621681099357) ([a6989586621681099357], [a6989586621681099357]) Source #

Instances

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

type PartitionSym2 (a6989586621681101073 :: (~>) a6989586621681099357 Bool) (a6989586621681101074 :: NonEmpty a6989586621681099357) = Partition a6989586621681101073 a6989586621681101074 Source #

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

Instances

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

type GroupSym1 (a6989586621681100985 :: [a6989586621681099356]) = Group a6989586621681100985 Source #

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

Instances

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

data GroupBySym1 (a6989586621681100875 :: (~>) a6989586621681099355 ((~>) a6989586621681099355 Bool)) :: (~>) [a6989586621681099355] [NonEmpty a6989586621681099355] Source #

Instances

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

type GroupBySym2 (a6989586621681100875 :: (~>) a6989586621681099355 ((~>) a6989586621681099355 Bool)) (a6989586621681100876 :: [a6989586621681099355]) = GroupBy a6989586621681100875 a6989586621681100876 Source #

data GroupWithSym0 :: forall a6989586621681099354 b6989586621681099353. (~>) ((~>) a6989586621681099354 b6989586621681099353) ((~>) [a6989586621681099354] [NonEmpty a6989586621681099354]) Source #

Instances

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

data GroupWithSym1 (a6989586621681100923 :: (~>) a6989586621681099354 b6989586621681099353) :: (~>) [a6989586621681099354] [NonEmpty a6989586621681099354] Source #

Instances

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

type GroupWithSym2 (a6989586621681100923 :: (~>) a6989586621681099354 b6989586621681099353) (a6989586621681100924 :: [a6989586621681099354]) = GroupWith a6989586621681100923 a6989586621681100924 Source #

data GroupAllWithSym0 :: forall a6989586621681099352 b6989586621681099351. (~>) ((~>) a6989586621681099352 b6989586621681099351) ((~>) [a6989586621681099352] [NonEmpty a6989586621681099352]) Source #

Instances

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

data GroupAllWithSym1 (a6989586621681100931 :: (~>) a6989586621681099352 b6989586621681099351) :: (~>) [a6989586621681099352] [NonEmpty a6989586621681099352] Source #

Instances

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

type GroupAllWithSym2 (a6989586621681100931 :: (~>) a6989586621681099352 b6989586621681099351) (a6989586621681100932 :: [a6989586621681099352]) = GroupAllWith a6989586621681100931 a6989586621681100932 Source #

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

Instances

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

type Group1Sym1 (a6989586621681100972 :: NonEmpty a6989586621681099350) = Group1 a6989586621681100972 Source #

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

Instances

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

data GroupBy1Sym1 (a6989586621681100939 :: (~>) a6989586621681099349 ((~>) a6989586621681099349 Bool)) :: (~>) (NonEmpty a6989586621681099349) (NonEmpty (NonEmpty a6989586621681099349)) Source #

Instances

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

type GroupBy1Sym2 (a6989586621681100939 :: (~>) a6989586621681099349 ((~>) a6989586621681099349 Bool)) (a6989586621681100940 :: NonEmpty a6989586621681099349) = GroupBy1 a6989586621681100939 a6989586621681100940 Source #

data GroupWith1Sym0 :: forall a6989586621681099348 b6989586621681099347. (~>) ((~>) a6989586621681099348 b6989586621681099347) ((~>) (NonEmpty a6989586621681099348) (NonEmpty (NonEmpty a6989586621681099348))) Source #

Instances

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

data GroupWith1Sym1 (a6989586621681100975 :: (~>) a6989586621681099348 b6989586621681099347) :: (~>) (NonEmpty a6989586621681099348) (NonEmpty (NonEmpty a6989586621681099348)) Source #

Instances

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

type GroupWith1Sym2 (a6989586621681100975 :: (~>) a6989586621681099348 b6989586621681099347) (a6989586621681100976 :: NonEmpty a6989586621681099348) = GroupWith1 a6989586621681100975 a6989586621681100976 Source #

data GroupAllWith1Sym0 :: forall a6989586621681099346 b6989586621681099345. (~>) ((~>) a6989586621681099346 b6989586621681099345) ((~>) (NonEmpty a6989586621681099346) (NonEmpty (NonEmpty a6989586621681099346))) Source #

Instances

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

data GroupAllWith1Sym1 (a6989586621681101116 :: (~>) a6989586621681099346 b6989586621681099345) :: (~>) (NonEmpty a6989586621681099346) (NonEmpty (NonEmpty a6989586621681099346)) Source #

Instances

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

type GroupAllWith1Sym2 (a6989586621681101116 :: (~>) a6989586621681099346 b6989586621681099345) (a6989586621681101117 :: NonEmpty a6989586621681099346) = GroupAllWith1 a6989586621681101116 a6989586621681101117 Source #

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

Instances

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

data IsPrefixOfSym1 (a6989586621681100867 :: [a6989586621681099344]) :: (~>) (NonEmpty a6989586621681099344) Bool Source #

Instances

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

type IsPrefixOfSym2 (a6989586621681100867 :: [a6989586621681099344]) (a6989586621681100868 :: NonEmpty a6989586621681099344) = IsPrefixOf a6989586621681100867 a6989586621681100868 Source #

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

Instances

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

type NubSym1 (a6989586621681100798 :: NonEmpty a6989586621681099335) = Nub a6989586621681100798 Source #

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

Instances

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

data NubBySym1 (a6989586621681100781 :: (~>) a6989586621681099334 ((~>) a6989586621681099334 Bool)) :: (~>) (NonEmpty a6989586621681099334) (NonEmpty a6989586621681099334) Source #

Instances

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

type NubBySym2 (a6989586621681100781 :: (~>) a6989586621681099334 ((~>) a6989586621681099334 Bool)) (a6989586621681100782 :: NonEmpty a6989586621681099334) = NubBy a6989586621681100781 a6989586621681100782 Source #

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

Instances

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

data (!!@#@$$) (a6989586621681100849 :: NonEmpty a6989586621681099343) :: (~>) Nat a6989586621681099343 Source #

Instances

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

type (!!@#@$$$) (a6989586621681100849 :: NonEmpty a6989586621681099343) (a6989586621681100850 :: Nat) = (!!) a6989586621681100849 a6989586621681100850 Source #

data ZipSym0 :: forall a6989586621681099341 b6989586621681099342. (~>) (NonEmpty a6989586621681099341) ((~>) (NonEmpty b6989586621681099342) (NonEmpty (a6989586621681099341, b6989586621681099342))) Source #

Instances

SingI (ZipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ZipSym0 Source #
SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621681099341) (NonEmpty b6989586621681099342 ~> NonEmpty (a6989586621681099341, b6989586621681099342)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621681099341) (NonEmpty b6989586621681099342 ~> NonEmpty (a6989586621681099341, b6989586621681099342)) -> Type) (a6989586621681100841 :: NonEmpty a6989586621681099341) Source # |

Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621681099341) (NonEmpty b6989586621681099342 ~> NonEmpty (a6989586621681099341, b6989586621681099342)) -> Type) (a6989586621681100841 :: NonEmpty a6989586621681099341) = (ZipSym1 a6989586621681100841 b6989586621681099342 :: TyFun (NonEmpty b6989586621681099342) (NonEmpty (a6989586621681099341, b6989586621681099342)) -> Type)

data ZipSym1 (a6989586621681100841 :: NonEmpty a6989586621681099341) :: forall b6989586621681099342. (~>) (NonEmpty b6989586621681099342) (NonEmpty (a6989586621681099341, b6989586621681099342)) Source #

Instances

SingI d => SingI (ZipSym1 d b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ZipSym1 d b) Source #
SuppressUnusedWarnings (ZipSym1 a6989586621681100841 b6989586621681099342 :: TyFun (NonEmpty b6989586621681099342) (NonEmpty (a6989586621681099341, b6989586621681099342)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipSym1 a6989586621681100841 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681100842 :: NonEmpty b) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipSym1 a6989586621681100841 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681100842 :: NonEmpty b) = Zip a6989586621681100841 a6989586621681100842

type ZipSym2 (a6989586621681100841 :: NonEmpty a6989586621681099341) (a6989586621681100842 :: NonEmpty b6989586621681099342) = Zip a6989586621681100841 a6989586621681100842 Source #

data ZipWithSym0 :: forall a6989586621681099338 b6989586621681099339 c6989586621681099340. (~>) ((~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) ((~>) (NonEmpty a6989586621681099338) ((~>) (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340))) Source #

Instances

SingI (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing ZipWithSym0 Source #
SuppressUnusedWarnings (ZipWithSym0 :: TyFun (a6989586621681099338 ~> (b6989586621681099339 ~> c6989586621681099340)) (NonEmpty a6989586621681099338 ~> (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340)) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym0 :: TyFun (a6989586621681099338 ~> (b6989586621681099339 ~> c6989586621681099340)) (NonEmpty a6989586621681099338 ~> (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340)) -> Type) (a6989586621681100830 :: a6989586621681099338 ~> (b6989586621681099339 ~> c6989586621681099340)) Source # |

Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym0 :: TyFun (a6989586621681099338 ~> (b6989586621681099339 ~> c6989586621681099340)) (NonEmpty a6989586621681099338 ~> (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340)) -> Type) (a6989586621681100830 :: a6989586621681099338 ~> (b6989586621681099339 ~> c6989586621681099340)) = ZipWithSym1 a6989586621681100830

data ZipWithSym1 (a6989586621681100830 :: (~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) :: (~>) (NonEmpty a6989586621681099338) ((~>) (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340)) Source #

Instances

SingI d => SingI (ZipWithSym1 d :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ZipWithSym1 d) Source #
SuppressUnusedWarnings (ZipWithSym1 a6989586621681100830 :: TyFun (NonEmpty a6989586621681099338) (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym1 a6989586621681100830 :: TyFun (NonEmpty a6989586621681099338) (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340) -> Type) (a6989586621681100831 :: NonEmpty a6989586621681099338) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym1 a6989586621681100830 :: TyFun (NonEmpty a6989586621681099338) (NonEmpty b6989586621681099339 ~> NonEmpty c6989586621681099340) -> Type) (a6989586621681100831 :: NonEmpty a6989586621681099338) = ZipWithSym2 a6989586621681100830 a6989586621681100831

data ZipWithSym2 (a6989586621681100830 :: (~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) (a6989586621681100831 :: NonEmpty a6989586621681099338) :: (~>) (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340) Source #

Instances

(SingI d1, SingI d2) => SingI (ZipWithSym2 d1 d2 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ZipWithSym2 d1 d2) Source #
SuppressUnusedWarnings (ZipWithSym2 a6989586621681100831 a6989586621681100830 :: TyFun (NonEmpty b6989586621681099339) (NonEmpty c6989586621681099340) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym2 a6989586621681100831 a6989586621681100830 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681100832 :: NonEmpty b) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym2 a6989586621681100831 a6989586621681100830 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681100832 :: NonEmpty b) = ZipWith a6989586621681100831 a6989586621681100830 a6989586621681100832

type ZipWithSym3 (a6989586621681100830 :: (~>) a6989586621681099338 ((~>) b6989586621681099339 c6989586621681099340)) (a6989586621681100831 :: NonEmpty a6989586621681099338) (a6989586621681100832 :: NonEmpty b6989586621681099339) = ZipWith a6989586621681100830 a6989586621681100831 a6989586621681100832 Source #

data UnzipSym0 :: forall a6989586621681099336 b6989586621681099337. (~>) (NonEmpty (a6989586621681099336, b6989586621681099337)) (NonEmpty a6989586621681099336, NonEmpty b6989586621681099337) Source #

Instances

SingI (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) Source # |
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing UnzipSym0 Source #
SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621681099336, b6989586621681099337)) (NonEmpty a6989586621681099336, NonEmpty b6989586621681099337) -> 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) (a6989586621681100801 :: 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) (a6989586621681100801 :: NonEmpty (a, b)) = Unzip a6989586621681100801

type UnzipSym1 (a6989586621681100801 :: NonEmpty (a6989586621681099336, b6989586621681099337)) = Unzip a6989586621681100801 Source #

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

Instances

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

type FromListSym1 (a6989586621681101081 :: [a6989586621681099382]) = FromList a6989586621681101081 Source #

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

Instances

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

type ToListSym1 (a6989586621681101005 :: NonEmpty a6989586621681099381) = ToList a6989586621681101005 Source #

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

Instances

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

type NonEmpty_Sym1 (a6989586621681101243 :: [a6989586621681099393]) = NonEmpty_ a6989586621681101243 Source #

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

Instances

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

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

# Orphan instances

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