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 (a6989586621679070336 :: Type). (~>) a6989586621679070336 ((~>) [a6989586621679070336] (NonEmpty (a6989586621679070336 :: Type)))
data (:|@#@$$) (t6989586621679298984 :: (a6989586621679070336 :: Type)) :: (~>) [a6989586621679070336] (NonEmpty (a6989586621679070336 :: Type))
type (:|@#@$$$) (t6989586621679298984 :: a6989586621679070336) (t6989586621679298985 :: [a6989586621679070336]) = (:|) t6989586621679298984 t6989586621679298985
data MapSym0 :: forall a6989586621681107431 b6989586621681107432. (~>) ((~>) a6989586621681107431 b6989586621681107432) ((~>) (NonEmpty a6989586621681107431) (NonEmpty b6989586621681107432))
data MapSym1 (a6989586621681109052 :: (~>) a6989586621681107431 b6989586621681107432) :: (~>) (NonEmpty a6989586621681107431) (NonEmpty b6989586621681107432)
type MapSym2 (a6989586621681109052 :: (~>) a6989586621681107431 b6989586621681107432) (a6989586621681109053 :: NonEmpty a6989586621681107431) = Map a6989586621681109052 a6989586621681109053
data IntersperseSym0 :: forall a6989586621681107421. (~>) a6989586621681107421 ((~>) (NonEmpty a6989586621681107421) (NonEmpty a6989586621681107421))
data IntersperseSym1 (a6989586621681109042 :: a6989586621681107421) :: (~>) (NonEmpty a6989586621681107421) (NonEmpty a6989586621681107421)
type IntersperseSym2 (a6989586621681109042 :: a6989586621681107421) (a6989586621681109043 :: NonEmpty a6989586621681107421) = Intersperse a6989586621681109042 a6989586621681109043
data ScanlSym0 :: forall a6989586621681107427 b6989586621681107426. (~>) ((~>) b6989586621681107426 ((~>) a6989586621681107427 b6989586621681107426)) ((~>) b6989586621681107426 ((~>) [a6989586621681107427] (NonEmpty b6989586621681107426)))
data ScanlSym1 (a6989586621681109196 :: (~>) b6989586621681107426 ((~>) a6989586621681107427 b6989586621681107426)) :: (~>) b6989586621681107426 ((~>) [a6989586621681107427] (NonEmpty b6989586621681107426))
data ScanlSym2 (a6989586621681109196 :: (~>) b6989586621681107426 ((~>) a6989586621681107427 b6989586621681107426)) (a6989586621681109197 :: b6989586621681107426) :: (~>) [a6989586621681107427] (NonEmpty b6989586621681107426)
type ScanlSym3 (a6989586621681109196 :: (~>) b6989586621681107426 ((~>) a6989586621681107427 b6989586621681107426)) (a6989586621681109197 :: b6989586621681107426) (a6989586621681109198 :: [a6989586621681107427]) = Scanl a6989586621681109196 a6989586621681109197 a6989586621681109198
data ScanrSym0 :: forall a6989586621681107424 b6989586621681107425. (~>) ((~>) a6989586621681107424 ((~>) b6989586621681107425 b6989586621681107425)) ((~>) b6989586621681107425 ((~>) [a6989586621681107424] (NonEmpty b6989586621681107425)))
data ScanrSym1 (a6989586621681109207 :: (~>) a6989586621681107424 ((~>) b6989586621681107425 b6989586621681107425)) :: (~>) b6989586621681107425 ((~>) [a6989586621681107424] (NonEmpty b6989586621681107425))
data ScanrSym2 (a6989586621681109207 :: (~>) a6989586621681107424 ((~>) b6989586621681107425 b6989586621681107425)) (a6989586621681109208 :: b6989586621681107425) :: (~>) [a6989586621681107424] (NonEmpty b6989586621681107425)
type ScanrSym3 (a6989586621681109207 :: (~>) a6989586621681107424 ((~>) b6989586621681107425 b6989586621681107425)) (a6989586621681109208 :: b6989586621681107425) (a6989586621681109209 :: [a6989586621681107424]) = Scanr a6989586621681109207 a6989586621681109208 a6989586621681109209
data Scanl1Sym0 :: forall a6989586621681107423. (~>) ((~>) a6989586621681107423 ((~>) a6989586621681107423 a6989586621681107423)) ((~>) (NonEmpty a6989586621681107423) (NonEmpty a6989586621681107423))
data Scanl1Sym1 (a6989586621681109218 :: (~>) a6989586621681107423 ((~>) a6989586621681107423 a6989586621681107423)) :: (~>) (NonEmpty a6989586621681107423) (NonEmpty a6989586621681107423)
type Scanl1Sym2 (a6989586621681109218 :: (~>) a6989586621681107423 ((~>) a6989586621681107423 a6989586621681107423)) (a6989586621681109219 :: NonEmpty a6989586621681107423) = Scanl1 a6989586621681109218 a6989586621681109219
data Scanr1Sym0 :: forall a6989586621681107422. (~>) ((~>) a6989586621681107422 ((~>) a6989586621681107422 a6989586621681107422)) ((~>) (NonEmpty a6989586621681107422) (NonEmpty a6989586621681107422))
data Scanr1Sym1 (a6989586621681109225 :: (~>) a6989586621681107422 ((~>) a6989586621681107422 a6989586621681107422)) :: (~>) (NonEmpty a6989586621681107422) (NonEmpty a6989586621681107422)
type Scanr1Sym2 (a6989586621681109225 :: (~>) a6989586621681107422 ((~>) a6989586621681107422 a6989586621681107422)) (a6989586621681109226 :: NonEmpty a6989586621681107422) = Scanr1 a6989586621681109225 a6989586621681109226
data TransposeSym0 :: forall a6989586621681107387. (~>) (NonEmpty (NonEmpty a6989586621681107387)) (NonEmpty (NonEmpty a6989586621681107387))
type TransposeSym1 (a6989586621681109345 :: NonEmpty (NonEmpty a6989586621681107387)) = Transpose a6989586621681109345
data SortBySym0 :: forall a6989586621681107386. (~>) ((~>) a6989586621681107386 ((~>) a6989586621681107386 Ordering)) ((~>) (NonEmpty a6989586621681107386) (NonEmpty a6989586621681107386))
data SortBySym1 (a6989586621681109152 :: (~>) a6989586621681107386 ((~>) a6989586621681107386 Ordering)) :: (~>) (NonEmpty a6989586621681107386) (NonEmpty a6989586621681107386)
type SortBySym2 (a6989586621681109152 :: (~>) a6989586621681107386 ((~>) a6989586621681107386 Ordering)) (a6989586621681109153 :: NonEmpty a6989586621681107386) = SortBy a6989586621681109152 a6989586621681109153
data SortWithSym0 :: forall a6989586621681107385 o6989586621681107384. (~>) ((~>) a6989586621681107385 o6989586621681107384) ((~>) (NonEmpty a6989586621681107385) (NonEmpty a6989586621681107385))
data SortWithSym1 (a6989586621681109164 :: (~>) a6989586621681107385 o6989586621681107384) :: (~>) (NonEmpty a6989586621681107385) (NonEmpty a6989586621681107385)
type SortWithSym2 (a6989586621681109164 :: (~>) a6989586621681107385 o6989586621681107384) (a6989586621681109165 :: NonEmpty a6989586621681107385) = SortWith a6989586621681109164 a6989586621681109165
data LengthSym0 :: forall a6989586621681107450. (~>) (NonEmpty a6989586621681107450) Nat
type LengthSym1 (a6989586621681109333 :: NonEmpty a6989586621681107450) = Length a6989586621681109333
data HeadSym0 :: forall a6989586621681107443. (~>) (NonEmpty a6989586621681107443) a6989586621681107443
type HeadSym1 (a6989586621681109265 :: NonEmpty a6989586621681107443) = Head a6989586621681109265
data TailSym0 :: forall a6989586621681107442. (~>) (NonEmpty a6989586621681107442) [a6989586621681107442]
type TailSym1 (a6989586621681109262 :: NonEmpty a6989586621681107442) = Tail a6989586621681109262
data LastSym0 :: forall a6989586621681107441. (~>) (NonEmpty a6989586621681107441) a6989586621681107441
type LastSym1 (a6989586621681109258 :: NonEmpty a6989586621681107441) = Last a6989586621681109258
data InitSym0 :: forall a6989586621681107440. (~>) (NonEmpty a6989586621681107440) [a6989586621681107440]
type InitSym1 (a6989586621681109254 :: NonEmpty a6989586621681107440) = Init a6989586621681109254
data (<|@#@$) :: forall a6989586621681107439. (~>) a6989586621681107439 ((~>) (NonEmpty a6989586621681107439) (NonEmpty a6989586621681107439))
data (<|@#@$$) (a6989586621681109237 :: a6989586621681107439) :: (~>) (NonEmpty a6989586621681107439) (NonEmpty a6989586621681107439)
type (<|@#@$$$) (a6989586621681109237 :: a6989586621681107439) (a6989586621681109238 :: NonEmpty a6989586621681107439) = (<|) a6989586621681109237 a6989586621681109238
data ConsSym0 :: forall a6989586621681107438. (~>) a6989586621681107438 ((~>) (NonEmpty a6989586621681107438) (NonEmpty a6989586621681107438))
data ConsSym1 (a6989586621681109248 :: a6989586621681107438) :: (~>) (NonEmpty a6989586621681107438) (NonEmpty a6989586621681107438)
type ConsSym2 (a6989586621681109248 :: a6989586621681107438) (a6989586621681109249 :: NonEmpty a6989586621681107438) = Cons a6989586621681109248 a6989586621681109249
data UnconsSym0 :: forall a6989586621681107446. (~>) (NonEmpty a6989586621681107446) (a6989586621681107446, Maybe (NonEmpty a6989586621681107446))
type UnconsSym1 (a6989586621681109301 :: NonEmpty a6989586621681107446) = Uncons a6989586621681109301
data UnfoldrSym0 :: forall a6989586621681107444 b6989586621681107445. (~>) ((~>) a6989586621681107444 (b6989586621681107445, Maybe a6989586621681107444)) ((~>) a6989586621681107444 (NonEmpty b6989586621681107445))
data UnfoldrSym1 (a6989586621681109268 :: (~>) a6989586621681107444 (b6989586621681107445, Maybe a6989586621681107444)) :: (~>) a6989586621681107444 (NonEmpty b6989586621681107445)
type UnfoldrSym2 (a6989586621681109268 :: (~>) a6989586621681107444 (b6989586621681107445, Maybe a6989586621681107444)) (a6989586621681109269 :: a6989586621681107444) = Unfoldr a6989586621681109268 a6989586621681109269
data SortSym0 :: forall a6989586621681107437. (~>) (NonEmpty a6989586621681107437) (NonEmpty a6989586621681107437)
type SortSym1 (a6989586621681109234 :: NonEmpty a6989586621681107437) = Sort a6989586621681109234
data ReverseSym0 :: forall a6989586621681107420. (~>) (NonEmpty a6989586621681107420) (NonEmpty a6989586621681107420)
type ReverseSym1 (a6989586621681109149 :: NonEmpty a6989586621681107420) = Reverse a6989586621681109149
data InitsSym0 :: forall a6989586621681107430. (~>) [a6989586621681107430] (NonEmpty [a6989586621681107430])
type InitsSym1 (a6989586621681109180 :: [a6989586621681107430]) = Inits a6989586621681109180
data TailsSym0 :: forall a6989586621681107429. (~>) [a6989586621681107429] (NonEmpty [a6989586621681107429])
type TailsSym1 (a6989586621681109185 :: [a6989586621681107429]) = Tails a6989586621681109185
data UnfoldSym0 :: forall a6989586621681107448 b6989586621681107449. (~>) ((~>) a6989586621681107448 (b6989586621681107449, Maybe a6989586621681107448)) ((~>) a6989586621681107448 (NonEmpty b6989586621681107449))
data UnfoldSym1 (a6989586621681109305 :: (~>) a6989586621681107448 (b6989586621681107449, Maybe a6989586621681107448)) :: (~>) a6989586621681107448 (NonEmpty b6989586621681107449)
data InsertSym0 :: forall a6989586621681107428. (~>) a6989586621681107428 ((~>) [a6989586621681107428] (NonEmpty a6989586621681107428))
data InsertSym1 (a6989586621681109188 :: a6989586621681107428) :: (~>) [a6989586621681107428] (NonEmpty a6989586621681107428)
type InsertSym2 (a6989586621681109188 :: a6989586621681107428) (a6989586621681109189 :: [a6989586621681107428]) = Insert a6989586621681109188 a6989586621681109189
data TakeSym0 :: forall a6989586621681107419. (~>) Nat ((~>) (NonEmpty a6989586621681107419) [a6989586621681107419])
data TakeSym1 (a6989586621681109063 :: Nat) :: forall a6989586621681107419. (~>) (NonEmpty a6989586621681107419) [a6989586621681107419]
type TakeSym2 (a6989586621681109063 :: Nat) (a6989586621681109064 :: NonEmpty a6989586621681107419) = Take a6989586621681109063 a6989586621681109064
data DropSym0 :: forall a6989586621681107418. (~>) Nat ((~>) (NonEmpty a6989586621681107418) [a6989586621681107418])
data DropSym1 (a6989586621681109071 :: Nat) :: forall a6989586621681107418. (~>) (NonEmpty a6989586621681107418) [a6989586621681107418]
type DropSym2 (a6989586621681109071 :: Nat) (a6989586621681109072 :: NonEmpty a6989586621681107418) = Drop a6989586621681109071 a6989586621681109072
data SplitAtSym0 :: forall a6989586621681107417. (~>) Nat ((~>) (NonEmpty a6989586621681107417) ([a6989586621681107417], [a6989586621681107417]))
data SplitAtSym1 (a6989586621681109079 :: Nat) :: forall a6989586621681107417. (~>) (NonEmpty a6989586621681107417) ([a6989586621681107417], [a6989586621681107417])
type SplitAtSym2 (a6989586621681109079 :: Nat) (a6989586621681109080 :: NonEmpty a6989586621681107417) = SplitAt a6989586621681109079 a6989586621681109080
data TakeWhileSym0 :: forall a6989586621681107416. (~>) ((~>) a6989586621681107416 Bool) ((~>) (NonEmpty a6989586621681107416) [a6989586621681107416])
data TakeWhileSym1 (a6989586621681109087 :: (~>) a6989586621681107416 Bool) :: (~>) (NonEmpty a6989586621681107416) [a6989586621681107416]
type TakeWhileSym2 (a6989586621681109087 :: (~>) a6989586621681107416 Bool) (a6989586621681109088 :: NonEmpty a6989586621681107416) = TakeWhile a6989586621681109087 a6989586621681109088
data DropWhileSym0 :: forall a6989586621681107415. (~>) ((~>) a6989586621681107415 Bool) ((~>) (NonEmpty a6989586621681107415) [a6989586621681107415])
data DropWhileSym1 (a6989586621681109095 :: (~>) a6989586621681107415 Bool) :: (~>) (NonEmpty a6989586621681107415) [a6989586621681107415]
type DropWhileSym2 (a6989586621681109095 :: (~>) a6989586621681107415 Bool) (a6989586621681109096 :: NonEmpty a6989586621681107415) = DropWhile a6989586621681109095 a6989586621681109096
data SpanSym0 :: forall a6989586621681107414. (~>) ((~>) a6989586621681107414 Bool) ((~>) (NonEmpty a6989586621681107414) ([a6989586621681107414], [a6989586621681107414]))
data SpanSym1 (a6989586621681109103 :: (~>) a6989586621681107414 Bool) :: (~>) (NonEmpty a6989586621681107414) ([a6989586621681107414], [a6989586621681107414])
type SpanSym2 (a6989586621681109103 :: (~>) a6989586621681107414 Bool) (a6989586621681109104 :: NonEmpty a6989586621681107414) = Span a6989586621681109103 a6989586621681109104
data BreakSym0 :: forall a6989586621681107413. (~>) ((~>) a6989586621681107413 Bool) ((~>) (NonEmpty a6989586621681107413) ([a6989586621681107413], [a6989586621681107413]))
data BreakSym1 (a6989586621681109111 :: (~>) a6989586621681107413 Bool) :: (~>) (NonEmpty a6989586621681107413) ([a6989586621681107413], [a6989586621681107413])
type BreakSym2 (a6989586621681109111 :: (~>) a6989586621681107413 Bool) (a6989586621681109112 :: NonEmpty a6989586621681107413) = Break a6989586621681109111 a6989586621681109112
data FilterSym0 :: forall a6989586621681107412. (~>) ((~>) a6989586621681107412 Bool) ((~>) (NonEmpty a6989586621681107412) [a6989586621681107412])
data FilterSym1 (a6989586621681109119 :: (~>) a6989586621681107412 Bool) :: (~>) (NonEmpty a6989586621681107412) [a6989586621681107412]
type FilterSym2 (a6989586621681109119 :: (~>) a6989586621681107412 Bool) (a6989586621681109120 :: NonEmpty a6989586621681107412) = Filter a6989586621681109119 a6989586621681109120
data PartitionSym0 :: forall a6989586621681107411. (~>) ((~>) a6989586621681107411 Bool) ((~>) (NonEmpty a6989586621681107411) ([a6989586621681107411], [a6989586621681107411]))
data PartitionSym1 (a6989586621681109127 :: (~>) a6989586621681107411 Bool) :: (~>) (NonEmpty a6989586621681107411) ([a6989586621681107411], [a6989586621681107411])
type PartitionSym2 (a6989586621681109127 :: (~>) a6989586621681107411 Bool) (a6989586621681109128 :: NonEmpty a6989586621681107411) = Partition a6989586621681109127 a6989586621681109128
data GroupSym0 :: forall a6989586621681107410. (~>) [a6989586621681107410] [NonEmpty a6989586621681107410]
type GroupSym1 (a6989586621681109039 :: [a6989586621681107410]) = Group a6989586621681109039
data GroupBySym0 :: forall a6989586621681107409. (~>) ((~>) a6989586621681107409 ((~>) a6989586621681107409 Bool)) ((~>) [a6989586621681107409] [NonEmpty a6989586621681107409])
data GroupBySym1 (a6989586621681108929 :: (~>) a6989586621681107409 ((~>) a6989586621681107409 Bool)) :: (~>) [a6989586621681107409] [NonEmpty a6989586621681107409]
type GroupBySym2 (a6989586621681108929 :: (~>) a6989586621681107409 ((~>) a6989586621681107409 Bool)) (a6989586621681108930 :: [a6989586621681107409]) = GroupBy a6989586621681108929 a6989586621681108930
data GroupWithSym0 :: forall a6989586621681107408 b6989586621681107407. (~>) ((~>) a6989586621681107408 b6989586621681107407) ((~>) [a6989586621681107408] [NonEmpty a6989586621681107408])
data GroupWithSym1 (a6989586621681108977 :: (~>) a6989586621681107408 b6989586621681107407) :: (~>) [a6989586621681107408] [NonEmpty a6989586621681107408]
type GroupWithSym2 (a6989586621681108977 :: (~>) a6989586621681107408 b6989586621681107407) (a6989586621681108978 :: [a6989586621681107408]) = GroupWith a6989586621681108977 a6989586621681108978
data GroupAllWithSym0 :: forall a6989586621681107406 b6989586621681107405. (~>) ((~>) a6989586621681107406 b6989586621681107405) ((~>) [a6989586621681107406] [NonEmpty a6989586621681107406])
data GroupAllWithSym1 (a6989586621681108985 :: (~>) a6989586621681107406 b6989586621681107405) :: (~>) [a6989586621681107406] [NonEmpty a6989586621681107406]
type GroupAllWithSym2 (a6989586621681108985 :: (~>) a6989586621681107406 b6989586621681107405) (a6989586621681108986 :: [a6989586621681107406]) = GroupAllWith a6989586621681108985 a6989586621681108986
data Group1Sym0 :: forall a6989586621681107404. (~>) (NonEmpty a6989586621681107404) (NonEmpty (NonEmpty a6989586621681107404))
type Group1Sym1 (a6989586621681109026 :: NonEmpty a6989586621681107404) = Group1 a6989586621681109026
data GroupBy1Sym0 :: forall a6989586621681107403. (~>) ((~>) a6989586621681107403 ((~>) a6989586621681107403 Bool)) ((~>) (NonEmpty a6989586621681107403) (NonEmpty (NonEmpty a6989586621681107403)))
data GroupBy1Sym1 (a6989586621681108993 :: (~>) a6989586621681107403 ((~>) a6989586621681107403 Bool)) :: (~>) (NonEmpty a6989586621681107403) (NonEmpty (NonEmpty a6989586621681107403))
type GroupBy1Sym2 (a6989586621681108993 :: (~>) a6989586621681107403 ((~>) a6989586621681107403 Bool)) (a6989586621681108994 :: NonEmpty a6989586621681107403) = GroupBy1 a6989586621681108993 a6989586621681108994
data GroupWith1Sym0 :: forall a6989586621681107402 b6989586621681107401. (~>) ((~>) a6989586621681107402 b6989586621681107401) ((~>) (NonEmpty a6989586621681107402) (NonEmpty (NonEmpty a6989586621681107402)))
data GroupWith1Sym1 (a6989586621681109029 :: (~>) a6989586621681107402 b6989586621681107401) :: (~>) (NonEmpty a6989586621681107402) (NonEmpty (NonEmpty a6989586621681107402))
type GroupWith1Sym2 (a6989586621681109029 :: (~>) a6989586621681107402 b6989586621681107401) (a6989586621681109030 :: NonEmpty a6989586621681107402) = GroupWith1 a6989586621681109029 a6989586621681109030
data GroupAllWith1Sym0 :: forall a6989586621681107400 b6989586621681107399. (~>) ((~>) a6989586621681107400 b6989586621681107399) ((~>) (NonEmpty a6989586621681107400) (NonEmpty (NonEmpty a6989586621681107400)))
data GroupAllWith1Sym1 (a6989586621681109170 :: (~>) a6989586621681107400 b6989586621681107399) :: (~>) (NonEmpty a6989586621681107400) (NonEmpty (NonEmpty a6989586621681107400))
type GroupAllWith1Sym2 (a6989586621681109170 :: (~>) a6989586621681107400 b6989586621681107399) (a6989586621681109171 :: NonEmpty a6989586621681107400) = GroupAllWith1 a6989586621681109170 a6989586621681109171
data IsPrefixOfSym0 :: forall a6989586621681107398. (~>) [a6989586621681107398] ((~>) (NonEmpty a6989586621681107398) Bool)
data IsPrefixOfSym1 (a6989586621681108921 :: [a6989586621681107398]) :: (~>) (NonEmpty a6989586621681107398) Bool
type IsPrefixOfSym2 (a6989586621681108921 :: [a6989586621681107398]) (a6989586621681108922 :: NonEmpty a6989586621681107398) = IsPrefixOf a6989586621681108921 a6989586621681108922
data NubSym0 :: forall a6989586621681107389. (~>) (NonEmpty a6989586621681107389) (NonEmpty a6989586621681107389)
type NubSym1 (a6989586621681108852 :: NonEmpty a6989586621681107389) = Nub a6989586621681108852
data NubBySym0 :: forall a6989586621681107388. (~>) ((~>) a6989586621681107388 ((~>) a6989586621681107388 Bool)) ((~>) (NonEmpty a6989586621681107388) (NonEmpty a6989586621681107388))
data NubBySym1 (a6989586621681108835 :: (~>) a6989586621681107388 ((~>) a6989586621681107388 Bool)) :: (~>) (NonEmpty a6989586621681107388) (NonEmpty a6989586621681107388)
type NubBySym2 (a6989586621681108835 :: (~>) a6989586621681107388 ((~>) a6989586621681107388 Bool)) (a6989586621681108836 :: NonEmpty a6989586621681107388) = NubBy a6989586621681108835 a6989586621681108836
data (!!@#@$) :: forall a6989586621681107397. (~>) (NonEmpty a6989586621681107397) ((~>) Nat a6989586621681107397)
data (!!@#@$$) (a6989586621681108903 :: NonEmpty a6989586621681107397) :: (~>) Nat a6989586621681107397
type (!!@#@$$$) (a6989586621681108903 :: NonEmpty a6989586621681107397) (a6989586621681108904 :: Nat) = (!!) a6989586621681108903 a6989586621681108904
data ZipSym0 :: forall a6989586621681107395 b6989586621681107396. (~>) (NonEmpty a6989586621681107395) ((~>) (NonEmpty b6989586621681107396) (NonEmpty (a6989586621681107395, b6989586621681107396)))
data ZipSym1 (a6989586621681108895 :: NonEmpty a6989586621681107395) :: forall b6989586621681107396. (~>) (NonEmpty b6989586621681107396) (NonEmpty (a6989586621681107395, b6989586621681107396))
type ZipSym2 (a6989586621681108895 :: NonEmpty a6989586621681107395) (a6989586621681108896 :: NonEmpty b6989586621681107396) = Zip a6989586621681108895 a6989586621681108896
data ZipWithSym0 :: forall a6989586621681107392 b6989586621681107393 c6989586621681107394. (~>) ((~>) a6989586621681107392 ((~>) b6989586621681107393 c6989586621681107394)) ((~>) (NonEmpty a6989586621681107392) ((~>) (NonEmpty b6989586621681107393) (NonEmpty c6989586621681107394)))
data ZipWithSym1 (a6989586621681108884 :: (~>) a6989586621681107392 ((~>) b6989586621681107393 c6989586621681107394)) :: (~>) (NonEmpty a6989586621681107392) ((~>) (NonEmpty b6989586621681107393) (NonEmpty c6989586621681107394))
data ZipWithSym2 (a6989586621681108884 :: (~>) a6989586621681107392 ((~>) b6989586621681107393 c6989586621681107394)) (a6989586621681108885 :: NonEmpty a6989586621681107392) :: (~>) (NonEmpty b6989586621681107393) (NonEmpty c6989586621681107394)
type ZipWithSym3 (a6989586621681108884 :: (~>) a6989586621681107392 ((~>) b6989586621681107393 c6989586621681107394)) (a6989586621681108885 :: NonEmpty a6989586621681107392) (a6989586621681108886 :: NonEmpty b6989586621681107393) = ZipWith a6989586621681108884 a6989586621681108885 a6989586621681108886
data UnzipSym0 :: forall a6989586621681107390 b6989586621681107391. (~>) (NonEmpty (a6989586621681107390, b6989586621681107391)) (NonEmpty a6989586621681107390, NonEmpty b6989586621681107391)
type UnzipSym1 (a6989586621681108855 :: NonEmpty (a6989586621681107390, b6989586621681107391)) = Unzip a6989586621681108855
data FromListSym0 :: forall a6989586621681107436. (~>) [a6989586621681107436] (NonEmpty a6989586621681107436)
type FromListSym1 (a6989586621681109135 :: [a6989586621681107436]) = FromList a6989586621681109135
data ToListSym0 :: forall a6989586621681107435. (~>) (NonEmpty a6989586621681107435) [a6989586621681107435]
type ToListSym1 (a6989586621681109059 :: NonEmpty a6989586621681107435) = ToList a6989586621681109059
data NonEmpty_Sym0 :: forall a6989586621681107447. (~>) [a6989586621681107447] (Maybe (NonEmpty a6989586621681107447))
type NonEmpty_Sym1 (a6989586621681109297 :: [a6989586621681107447]) = NonEmpty_ a6989586621681109297
data XorSym0 :: (~>) (NonEmpty Bool) Bool
type XorSym1 (a6989586621681109320 :: NonEmpty Bool) = Xor a6989586621681109320

The `NonEmpty` singleton

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

The singleton kind-indexed data family.

Instances

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

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

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

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

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

Non-empty stream transformations

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

Equations

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

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

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

Equations

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

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

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

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_6989586621681109156 = Apply (Apply LiftSym0 (Apply ListsortBySym0 f)) a_6989586621681109156

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_6989586621681109160 a_6989586621681109162 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621681109160) a_6989586621681109162

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_6989586621681109244 a_6989586621681109246 = Apply (Apply (<|@#@$) a_6989586621681109244) a_6989586621681109246

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_6989586621681109292 f a (Let6989586621681109289Scrutinee_6989586621681107625Sym2 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_6989586621681109232 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621681109232

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_6989586621681109147 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621681109147

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

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

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_6989586621681109314 f a (Let6989586621681109311Scrutinee_6989586621681107615Sym2 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_6989586621681109192 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply ListinsertSym0 a)) a_6989586621681109192

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

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

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

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

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

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

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

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

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

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

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_6989586621681108933 = Apply (Apply (Let6989586621681108937GoSym2 eq0 a_6989586621681108933) eq0) a_6989586621681108933

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

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_6989586621681108989 = Apply (Apply (Apply (.@#@$) (Apply GroupWithSym0 f)) (Apply ListsortBySym0 (Apply (Apply OnSym0 CompareSym0) f))) a_6989586621681108989

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_6989586621681109024 = Apply (Apply GroupBy1Sym0 (==@#@$)) a_6989586621681109024

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) (Let6989586621681109000YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621681109000ZsSym3 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_6989586621681109033 = Apply (Apply GroupBy1Sym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621681109033

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_6989586621681109174 = Apply (Apply (Apply (.@#@$) (Apply GroupWith1Sym0 f)) (Apply SortWithSym0 f)) a_6989586621681109174

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_6989586621681108850 = Apply (Apply NubBySym0 (==@#@$)) a_6989586621681108850

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_6989586621681108842Sym0 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_6989586621681107637 !! arg_6989586621681107639 = Case_6989586621681108909 arg_6989586621681107637 arg_6989586621681107639 (Apply (Apply Tuple2Sym0 arg_6989586621681107637) arg_6989586621681107639)

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

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

Defunctionalization symbols

data (:|@#@$) :: forall (a6989586621679070336 :: Type). (~>) a6989586621679070336 ((~>) [a6989586621679070336] (NonEmpty (a6989586621679070336 :: 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 a6989586621679070336 ([a6989586621679070336] ~> NonEmpty a6989586621679070336) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply ((:\|@#@$) :: TyFun a6989586621679070336 ([a6989586621679070336] ~> NonEmpty a6989586621679070336) -> Type) (t6989586621679298984 :: a6989586621679070336) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply ((:\|@#@$) :: TyFun a6989586621679070336 ([a6989586621679070336] ~> NonEmpty a6989586621679070336) -> Type) (t6989586621679298984 :: a6989586621679070336) = (:\|@#@$$) t6989586621679298984

data (:|@#@$$) (t6989586621679298984 :: (a6989586621679070336 :: Type)) :: (~>) [a6989586621679070336] (NonEmpty (a6989586621679070336 :: 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 ((:\|@#@$$) t6989586621679298984 :: TyFun [a6989586621679070336] (NonEmpty a6989586621679070336) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply ((:\|@#@$$) t6989586621679298984 :: TyFun [a] (NonEmpty a) -> Type) (t6989586621679298985 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply ((:\|@#@$$) t6989586621679298984 :: TyFun [a] (NonEmpty a) -> Type) (t6989586621679298985 :: [a]) = t6989586621679298984 :\| t6989586621679298985

type (:|@#@$$$) (t6989586621679298984 :: a6989586621679070336) (t6989586621679298985 :: [a6989586621679070336]) = (:|) t6989586621679298984 t6989586621679298985 Source #

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

data MapSym1 (a6989586621681109052 :: (~>) a6989586621681107431 b6989586621681107432) :: (~>) (NonEmpty a6989586621681107431) (NonEmpty b6989586621681107432) 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 a6989586621681109052 :: TyFun (NonEmpty a6989586621681107431) (NonEmpty b6989586621681107432) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (MapSym1 a6989586621681109052 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681109053 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (MapSym1 a6989586621681109052 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681109053 :: NonEmpty a) = Map a6989586621681109052 a6989586621681109053

type MapSym2 (a6989586621681109052 :: (~>) a6989586621681107431 b6989586621681107432) (a6989586621681109053 :: NonEmpty a6989586621681107431) = Map a6989586621681109052 a6989586621681109053 Source #

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

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

type IntersperseSym2 (a6989586621681109042 :: a6989586621681107421) (a6989586621681109043 :: NonEmpty a6989586621681107421) = Intersperse a6989586621681109042 a6989586621681109043 Source #

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

data ScanlSym1 (a6989586621681109196 :: (~>) b6989586621681107426 ((~>) a6989586621681107427 b6989586621681107426)) :: (~>) b6989586621681107426 ((~>) [a6989586621681107427] (NonEmpty b6989586621681107426)) 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 a6989586621681109196 :: TyFun b6989586621681107426 ([a6989586621681107427] ~> NonEmpty b6989586621681107426) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanlSym1 a6989586621681109196 :: TyFun b6989586621681107426 ([a6989586621681107427] ~> NonEmpty b6989586621681107426) -> Type) (a6989586621681109197 :: b6989586621681107426) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym1 a6989586621681109196 :: TyFun b6989586621681107426 ([a6989586621681107427] ~> NonEmpty b6989586621681107426) -> Type) (a6989586621681109197 :: b6989586621681107426) = ScanlSym2 a6989586621681109196 a6989586621681109197

data ScanlSym2 (a6989586621681109196 :: (~>) b6989586621681107426 ((~>) a6989586621681107427 b6989586621681107426)) (a6989586621681109197 :: b6989586621681107426) :: (~>) [a6989586621681107427] (NonEmpty b6989586621681107426) 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 a6989586621681109197 a6989586621681109196 :: TyFun [a6989586621681107427] (NonEmpty b6989586621681107426) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanlSym2 a6989586621681109197 a6989586621681109196 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681109198 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym2 a6989586621681109197 a6989586621681109196 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681109198 :: [a]) = Scanl a6989586621681109197 a6989586621681109196 a6989586621681109198

type ScanlSym3 (a6989586621681109196 :: (~>) b6989586621681107426 ((~>) a6989586621681107427 b6989586621681107426)) (a6989586621681109197 :: b6989586621681107426) (a6989586621681109198 :: [a6989586621681107427]) = Scanl a6989586621681109196 a6989586621681109197 a6989586621681109198 Source #

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

data ScanrSym1 (a6989586621681109207 :: (~>) a6989586621681107424 ((~>) b6989586621681107425 b6989586621681107425)) :: (~>) b6989586621681107425 ((~>) [a6989586621681107424] (NonEmpty b6989586621681107425)) 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 a6989586621681109207 :: TyFun b6989586621681107425 ([a6989586621681107424] ~> NonEmpty b6989586621681107425) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanrSym1 a6989586621681109207 :: TyFun b6989586621681107425 ([a6989586621681107424] ~> NonEmpty b6989586621681107425) -> Type) (a6989586621681109208 :: b6989586621681107425) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym1 a6989586621681109207 :: TyFun b6989586621681107425 ([a6989586621681107424] ~> NonEmpty b6989586621681107425) -> Type) (a6989586621681109208 :: b6989586621681107425) = ScanrSym2 a6989586621681109207 a6989586621681109208

data ScanrSym2 (a6989586621681109207 :: (~>) a6989586621681107424 ((~>) b6989586621681107425 b6989586621681107425)) (a6989586621681109208 :: b6989586621681107425) :: (~>) [a6989586621681107424] (NonEmpty b6989586621681107425) 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 a6989586621681109208 a6989586621681109207 :: TyFun [a6989586621681107424] (NonEmpty b6989586621681107425) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanrSym2 a6989586621681109208 a6989586621681109207 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681109209 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym2 a6989586621681109208 a6989586621681109207 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681109209 :: [a]) = Scanr a6989586621681109208 a6989586621681109207 a6989586621681109209

type ScanrSym3 (a6989586621681109207 :: (~>) a6989586621681107424 ((~>) b6989586621681107425 b6989586621681107425)) (a6989586621681109208 :: b6989586621681107425) (a6989586621681109209 :: [a6989586621681107424]) = Scanr a6989586621681109207 a6989586621681109208 a6989586621681109209 Source #

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

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

type Scanl1Sym2 (a6989586621681109218 :: (~>) a6989586621681107423 ((~>) a6989586621681107423 a6989586621681107423)) (a6989586621681109219 :: NonEmpty a6989586621681107423) = Scanl1 a6989586621681109218 a6989586621681109219 Source #

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

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

type Scanr1Sym2 (a6989586621681109225 :: (~>) a6989586621681107422 ((~>) a6989586621681107422 a6989586621681107422)) (a6989586621681109226 :: NonEmpty a6989586621681107422) = Scanr1 a6989586621681109225 a6989586621681109226 Source #

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

type TransposeSym1 (a6989586621681109345 :: NonEmpty (NonEmpty a6989586621681107387)) = Transpose a6989586621681109345 Source #

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

data SortBySym1 (a6989586621681109152 :: (~>) a6989586621681107386 ((~>) a6989586621681107386 Ordering)) :: (~>) (NonEmpty a6989586621681107386) (NonEmpty a6989586621681107386) 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 a6989586621681109152 :: TyFun (NonEmpty a6989586621681107386) (NonEmpty a6989586621681107386) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (SortBySym1 a6989586621681109152 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681109153 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortBySym1 a6989586621681109152 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681109153 :: NonEmpty a) = SortBy a6989586621681109152 a6989586621681109153

type SortBySym2 (a6989586621681109152 :: (~>) a6989586621681107386 ((~>) a6989586621681107386 Ordering)) (a6989586621681109153 :: NonEmpty a6989586621681107386) = SortBy a6989586621681109152 a6989586621681109153 Source #

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

data SortWithSym1 (a6989586621681109164 :: (~>) a6989586621681107385 o6989586621681107384) :: (~>) (NonEmpty a6989586621681107385) (NonEmpty a6989586621681107385) 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 a6989586621681109164 :: TyFun (NonEmpty a6989586621681107385) (NonEmpty a6989586621681107385) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (SortWithSym1 a6989586621681109164 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681109165 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortWithSym1 a6989586621681109164 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681109165 :: NonEmpty a) = SortWith a6989586621681109164 a6989586621681109165

type SortWithSym2 (a6989586621681109164 :: (~>) a6989586621681107385 o6989586621681107384) (a6989586621681109165 :: NonEmpty a6989586621681107385) = SortWith a6989586621681109164 a6989586621681109165 Source #

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

type LengthSym1 (a6989586621681109333 :: NonEmpty a6989586621681107450) = Length a6989586621681109333 Source #

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

type HeadSym1 (a6989586621681109265 :: NonEmpty a6989586621681107443) = Head a6989586621681109265 Source #

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

type TailSym1 (a6989586621681109262 :: NonEmpty a6989586621681107442) = Tail a6989586621681109262 Source #

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

type LastSym1 (a6989586621681109258 :: NonEmpty a6989586621681107441) = Last a6989586621681109258 Source #

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

type InitSym1 (a6989586621681109254 :: NonEmpty a6989586621681107440) = Init a6989586621681109254 Source #

data (<|@#@$) :: forall a6989586621681107439. (~>) a6989586621681107439 ((~>) (NonEmpty a6989586621681107439) (NonEmpty a6989586621681107439)) 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 a6989586621681107439 (NonEmpty a6989586621681107439 ~> NonEmpty a6989586621681107439) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply ((<\|@#@$) :: TyFun a6989586621681107439 (NonEmpty a6989586621681107439 ~> NonEmpty a6989586621681107439) -> Type) (a6989586621681109237 :: a6989586621681107439) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((<\|@#@$) :: TyFun a6989586621681107439 (NonEmpty a6989586621681107439 ~> NonEmpty a6989586621681107439) -> Type) (a6989586621681109237 :: a6989586621681107439) = (<\|@#@$$) a6989586621681109237

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

type (<|@#@$$$) (a6989586621681109237 :: a6989586621681107439) (a6989586621681109238 :: NonEmpty a6989586621681107439) = (<|) a6989586621681109237 a6989586621681109238 Source #

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

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

type ConsSym2 (a6989586621681109248 :: a6989586621681107438) (a6989586621681109249 :: NonEmpty a6989586621681107438) = Cons a6989586621681109248 a6989586621681109249 Source #

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

type UnconsSym1 (a6989586621681109301 :: NonEmpty a6989586621681107446) = Uncons a6989586621681109301 Source #

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

data UnfoldrSym1 (a6989586621681109268 :: (~>) a6989586621681107444 (b6989586621681107445, Maybe a6989586621681107444)) :: (~>) a6989586621681107444 (NonEmpty b6989586621681107445) 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 a6989586621681109268 :: TyFun a6989586621681107444 (NonEmpty b6989586621681107445) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (UnfoldrSym1 a6989586621681109268 :: TyFun a (NonEmpty b) -> Type) (a6989586621681109269 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldrSym1 a6989586621681109268 :: TyFun a (NonEmpty b) -> Type) (a6989586621681109269 :: a) = Unfoldr a6989586621681109268 a6989586621681109269

type UnfoldrSym2 (a6989586621681109268 :: (~>) a6989586621681107444 (b6989586621681107445, Maybe a6989586621681107444)) (a6989586621681109269 :: a6989586621681107444) = Unfoldr a6989586621681109268 a6989586621681109269 Source #

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

type SortSym1 (a6989586621681109234 :: NonEmpty a6989586621681107437) = Sort a6989586621681109234 Source #

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

type ReverseSym1 (a6989586621681109149 :: NonEmpty a6989586621681107420) = Reverse a6989586621681109149 Source #

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

type InitsSym1 (a6989586621681109180 :: [a6989586621681107430]) = Inits a6989586621681109180 Source #

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

type TailsSym1 (a6989586621681109185 :: [a6989586621681107429]) = Tails a6989586621681109185 Source #

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

data UnfoldSym1 (a6989586621681109305 :: (~>) a6989586621681107448 (b6989586621681107449, Maybe a6989586621681107448)) :: (~>) a6989586621681107448 (NonEmpty b6989586621681107449) 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 a6989586621681109305 :: TyFun a6989586621681107448 (NonEmpty b6989586621681107449) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (UnfoldSym1 a6989586621681109305 :: TyFun a (NonEmpty b) -> Type) (a6989586621681109306 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldSym1 a6989586621681109305 :: TyFun a (NonEmpty b) -> Type) (a6989586621681109306 :: a) = Unfold a6989586621681109305 a6989586621681109306

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

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

type InsertSym2 (a6989586621681109188 :: a6989586621681107428) (a6989586621681109189 :: [a6989586621681107428]) = Insert a6989586621681109188 a6989586621681109189 Source #

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

data TakeSym1 (a6989586621681109063 :: Nat) :: forall a6989586621681107419. (~>) (NonEmpty a6989586621681107419) [a6989586621681107419] 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 a6989586621681109063 a6989586621681107419 :: TyFun (NonEmpty a6989586621681107419) [a6989586621681107419] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (TakeSym1 a6989586621681109063 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681109064 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeSym1 a6989586621681109063 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681109064 :: NonEmpty a) = Take a6989586621681109063 a6989586621681109064

type TakeSym2 (a6989586621681109063 :: Nat) (a6989586621681109064 :: NonEmpty a6989586621681107419) = Take a6989586621681109063 a6989586621681109064 Source #

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

data DropSym1 (a6989586621681109071 :: Nat) :: forall a6989586621681107418. (~>) (NonEmpty a6989586621681107418) [a6989586621681107418] 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 a6989586621681109071 a6989586621681107418 :: TyFun (NonEmpty a6989586621681107418) [a6989586621681107418] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (DropSym1 a6989586621681109071 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681109072 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropSym1 a6989586621681109071 a :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681109072 :: NonEmpty a) = Drop a6989586621681109071 a6989586621681109072

type DropSym2 (a6989586621681109071 :: Nat) (a6989586621681109072 :: NonEmpty a6989586621681107418) = Drop a6989586621681109071 a6989586621681109072 Source #

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

data SplitAtSym1 (a6989586621681109079 :: Nat) :: forall a6989586621681107417. (~>) (NonEmpty a6989586621681107417) ([a6989586621681107417], [a6989586621681107417]) 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 a6989586621681109079 a6989586621681107417 :: TyFun (NonEmpty a6989586621681107417) ([a6989586621681107417], [a6989586621681107417]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (SplitAtSym1 a6989586621681109079 a :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681109080 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SplitAtSym1 a6989586621681109079 a :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681109080 :: NonEmpty a) = SplitAt a6989586621681109079 a6989586621681109080

type SplitAtSym2 (a6989586621681109079 :: Nat) (a6989586621681109080 :: NonEmpty a6989586621681107417) = SplitAt a6989586621681109079 a6989586621681109080 Source #

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

data TakeWhileSym1 (a6989586621681109087 :: (~>) a6989586621681107416 Bool) :: (~>) (NonEmpty a6989586621681107416) [a6989586621681107416] 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 a6989586621681109087 :: TyFun (NonEmpty a6989586621681107416) [a6989586621681107416] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (TakeWhileSym1 a6989586621681109087 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681109088 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeWhileSym1 a6989586621681109087 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681109088 :: NonEmpty a) = TakeWhile a6989586621681109087 a6989586621681109088

type TakeWhileSym2 (a6989586621681109087 :: (~>) a6989586621681107416 Bool) (a6989586621681109088 :: NonEmpty a6989586621681107416) = TakeWhile a6989586621681109087 a6989586621681109088 Source #

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

data DropWhileSym1 (a6989586621681109095 :: (~>) a6989586621681107415 Bool) :: (~>) (NonEmpty a6989586621681107415) [a6989586621681107415] 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 a6989586621681109095 :: TyFun (NonEmpty a6989586621681107415) [a6989586621681107415] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (DropWhileSym1 a6989586621681109095 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681109096 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropWhileSym1 a6989586621681109095 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681109096 :: NonEmpty a) = DropWhile a6989586621681109095 a6989586621681109096

type DropWhileSym2 (a6989586621681109095 :: (~>) a6989586621681107415 Bool) (a6989586621681109096 :: NonEmpty a6989586621681107415) = DropWhile a6989586621681109095 a6989586621681109096 Source #

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

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

type SpanSym2 (a6989586621681109103 :: (~>) a6989586621681107414 Bool) (a6989586621681109104 :: NonEmpty a6989586621681107414) = Span a6989586621681109103 a6989586621681109104 Source #

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

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

type BreakSym2 (a6989586621681109111 :: (~>) a6989586621681107413 Bool) (a6989586621681109112 :: NonEmpty a6989586621681107413) = Break a6989586621681109111 a6989586621681109112 Source #

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

data FilterSym1 (a6989586621681109119 :: (~>) a6989586621681107412 Bool) :: (~>) (NonEmpty a6989586621681107412) [a6989586621681107412] 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 a6989586621681109119 :: TyFun (NonEmpty a6989586621681107412) [a6989586621681107412] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (FilterSym1 a6989586621681109119 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681109120 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (FilterSym1 a6989586621681109119 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681109120 :: NonEmpty a) = Filter a6989586621681109119 a6989586621681109120

type FilterSym2 (a6989586621681109119 :: (~>) a6989586621681107412 Bool) (a6989586621681109120 :: NonEmpty a6989586621681107412) = Filter a6989586621681109119 a6989586621681109120 Source #

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

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

type PartitionSym2 (a6989586621681109127 :: (~>) a6989586621681107411 Bool) (a6989586621681109128 :: NonEmpty a6989586621681107411) = Partition a6989586621681109127 a6989586621681109128 Source #

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

type GroupSym1 (a6989586621681109039 :: [a6989586621681107410]) = Group a6989586621681109039 Source #

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

data GroupBySym1 (a6989586621681108929 :: (~>) a6989586621681107409 ((~>) a6989586621681107409 Bool)) :: (~>) [a6989586621681107409] [NonEmpty a6989586621681107409] 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 a6989586621681108929 :: TyFun [a6989586621681107409] [NonEmpty a6989586621681107409] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupBySym1 a6989586621681108929 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681108930 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBySym1 a6989586621681108929 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681108930 :: [a]) = GroupBy a6989586621681108929 a6989586621681108930

type GroupBySym2 (a6989586621681108929 :: (~>) a6989586621681107409 ((~>) a6989586621681107409 Bool)) (a6989586621681108930 :: [a6989586621681107409]) = GroupBy a6989586621681108929 a6989586621681108930 Source #

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

data GroupWithSym1 (a6989586621681108977 :: (~>) a6989586621681107408 b6989586621681107407) :: (~>) [a6989586621681107408] [NonEmpty a6989586621681107408] 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 a6989586621681108977 :: TyFun [a6989586621681107408] [NonEmpty a6989586621681107408] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupWithSym1 a6989586621681108977 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681108978 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWithSym1 a6989586621681108977 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681108978 :: [a]) = GroupWith a6989586621681108977 a6989586621681108978

type GroupWithSym2 (a6989586621681108977 :: (~>) a6989586621681107408 b6989586621681107407) (a6989586621681108978 :: [a6989586621681107408]) = GroupWith a6989586621681108977 a6989586621681108978 Source #

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

data GroupAllWithSym1 (a6989586621681108985 :: (~>) a6989586621681107406 b6989586621681107405) :: (~>) [a6989586621681107406] [NonEmpty a6989586621681107406] 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 a6989586621681108985 :: TyFun [a6989586621681107406] [NonEmpty a6989586621681107406] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupAllWithSym1 a6989586621681108985 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681108986 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWithSym1 a6989586621681108985 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681108986 :: [a]) = GroupAllWith a6989586621681108985 a6989586621681108986

type GroupAllWithSym2 (a6989586621681108985 :: (~>) a6989586621681107406 b6989586621681107405) (a6989586621681108986 :: [a6989586621681107406]) = GroupAllWith a6989586621681108985 a6989586621681108986 Source #

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

type Group1Sym1 (a6989586621681109026 :: NonEmpty a6989586621681107404) = Group1 a6989586621681109026 Source #

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

data GroupBy1Sym1 (a6989586621681108993 :: (~>) a6989586621681107403 ((~>) a6989586621681107403 Bool)) :: (~>) (NonEmpty a6989586621681107403) (NonEmpty (NonEmpty a6989586621681107403)) 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 a6989586621681108993 :: TyFun (NonEmpty a6989586621681107403) (NonEmpty (NonEmpty a6989586621681107403)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupBy1Sym1 a6989586621681108993 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681108994 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBy1Sym1 a6989586621681108993 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681108994 :: NonEmpty a) = GroupBy1 a6989586621681108993 a6989586621681108994

type GroupBy1Sym2 (a6989586621681108993 :: (~>) a6989586621681107403 ((~>) a6989586621681107403 Bool)) (a6989586621681108994 :: NonEmpty a6989586621681107403) = GroupBy1 a6989586621681108993 a6989586621681108994 Source #

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

data GroupWith1Sym1 (a6989586621681109029 :: (~>) a6989586621681107402 b6989586621681107401) :: (~>) (NonEmpty a6989586621681107402) (NonEmpty (NonEmpty a6989586621681107402)) 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 a6989586621681109029 :: TyFun (NonEmpty a6989586621681107402) (NonEmpty (NonEmpty a6989586621681107402)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupWith1Sym1 a6989586621681109029 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681109030 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWith1Sym1 a6989586621681109029 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681109030 :: NonEmpty a) = GroupWith1 a6989586621681109029 a6989586621681109030

type GroupWith1Sym2 (a6989586621681109029 :: (~>) a6989586621681107402 b6989586621681107401) (a6989586621681109030 :: NonEmpty a6989586621681107402) = GroupWith1 a6989586621681109029 a6989586621681109030 Source #

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

data GroupAllWith1Sym1 (a6989586621681109170 :: (~>) a6989586621681107400 b6989586621681107399) :: (~>) (NonEmpty a6989586621681107400) (NonEmpty (NonEmpty a6989586621681107400)) 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 a6989586621681109170 :: TyFun (NonEmpty a6989586621681107400) (NonEmpty (NonEmpty a6989586621681107400)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (GroupAllWith1Sym1 a6989586621681109170 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681109171 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWith1Sym1 a6989586621681109170 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681109171 :: NonEmpty a) = GroupAllWith1 a6989586621681109170 a6989586621681109171

type GroupAllWith1Sym2 (a6989586621681109170 :: (~>) a6989586621681107400 b6989586621681107399) (a6989586621681109171 :: NonEmpty a6989586621681107400) = GroupAllWith1 a6989586621681109170 a6989586621681109171 Source #

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

data IsPrefixOfSym1 (a6989586621681108921 :: [a6989586621681107398]) :: (~>) (NonEmpty a6989586621681107398) 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 a6989586621681108921 :: TyFun (NonEmpty a6989586621681107398) Bool -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (IsPrefixOfSym1 a6989586621681108921 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681108922 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IsPrefixOfSym1 a6989586621681108921 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681108922 :: NonEmpty a) = IsPrefixOf a6989586621681108921 a6989586621681108922

type IsPrefixOfSym2 (a6989586621681108921 :: [a6989586621681107398]) (a6989586621681108922 :: NonEmpty a6989586621681107398) = IsPrefixOf a6989586621681108921 a6989586621681108922 Source #

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

type NubSym1 (a6989586621681108852 :: NonEmpty a6989586621681107389) = Nub a6989586621681108852 Source #

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

data NubBySym1 (a6989586621681108835 :: (~>) a6989586621681107388 ((~>) a6989586621681107388 Bool)) :: (~>) (NonEmpty a6989586621681107388) (NonEmpty a6989586621681107388) 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 a6989586621681108835 :: TyFun (NonEmpty a6989586621681107388) (NonEmpty a6989586621681107388) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (NubBySym1 a6989586621681108835 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681108836 :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NubBySym1 a6989586621681108835 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681108836 :: NonEmpty a) = NubBy a6989586621681108835 a6989586621681108836

type NubBySym2 (a6989586621681108835 :: (~>) a6989586621681107388 ((~>) a6989586621681107388 Bool)) (a6989586621681108836 :: NonEmpty a6989586621681107388) = NubBy a6989586621681108835 a6989586621681108836 Source #

data (!!@#@$) :: forall a6989586621681107397. (~>) (NonEmpty a6989586621681107397) ((~>) Nat a6989586621681107397) 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 a6989586621681107397) (Nat ~> a6989586621681107397) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621681107397) (Nat ~> a6989586621681107397) -> Type) (a6989586621681108903 :: NonEmpty a6989586621681107397) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621681107397) (Nat ~> a6989586621681107397) -> Type) (a6989586621681108903 :: NonEmpty a6989586621681107397) = (!!@#@$$) a6989586621681108903

data (!!@#@$$) (a6989586621681108903 :: NonEmpty a6989586621681107397) :: (~>) Nat a6989586621681107397 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 ((!!@#@$$) a6989586621681108903 :: TyFun Nat a6989586621681107397 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply ((!!@#@$$) a6989586621681108903 :: TyFun Nat a -> Type) (a6989586621681108904 :: Nat) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((!!@#@$$) a6989586621681108903 :: TyFun Nat a -> Type) (a6989586621681108904 :: Nat) = a6989586621681108903 !! a6989586621681108904

type (!!@#@$$$) (a6989586621681108903 :: NonEmpty a6989586621681107397) (a6989586621681108904 :: Nat) = (!!) a6989586621681108903 a6989586621681108904 Source #

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

data ZipSym1 (a6989586621681108895 :: NonEmpty a6989586621681107395) :: forall b6989586621681107396. (~>) (NonEmpty b6989586621681107396) (NonEmpty (a6989586621681107395, b6989586621681107396)) 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 a6989586621681108895 b6989586621681107396 :: TyFun (NonEmpty b6989586621681107396) (NonEmpty (a6989586621681107395, b6989586621681107396)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipSym1 a6989586621681108895 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681108896 :: NonEmpty b) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipSym1 a6989586621681108895 b :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681108896 :: NonEmpty b) = Zip a6989586621681108895 a6989586621681108896

type ZipSym2 (a6989586621681108895 :: NonEmpty a6989586621681107395) (a6989586621681108896 :: NonEmpty b6989586621681107396) = Zip a6989586621681108895 a6989586621681108896 Source #

data ZipWithSym0 :: forall a6989586621681107392 b6989586621681107393 c6989586621681107394. (~>) ((~>) a6989586621681107392 ((~>) b6989586621681107393 c6989586621681107394)) ((~>) (NonEmpty a6989586621681107392) ((~>) (NonEmpty b6989586621681107393) (NonEmpty c6989586621681107394))) 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 (a6989586621681107392 ~> (b6989586621681107393 ~> c6989586621681107394)) (NonEmpty a6989586621681107392 ~> (NonEmpty b6989586621681107393 ~> NonEmpty c6989586621681107394)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym0 :: TyFun (a6989586621681107392 ~> (b6989586621681107393 ~> c6989586621681107394)) (NonEmpty a6989586621681107392 ~> (NonEmpty b6989586621681107393 ~> NonEmpty c6989586621681107394)) -> Type) (a6989586621681108884 :: a6989586621681107392 ~> (b6989586621681107393 ~> c6989586621681107394)) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym0 :: TyFun (a6989586621681107392 ~> (b6989586621681107393 ~> c6989586621681107394)) (NonEmpty a6989586621681107392 ~> (NonEmpty b6989586621681107393 ~> NonEmpty c6989586621681107394)) -> Type) (a6989586621681108884 :: a6989586621681107392 ~> (b6989586621681107393 ~> c6989586621681107394)) = ZipWithSym1 a6989586621681108884

data ZipWithSym1 (a6989586621681108884 :: (~>) a6989586621681107392 ((~>) b6989586621681107393 c6989586621681107394)) :: (~>) (NonEmpty a6989586621681107392) ((~>) (NonEmpty b6989586621681107393) (NonEmpty c6989586621681107394)) 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 a6989586621681108884 :: TyFun (NonEmpty a6989586621681107392) (NonEmpty b6989586621681107393 ~> NonEmpty c6989586621681107394) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym1 a6989586621681108884 :: TyFun (NonEmpty a6989586621681107392) (NonEmpty b6989586621681107393 ~> NonEmpty c6989586621681107394) -> Type) (a6989586621681108885 :: NonEmpty a6989586621681107392) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym1 a6989586621681108884 :: TyFun (NonEmpty a6989586621681107392) (NonEmpty b6989586621681107393 ~> NonEmpty c6989586621681107394) -> Type) (a6989586621681108885 :: NonEmpty a6989586621681107392) = ZipWithSym2 a6989586621681108884 a6989586621681108885

data ZipWithSym2 (a6989586621681108884 :: (~>) a6989586621681107392 ((~>) b6989586621681107393 c6989586621681107394)) (a6989586621681108885 :: NonEmpty a6989586621681107392) :: (~>) (NonEmpty b6989586621681107393) (NonEmpty c6989586621681107394) 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 a6989586621681108885 a6989586621681108884 :: TyFun (NonEmpty b6989586621681107393) (NonEmpty c6989586621681107394) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym2 a6989586621681108885 a6989586621681108884 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681108886 :: NonEmpty b) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym2 a6989586621681108885 a6989586621681108884 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681108886 :: NonEmpty b) = ZipWith a6989586621681108885 a6989586621681108884 a6989586621681108886

type ZipWithSym3 (a6989586621681108884 :: (~>) a6989586621681107392 ((~>) b6989586621681107393 c6989586621681107394)) (a6989586621681108885 :: NonEmpty a6989586621681107392) (a6989586621681108886 :: NonEmpty b6989586621681107393) = ZipWith a6989586621681108884 a6989586621681108885 a6989586621681108886 Source #

data UnzipSym0 :: forall a6989586621681107390 b6989586621681107391. (~>) (NonEmpty (a6989586621681107390, b6989586621681107391)) (NonEmpty a6989586621681107390, NonEmpty b6989586621681107391) 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 (a6989586621681107390, b6989586621681107391)) (NonEmpty a6989586621681107390, NonEmpty b6989586621681107391) -> 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) (a6989586621681108855 :: 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) (a6989586621681108855 :: NonEmpty (a, b)) = Unzip a6989586621681108855

type UnzipSym1 (a6989586621681108855 :: NonEmpty (a6989586621681107390, b6989586621681107391)) = Unzip a6989586621681108855 Source #

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

type FromListSym1 (a6989586621681109135 :: [a6989586621681107436]) = FromList a6989586621681109135 Source #

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

type ToListSym1 (a6989586621681109059 :: NonEmpty a6989586621681107435) = ToList a6989586621681109059 Source #

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

type NonEmpty_Sym1 (a6989586621681109297 :: [a6989586621681107447]) = NonEmpty_ a6989586621681109297 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 (a6989586621681109320 :: NonEmpty Bool) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply XorSym0 (a6989586621681109320 :: NonEmpty Bool) = Xor a6989586621681109320

type XorSym1 (a6989586621681109320 :: NonEmpty Bool) = Xor a6989586621681109320 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 a6989586621679070336 ([a6989586621679070336] ~> NonEmpty a6989586621679070336) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply ((:\|@#@$) :: TyFun a6989586621679070336 ([a6989586621679070336] ~> NonEmpty a6989586621679070336) -> Type) (t6989586621679298984 :: a6989586621679070336) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply ((:\|@#@$) :: TyFun a6989586621679070336 ([a6989586621679070336] ~> NonEmpty a6989586621679070336) -> Type) (t6989586621679298984 :: a6989586621679070336) = (:\|@#@$$) t6989586621679298984

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

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

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

The NonEmpty singleton

Non-empty stream transformations

Defunctionalization symbols

Orphan instances

The `NonEmpty` singleton