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

Data.Singletons.Prelude.List.NonEmpty

Contents

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

Description

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

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

Synopsis

type family Sing :: k -> Type
data SNonEmpty :: forall a. NonEmpty a -> Type where
- (:%|) :: forall a (n :: a) (n :: [a]). (Sing (n :: a)) -> (Sing (n :: [a])) -> SNonEmpty ('(:|) n n)
type family Map (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty b where ...
sMap :: forall a b (t :: (~>) a b) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: NonEmpty b)
type family Intersperse (a :: a) (a :: NonEmpty a) :: NonEmpty a where ...
sIntersperse :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply IntersperseSym0 t) t :: NonEmpty a)
type family Scanl (a :: (~>) b ((~>) a b)) (a :: b) (a :: [a]) :: NonEmpty b where ...
sScanl :: forall b a (t :: (~>) b ((~>) a b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: NonEmpty b)
type family Scanr (a :: (~>) a ((~>) b b)) (a :: b) (a :: [a]) :: NonEmpty b where ...
sScanr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: NonEmpty b)
type family Scanl1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ...
sScanl1 :: forall a (t :: (~>) a ((~>) a a)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: NonEmpty a)
type family Scanr1 (a :: (~>) a ((~>) a a)) (a :: NonEmpty a) :: NonEmpty a where ...
sScanr1 :: forall a (t :: (~>) a ((~>) a a)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanr1Sym0 t) t :: NonEmpty a)
type family Transpose (a :: NonEmpty (NonEmpty a)) :: NonEmpty (NonEmpty a) where ...
sTranspose :: forall a (t :: NonEmpty (NonEmpty a)). Sing t -> Sing (Apply TransposeSym0 t :: NonEmpty (NonEmpty a))
type family SortBy (a :: (~>) a ((~>) a Ordering)) (a :: NonEmpty a) :: NonEmpty a where ...
sSortBy :: forall a (t :: (~>) a ((~>) a Ordering)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SortBySym0 t) t :: NonEmpty a)
type family SortWith (a :: (~>) a o) (a :: NonEmpty a) :: NonEmpty a where ...
sSortWith :: forall a o (t :: (~>) a o) (t :: NonEmpty a). SOrd o => Sing t -> Sing t -> Sing (Apply (Apply SortWithSym0 t) t :: NonEmpty a)
type family Length (a :: NonEmpty a) :: Nat where ...
sLength :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply LengthSym0 t :: Nat)
type family Head (a :: NonEmpty a) :: a where ...
sHead :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply HeadSym0 t :: a)
type family Tail (a :: NonEmpty a) :: [a] where ...
sTail :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply TailSym0 t :: [a])
type family Last (a :: NonEmpty a) :: a where ...
sLast :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply LastSym0 t :: a)
type family Init (a :: NonEmpty a) :: [a] where ...
sInit :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply InitSym0 t :: [a])
type family (a :: a) <| (a :: NonEmpty a) :: NonEmpty a where ...
(%<|) :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply (<|@#@$) t) t :: NonEmpty a)
type family Cons (a :: a) (a :: NonEmpty a) :: NonEmpty a where ...
sCons :: forall a (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply ConsSym0 t) t :: NonEmpty a)
type family Uncons (a :: NonEmpty a) :: (a, Maybe (NonEmpty a)) where ...
sUncons :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply UnconsSym0 t :: (a, Maybe (NonEmpty a)))
type family Unfoldr (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ...
sUnfoldr :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldrSym0 t) t :: NonEmpty b)
type family Sort (a :: NonEmpty a) :: NonEmpty a where ...
sSort :: forall a (t :: NonEmpty a). SOrd a => Sing t -> Sing (Apply SortSym0 t :: NonEmpty a)
type family Reverse (a :: NonEmpty a) :: NonEmpty a where ...
sReverse :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply ReverseSym0 t :: NonEmpty a)
type family Inits (a :: [a]) :: NonEmpty [a] where ...
sInits :: forall a (t :: [a]). Sing t -> Sing (Apply InitsSym0 t :: NonEmpty [a])
type family Tails (a :: [a]) :: NonEmpty [a] where ...
sTails :: forall a (t :: [a]). Sing t -> Sing (Apply TailsSym0 t :: NonEmpty [a])
type family Unfold (a :: (~>) a (b, Maybe a)) (a :: a) :: NonEmpty b where ...
sUnfold :: forall a b (t :: (~>) a (b, Maybe a)) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldSym0 t) t :: NonEmpty b)
type family Insert (a :: a) (a :: [a]) :: NonEmpty a where ...
sInsert :: forall a (t :: a) (t :: [a]). SOrd a => Sing t -> Sing t -> Sing (Apply (Apply InsertSym0 t) t :: NonEmpty a)
type family Take (a :: Nat) (a :: NonEmpty a) :: [a] where ...
sTake :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a])
type family Drop (a :: Nat) (a :: NonEmpty a) :: [a] where ...
sDrop :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a])
type family SplitAt (a :: Nat) (a :: NonEmpty a) :: ([a], [a]) where ...
sSplitAt :: forall a (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a]))
type family TakeWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
sTakeWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a])
type family DropWhile (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
sDropWhile :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropWhileSym0 t) t :: [a])
type family Span (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
sSpan :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a]))
type family Break (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
sBreak :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a]))
type family Filter (a :: (~>) a Bool) (a :: NonEmpty a) :: [a] where ...
sFilter :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FilterSym0 t) t :: [a])
type family Partition (a :: (~>) a Bool) (a :: NonEmpty a) :: ([a], [a]) where ...
sPartition :: forall a (t :: (~>) a Bool) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply PartitionSym0 t) t :: ([a], [a]))
type family Group (a :: [a]) :: [NonEmpty a] where ...
sGroup :: forall a (t :: [a]). SEq a => Sing t -> Sing (Apply GroupSym0 t :: [NonEmpty a])
type family GroupBy (a :: (~>) a ((~>) a Bool)) (a :: [a]) :: [NonEmpty a] where ...
sGroupBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [NonEmpty a])
type family GroupWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ...
sGroupWith :: forall a b (t :: (~>) a b) (t :: [a]). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWithSym0 t) t :: [NonEmpty a])
type family GroupAllWith (a :: (~>) a b) (a :: [a]) :: [NonEmpty a] where ...
sGroupAllWith :: forall a b (t :: (~>) a b) (t :: [a]). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWithSym0 t) t :: [NonEmpty a])
type family Group1 (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroup1 :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply Group1Sym0 t :: NonEmpty (NonEmpty a))
type family GroupBy1 (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroupBy1 :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply GroupBy1Sym0 t) t :: NonEmpty (NonEmpty a))
type family GroupWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroupWith1 :: forall a b (t :: (~>) a b) (t :: NonEmpty a). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWith1Sym0 t) t :: NonEmpty (NonEmpty a))
type family GroupAllWith1 (a :: (~>) a b) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroupAllWith1 :: forall a b (t :: (~>) a b) (t :: NonEmpty a). SOrd b => Sing t -> Sing t -> Sing (Apply (Apply GroupAllWith1Sym0 t) t :: NonEmpty (NonEmpty a))
type family IsPrefixOf (a :: [a]) (a :: NonEmpty a) :: Bool where ...
sIsPrefixOf :: forall a (t :: [a]) (t :: NonEmpty a). SEq a => Sing t -> Sing t -> Sing (Apply (Apply IsPrefixOfSym0 t) t :: Bool)
type family Nub (a :: NonEmpty a) :: NonEmpty a where ...
sNub :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply NubSym0 t :: NonEmpty a)
type family NubBy (a :: (~>) a ((~>) a Bool)) (a :: NonEmpty a) :: NonEmpty a where ...
sNubBy :: forall a (t :: (~>) a ((~>) a Bool)) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply NubBySym0 t) t :: NonEmpty a)
type family (a :: NonEmpty a) !! (a :: Nat) :: a where ...
(%!!) :: forall a (t :: NonEmpty a) (t :: Nat). Sing t -> Sing t -> Sing (Apply (Apply (!!@#@$) t) t :: a)
type family Zip (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty (a, b) where ...
sZip :: forall a b (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: NonEmpty (a, b))
type family ZipWith (a :: (~>) a ((~>) b c)) (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty c where ...
sZipWith :: forall a b c (t :: (~>) a ((~>) b c)) (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: NonEmpty c)
type family Unzip (a :: NonEmpty (a, b)) :: (NonEmpty a, NonEmpty b) where ...
sUnzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Apply UnzipSym0 t :: (NonEmpty a, NonEmpty b))
type family FromList (a :: [a]) :: NonEmpty a where ...
sFromList :: forall a (t :: [a]). Sing t -> Sing (Apply FromListSym0 t :: NonEmpty a)
type family ToList (a :: NonEmpty a) :: [a] where ...
sToList :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply ToListSym0 t :: [a])
type family NonEmpty_ (a :: [a]) :: Maybe (NonEmpty a) where ...
sNonEmpty_ :: forall a (t :: [a]). Sing t -> Sing (Apply NonEmpty_Sym0 t :: Maybe (NonEmpty a))
type family Xor (a :: NonEmpty Bool) :: Bool where ...
sXor :: forall (t :: NonEmpty Bool). Sing t -> Sing (Apply XorSym0 t :: Bool)
data (:|@#@$) :: forall (a6989586621679059393 :: Type). (~>) a6989586621679059393 ((~>) [a6989586621679059393] (NonEmpty (a6989586621679059393 :: Type)))
data (:|@#@$$) (t6989586621679310995 :: a6989586621679059393 :: Type) :: (~>) [a6989586621679059393] (NonEmpty (a6989586621679059393 :: Type))
type (:|@#@$$$) (t6989586621679310995 :: a6989586621679059393) (t6989586621679310996 :: [a6989586621679059393]) = '(:|) t6989586621679310995 t6989586621679310996
data MapSym0 :: forall a6989586621681159673 b6989586621681159674. (~>) ((~>) a6989586621681159673 b6989586621681159674) ((~>) (NonEmpty a6989586621681159673) (NonEmpty b6989586621681159674))
data MapSym1 (a6989586621681161287 :: (~>) a6989586621681159673 b6989586621681159674) :: (~>) (NonEmpty a6989586621681159673) (NonEmpty b6989586621681159674)
type MapSym2 (a6989586621681161287 :: (~>) a6989586621681159673 b6989586621681159674) (a6989586621681161288 :: NonEmpty a6989586621681159673) = Map a6989586621681161287 a6989586621681161288
data IntersperseSym0 :: forall a6989586621681159663. (~>) a6989586621681159663 ((~>) (NonEmpty a6989586621681159663) (NonEmpty a6989586621681159663))
data IntersperseSym1 (a6989586621681161223 :: a6989586621681159663) :: (~>) (NonEmpty a6989586621681159663) (NonEmpty a6989586621681159663)
type IntersperseSym2 (a6989586621681161223 :: a6989586621681159663) (a6989586621681161224 :: NonEmpty a6989586621681159663) = Intersperse a6989586621681161223 a6989586621681161224
data ScanlSym0 :: forall b6989586621681159668 a6989586621681159669. (~>) ((~>) b6989586621681159668 ((~>) a6989586621681159669 b6989586621681159668)) ((~>) b6989586621681159668 ((~>) [a6989586621681159669] (NonEmpty b6989586621681159668)))
data ScanlSym1 (a6989586621681161258 :: (~>) b6989586621681159668 ((~>) a6989586621681159669 b6989586621681159668)) :: (~>) b6989586621681159668 ((~>) [a6989586621681159669] (NonEmpty b6989586621681159668))
data ScanlSym2 (a6989586621681161258 :: (~>) b6989586621681159668 ((~>) a6989586621681159669 b6989586621681159668)) (a6989586621681161259 :: b6989586621681159668) :: (~>) [a6989586621681159669] (NonEmpty b6989586621681159668)
type ScanlSym3 (a6989586621681161258 :: (~>) b6989586621681159668 ((~>) a6989586621681159669 b6989586621681159668)) (a6989586621681161259 :: b6989586621681159668) (a6989586621681161260 :: [a6989586621681159669]) = Scanl a6989586621681161258 a6989586621681161259 a6989586621681161260
data ScanrSym0 :: forall a6989586621681159666 b6989586621681159667. (~>) ((~>) a6989586621681159666 ((~>) b6989586621681159667 b6989586621681159667)) ((~>) b6989586621681159667 ((~>) [a6989586621681159666] (NonEmpty b6989586621681159667)))
data ScanrSym1 (a6989586621681161247 :: (~>) a6989586621681159666 ((~>) b6989586621681159667 b6989586621681159667)) :: (~>) b6989586621681159667 ((~>) [a6989586621681159666] (NonEmpty b6989586621681159667))
data ScanrSym2 (a6989586621681161247 :: (~>) a6989586621681159666 ((~>) b6989586621681159667 b6989586621681159667)) (a6989586621681161248 :: b6989586621681159667) :: (~>) [a6989586621681159666] (NonEmpty b6989586621681159667)
type ScanrSym3 (a6989586621681161247 :: (~>) a6989586621681159666 ((~>) b6989586621681159667 b6989586621681159667)) (a6989586621681161248 :: b6989586621681159667) (a6989586621681161249 :: [a6989586621681159666]) = Scanr a6989586621681161247 a6989586621681161248 a6989586621681161249
data Scanl1Sym0 :: forall a6989586621681159665. (~>) ((~>) a6989586621681159665 ((~>) a6989586621681159665 a6989586621681159665)) ((~>) (NonEmpty a6989586621681159665) (NonEmpty a6989586621681159665))
data Scanl1Sym1 (a6989586621681161240 :: (~>) a6989586621681159665 ((~>) a6989586621681159665 a6989586621681159665)) :: (~>) (NonEmpty a6989586621681159665) (NonEmpty a6989586621681159665)
type Scanl1Sym2 (a6989586621681161240 :: (~>) a6989586621681159665 ((~>) a6989586621681159665 a6989586621681159665)) (a6989586621681161241 :: NonEmpty a6989586621681159665) = Scanl1 a6989586621681161240 a6989586621681161241
data Scanr1Sym0 :: forall a6989586621681159664. (~>) ((~>) a6989586621681159664 ((~>) a6989586621681159664 a6989586621681159664)) ((~>) (NonEmpty a6989586621681159664) (NonEmpty a6989586621681159664))
data Scanr1Sym1 (a6989586621681161233 :: (~>) a6989586621681159664 ((~>) a6989586621681159664 a6989586621681159664)) :: (~>) (NonEmpty a6989586621681159664) (NonEmpty a6989586621681159664)
type Scanr1Sym2 (a6989586621681161233 :: (~>) a6989586621681159664 ((~>) a6989586621681159664 a6989586621681159664)) (a6989586621681161234 :: NonEmpty a6989586621681159664) = Scanr1 a6989586621681161233 a6989586621681161234
data TransposeSym0 :: forall a6989586621681159629. (~>) (NonEmpty (NonEmpty a6989586621681159629)) (NonEmpty (NonEmpty a6989586621681159629))
type TransposeSym1 (a6989586621681160928 :: NonEmpty (NonEmpty a6989586621681159629)) = Transpose a6989586621681160928
data SortBySym0 :: forall a6989586621681159628. (~>) ((~>) a6989586621681159628 ((~>) a6989586621681159628 Ordering)) ((~>) (NonEmpty a6989586621681159628) (NonEmpty a6989586621681159628))
data SortBySym1 (a6989586621681160918 :: (~>) a6989586621681159628 ((~>) a6989586621681159628 Ordering)) :: (~>) (NonEmpty a6989586621681159628) (NonEmpty a6989586621681159628)
type SortBySym2 (a6989586621681160918 :: (~>) a6989586621681159628 ((~>) a6989586621681159628 Ordering)) (a6989586621681160919 :: NonEmpty a6989586621681159628) = SortBy a6989586621681160918 a6989586621681160919
data SortWithSym0 :: forall a6989586621681159627 o6989586621681159626. (~>) ((~>) a6989586621681159627 o6989586621681159626) ((~>) (NonEmpty a6989586621681159627) (NonEmpty a6989586621681159627))
data SortWithSym1 (a6989586621681160912 :: (~>) a6989586621681159627 o6989586621681159626) :: (~>) (NonEmpty a6989586621681159627) (NonEmpty a6989586621681159627)
type SortWithSym2 (a6989586621681160912 :: (~>) a6989586621681159627 o6989586621681159626) (a6989586621681160913 :: NonEmpty a6989586621681159627) = SortWith a6989586621681160912 a6989586621681160913
data LengthSym0 :: forall a6989586621681159692. (~>) (NonEmpty a6989586621681159692) Nat
type LengthSym1 (a6989586621681161411 :: NonEmpty a6989586621681159692) = Length a6989586621681161411
data HeadSym0 :: forall a6989586621681159685. (~>) (NonEmpty a6989586621681159685) a6989586621681159685
type HeadSym1 (a6989586621681161343 :: NonEmpty a6989586621681159685) = Head a6989586621681161343
data TailSym0 :: forall a6989586621681159684. (~>) (NonEmpty a6989586621681159684) [a6989586621681159684]
type TailSym1 (a6989586621681161340 :: NonEmpty a6989586621681159684) = Tail a6989586621681161340
data LastSym0 :: forall a6989586621681159683. (~>) (NonEmpty a6989586621681159683) a6989586621681159683
type LastSym1 (a6989586621681161336 :: NonEmpty a6989586621681159683) = Last a6989586621681161336
data InitSym0 :: forall a6989586621681159682. (~>) (NonEmpty a6989586621681159682) [a6989586621681159682]
type InitSym1 (a6989586621681161332 :: NonEmpty a6989586621681159682) = Init a6989586621681161332
data (<|@#@$) :: forall a6989586621681159681. (~>) a6989586621681159681 ((~>) (NonEmpty a6989586621681159681) (NonEmpty a6989586621681159681))
data (<|@#@$$) (a6989586621681161325 :: a6989586621681159681) :: (~>) (NonEmpty a6989586621681159681) (NonEmpty a6989586621681159681)
type (<|@#@$$$) (a6989586621681161325 :: a6989586621681159681) (a6989586621681161326 :: NonEmpty a6989586621681159681) = (<|) a6989586621681161325 a6989586621681161326
data ConsSym0 :: forall a6989586621681159680. (~>) a6989586621681159680 ((~>) (NonEmpty a6989586621681159680) (NonEmpty a6989586621681159680))
data ConsSym1 (a6989586621681161319 :: a6989586621681159680) :: (~>) (NonEmpty a6989586621681159680) (NonEmpty a6989586621681159680)
type ConsSym2 (a6989586621681161319 :: a6989586621681159680) (a6989586621681161320 :: NonEmpty a6989586621681159680) = Cons a6989586621681161319 a6989586621681161320
data UnconsSym0 :: forall a6989586621681159688. (~>) (NonEmpty a6989586621681159688) (a6989586621681159688, Maybe (NonEmpty a6989586621681159688))
type UnconsSym1 (a6989586621681161375 :: NonEmpty a6989586621681159688) = Uncons a6989586621681161375
data UnfoldrSym0 :: forall a6989586621681159686 b6989586621681159687. (~>) ((~>) a6989586621681159686 (b6989586621681159687, Maybe a6989586621681159686)) ((~>) a6989586621681159686 (NonEmpty b6989586621681159687))
data UnfoldrSym1 (a6989586621681161346 :: (~>) a6989586621681159686 (b6989586621681159687, Maybe a6989586621681159686)) :: (~>) a6989586621681159686 (NonEmpty b6989586621681159687)
type UnfoldrSym2 (a6989586621681161346 :: (~>) a6989586621681159686 (b6989586621681159687, Maybe a6989586621681159686)) (a6989586621681161347 :: a6989586621681159686) = Unfoldr a6989586621681161346 a6989586621681161347
data SortSym0 :: forall a6989586621681159679. (~>) (NonEmpty a6989586621681159679) (NonEmpty a6989586621681159679)
type SortSym1 (a6989586621681161312 :: NonEmpty a6989586621681159679) = Sort a6989586621681161312
data ReverseSym0 :: forall a6989586621681159662. (~>) (NonEmpty a6989586621681159662) (NonEmpty a6989586621681159662)
type ReverseSym1 (a6989586621681161220 :: NonEmpty a6989586621681159662) = Reverse a6989586621681161220
data InitsSym0 :: forall a6989586621681159672. (~>) [a6989586621681159672] (NonEmpty [a6989586621681159672])
type InitsSym1 (a6989586621681161284 :: [a6989586621681159672]) = Inits a6989586621681161284
data TailsSym0 :: forall a6989586621681159671. (~>) [a6989586621681159671] (NonEmpty [a6989586621681159671])
type TailsSym1 (a6989586621681161279 :: [a6989586621681159671]) = Tails a6989586621681161279
data UnfoldSym0 :: forall a6989586621681159690 b6989586621681159691. (~>) ((~>) a6989586621681159690 (b6989586621681159691, Maybe a6989586621681159690)) ((~>) a6989586621681159690 (NonEmpty b6989586621681159691))
data UnfoldSym1 (a6989586621681161383 :: (~>) a6989586621681159690 (b6989586621681159691, Maybe a6989586621681159690)) :: (~>) a6989586621681159690 (NonEmpty b6989586621681159691)
data InsertSym0 :: forall a6989586621681159670. (~>) a6989586621681159670 ((~>) [a6989586621681159670] (NonEmpty a6989586621681159670))
data InsertSym1 (a6989586621681161269 :: a6989586621681159670) :: (~>) [a6989586621681159670] (NonEmpty a6989586621681159670)
type InsertSym2 (a6989586621681161269 :: a6989586621681159670) (a6989586621681161270 :: [a6989586621681159670]) = Insert a6989586621681161269 a6989586621681161270
data TakeSym0 :: forall a6989586621681159661. (~>) Nat ((~>) (NonEmpty a6989586621681159661) [a6989586621681159661])
data TakeSym1 (a6989586621681161210 :: Nat) :: forall a6989586621681159661. (~>) (NonEmpty a6989586621681159661) [a6989586621681159661]
type TakeSym2 (a6989586621681161210 :: Nat) (a6989586621681161211 :: NonEmpty a6989586621681159661) = Take a6989586621681161210 a6989586621681161211
data DropSym0 :: forall a6989586621681159660. (~>) Nat ((~>) (NonEmpty a6989586621681159660) [a6989586621681159660])
data DropSym1 (a6989586621681161202 :: Nat) :: forall a6989586621681159660. (~>) (NonEmpty a6989586621681159660) [a6989586621681159660]
type DropSym2 (a6989586621681161202 :: Nat) (a6989586621681161203 :: NonEmpty a6989586621681159660) = Drop a6989586621681161202 a6989586621681161203
data SplitAtSym0 :: forall a6989586621681159659. (~>) Nat ((~>) (NonEmpty a6989586621681159659) ([a6989586621681159659], [a6989586621681159659]))
data SplitAtSym1 (a6989586621681161194 :: Nat) :: forall a6989586621681159659. (~>) (NonEmpty a6989586621681159659) ([a6989586621681159659], [a6989586621681159659])
type SplitAtSym2 (a6989586621681161194 :: Nat) (a6989586621681161195 :: NonEmpty a6989586621681159659) = SplitAt a6989586621681161194 a6989586621681161195
data TakeWhileSym0 :: forall a6989586621681159658. (~>) ((~>) a6989586621681159658 Bool) ((~>) (NonEmpty a6989586621681159658) [a6989586621681159658])
data TakeWhileSym1 (a6989586621681161186 :: (~>) a6989586621681159658 Bool) :: (~>) (NonEmpty a6989586621681159658) [a6989586621681159658]
type TakeWhileSym2 (a6989586621681161186 :: (~>) a6989586621681159658 Bool) (a6989586621681161187 :: NonEmpty a6989586621681159658) = TakeWhile a6989586621681161186 a6989586621681161187
data DropWhileSym0 :: forall a6989586621681159657. (~>) ((~>) a6989586621681159657 Bool) ((~>) (NonEmpty a6989586621681159657) [a6989586621681159657])
data DropWhileSym1 (a6989586621681161178 :: (~>) a6989586621681159657 Bool) :: (~>) (NonEmpty a6989586621681159657) [a6989586621681159657]
type DropWhileSym2 (a6989586621681161178 :: (~>) a6989586621681159657 Bool) (a6989586621681161179 :: NonEmpty a6989586621681159657) = DropWhile a6989586621681161178 a6989586621681161179
data SpanSym0 :: forall a6989586621681159656. (~>) ((~>) a6989586621681159656 Bool) ((~>) (NonEmpty a6989586621681159656) ([a6989586621681159656], [a6989586621681159656]))
data SpanSym1 (a6989586621681161170 :: (~>) a6989586621681159656 Bool) :: (~>) (NonEmpty a6989586621681159656) ([a6989586621681159656], [a6989586621681159656])
type SpanSym2 (a6989586621681161170 :: (~>) a6989586621681159656 Bool) (a6989586621681161171 :: NonEmpty a6989586621681159656) = Span a6989586621681161170 a6989586621681161171
data BreakSym0 :: forall a6989586621681159655. (~>) ((~>) a6989586621681159655 Bool) ((~>) (NonEmpty a6989586621681159655) ([a6989586621681159655], [a6989586621681159655]))
data BreakSym1 (a6989586621681161162 :: (~>) a6989586621681159655 Bool) :: (~>) (NonEmpty a6989586621681159655) ([a6989586621681159655], [a6989586621681159655])
type BreakSym2 (a6989586621681161162 :: (~>) a6989586621681159655 Bool) (a6989586621681161163 :: NonEmpty a6989586621681159655) = Break a6989586621681161162 a6989586621681161163
data FilterSym0 :: forall a6989586621681159654. (~>) ((~>) a6989586621681159654 Bool) ((~>) (NonEmpty a6989586621681159654) [a6989586621681159654])
data FilterSym1 (a6989586621681161154 :: (~>) a6989586621681159654 Bool) :: (~>) (NonEmpty a6989586621681159654) [a6989586621681159654]
type FilterSym2 (a6989586621681161154 :: (~>) a6989586621681159654 Bool) (a6989586621681161155 :: NonEmpty a6989586621681159654) = Filter a6989586621681161154 a6989586621681161155
data PartitionSym0 :: forall a6989586621681159653. (~>) ((~>) a6989586621681159653 Bool) ((~>) (NonEmpty a6989586621681159653) ([a6989586621681159653], [a6989586621681159653]))
data PartitionSym1 (a6989586621681161146 :: (~>) a6989586621681159653 Bool) :: (~>) (NonEmpty a6989586621681159653) ([a6989586621681159653], [a6989586621681159653])
type PartitionSym2 (a6989586621681161146 :: (~>) a6989586621681159653 Bool) (a6989586621681161147 :: NonEmpty a6989586621681159653) = Partition a6989586621681161146 a6989586621681161147
data GroupSym0 :: forall a6989586621681159652. (~>) [a6989586621681159652] [NonEmpty a6989586621681159652]
type GroupSym1 (a6989586621681161143 :: [a6989586621681159652]) = Group a6989586621681161143
data GroupBySym0 :: forall a6989586621681159651. (~>) ((~>) a6989586621681159651 ((~>) a6989586621681159651 Bool)) ((~>) [a6989586621681159651] [NonEmpty a6989586621681159651])
data GroupBySym1 (a6989586621681161093 :: (~>) a6989586621681159651 ((~>) a6989586621681159651 Bool)) :: (~>) [a6989586621681159651] [NonEmpty a6989586621681159651]
type GroupBySym2 (a6989586621681161093 :: (~>) a6989586621681159651 ((~>) a6989586621681159651 Bool)) (a6989586621681161094 :: [a6989586621681159651]) = GroupBy a6989586621681161093 a6989586621681161094
data GroupWithSym0 :: forall a6989586621681159650 b6989586621681159649. (~>) ((~>) a6989586621681159650 b6989586621681159649) ((~>) [a6989586621681159650] [NonEmpty a6989586621681159650])
data GroupWithSym1 (a6989586621681161085 :: (~>) a6989586621681159650 b6989586621681159649) :: (~>) [a6989586621681159650] [NonEmpty a6989586621681159650]
type GroupWithSym2 (a6989586621681161085 :: (~>) a6989586621681159650 b6989586621681159649) (a6989586621681161086 :: [a6989586621681159650]) = GroupWith a6989586621681161085 a6989586621681161086
data GroupAllWithSym0 :: forall a6989586621681159648 b6989586621681159647. (~>) ((~>) a6989586621681159648 b6989586621681159647) ((~>) [a6989586621681159648] [NonEmpty a6989586621681159648])
data GroupAllWithSym1 (a6989586621681161077 :: (~>) a6989586621681159648 b6989586621681159647) :: (~>) [a6989586621681159648] [NonEmpty a6989586621681159648]
type GroupAllWithSym2 (a6989586621681161077 :: (~>) a6989586621681159648 b6989586621681159647) (a6989586621681161078 :: [a6989586621681159648]) = GroupAllWith a6989586621681161077 a6989586621681161078
data Group1Sym0 :: forall a6989586621681159646. (~>) (NonEmpty a6989586621681159646) (NonEmpty (NonEmpty a6989586621681159646))
type Group1Sym1 (a6989586621681161074 :: NonEmpty a6989586621681159646) = Group1 a6989586621681161074
data GroupBy1Sym0 :: forall a6989586621681159645. (~>) ((~>) a6989586621681159645 ((~>) a6989586621681159645 Bool)) ((~>) (NonEmpty a6989586621681159645) (NonEmpty (NonEmpty a6989586621681159645)))
data GroupBy1Sym1 (a6989586621681161041 :: (~>) a6989586621681159645 ((~>) a6989586621681159645 Bool)) :: (~>) (NonEmpty a6989586621681159645) (NonEmpty (NonEmpty a6989586621681159645))
type GroupBy1Sym2 (a6989586621681161041 :: (~>) a6989586621681159645 ((~>) a6989586621681159645 Bool)) (a6989586621681161042 :: NonEmpty a6989586621681159645) = GroupBy1 a6989586621681161041 a6989586621681161042
data GroupWith1Sym0 :: forall a6989586621681159644 b6989586621681159643. (~>) ((~>) a6989586621681159644 b6989586621681159643) ((~>) (NonEmpty a6989586621681159644) (NonEmpty (NonEmpty a6989586621681159644)))
data GroupWith1Sym1 (a6989586621681161033 :: (~>) a6989586621681159644 b6989586621681159643) :: (~>) (NonEmpty a6989586621681159644) (NonEmpty (NonEmpty a6989586621681159644))
type GroupWith1Sym2 (a6989586621681161033 :: (~>) a6989586621681159644 b6989586621681159643) (a6989586621681161034 :: NonEmpty a6989586621681159644) = GroupWith1 a6989586621681161033 a6989586621681161034
data GroupAllWith1Sym0 :: forall a6989586621681159642 b6989586621681159641. (~>) ((~>) a6989586621681159642 b6989586621681159641) ((~>) (NonEmpty a6989586621681159642) (NonEmpty (NonEmpty a6989586621681159642)))
data GroupAllWith1Sym1 (a6989586621681161025 :: (~>) a6989586621681159642 b6989586621681159641) :: (~>) (NonEmpty a6989586621681159642) (NonEmpty (NonEmpty a6989586621681159642))
type GroupAllWith1Sym2 (a6989586621681161025 :: (~>) a6989586621681159642 b6989586621681159641) (a6989586621681161026 :: NonEmpty a6989586621681159642) = GroupAllWith1 a6989586621681161025 a6989586621681161026
data IsPrefixOfSym0 :: forall a6989586621681159640. (~>) [a6989586621681159640] ((~>) (NonEmpty a6989586621681159640) Bool)
data IsPrefixOfSym1 (a6989586621681161017 :: [a6989586621681159640]) :: (~>) (NonEmpty a6989586621681159640) Bool
type IsPrefixOfSym2 (a6989586621681161017 :: [a6989586621681159640]) (a6989586621681161018 :: NonEmpty a6989586621681159640) = IsPrefixOf a6989586621681161017 a6989586621681161018
data NubSym0 :: forall a6989586621681159631. (~>) (NonEmpty a6989586621681159631) (NonEmpty a6989586621681159631)
type NubSym1 (a6989586621681160948 :: NonEmpty a6989586621681159631) = Nub a6989586621681160948
data NubBySym0 :: forall a6989586621681159630. (~>) ((~>) a6989586621681159630 ((~>) a6989586621681159630 Bool)) ((~>) (NonEmpty a6989586621681159630) (NonEmpty a6989586621681159630))
data NubBySym1 (a6989586621681160931 :: (~>) a6989586621681159630 ((~>) a6989586621681159630 Bool)) :: (~>) (NonEmpty a6989586621681159630) (NonEmpty a6989586621681159630)
type NubBySym2 (a6989586621681160931 :: (~>) a6989586621681159630 ((~>) a6989586621681159630 Bool)) (a6989586621681160932 :: NonEmpty a6989586621681159630) = NubBy a6989586621681160931 a6989586621681160932
data (!!@#@$) :: forall a6989586621681159639. (~>) (NonEmpty a6989586621681159639) ((~>) Nat a6989586621681159639)
data (!!@#@$$) (a6989586621681160999 :: NonEmpty a6989586621681159639) :: (~>) Nat a6989586621681159639
type (!!@#@$$$) (a6989586621681160999 :: NonEmpty a6989586621681159639) (a6989586621681161000 :: Nat) = (!!) a6989586621681160999 a6989586621681161000
data ZipSym0 :: forall a6989586621681159637 b6989586621681159638. (~>) (NonEmpty a6989586621681159637) ((~>) (NonEmpty b6989586621681159638) (NonEmpty (a6989586621681159637, b6989586621681159638)))
data ZipSym1 (a6989586621681160991 :: NonEmpty a6989586621681159637) :: forall b6989586621681159638. (~>) (NonEmpty b6989586621681159638) (NonEmpty (a6989586621681159637, b6989586621681159638))
type ZipSym2 (a6989586621681160991 :: NonEmpty a6989586621681159637) (a6989586621681160992 :: NonEmpty b6989586621681159638) = Zip a6989586621681160991 a6989586621681160992
data ZipWithSym0 :: forall a6989586621681159634 b6989586621681159635 c6989586621681159636. (~>) ((~>) a6989586621681159634 ((~>) b6989586621681159635 c6989586621681159636)) ((~>) (NonEmpty a6989586621681159634) ((~>) (NonEmpty b6989586621681159635) (NonEmpty c6989586621681159636)))
data ZipWithSym1 (a6989586621681160980 :: (~>) a6989586621681159634 ((~>) b6989586621681159635 c6989586621681159636)) :: (~>) (NonEmpty a6989586621681159634) ((~>) (NonEmpty b6989586621681159635) (NonEmpty c6989586621681159636))
data ZipWithSym2 (a6989586621681160980 :: (~>) a6989586621681159634 ((~>) b6989586621681159635 c6989586621681159636)) (a6989586621681160981 :: NonEmpty a6989586621681159634) :: (~>) (NonEmpty b6989586621681159635) (NonEmpty c6989586621681159636)
type ZipWithSym3 (a6989586621681160980 :: (~>) a6989586621681159634 ((~>) b6989586621681159635 c6989586621681159636)) (a6989586621681160981 :: NonEmpty a6989586621681159634) (a6989586621681160982 :: NonEmpty b6989586621681159635) = ZipWith a6989586621681160980 a6989586621681160981 a6989586621681160982
data UnzipSym0 :: forall a6989586621681159632 b6989586621681159633. (~>) (NonEmpty (a6989586621681159632, b6989586621681159633)) (NonEmpty a6989586621681159632, NonEmpty b6989586621681159633)
type UnzipSym1 (a6989586621681160951 :: NonEmpty (a6989586621681159632, b6989586621681159633)) = Unzip a6989586621681160951
data FromListSym0 :: forall a6989586621681159678. (~>) [a6989586621681159678] (NonEmpty a6989586621681159678)
type FromListSym1 (a6989586621681161306 :: [a6989586621681159678]) = FromList a6989586621681161306
data ToListSym0 :: forall a6989586621681159677. (~>) (NonEmpty a6989586621681159677) [a6989586621681159677]
type ToListSym1 (a6989586621681161302 :: NonEmpty a6989586621681159677) = ToList a6989586621681161302
data NonEmpty_Sym0 :: forall a6989586621681159689. (~>) [a6989586621681159689] (Maybe (NonEmpty a6989586621681159689))
type NonEmpty_Sym1 (a6989586621681161379 :: [a6989586621681159689]) = NonEmpty_ a6989586621681161379
data XorSym0 :: (~>) (NonEmpty Bool) Bool
type XorSym1 (a6989586621681161398 :: NonEmpty Bool) = Xor a6989586621681161398

The `NonEmpty` singleton

type family Sing :: k -> Type Source #

The singleton kind-indexed type family.

Instances

Instances details

type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SBool
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SOrdering
type Sing Source #
Instance details Defined in Data.Singletons.TypeLits.Internal type Sing = SNat
type Sing Source #
Instance details Defined in Data.Singletons.TypeLits.Internal type Sing = SSymbol
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple0
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SVoid
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SAll
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SAny
type Sing Source #
Instance details Defined in Data.Singletons.TypeError type Sing = SErrorMessage
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SList :: [a] -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SMaybe :: Maybe a -> Type
type Sing Source #	A choice of singleton for the kind `TYPE rep` (for some `RuntimeRep` `rep`), an instantiation of which is the famous kind `Type`. Conceivably, one could generalize this instance to `Sing @k` for any kind `k`, and remove all other `Sing` instances. We don't adopt this design, however, since it is far more convenient in practice to work with explicit singleton values than `TypeRep`s (for instance, `TypeRep`s are more difficult to pattern match on, and require extra runtime checks). We cannot produce explicit singleton values for everything in `TYPE rep`, however, since it is an open kind, so we reach for `TypeRep` in this one particular case.
Instance details Defined in Data.Singletons.TypeRepTYPE type Sing = TypeRep :: TYPE rep -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SNonEmpty :: NonEmpty a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Sing = SDown :: Down a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SIdentity :: Identity a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SFirst :: First a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SLast :: Last a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SMax :: Max a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SMin :: Min a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SOption :: Option a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SWrappedMonoid :: WrappedMonoid m -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SDual :: Dual a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SProduct :: Product a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SSum :: Sum a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Sing = SFirst :: First a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Sing = SLast :: Last a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SEither :: Either a b -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple2 :: (a, b) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Internal type Sing = SLambda :: (k1 ~> k2) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Internal type Sing = SWrappedSing :: WrappedSing a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type Sing = SArg :: Arg a b -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Sigma type Sing = SSigma :: Sigma s t -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple3 :: (a, b, c) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Const type Sing = SConst :: Const a b -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple4 :: (a, b, c, d) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple5 :: (a, b, c, d, e) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple6 :: (a, b, c, d, e, f) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple7 :: (a, b, c, d, e, f, g) -> Type

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

Constructors

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

Instances

Instances details

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

Non-empty stream transformations

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

Equations

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

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

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

Equations

Intersperse a ('(:|) b bs) = Apply (Apply (:|@#@$) b) (Case_6989586621681161230 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_6989586621681161264 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply ListscanlSym0 f) z)) a_6989586621681161264

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

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

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_6989586621681160922 = Apply (Apply LiftSym0 (Apply ListsortBySym0 f)) a_6989586621681160922

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_6989586621681160908 a_6989586621681160910 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621681160908) a_6989586621681160910

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

Cons a_6989586621681161315 a_6989586621681161317 = Apply (Apply (<|@#@$) a_6989586621681161315) a_6989586621681161317

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_6989586621681161370 f a (Let6989586621681161367Scrutinee_6989586621681159867Sym2 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_6989586621681161310 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621681161310

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_6989586621681161218 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621681161218

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

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

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_6989586621681161392 f a (Let6989586621681161389Scrutinee_6989586621681159857Sym2 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_6989586621681161273 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply ListinsertSym0 a)) a_6989586621681161273

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

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

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

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

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

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

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

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

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

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

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_6989586621681161097 = Apply (Apply (Let6989586621681161101GoSym2 eq0 a_6989586621681161097) eq0) a_6989586621681161097

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

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

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

Equations

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

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

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

Equations

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

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) (Let6989586621681161048YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621681161048ZsSym3 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_6989586621681161037 = Apply (Apply GroupBy1Sym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621681161037

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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_6989586621681160938Sym0 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_6989586621681159879 !! arg_6989586621681159881 = Case_6989586621681161005 arg_6989586621681159879 arg_6989586621681159881 (Apply (Apply Tuple2Sym0 arg_6989586621681159879) arg_6989586621681159881)

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

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

Defunctionalization symbols

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

Instances

Instances details

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

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

Instances

Instances details

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

type (:|@#@$$$) (t6989586621679310995 :: a6989586621679059393) (t6989586621679310996 :: [a6989586621679059393]) = '(:|) t6989586621679310995 t6989586621679310996 Source #

data MapSym0 :: forall a6989586621681159673 b6989586621681159674. (~>) ((~>) a6989586621681159673 b6989586621681159674) ((~>) (NonEmpty a6989586621681159673) (NonEmpty b6989586621681159674)) Source #

Instances

Instances details

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

data MapSym1 (a6989586621681161287 :: (~>) a6989586621681159673 b6989586621681159674) :: (~>) (NonEmpty a6989586621681159673) (NonEmpty b6989586621681159674) Source #

Instances

Instances details

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

type MapSym2 (a6989586621681161287 :: (~>) a6989586621681159673 b6989586621681159674) (a6989586621681161288 :: NonEmpty a6989586621681159673) = Map a6989586621681161287 a6989586621681161288 Source #

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

Instances

Instances details

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

data IntersperseSym1 (a6989586621681161223 :: a6989586621681159663) :: (~>) (NonEmpty a6989586621681159663) (NonEmpty a6989586621681159663) Source #

Instances

Instances details

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

type IntersperseSym2 (a6989586621681161223 :: a6989586621681159663) (a6989586621681161224 :: NonEmpty a6989586621681159663) = Intersperse a6989586621681161223 a6989586621681161224 Source #

data ScanlSym0 :: forall b6989586621681159668 a6989586621681159669. (~>) ((~>) b6989586621681159668 ((~>) a6989586621681159669 b6989586621681159668)) ((~>) b6989586621681159668 ((~>) [a6989586621681159669] (NonEmpty b6989586621681159668))) Source #

Instances

Instances details

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

data ScanlSym1 (a6989586621681161258 :: (~>) b6989586621681159668 ((~>) a6989586621681159669 b6989586621681159668)) :: (~>) b6989586621681159668 ((~>) [a6989586621681159669] (NonEmpty b6989586621681159668)) Source #

Instances

Instances details

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

data ScanlSym2 (a6989586621681161258 :: (~>) b6989586621681159668 ((~>) a6989586621681159669 b6989586621681159668)) (a6989586621681161259 :: b6989586621681159668) :: (~>) [a6989586621681159669] (NonEmpty b6989586621681159668) Source #

Instances

Instances details

(SingI d1, SingI d2) => SingI (ScanlSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ScanlSym2 d1 d2) Source #
SuppressUnusedWarnings (ScanlSym2 a6989586621681161259 a6989586621681161258 :: TyFun [a6989586621681159669] (NonEmpty b6989586621681159668) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanlSym2 a6989586621681161259 a6989586621681161258 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161260 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym2 a6989586621681161259 a6989586621681161258 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161260 :: [a]) = Scanl a6989586621681161259 a6989586621681161258 a6989586621681161260

type ScanlSym3 (a6989586621681161258 :: (~>) b6989586621681159668 ((~>) a6989586621681159669 b6989586621681159668)) (a6989586621681161259 :: b6989586621681159668) (a6989586621681161260 :: [a6989586621681159669]) = Scanl a6989586621681161258 a6989586621681161259 a6989586621681161260 Source #

data ScanrSym0 :: forall a6989586621681159666 b6989586621681159667. (~>) ((~>) a6989586621681159666 ((~>) b6989586621681159667 b6989586621681159667)) ((~>) b6989586621681159667 ((~>) [a6989586621681159666] (NonEmpty b6989586621681159667))) Source #

Instances

Instances details

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

data ScanrSym1 (a6989586621681161247 :: (~>) a6989586621681159666 ((~>) b6989586621681159667 b6989586621681159667)) :: (~>) b6989586621681159667 ((~>) [a6989586621681159666] (NonEmpty b6989586621681159667)) Source #

Instances

Instances details

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

data ScanrSym2 (a6989586621681161247 :: (~>) a6989586621681159666 ((~>) b6989586621681159667 b6989586621681159667)) (a6989586621681161248 :: b6989586621681159667) :: (~>) [a6989586621681159666] (NonEmpty b6989586621681159667) Source #

Instances

Instances details

(SingI d1, SingI d2) => SingI (ScanrSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ScanrSym2 d1 d2) Source #
SuppressUnusedWarnings (ScanrSym2 a6989586621681161248 a6989586621681161247 :: TyFun [a6989586621681159666] (NonEmpty b6989586621681159667) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ScanrSym2 a6989586621681161248 a6989586621681161247 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161249 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym2 a6989586621681161248 a6989586621681161247 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681161249 :: [a]) = Scanr a6989586621681161248 a6989586621681161247 a6989586621681161249

type ScanrSym3 (a6989586621681161247 :: (~>) a6989586621681159666 ((~>) b6989586621681159667 b6989586621681159667)) (a6989586621681161248 :: b6989586621681159667) (a6989586621681161249 :: [a6989586621681159666]) = Scanr a6989586621681161247 a6989586621681161248 a6989586621681161249 Source #

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

Instances

Instances details

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

data Scanl1Sym1 (a6989586621681161240 :: (~>) a6989586621681159665 ((~>) a6989586621681159665 a6989586621681159665)) :: (~>) (NonEmpty a6989586621681159665) (NonEmpty a6989586621681159665) Source #

Instances

Instances details

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

type Scanl1Sym2 (a6989586621681161240 :: (~>) a6989586621681159665 ((~>) a6989586621681159665 a6989586621681159665)) (a6989586621681161241 :: NonEmpty a6989586621681159665) = Scanl1 a6989586621681161240 a6989586621681161241 Source #

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

Instances

Instances details

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

data Scanr1Sym1 (a6989586621681161233 :: (~>) a6989586621681159664 ((~>) a6989586621681159664 a6989586621681159664)) :: (~>) (NonEmpty a6989586621681159664) (NonEmpty a6989586621681159664) Source #

Instances

Instances details

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

type Scanr1Sym2 (a6989586621681161233 :: (~>) a6989586621681159664 ((~>) a6989586621681159664 a6989586621681159664)) (a6989586621681161234 :: NonEmpty a6989586621681159664) = Scanr1 a6989586621681161233 a6989586621681161234 Source #

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

Instances

Instances details

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

type TransposeSym1 (a6989586621681160928 :: NonEmpty (NonEmpty a6989586621681159629)) = Transpose a6989586621681160928 Source #

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

Instances

Instances details

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

data SortBySym1 (a6989586621681160918 :: (~>) a6989586621681159628 ((~>) a6989586621681159628 Ordering)) :: (~>) (NonEmpty a6989586621681159628) (NonEmpty a6989586621681159628) Source #

Instances

Instances details

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

type SortBySym2 (a6989586621681160918 :: (~>) a6989586621681159628 ((~>) a6989586621681159628 Ordering)) (a6989586621681160919 :: NonEmpty a6989586621681159628) = SortBy a6989586621681160918 a6989586621681160919 Source #

data SortWithSym0 :: forall a6989586621681159627 o6989586621681159626. (~>) ((~>) a6989586621681159627 o6989586621681159626) ((~>) (NonEmpty a6989586621681159627) (NonEmpty a6989586621681159627)) Source #

Instances

Instances details

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

data SortWithSym1 (a6989586621681160912 :: (~>) a6989586621681159627 o6989586621681159626) :: (~>) (NonEmpty a6989586621681159627) (NonEmpty a6989586621681159627) Source #

Instances

Instances details

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

type SortWithSym2 (a6989586621681160912 :: (~>) a6989586621681159627 o6989586621681159626) (a6989586621681160913 :: NonEmpty a6989586621681159627) = SortWith a6989586621681160912 a6989586621681160913 Source #

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

Instances

Instances details

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

type LengthSym1 (a6989586621681161411 :: NonEmpty a6989586621681159692) = Length a6989586621681161411 Source #

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

Instances

Instances details

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

type HeadSym1 (a6989586621681161343 :: NonEmpty a6989586621681159685) = Head a6989586621681161343 Source #

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

Instances

Instances details

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

type TailSym1 (a6989586621681161340 :: NonEmpty a6989586621681159684) = Tail a6989586621681161340 Source #

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

Instances

Instances details

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

type LastSym1 (a6989586621681161336 :: NonEmpty a6989586621681159683) = Last a6989586621681161336 Source #

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

Instances

Instances details

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

type InitSym1 (a6989586621681161332 :: NonEmpty a6989586621681159682) = Init a6989586621681161332 Source #

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

Instances

Instances details

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

data (<|@#@$$) (a6989586621681161325 :: a6989586621681159681) :: (~>) (NonEmpty a6989586621681159681) (NonEmpty a6989586621681159681) Source #

Instances

Instances details

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

type (<|@#@$$$) (a6989586621681161325 :: a6989586621681159681) (a6989586621681161326 :: NonEmpty a6989586621681159681) = (<|) a6989586621681161325 a6989586621681161326 Source #

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

Instances

Instances details

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

data ConsSym1 (a6989586621681161319 :: a6989586621681159680) :: (~>) (NonEmpty a6989586621681159680) (NonEmpty a6989586621681159680) Source #

Instances

Instances details

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

type ConsSym2 (a6989586621681161319 :: a6989586621681159680) (a6989586621681161320 :: NonEmpty a6989586621681159680) = Cons a6989586621681161319 a6989586621681161320 Source #

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

Instances

Instances details

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

type UnconsSym1 (a6989586621681161375 :: NonEmpty a6989586621681159688) = Uncons a6989586621681161375 Source #

data UnfoldrSym0 :: forall a6989586621681159686 b6989586621681159687. (~>) ((~>) a6989586621681159686 (b6989586621681159687, Maybe a6989586621681159686)) ((~>) a6989586621681159686 (NonEmpty b6989586621681159687)) Source #

Instances

Instances details

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

data UnfoldrSym1 (a6989586621681161346 :: (~>) a6989586621681159686 (b6989586621681159687, Maybe a6989586621681159686)) :: (~>) a6989586621681159686 (NonEmpty b6989586621681159687) Source #

Instances

Instances details

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

type UnfoldrSym2 (a6989586621681161346 :: (~>) a6989586621681159686 (b6989586621681159687, Maybe a6989586621681159686)) (a6989586621681161347 :: a6989586621681159686) = Unfoldr a6989586621681161346 a6989586621681161347 Source #

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

Instances

Instances details

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

type SortSym1 (a6989586621681161312 :: NonEmpty a6989586621681159679) = Sort a6989586621681161312 Source #

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

Instances

Instances details

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

type ReverseSym1 (a6989586621681161220 :: NonEmpty a6989586621681159662) = Reverse a6989586621681161220 Source #

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

Instances

Instances details

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

type InitsSym1 (a6989586621681161284 :: [a6989586621681159672]) = Inits a6989586621681161284 Source #

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

Instances

Instances details

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

type TailsSym1 (a6989586621681161279 :: [a6989586621681159671]) = Tails a6989586621681161279 Source #

data UnfoldSym0 :: forall a6989586621681159690 b6989586621681159691. (~>) ((~>) a6989586621681159690 (b6989586621681159691, Maybe a6989586621681159690)) ((~>) a6989586621681159690 (NonEmpty b6989586621681159691)) Source #

Instances

Instances details

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

data UnfoldSym1 (a6989586621681161383 :: (~>) a6989586621681159690 (b6989586621681159691, Maybe a6989586621681159690)) :: (~>) a6989586621681159690 (NonEmpty b6989586621681159691) Source #

Instances

Instances details

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

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

Instances

Instances details

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

data InsertSym1 (a6989586621681161269 :: a6989586621681159670) :: (~>) [a6989586621681159670] (NonEmpty a6989586621681159670) Source #

Instances

Instances details

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

type InsertSym2 (a6989586621681161269 :: a6989586621681159670) (a6989586621681161270 :: [a6989586621681159670]) = Insert a6989586621681161269 a6989586621681161270 Source #

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

Instances

Instances details

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

data TakeSym1 (a6989586621681161210 :: Nat) :: forall a6989586621681159661. (~>) (NonEmpty a6989586621681159661) [a6989586621681159661] Source #

Instances

Instances details

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

type TakeSym2 (a6989586621681161210 :: Nat) (a6989586621681161211 :: NonEmpty a6989586621681159661) = Take a6989586621681161210 a6989586621681161211 Source #

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

Instances

Instances details

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

data DropSym1 (a6989586621681161202 :: Nat) :: forall a6989586621681159660. (~>) (NonEmpty a6989586621681159660) [a6989586621681159660] Source #

Instances

Instances details

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

type DropSym2 (a6989586621681161202 :: Nat) (a6989586621681161203 :: NonEmpty a6989586621681159660) = Drop a6989586621681161202 a6989586621681161203 Source #

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

Instances

Instances details

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

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

Instances

Instances details

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

type SplitAtSym2 (a6989586621681161194 :: Nat) (a6989586621681161195 :: NonEmpty a6989586621681159659) = SplitAt a6989586621681161194 a6989586621681161195 Source #

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

Instances

Instances details

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

data TakeWhileSym1 (a6989586621681161186 :: (~>) a6989586621681159658 Bool) :: (~>) (NonEmpty a6989586621681159658) [a6989586621681159658] Source #

Instances

Instances details

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

type TakeWhileSym2 (a6989586621681161186 :: (~>) a6989586621681159658 Bool) (a6989586621681161187 :: NonEmpty a6989586621681159658) = TakeWhile a6989586621681161186 a6989586621681161187 Source #

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

Instances

Instances details

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

data DropWhileSym1 (a6989586621681161178 :: (~>) a6989586621681159657 Bool) :: (~>) (NonEmpty a6989586621681159657) [a6989586621681159657] Source #

Instances

Instances details

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

type DropWhileSym2 (a6989586621681161178 :: (~>) a6989586621681159657 Bool) (a6989586621681161179 :: NonEmpty a6989586621681159657) = DropWhile a6989586621681161178 a6989586621681161179 Source #

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

Instances

Instances details

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

data SpanSym1 (a6989586621681161170 :: (~>) a6989586621681159656 Bool) :: (~>) (NonEmpty a6989586621681159656) ([a6989586621681159656], [a6989586621681159656]) Source #

Instances

Instances details

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

type SpanSym2 (a6989586621681161170 :: (~>) a6989586621681159656 Bool) (a6989586621681161171 :: NonEmpty a6989586621681159656) = Span a6989586621681161170 a6989586621681161171 Source #

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

Instances

Instances details

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

data BreakSym1 (a6989586621681161162 :: (~>) a6989586621681159655 Bool) :: (~>) (NonEmpty a6989586621681159655) ([a6989586621681159655], [a6989586621681159655]) Source #

Instances

Instances details

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

type BreakSym2 (a6989586621681161162 :: (~>) a6989586621681159655 Bool) (a6989586621681161163 :: NonEmpty a6989586621681159655) = Break a6989586621681161162 a6989586621681161163 Source #

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

Instances

Instances details

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

data FilterSym1 (a6989586621681161154 :: (~>) a6989586621681159654 Bool) :: (~>) (NonEmpty a6989586621681159654) [a6989586621681159654] Source #

Instances

Instances details

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

type FilterSym2 (a6989586621681161154 :: (~>) a6989586621681159654 Bool) (a6989586621681161155 :: NonEmpty a6989586621681159654) = Filter a6989586621681161154 a6989586621681161155 Source #

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

Instances

Instances details

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

data PartitionSym1 (a6989586621681161146 :: (~>) a6989586621681159653 Bool) :: (~>) (NonEmpty a6989586621681159653) ([a6989586621681159653], [a6989586621681159653]) Source #

Instances

Instances details

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

type PartitionSym2 (a6989586621681161146 :: (~>) a6989586621681159653 Bool) (a6989586621681161147 :: NonEmpty a6989586621681159653) = Partition a6989586621681161146 a6989586621681161147 Source #

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

Instances

Instances details

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

type GroupSym1 (a6989586621681161143 :: [a6989586621681159652]) = Group a6989586621681161143 Source #

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

Instances

Instances details

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

data GroupBySym1 (a6989586621681161093 :: (~>) a6989586621681159651 ((~>) a6989586621681159651 Bool)) :: (~>) [a6989586621681159651] [NonEmpty a6989586621681159651] Source #

Instances

Instances details

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

type GroupBySym2 (a6989586621681161093 :: (~>) a6989586621681159651 ((~>) a6989586621681159651 Bool)) (a6989586621681161094 :: [a6989586621681159651]) = GroupBy a6989586621681161093 a6989586621681161094 Source #

data GroupWithSym0 :: forall a6989586621681159650 b6989586621681159649. (~>) ((~>) a6989586621681159650 b6989586621681159649) ((~>) [a6989586621681159650] [NonEmpty a6989586621681159650]) Source #

Instances

Instances details

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

data GroupWithSym1 (a6989586621681161085 :: (~>) a6989586621681159650 b6989586621681159649) :: (~>) [a6989586621681159650] [NonEmpty a6989586621681159650] Source #

Instances

Instances details

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

type GroupWithSym2 (a6989586621681161085 :: (~>) a6989586621681159650 b6989586621681159649) (a6989586621681161086 :: [a6989586621681159650]) = GroupWith a6989586621681161085 a6989586621681161086 Source #

data GroupAllWithSym0 :: forall a6989586621681159648 b6989586621681159647. (~>) ((~>) a6989586621681159648 b6989586621681159647) ((~>) [a6989586621681159648] [NonEmpty a6989586621681159648]) Source #

Instances

Instances details

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

data GroupAllWithSym1 (a6989586621681161077 :: (~>) a6989586621681159648 b6989586621681159647) :: (~>) [a6989586621681159648] [NonEmpty a6989586621681159648] Source #

Instances

Instances details

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

type GroupAllWithSym2 (a6989586621681161077 :: (~>) a6989586621681159648 b6989586621681159647) (a6989586621681161078 :: [a6989586621681159648]) = GroupAllWith a6989586621681161077 a6989586621681161078 Source #

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

Instances

Instances details

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

type Group1Sym1 (a6989586621681161074 :: NonEmpty a6989586621681159646) = Group1 a6989586621681161074 Source #

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

Instances

Instances details

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

data GroupBy1Sym1 (a6989586621681161041 :: (~>) a6989586621681159645 ((~>) a6989586621681159645 Bool)) :: (~>) (NonEmpty a6989586621681159645) (NonEmpty (NonEmpty a6989586621681159645)) Source #

Instances

Instances details

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

type GroupBy1Sym2 (a6989586621681161041 :: (~>) a6989586621681159645 ((~>) a6989586621681159645 Bool)) (a6989586621681161042 :: NonEmpty a6989586621681159645) = GroupBy1 a6989586621681161041 a6989586621681161042 Source #

data GroupWith1Sym0 :: forall a6989586621681159644 b6989586621681159643. (~>) ((~>) a6989586621681159644 b6989586621681159643) ((~>) (NonEmpty a6989586621681159644) (NonEmpty (NonEmpty a6989586621681159644))) Source #

Instances

Instances details

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

data GroupWith1Sym1 (a6989586621681161033 :: (~>) a6989586621681159644 b6989586621681159643) :: (~>) (NonEmpty a6989586621681159644) (NonEmpty (NonEmpty a6989586621681159644)) Source #

Instances

Instances details

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

type GroupWith1Sym2 (a6989586621681161033 :: (~>) a6989586621681159644 b6989586621681159643) (a6989586621681161034 :: NonEmpty a6989586621681159644) = GroupWith1 a6989586621681161033 a6989586621681161034 Source #

data GroupAllWith1Sym0 :: forall a6989586621681159642 b6989586621681159641. (~>) ((~>) a6989586621681159642 b6989586621681159641) ((~>) (NonEmpty a6989586621681159642) (NonEmpty (NonEmpty a6989586621681159642))) Source #

Instances

Instances details

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

data GroupAllWith1Sym1 (a6989586621681161025 :: (~>) a6989586621681159642 b6989586621681159641) :: (~>) (NonEmpty a6989586621681159642) (NonEmpty (NonEmpty a6989586621681159642)) Source #

Instances

Instances details

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

type GroupAllWith1Sym2 (a6989586621681161025 :: (~>) a6989586621681159642 b6989586621681159641) (a6989586621681161026 :: NonEmpty a6989586621681159642) = GroupAllWith1 a6989586621681161025 a6989586621681161026 Source #

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

Instances

Instances details

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

data IsPrefixOfSym1 (a6989586621681161017 :: [a6989586621681159640]) :: (~>) (NonEmpty a6989586621681159640) Bool Source #

Instances

Instances details

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

type IsPrefixOfSym2 (a6989586621681161017 :: [a6989586621681159640]) (a6989586621681161018 :: NonEmpty a6989586621681159640) = IsPrefixOf a6989586621681161017 a6989586621681161018 Source #

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

Instances

Instances details

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

type NubSym1 (a6989586621681160948 :: NonEmpty a6989586621681159631) = Nub a6989586621681160948 Source #

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

Instances

Instances details

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

data NubBySym1 (a6989586621681160931 :: (~>) a6989586621681159630 ((~>) a6989586621681159630 Bool)) :: (~>) (NonEmpty a6989586621681159630) (NonEmpty a6989586621681159630) Source #

Instances

Instances details

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

type NubBySym2 (a6989586621681160931 :: (~>) a6989586621681159630 ((~>) a6989586621681159630 Bool)) (a6989586621681160932 :: NonEmpty a6989586621681159630) = NubBy a6989586621681160931 a6989586621681160932 Source #

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

Instances

Instances details

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

data (!!@#@$$) (a6989586621681160999 :: NonEmpty a6989586621681159639) :: (~>) Nat a6989586621681159639 Source #

Instances

Instances details

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

type (!!@#@$$$) (a6989586621681160999 :: NonEmpty a6989586621681159639) (a6989586621681161000 :: Nat) = (!!) a6989586621681160999 a6989586621681161000 Source #

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

Instances

Instances details

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

data ZipSym1 (a6989586621681160991 :: NonEmpty a6989586621681159637) :: forall b6989586621681159638. (~>) (NonEmpty b6989586621681159638) (NonEmpty (a6989586621681159637, b6989586621681159638)) Source #

Instances

Instances details

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

type ZipSym2 (a6989586621681160991 :: NonEmpty a6989586621681159637) (a6989586621681160992 :: NonEmpty b6989586621681159638) = Zip a6989586621681160991 a6989586621681160992 Source #

data ZipWithSym0 :: forall a6989586621681159634 b6989586621681159635 c6989586621681159636. (~>) ((~>) a6989586621681159634 ((~>) b6989586621681159635 c6989586621681159636)) ((~>) (NonEmpty a6989586621681159634) ((~>) (NonEmpty b6989586621681159635) (NonEmpty c6989586621681159636))) Source #

Instances

Instances details

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

data ZipWithSym1 (a6989586621681160980 :: (~>) a6989586621681159634 ((~>) b6989586621681159635 c6989586621681159636)) :: (~>) (NonEmpty a6989586621681159634) ((~>) (NonEmpty b6989586621681159635) (NonEmpty c6989586621681159636)) Source #

Instances

Instances details

SingI d => SingI (ZipWithSym1 d :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ZipWithSym1 d) Source #
SuppressUnusedWarnings (ZipWithSym1 a6989586621681160980 :: TyFun (NonEmpty a6989586621681159634) (NonEmpty b6989586621681159635 ~> NonEmpty c6989586621681159636) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym1 a6989586621681160980 :: TyFun (NonEmpty a6989586621681159634) (NonEmpty b6989586621681159635 ~> NonEmpty c6989586621681159636) -> Type) (a6989586621681160981 :: NonEmpty a6989586621681159634) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym1 a6989586621681160980 :: TyFun (NonEmpty a6989586621681159634) (NonEmpty b6989586621681159635 ~> NonEmpty c6989586621681159636) -> Type) (a6989586621681160981 :: NonEmpty a6989586621681159634) = ZipWithSym2 a6989586621681160980 a6989586621681160981

data ZipWithSym2 (a6989586621681160980 :: (~>) a6989586621681159634 ((~>) b6989586621681159635 c6989586621681159636)) (a6989586621681160981 :: NonEmpty a6989586621681159634) :: (~>) (NonEmpty b6989586621681159635) (NonEmpty c6989586621681159636) Source #

Instances

Instances details

(SingI d1, SingI d2) => SingI (ZipWithSym2 d1 d2 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods sing :: Sing (ZipWithSym2 d1 d2) Source #
SuppressUnusedWarnings (ZipWithSym2 a6989586621681160981 a6989586621681160980 :: TyFun (NonEmpty b6989586621681159635) (NonEmpty c6989586621681159636) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () Source #
type Apply (ZipWithSym2 a6989586621681160981 a6989586621681160980 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681160982 :: NonEmpty b) Source #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym2 a6989586621681160981 a6989586621681160980 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681160982 :: NonEmpty b) = ZipWith a6989586621681160981 a6989586621681160980 a6989586621681160982

type ZipWithSym3 (a6989586621681160980 :: (~>) a6989586621681159634 ((~>) b6989586621681159635 c6989586621681159636)) (a6989586621681160981 :: NonEmpty a6989586621681159634) (a6989586621681160982 :: NonEmpty b6989586621681159635) = ZipWith a6989586621681160980 a6989586621681160981 a6989586621681160982 Source #

data UnzipSym0 :: forall a6989586621681159632 b6989586621681159633. (~>) (NonEmpty (a6989586621681159632, b6989586621681159633)) (NonEmpty a6989586621681159632, NonEmpty b6989586621681159633) Source #

Instances

Instances details

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

type UnzipSym1 (a6989586621681160951 :: NonEmpty (a6989586621681159632, b6989586621681159633)) = Unzip a6989586621681160951 Source #

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

Instances

Instances details

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

type FromListSym1 (a6989586621681161306 :: [a6989586621681159678]) = FromList a6989586621681161306 Source #

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

Instances

Instances details

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

type ToListSym1 (a6989586621681161302 :: NonEmpty a6989586621681159677) = ToList a6989586621681161302 Source #

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

Instances

Instances details

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

type NonEmpty_Sym1 (a6989586621681161379 :: [a6989586621681159689]) = NonEmpty_ a6989586621681161379 Source #

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

Instances

Instances details

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

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

Orphan instances

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

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

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

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

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

The NonEmpty singleton

Instances

Instances

Non-empty stream transformations

Defunctionalization symbols

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

The `NonEmpty` singleton