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 #

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

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

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

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

The NonEmpty singleton

Non-empty stream transformations

Defunctionalization symbols

Orphan instances

The `NonEmpty` singleton