Copyright	(C) 2016 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (rae@cs.brynmawr.edu)
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

Description

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

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

Synopsis

data family Sing (a :: k)
type SNonEmpty = (Sing :: NonEmpty a -> Type)
type family Map (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty b where ...
sMap :: forall (t :: TyFun a b -> Type) (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 (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply IntersperseSym0 t) t :: NonEmpty a)
type family Scanl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: NonEmpty b where ...
sScanl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: NonEmpty b)
type family Scanr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: NonEmpty b where ...
sScanr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: NonEmpty b)
type family Scanl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ...
sScanl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: NonEmpty a)
type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ...
sScanr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (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 (t :: NonEmpty (NonEmpty a)). Sing t -> Sing (Apply TransposeSym0 t :: NonEmpty (NonEmpty a))
type family SortBy (a :: TyFun a (TyFun a Ordering -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ...
sSortBy :: forall (t :: TyFun a (TyFun a Ordering -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SortBySym0 t) t :: NonEmpty a)
type family SortWith (a :: TyFun a o -> Type) (a :: NonEmpty a) :: NonEmpty a where ...
sSortWith :: forall (t :: TyFun a o -> Type) (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 (t :: NonEmpty a). Sing t -> Sing (Apply LengthSym0 t :: Nat)
type family Head (a :: NonEmpty a) :: a where ...
sHead :: forall (t :: NonEmpty a). Sing t -> Sing (Apply HeadSym0 t :: a)
type family Tail (a :: NonEmpty a) :: [a] where ...
sTail :: forall (t :: NonEmpty a). Sing t -> Sing (Apply TailSym0 t :: [a])
type family Last (a :: NonEmpty a) :: a where ...
sLast :: forall (t :: NonEmpty a). Sing t -> Sing (Apply LastSym0 t :: a)
type family Init (a :: NonEmpty a) :: [a] where ...
sInit :: forall (t :: NonEmpty a). Sing t -> Sing (Apply InitSym0 t :: [a])
type family (a :: a) <| (a :: NonEmpty a) :: NonEmpty a where ...
(%<|) :: forall (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 (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 (t :: NonEmpty a). Sing t -> Sing (Apply UnconsSym0 t :: (a, Maybe (NonEmpty a)))
type family Unfoldr (a :: TyFun a (b, Maybe a) -> Type) (a :: a) :: NonEmpty b where ...
sUnfoldr :: forall (t :: TyFun a (b, Maybe a) -> Type) (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 (t :: NonEmpty a). SOrd a => Sing t -> Sing (Apply SortSym0 t :: NonEmpty a)
type family Reverse (a :: NonEmpty a) :: NonEmpty a where ...
sReverse :: forall (t :: NonEmpty a). Sing t -> Sing (Apply ReverseSym0 t :: NonEmpty a)
type family Inits (a :: [a]) :: NonEmpty [a] where ...
sInits :: forall (t :: [a]). Sing t -> Sing (Apply InitsSym0 t :: NonEmpty [a])
type family Tails (a :: [a]) :: NonEmpty [a] where ...
sTails :: forall (t :: [a]). Sing t -> Sing (Apply TailsSym0 t :: NonEmpty [a])
type family Unfold (a :: TyFun a (b, Maybe a) -> Type) (a :: a) :: NonEmpty b where ...
sUnfold :: forall (t :: TyFun a (b, Maybe a) -> Type) (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 (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 (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 (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 (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a]))
type family TakeWhile (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: [a] where ...
sTakeWhile :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a])
type family DropWhile (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: [a] where ...
sDropWhile :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropWhileSym0 t) t :: [a])
type family Span (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: ([a], [a]) where ...
sSpan :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a]))
type family Break (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: ([a], [a]) where ...
sBreak :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a]))
type family Filter (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: [a] where ...
sFilter :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FilterSym0 t) t :: [a])
type family Partition (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: ([a], [a]) where ...
sPartition :: forall (t :: TyFun a Bool -> Type) (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 (t :: [a]). SEq a => Sing t -> Sing (Apply GroupSym0 t :: [NonEmpty a])
type family GroupBy (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: [a]) :: [NonEmpty a] where ...
sGroupBy :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [NonEmpty a])
type family GroupWith (a :: TyFun a b -> Type) (a :: [a]) :: [NonEmpty a] where ...
sGroupWith :: forall (t :: TyFun a b -> Type) (t :: [a]). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWithSym0 t) t :: [NonEmpty a])
type family GroupAllWith (a :: TyFun a b -> Type) (a :: [a]) :: [NonEmpty a] where ...
sGroupAllWith :: forall (t :: TyFun a b -> Type) (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 (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply Group1Sym0 t :: NonEmpty (NonEmpty a))
type family GroupBy1 (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroupBy1 :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply GroupBy1Sym0 t) t :: NonEmpty (NonEmpty a))
type family GroupWith1 (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroupWith1 :: forall (t :: TyFun a b -> Type) (t :: NonEmpty a). SEq b => Sing t -> Sing t -> Sing (Apply (Apply GroupWith1Sym0 t) t :: NonEmpty (NonEmpty a))
type family GroupAllWith1 (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroupAllWith1 :: forall (t :: TyFun a b -> Type) (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 (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 (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply NubSym0 t :: NonEmpty a)
type family NubBy (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ...
sNubBy :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (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 (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 (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: NonEmpty (a, b))
type family ZipWith (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty c where ...
sZipWith :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (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 (t :: NonEmpty (a, b)). Sing t -> Sing (Apply UnzipSym0 t :: (NonEmpty a, NonEmpty b))
type family FromList (a :: [a]) :: NonEmpty a where ...
sFromList :: forall (t :: [a]). Sing t -> Sing (Apply FromListSym0 t :: NonEmpty a)
type family ToList (a :: NonEmpty a) :: [a] where ...
sToList :: forall (t :: NonEmpty a). Sing t -> Sing (Apply ToListSym0 t :: [a])
type family NonEmpty_ (a :: [a]) :: Maybe (NonEmpty a) where ...
sNonEmpty_ :: forall (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 (:|@#@$) (l :: TyFun a6989586621679067899 (TyFun [a6989586621679067899] (NonEmpty a6989586621679067899) -> Type))
data (l :: a6989586621679067899) :|@#@$$ (l :: TyFun [a6989586621679067899] (NonEmpty a6989586621679067899))
type (:|@#@$$$) (t :: a6989586621679067899) (t :: [a6989586621679067899]) = (:|) t t
data MapSym0 (l :: TyFun (TyFun a6989586621679792782 b6989586621679792783 -> Type) (TyFun (NonEmpty a6989586621679792782) (NonEmpty b6989586621679792783) -> Type))
data MapSym1 (l :: TyFun a6989586621679792782 b6989586621679792783 -> Type) (l :: TyFun (NonEmpty a6989586621679792782) (NonEmpty b6989586621679792783))
type MapSym2 (t :: TyFun a6989586621679792782 b6989586621679792783 -> Type) (t :: NonEmpty a6989586621679792782) = Map t t
data IntersperseSym0 (l :: TyFun a6989586621679792772 (TyFun (NonEmpty a6989586621679792772) (NonEmpty a6989586621679792772) -> Type))
data IntersperseSym1 (l :: a6989586621679792772) (l :: TyFun (NonEmpty a6989586621679792772) (NonEmpty a6989586621679792772))
type IntersperseSym2 (t :: a6989586621679792772) (t :: NonEmpty a6989586621679792772) = Intersperse t t
data ScanlSym0 (l :: TyFun (TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) (TyFun b6989586621679792777 (TyFun [a6989586621679792778] (NonEmpty b6989586621679792777) -> Type) -> Type))
data ScanlSym1 (l :: TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) (l :: TyFun b6989586621679792777 (TyFun [a6989586621679792778] (NonEmpty b6989586621679792777) -> Type))
data ScanlSym2 (l :: TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) (l :: b6989586621679792777) (l :: TyFun [a6989586621679792778] (NonEmpty b6989586621679792777))
type ScanlSym3 (t :: TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) (t :: b6989586621679792777) (t :: [a6989586621679792778]) = Scanl t t t
data ScanrSym0 (l :: TyFun (TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) (TyFun b6989586621679792776 (TyFun [a6989586621679792775] (NonEmpty b6989586621679792776) -> Type) -> Type))
data ScanrSym1 (l :: TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) (l :: TyFun b6989586621679792776 (TyFun [a6989586621679792775] (NonEmpty b6989586621679792776) -> Type))
data ScanrSym2 (l :: TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) (l :: b6989586621679792776) (l :: TyFun [a6989586621679792775] (NonEmpty b6989586621679792776))
type ScanrSym3 (t :: TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) (t :: b6989586621679792776) (t :: [a6989586621679792775]) = Scanr t t t
data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679792774 (TyFun a6989586621679792774 a6989586621679792774 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792774) (NonEmpty a6989586621679792774) -> Type))
data Scanl1Sym1 (l :: TyFun a6989586621679792774 (TyFun a6989586621679792774 a6989586621679792774 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679792774) (NonEmpty a6989586621679792774))
type Scanl1Sym2 (t :: TyFun a6989586621679792774 (TyFun a6989586621679792774 a6989586621679792774 -> Type) -> Type) (t :: NonEmpty a6989586621679792774) = Scanl1 t t
data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679792773 (TyFun a6989586621679792773 a6989586621679792773 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792773) (NonEmpty a6989586621679792773) -> Type))
data Scanr1Sym1 (l :: TyFun a6989586621679792773 (TyFun a6989586621679792773 a6989586621679792773 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679792773) (NonEmpty a6989586621679792773))
type Scanr1Sym2 (t :: TyFun a6989586621679792773 (TyFun a6989586621679792773 a6989586621679792773 -> Type) -> Type) (t :: NonEmpty a6989586621679792773) = Scanr1 t t
data TransposeSym0 (l :: TyFun (NonEmpty (NonEmpty a6989586621679792738)) (NonEmpty (NonEmpty a6989586621679792738)))
type TransposeSym1 (t :: NonEmpty (NonEmpty a6989586621679792738)) = Transpose t
data SortBySym0 (l :: TyFun (TyFun a6989586621679792737 (TyFun a6989586621679792737 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679792737) (NonEmpty a6989586621679792737) -> Type))
data SortBySym1 (l :: TyFun a6989586621679792737 (TyFun a6989586621679792737 Ordering -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679792737) (NonEmpty a6989586621679792737))
type SortBySym2 (t :: TyFun a6989586621679792737 (TyFun a6989586621679792737 Ordering -> Type) -> Type) (t :: NonEmpty a6989586621679792737) = SortBy t t
data SortWithSym0 (l :: TyFun (TyFun a6989586621679792736 o6989586621679792735 -> Type) (TyFun (NonEmpty a6989586621679792736) (NonEmpty a6989586621679792736) -> Type))
data SortWithSym1 (l :: TyFun a6989586621679792736 o6989586621679792735 -> Type) (l :: TyFun (NonEmpty a6989586621679792736) (NonEmpty a6989586621679792736))
type SortWithSym2 (t :: TyFun a6989586621679792736 o6989586621679792735 -> Type) (t :: NonEmpty a6989586621679792736) = SortWith t t
data LengthSym0 (l :: TyFun (NonEmpty a6989586621679792801) Nat)
type LengthSym1 (t :: NonEmpty a6989586621679792801) = Length t
data HeadSym0 (l :: TyFun (NonEmpty a6989586621679792794) a6989586621679792794)
type HeadSym1 (t :: NonEmpty a6989586621679792794) = Head t
data TailSym0 (l :: TyFun (NonEmpty a6989586621679792793) [a6989586621679792793])
type TailSym1 (t :: NonEmpty a6989586621679792793) = Tail t
data LastSym0 (l :: TyFun (NonEmpty a6989586621679792792) a6989586621679792792)
type LastSym1 (t :: NonEmpty a6989586621679792792) = Last t
data InitSym0 (l :: TyFun (NonEmpty a6989586621679792791) [a6989586621679792791])
type InitSym1 (t :: NonEmpty a6989586621679792791) = Init t
data (<|@#@$) (l :: TyFun a6989586621679792790 (TyFun (NonEmpty a6989586621679792790) (NonEmpty a6989586621679792790) -> Type))
data (l :: a6989586621679792790) <|@#@$$ (l :: TyFun (NonEmpty a6989586621679792790) (NonEmpty a6989586621679792790))
type (<|@#@$$$) (t :: a6989586621679792790) (t :: NonEmpty a6989586621679792790) = (<|) t t
data ConsSym0 (l :: TyFun a6989586621679792789 (TyFun (NonEmpty a6989586621679792789) (NonEmpty a6989586621679792789) -> Type))
data ConsSym1 (l :: a6989586621679792789) (l :: TyFun (NonEmpty a6989586621679792789) (NonEmpty a6989586621679792789))
type ConsSym2 (t :: a6989586621679792789) (t :: NonEmpty a6989586621679792789) = Cons t t
data UnconsSym0 (l :: TyFun (NonEmpty a6989586621679792797) (a6989586621679792797, Maybe (NonEmpty a6989586621679792797)))
type UnconsSym1 (t :: NonEmpty a6989586621679792797) = Uncons t
data UnfoldrSym0 (l :: TyFun (TyFun a6989586621679792795 (b6989586621679792796, Maybe a6989586621679792795) -> Type) (TyFun a6989586621679792795 (NonEmpty b6989586621679792796) -> Type))
data UnfoldrSym1 (l :: TyFun a6989586621679792795 (b6989586621679792796, Maybe a6989586621679792795) -> Type) (l :: TyFun a6989586621679792795 (NonEmpty b6989586621679792796))
type UnfoldrSym2 (t :: TyFun a6989586621679792795 (b6989586621679792796, Maybe a6989586621679792795) -> Type) (t :: a6989586621679792795) = Unfoldr t t
data SortSym0 (l :: TyFun (NonEmpty a6989586621679792788) (NonEmpty a6989586621679792788))
type SortSym1 (t :: NonEmpty a6989586621679792788) = Sort t
data ReverseSym0 (l :: TyFun (NonEmpty a6989586621679792771) (NonEmpty a6989586621679792771))
type ReverseSym1 (t :: NonEmpty a6989586621679792771) = Reverse t
data InitsSym0 (l :: TyFun [a6989586621679792781] (NonEmpty [a6989586621679792781]))
type InitsSym1 (t :: [a6989586621679792781]) = Inits t
data TailsSym0 (l :: TyFun [a6989586621679792780] (NonEmpty [a6989586621679792780]))
type TailsSym1 (t :: [a6989586621679792780]) = Tails t
data UnfoldSym0 (l :: TyFun (TyFun a6989586621679792799 (b6989586621679792800, Maybe a6989586621679792799) -> Type) (TyFun a6989586621679792799 (NonEmpty b6989586621679792800) -> Type))
data UnfoldSym1 (l :: TyFun a6989586621679792799 (b6989586621679792800, Maybe a6989586621679792799) -> Type) (l :: TyFun a6989586621679792799 (NonEmpty b6989586621679792800))
data InsertSym0 (l :: TyFun a6989586621679792779 (TyFun [a6989586621679792779] (NonEmpty a6989586621679792779) -> Type))
data InsertSym1 (l :: a6989586621679792779) (l :: TyFun [a6989586621679792779] (NonEmpty a6989586621679792779))
type InsertSym2 (t :: a6989586621679792779) (t :: [a6989586621679792779]) = Insert t t
data TakeSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679792770) [a6989586621679792770] -> Type))
data TakeSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679792770) [a6989586621679792770])
type TakeSym2 (t :: Nat) (t :: NonEmpty a6989586621679792770) = Take t t
data DropSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679792769) [a6989586621679792769] -> Type))
data DropSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679792769) [a6989586621679792769])
type DropSym2 (t :: Nat) (t :: NonEmpty a6989586621679792769) = Drop t t
data SplitAtSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679792768) ([a6989586621679792768], [a6989586621679792768]) -> Type))
data SplitAtSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679792768) ([a6989586621679792768], [a6989586621679792768]))
type SplitAtSym2 (t :: Nat) (t :: NonEmpty a6989586621679792768) = SplitAt t t
data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679792767 Bool -> Type) (TyFun (NonEmpty a6989586621679792767) [a6989586621679792767] -> Type))
data TakeWhileSym1 (l :: TyFun a6989586621679792767 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679792767) [a6989586621679792767])
type TakeWhileSym2 (t :: TyFun a6989586621679792767 Bool -> Type) (t :: NonEmpty a6989586621679792767) = TakeWhile t t
data DropWhileSym0 (l :: TyFun (TyFun a6989586621679792766 Bool -> Type) (TyFun (NonEmpty a6989586621679792766) [a6989586621679792766] -> Type))
data DropWhileSym1 (l :: TyFun a6989586621679792766 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679792766) [a6989586621679792766])
type DropWhileSym2 (t :: TyFun a6989586621679792766 Bool -> Type) (t :: NonEmpty a6989586621679792766) = DropWhile t t
data SpanSym0 (l :: TyFun (TyFun a6989586621679792765 Bool -> Type) (TyFun (NonEmpty a6989586621679792765) ([a6989586621679792765], [a6989586621679792765]) -> Type))
data SpanSym1 (l :: TyFun a6989586621679792765 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679792765) ([a6989586621679792765], [a6989586621679792765]))
type SpanSym2 (t :: TyFun a6989586621679792765 Bool -> Type) (t :: NonEmpty a6989586621679792765) = Span t t
data BreakSym0 (l :: TyFun (TyFun a6989586621679792764 Bool -> Type) (TyFun (NonEmpty a6989586621679792764) ([a6989586621679792764], [a6989586621679792764]) -> Type))
data BreakSym1 (l :: TyFun a6989586621679792764 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679792764) ([a6989586621679792764], [a6989586621679792764]))
type BreakSym2 (t :: TyFun a6989586621679792764 Bool -> Type) (t :: NonEmpty a6989586621679792764) = Break t t
data FilterSym0 (l :: TyFun (TyFun a6989586621679792763 Bool -> Type) (TyFun (NonEmpty a6989586621679792763) [a6989586621679792763] -> Type))
data FilterSym1 (l :: TyFun a6989586621679792763 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679792763) [a6989586621679792763])
type FilterSym2 (t :: TyFun a6989586621679792763 Bool -> Type) (t :: NonEmpty a6989586621679792763) = Filter t t
data PartitionSym0 (l :: TyFun (TyFun a6989586621679792762 Bool -> Type) (TyFun (NonEmpty a6989586621679792762) ([a6989586621679792762], [a6989586621679792762]) -> Type))
data PartitionSym1 (l :: TyFun a6989586621679792762 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679792762) ([a6989586621679792762], [a6989586621679792762]))
type PartitionSym2 (t :: TyFun a6989586621679792762 Bool -> Type) (t :: NonEmpty a6989586621679792762) = Partition t t
data GroupSym0 (l :: TyFun [a6989586621679792761] [NonEmpty a6989586621679792761])
type GroupSym1 (t :: [a6989586621679792761]) = Group t
data GroupBySym0 (l :: TyFun (TyFun a6989586621679792760 (TyFun a6989586621679792760 Bool -> Type) -> Type) (TyFun [a6989586621679792760] [NonEmpty a6989586621679792760] -> Type))
data GroupBySym1 (l :: TyFun a6989586621679792760 (TyFun a6989586621679792760 Bool -> Type) -> Type) (l :: TyFun [a6989586621679792760] [NonEmpty a6989586621679792760])
type GroupBySym2 (t :: TyFun a6989586621679792760 (TyFun a6989586621679792760 Bool -> Type) -> Type) (t :: [a6989586621679792760]) = GroupBy t t
data GroupWithSym0 (l :: TyFun (TyFun a6989586621679792759 b6989586621679792758 -> Type) (TyFun [a6989586621679792759] [NonEmpty a6989586621679792759] -> Type))
data GroupWithSym1 (l :: TyFun a6989586621679792759 b6989586621679792758 -> Type) (l :: TyFun [a6989586621679792759] [NonEmpty a6989586621679792759])
type GroupWithSym2 (t :: TyFun a6989586621679792759 b6989586621679792758 -> Type) (t :: [a6989586621679792759]) = GroupWith t t
data GroupAllWithSym0 (l :: TyFun (TyFun a6989586621679792757 b6989586621679792756 -> Type) (TyFun [a6989586621679792757] [NonEmpty a6989586621679792757] -> Type))
data GroupAllWithSym1 (l :: TyFun a6989586621679792757 b6989586621679792756 -> Type) (l :: TyFun [a6989586621679792757] [NonEmpty a6989586621679792757])
type GroupAllWithSym2 (t :: TyFun a6989586621679792757 b6989586621679792756 -> Type) (t :: [a6989586621679792757]) = GroupAllWith t t
data Group1Sym0 (l :: TyFun (NonEmpty a6989586621679792755) (NonEmpty (NonEmpty a6989586621679792755)))
type Group1Sym1 (t :: NonEmpty a6989586621679792755) = Group1 t
data GroupBy1Sym0 (l :: TyFun (TyFun a6989586621679792754 (TyFun a6989586621679792754 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679792754) (NonEmpty (NonEmpty a6989586621679792754)) -> Type))
data GroupBy1Sym1 (l :: TyFun a6989586621679792754 (TyFun a6989586621679792754 Bool -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679792754) (NonEmpty (NonEmpty a6989586621679792754)))
type GroupBy1Sym2 (t :: TyFun a6989586621679792754 (TyFun a6989586621679792754 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679792754) = GroupBy1 t t
data GroupWith1Sym0 (l :: TyFun (TyFun a6989586621679792753 b6989586621679792752 -> Type) (TyFun (NonEmpty a6989586621679792753) (NonEmpty (NonEmpty a6989586621679792753)) -> Type))
data GroupWith1Sym1 (l :: TyFun a6989586621679792753 b6989586621679792752 -> Type) (l :: TyFun (NonEmpty a6989586621679792753) (NonEmpty (NonEmpty a6989586621679792753)))
type GroupWith1Sym2 (t :: TyFun a6989586621679792753 b6989586621679792752 -> Type) (t :: NonEmpty a6989586621679792753) = GroupWith1 t t
data GroupAllWith1Sym0 (l :: TyFun (TyFun a6989586621679792751 b6989586621679792750 -> Type) (TyFun (NonEmpty a6989586621679792751) (NonEmpty (NonEmpty a6989586621679792751)) -> Type))
data GroupAllWith1Sym1 (l :: TyFun a6989586621679792751 b6989586621679792750 -> Type) (l :: TyFun (NonEmpty a6989586621679792751) (NonEmpty (NonEmpty a6989586621679792751)))
type GroupAllWith1Sym2 (t :: TyFun a6989586621679792751 b6989586621679792750 -> Type) (t :: NonEmpty a6989586621679792751) = GroupAllWith1 t t
data IsPrefixOfSym0 (l :: TyFun [a6989586621679792749] (TyFun (NonEmpty a6989586621679792749) Bool -> Type))
data IsPrefixOfSym1 (l :: [a6989586621679792749]) (l :: TyFun (NonEmpty a6989586621679792749) Bool)
type IsPrefixOfSym2 (t :: [a6989586621679792749]) (t :: NonEmpty a6989586621679792749) = IsPrefixOf t t
data NubSym0 (l :: TyFun (NonEmpty a6989586621679792740) (NonEmpty a6989586621679792740))
type NubSym1 (t :: NonEmpty a6989586621679792740) = Nub t
data NubBySym0 (l :: TyFun (TyFun a6989586621679792739 (TyFun a6989586621679792739 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679792739) (NonEmpty a6989586621679792739) -> Type))
data NubBySym1 (l :: TyFun a6989586621679792739 (TyFun a6989586621679792739 Bool -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679792739) (NonEmpty a6989586621679792739))
type NubBySym2 (t :: TyFun a6989586621679792739 (TyFun a6989586621679792739 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679792739) = NubBy t t
data (!!@#@$) (l :: TyFun (NonEmpty a6989586621679792748) (TyFun Nat a6989586621679792748 -> Type))
data (l :: NonEmpty a6989586621679792748) !!@#@$$ (l :: TyFun Nat a6989586621679792748)
type (!!@#@$$$) (t :: NonEmpty a6989586621679792748) (t :: Nat) = (!!) t t
data ZipSym0 (l :: TyFun (NonEmpty a6989586621679792746) (TyFun (NonEmpty b6989586621679792747) (NonEmpty (a6989586621679792746, b6989586621679792747)) -> Type))
data ZipSym1 (l :: NonEmpty a6989586621679792746) (l :: TyFun (NonEmpty b6989586621679792747) (NonEmpty (a6989586621679792746, b6989586621679792747)))
type ZipSym2 (t :: NonEmpty a6989586621679792746) (t :: NonEmpty b6989586621679792747) = Zip t t
data ZipWithSym0 (l :: TyFun (TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792743) (TyFun (NonEmpty b6989586621679792744) (NonEmpty c6989586621679792745) -> Type) -> Type))
data ZipWithSym1 (l :: TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679792743) (TyFun (NonEmpty b6989586621679792744) (NonEmpty c6989586621679792745) -> Type))
data ZipWithSym2 (l :: TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) (l :: NonEmpty a6989586621679792743) (l :: TyFun (NonEmpty b6989586621679792744) (NonEmpty c6989586621679792745))
type ZipWithSym3 (t :: TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) (t :: NonEmpty a6989586621679792743) (t :: NonEmpty b6989586621679792744) = ZipWith t t t
data UnzipSym0 (l :: TyFun (NonEmpty (a6989586621679792741, b6989586621679792742)) (NonEmpty a6989586621679792741, NonEmpty b6989586621679792742))
type UnzipSym1 (t :: NonEmpty (a6989586621679792741, b6989586621679792742)) = Unzip t
data FromListSym0 (l :: TyFun [a6989586621679792787] (NonEmpty a6989586621679792787))
type FromListSym1 (t :: [a6989586621679792787]) = FromList t
data ToListSym0 (l :: TyFun (NonEmpty a6989586621679792786) [a6989586621679792786])
type ToListSym1 (t :: NonEmpty a6989586621679792786) = ToList t
data NonEmpty_Sym0 (l :: TyFun [a6989586621679792798] (Maybe (NonEmpty a6989586621679792798)))
type NonEmpty_Sym1 (t :: [a6989586621679792798]) = NonEmpty_ t
data XorSym0 (l :: TyFun (NonEmpty Bool) Bool)
type XorSym1 (t :: NonEmpty Bool) = Xor t

The `NonEmpty` singleton

data family Sing (a :: k) infixr 5 #

The singleton kind-indexed data family.

Instances

SDecide k => TestCoercion (Sing :: k -> *) #
Instance details Defined in Data.Singletons.Decide Methods testCoercion :: Sing a -> Sing b -> Maybe (Coercion a b) #
SDecide k => TestEquality (Sing :: k -> *) #
Instance details Defined in Data.Singletons.Decide Methods testEquality :: Sing a -> Sing b -> Maybe (a :~: b) #
Show (SSymbol s) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SSymbol s -> ShowS # show :: SSymbol s -> String # showList :: [SSymbol s] -> ShowS #
Show (SNat n) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SNat n -> ShowS # show :: SNat n -> String # showList :: [SNat n] -> ShowS #
Eq (Sing a) #
Instance details Defined in Data.Singletons.TypeRepStar Methods (==) :: Sing a -> Sing a -> Bool # (/=) :: Sing a -> Sing a -> Bool #
Ord (Sing a) #
Instance details Defined in Data.Singletons.TypeRepStar Methods compare :: Sing a -> Sing a -> Ordering # (<) :: Sing a -> Sing a -> Bool # (<=) :: Sing a -> Sing a -> Bool # (>) :: Sing a -> Sing a -> Bool # (>=) :: Sing a -> Sing a -> Bool # max :: Sing a -> Sing a -> Sing a # min :: Sing a -> Sing a -> Sing a #
Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing [a]) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
Show (Sing a) #
Instance details Defined in Data.Singletons.TypeRepStar Methods showsPrec :: Int -> Sing a -> ShowS # show :: Sing a -> String # showList :: [Sing a] -> ShowS #
Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing [a]) => Show (Sing z) #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
data Sing (z :: Bool) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: Bool) where SFalse :: Sing False STrue :: Sing True
data Sing (z :: Ordering) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: Ordering) where SLT :: Sing LT SEQ :: Sing EQ SGT :: Sing GT
data Sing (a :: Type) #
Instance details Defined in Data.Singletons.TypeRepStar data Sing (a :: Type) = STypeRep (TypeRep a)
data Sing (n :: Nat) #
Instance details Defined in Data.Singletons.TypeLits.Internal data Sing (n :: Nat) where SNat :: Sing n
data Sing (n :: Symbol) #
Instance details Defined in Data.Singletons.TypeLits.Internal data Sing (n :: Symbol) where SSym :: Sing n
data Sing (z :: ()) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: ()) where STuple0 :: Sing ()
data Sing (z :: Void) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: Void)
data Sing (z :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: [a]) where SNil :: Sing ([] :: [k]) SCons :: Sing (n ': n)
data Sing (z :: Maybe a) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: Maybe a) where SNothing :: Sing (Nothing :: Maybe a) SJust :: Sing (Just n)
data Sing (z :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: NonEmpty a) where (:%\|) :: Sing (n :\| n)
data Sing (z :: Either a b) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: Either a b) where SLeft :: Sing (Left n :: Either a b) SRight :: Sing (Right n :: Either a b)
data Sing (z :: (a, b)) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: (a, b)) where STuple2 :: Sing ((,) n n)
data Sing (f :: k1 ~> k2) #
Instance details Defined in Data.Singletons.Internal data Sing (f :: k1 ~> k2) = SLambda { applySing :: forall (t :: k1). Sing t -> Sing (f @@ t) }
data Sing (z :: (a, b, c)) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: (a, b, c)) where STuple3 :: Sing ((,,) n n n)
data Sing (z :: (a, b, c, d)) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: (a, b, c, d)) where STuple4 :: Sing ((,,,) n n n n)
data Sing (z :: (a, b, c, d, e)) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: (a, b, c, d, e)) where STuple5 :: Sing ((,,,,) n n n n n)
data Sing (z :: (a, b, c, d, e, f)) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: (a, b, c, d, e, f)) where STuple6 :: Sing ((,,,,,) n n n n n n)
data Sing (z :: (a, b, c, d, e, f, g)) #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (z :: (a, b, c, d, e, f, g)) where STuple7 :: Sing ((,,,,,,) n n n n n n n)

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

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

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

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

Non-empty stream transformations

type family Map (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty b where ... #

Equations

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

sMap :: forall (t :: TyFun a b -> Type) (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 ... #

Equations

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

sIntersperse :: forall (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply IntersperseSym0 t) t :: NonEmpty a) #

type family Scanl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: NonEmpty b where ... #

Equations

Scanl f z a_6989586621679794859 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply ListscanlSym0 f) z)) a_6989586621679794859

sScanl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: NonEmpty b) #

type family Scanr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: NonEmpty b where ... #

Equations

Scanr f z a_6989586621679794879 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply ListscanrSym0 f) z)) a_6989586621679794879

sScanr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: NonEmpty b) #

type family Scanl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ... #

Equations

Scanl1 f ((:|) a as) = Apply FromListSym0 (Apply (Apply (Apply ListscanlSym0 f) a) as)

sScanl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: NonEmpty a) #

type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ... #

Equations

Scanr1 f ((:|) a as) = Apply FromListSym0 (Apply (Apply Listscanr1Sym0 f) (Apply (Apply (:@#@$) a) as))

sScanr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (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 ... #

Equations

Transpose a_6989586621679795104 = Apply (Apply (Apply (.@#@$) (Apply FmapSym0 FromListSym0)) (Apply (Apply (.@#@$) FromListSym0) (Apply (Apply (.@#@$) ListtransposeSym0) (Apply (Apply (.@#@$) ToListSym0) (Apply FmapSym0 ToListSym0))))) a_6989586621679795104

sTranspose :: forall (t :: NonEmpty (NonEmpty a)). Sing t -> Sing (Apply TransposeSym0 t :: NonEmpty (NonEmpty a)) #

type family SortBy (a :: TyFun a (TyFun a Ordering -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ... #

Equations

SortBy f a_6989586621679794785 = Apply (Apply LiftSym0 (Apply ListsortBySym0 f)) a_6989586621679794785

sSortBy :: forall (t :: TyFun a (TyFun a Ordering -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SortBySym0 t) t :: NonEmpty a) #

type family SortWith (a :: TyFun a o -> Type) (a :: NonEmpty a) :: NonEmpty a where ... #

Equations

SortWith a_6989586621679794789 a_6989586621679794791 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621679794789) a_6989586621679794791

sSortWith :: forall (t :: TyFun a o -> Type) (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 ... #

Equations

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

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

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

Equations

Head ((:|) a _) = a

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

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

Equations

Tail ((:|) _ as) = as

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

(%<|) :: forall (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 ... #

Equations

Cons a_6989586621679794927 a_6989586621679794929 = Apply (Apply (<|@#@$) a_6989586621679794927) a_6989586621679794929

sCons :: forall (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 ... #

Equations

Uncons ((:|) a as) = Apply (Apply Tuple2Sym0 a) (Apply NonEmpty_Sym0 as)

sUncons :: forall (t :: NonEmpty a). Sing t -> Sing (Apply UnconsSym0 t :: (a, Maybe (NonEmpty a))) #

type family Unfoldr (a :: TyFun a (b, Maybe a) -> Type) (a :: a) :: NonEmpty b where ... #

Equations

Unfoldr f a = Case_6989586621679795016 f a (Let6989586621679795008Scrutinee_6989586621679792976Sym2 f a)

sUnfoldr :: forall (t :: TyFun a (b, Maybe a) -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldrSym0 t) t :: NonEmpty b) #

type family Sort (a :: NonEmpty a) :: NonEmpty a where ... #

Equations

Sort a_6989586621679794908 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621679794908

sSort :: forall (t :: NonEmpty a). SOrd a => Sing t -> Sing (Apply SortSym0 t :: NonEmpty a) #

type family Reverse (a :: NonEmpty a) :: NonEmpty a where ... #

Equations

Reverse a_6989586621679794769 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621679794769

sReverse :: forall (t :: NonEmpty a). Sing t -> Sing (Apply ReverseSym0 t :: NonEmpty a) #

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

Equations

Inits a_6989586621679794817 = Apply (Apply (Apply (.@#@$) FromListSym0) ListinitsSym0) a_6989586621679794817

sInits :: forall (t :: [a]). Sing t -> Sing (Apply InitsSym0 t :: NonEmpty [a]) #

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

Equations

Tails a_6989586621679794824 = Apply (Apply (Apply (.@#@$) FromListSym0) ListtailsSym0) a_6989586621679794824

sTails :: forall (t :: [a]). Sing t -> Sing (Apply TailsSym0 t :: NonEmpty [a]) #

type family Unfold (a :: TyFun a (b, Maybe a) -> Type) (a :: a) :: NonEmpty b where ... #

Equations

Unfold f a = Case_6989586621679795052 f a (Let6989586621679795044Scrutinee_6989586621679792966Sym2 f a)

sUnfold :: forall (t :: TyFun a (b, Maybe a) -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply UnfoldSym0 t) t :: NonEmpty b) #

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

Equations

Insert a a_6989586621679794840 = Apply (Apply (Apply (.@#@$) FromListSym0) (Apply ListinsertSym0 a)) a_6989586621679794840

sInsert :: forall (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 ... #

Equations

Take n a_6989586621679794642 = Apply (Apply (Apply (.@#@$) (Apply ListtakeSym0 n)) ToListSym0) a_6989586621679794642

sTake :: forall (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 ... #

Equations

Drop n a_6989586621679794655 = Apply (Apply (Apply (.@#@$) (Apply ListdropSym0 n)) ToListSym0) a_6989586621679794655

sDrop :: forall (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 ... #

Equations

SplitAt n a_6989586621679794668 = Apply (Apply (Apply (.@#@$) (Apply ListsplitAtSym0 n)) ToListSym0) a_6989586621679794668

sSplitAt :: forall (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a])) #

type family TakeWhile (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: [a] where ... #

Equations

TakeWhile p a_6989586621679794681 = Apply (Apply (Apply (.@#@$) (Apply ListtakeWhileSym0 p)) ToListSym0) a_6989586621679794681

sTakeWhile :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a]) #

type family DropWhile (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: [a] where ... #

Equations

DropWhile p a_6989586621679794694 = Apply (Apply (Apply (.@#@$) (Apply ListdropWhileSym0 p)) ToListSym0) a_6989586621679794694

sDropWhile :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropWhileSym0 t) t :: [a]) #

type family Span (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: ([a], [a]) where ... #

Equations

Span p a_6989586621679794707 = Apply (Apply (Apply (.@#@$) (Apply ListspanSym0 p)) ToListSym0) a_6989586621679794707

sSpan :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a])) #

type family Break (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: ([a], [a]) where ... #

Equations

Break p a_6989586621679794720 = Apply (Apply SpanSym0 (Apply (Apply (.@#@$) NotSym0) p)) a_6989586621679794720

sBreak :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a])) #

type family Filter (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: [a] where ... #

Equations

Filter p a_6989586621679794733 = Apply (Apply (Apply (.@#@$) (Apply ListfilterSym0 p)) ToListSym0) a_6989586621679794733

sFilter :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FilterSym0 t) t :: [a]) #

type family Partition (a :: TyFun a Bool -> Type) (a :: NonEmpty a) :: ([a], [a]) where ... #

Equations

Partition p a_6989586621679794746 = Apply (Apply (Apply (.@#@$) (Apply ListpartitionSym0 p)) ToListSym0) a_6989586621679794746

sPartition :: forall (t :: TyFun a Bool -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply PartitionSym0 t) t :: ([a], [a])) #

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

Equations

Group a_6989586621679794593 = Apply (Apply GroupBySym0 (==@#@$)) a_6989586621679794593

sGroup :: forall (t :: [a]). SEq a => Sing t -> Sing (Apply GroupSym0 t :: [NonEmpty a]) #

type family GroupBy (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: [a]) :: [NonEmpty a] where ... #

Equations

GroupBy eq0 a_6989586621679794366 = Apply (Apply (Let6989586621679794370GoSym2 eq0 a_6989586621679794366) eq0) a_6989586621679794366

sGroupBy :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [NonEmpty a]) #

type family GroupWith (a :: TyFun a b -> Type) (a :: [a]) :: [NonEmpty a] where ... #

Equations

GroupWith f a_6989586621679794493 = Apply (Apply GroupBySym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621679794493

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

type family GroupAllWith (a :: TyFun a b -> Type) (a :: [a]) :: [NonEmpty a] where ... #

Equations

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

sGroupAllWith :: forall (t :: TyFun a b -> Type) (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 ... #

Equations

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

sGroup1 :: forall (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply Group1Sym0 t :: NonEmpty (NonEmpty a)) #

type family GroupBy1 (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... #

Equations

GroupBy1 eq ((:|) x xs) = Apply (Apply (:|@#@$) (Apply (Apply (:|@#@$) x) (Let6989586621679794522YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621679794522ZsSym3 eq x xs))

sGroupBy1 :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply GroupBy1Sym0 t) t :: NonEmpty (NonEmpty a)) #

type family GroupWith1 (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... #

Equations

GroupWith1 f a_6989586621679794589 = Apply (Apply GroupBy1Sym0 (Apply (Apply OnSym0 (==@#@$)) f)) a_6989586621679794589

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

type family GroupAllWith1 (a :: TyFun a b -> Type) (a :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... #

Equations

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

sGroupAllWith1 :: forall (t :: TyFun a b -> Type) (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 ... #

Equations

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

sIsPrefixOf :: forall (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 ... #

Equations

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

sNub :: forall (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply NubSym0 t :: NonEmpty a) #

type family NubBy (a :: TyFun a (TyFun a Bool -> Type) -> Type) (a :: NonEmpty a) :: NonEmpty a where ... #

Equations

NubBy eq ((:|) a as) = Apply (Apply (:|@#@$) a) (Apply (Apply ListnubBySym0 eq) (Apply (Apply ListfilterSym0 (Apply (Apply (Apply Lambda_6989586621679794201Sym0 eq) a) as)) as))

sNubBy :: forall (t :: TyFun a (TyFun a Bool -> Type) -> Type) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply NubBySym0 t) t :: NonEmpty a) #

type family (a :: NonEmpty a) !! (a :: Nat) :: a where ... #

Equations

arg_6989586621679792988 !! arg_6989586621679792990 = Case_6989586621679794332 arg_6989586621679792988 arg_6989586621679792990 (Apply (Apply Tuple2Sym0 arg_6989586621679792988) arg_6989586621679792990)

(%!!) :: forall (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 ... #

Equations

Zip ((:|) x xs) ((:|) y ys) = Apply (Apply (:|@#@$) (Apply (Apply Tuple2Sym0 x) y)) (Apply (Apply ListzipSym0 xs) ys)

sZip :: forall (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: NonEmpty (a, b)) #

type family ZipWith (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: NonEmpty a) (a :: NonEmpty b) :: NonEmpty c where ... #

Equations

ZipWith f ((:|) x xs) ((:|) y ys) = Apply (Apply (:|@#@$) (Apply (Apply f x) y)) (Apply (Apply (Apply ListzipWithSym0 f) xs) ys)

sZipWith :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (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 ... #

Equations

Unzip ((:|) '(a, b) asbs) = Apply (Apply Tuple2Sym0 (Apply (Apply (:|@#@$) a) (Let6989586621679794237AsSym3 a b asbs))) (Apply (Apply (:|@#@$) b) (Let6989586621679794237BsSym3 a b asbs))

sUnzip :: forall (t :: NonEmpty (a, b)). Sing t -> Sing (Apply UnzipSym0 t :: (NonEmpty a, NonEmpty b)) #

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

Equations

FromList ((:) a as) = Apply (Apply (:\|@#@$) a) as
FromList '[] = Apply ErrorSym0 "NonEmpty.fromList: empty list"

sFromList :: forall (t :: [a]). Sing t -> Sing (Apply FromListSym0 t :: NonEmpty a) #

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

Equations

ToList ((:|) a as) = Apply (Apply (:@#@$) a) as

sToList :: forall (t :: NonEmpty a). Sing t -> Sing (Apply ToListSym0 t :: [a]) #

type family NonEmpty_ (a :: [a]) :: Maybe (NonEmpty a) where ... #

Equations

NonEmpty_ '[] = NothingSym0
NonEmpty_ ((:) a as) = Apply JustSym0 (Apply (Apply (:\|@#@$) a) as)

sNonEmpty_ :: forall (t :: [a]). Sing t -> Sing (Apply NonEmpty_Sym0 t :: Maybe (NonEmpty a)) #

type family Xor (a :: NonEmpty Bool) :: Bool where ... #

Equations

Xor ((:|) x xs) = Apply (Apply (Apply FoldrSym0 (Let6989586621679795064Xor'Sym2 x xs)) x) xs

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

Defunctionalization symbols

data (:|@#@$) (l :: TyFun a6989586621679067899 (TyFun [a6989586621679067899] (NonEmpty a6989586621679067899) -> Type)) #

Instances

SuppressUnusedWarnings ((:\|@#@$) :: TyFun a6989586621679067899 (TyFun [a6989586621679067899] (NonEmpty a6989586621679067899) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () #
type Apply ((:\|@#@$) :: TyFun a6989586621679067899 (TyFun [a6989586621679067899] (NonEmpty a6989586621679067899) -> Type) -> *) (l :: a6989586621679067899) #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply ((:\|@#@$) :: TyFun a6989586621679067899 (TyFun [a6989586621679067899] (NonEmpty a6989586621679067899) -> Type) -> *) (l :: a6989586621679067899) = (:\|@#@$$) l

data (l :: a6989586621679067899) :|@#@$$ (l :: TyFun [a6989586621679067899] (NonEmpty a6989586621679067899)) #

Instances

SuppressUnusedWarnings ((:\|@#@$$) :: a6989586621679067899 -> TyFun [a6989586621679067899] (NonEmpty a6989586621679067899) -> *) #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () #
type Apply ((:\|@#@$$) l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply ((:\|@#@$$) l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) = l1 :\| l2

type (:|@#@$$$) (t :: a6989586621679067899) (t :: [a6989586621679067899]) = (:|) t t #

data MapSym0 (l :: TyFun (TyFun a6989586621679792782 b6989586621679792783 -> Type) (TyFun (NonEmpty a6989586621679792782) (NonEmpty b6989586621679792783) -> Type)) #

Instances

SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679792782 b6989586621679792783 -> Type) (TyFun (NonEmpty a6989586621679792782) (NonEmpty b6989586621679792783) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (MapSym0 :: TyFun (TyFun a6989586621679792782 b6989586621679792783 -> Type) (TyFun (NonEmpty a6989586621679792782) (NonEmpty b6989586621679792783) -> Type) -> *) (l :: TyFun a6989586621679792782 b6989586621679792783 -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (MapSym0 :: TyFun (TyFun a6989586621679792782 b6989586621679792783 -> Type) (TyFun (NonEmpty a6989586621679792782) (NonEmpty b6989586621679792783) -> Type) -> *) (l :: TyFun a6989586621679792782 b6989586621679792783 -> Type) = MapSym1 l

data MapSym1 (l :: TyFun a6989586621679792782 b6989586621679792783 -> Type) (l :: TyFun (NonEmpty a6989586621679792782) (NonEmpty b6989586621679792783)) #

Instances

SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679792782 b6989586621679792783 -> Type) -> TyFun (NonEmpty a6989586621679792782) (NonEmpty b6989586621679792783) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (MapSym1 l1 :: TyFun (NonEmpty a) (NonEmpty b) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (MapSym1 l1 :: TyFun (NonEmpty a) (NonEmpty b) -> *) (l2 :: NonEmpty a) = Map l1 l2

type MapSym2 (t :: TyFun a6989586621679792782 b6989586621679792783 -> Type) (t :: NonEmpty a6989586621679792782) = Map t t #

data IntersperseSym0 (l :: TyFun a6989586621679792772 (TyFun (NonEmpty a6989586621679792772) (NonEmpty a6989586621679792772) -> Type)) #

Instances

SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621679792772 (TyFun (NonEmpty a6989586621679792772) (NonEmpty a6989586621679792772) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (IntersperseSym0 :: TyFun a6989586621679792772 (TyFun (NonEmpty a6989586621679792772) (NonEmpty a6989586621679792772) -> Type) -> *) (l :: a6989586621679792772) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IntersperseSym0 :: TyFun a6989586621679792772 (TyFun (NonEmpty a6989586621679792772) (NonEmpty a6989586621679792772) -> Type) -> *) (l :: a6989586621679792772) = IntersperseSym1 l

data IntersperseSym1 (l :: a6989586621679792772) (l :: TyFun (NonEmpty a6989586621679792772) (NonEmpty a6989586621679792772)) #

Instances

SuppressUnusedWarnings (IntersperseSym1 :: a6989586621679792772 -> TyFun (NonEmpty a6989586621679792772) (NonEmpty a6989586621679792772) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (IntersperseSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IntersperseSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Intersperse l1 l2

type IntersperseSym2 (t :: a6989586621679792772) (t :: NonEmpty a6989586621679792772) = Intersperse t t #

data ScanlSym0 (l :: TyFun (TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) (TyFun b6989586621679792777 (TyFun [a6989586621679792778] (NonEmpty b6989586621679792777) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) (TyFun b6989586621679792777 (TyFun [a6989586621679792778] (NonEmpty b6989586621679792777) -> Type) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) (TyFun b6989586621679792777 (TyFun [a6989586621679792778] (NonEmpty b6989586621679792777) -> Type) -> Type) -> *) (l :: TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) (TyFun b6989586621679792777 (TyFun [a6989586621679792778] (NonEmpty b6989586621679792777) -> Type) -> Type) -> *) (l :: TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) = ScanlSym1 l

data ScanlSym1 (l :: TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) (l :: TyFun b6989586621679792777 (TyFun [a6989586621679792778] (NonEmpty b6989586621679792777) -> Type)) #

Instances

SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) -> TyFun b6989586621679792777 (TyFun [a6989586621679792778] (NonEmpty b6989586621679792777) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ScanlSym1 l1 :: TyFun b6989586621679792777 (TyFun [a6989586621679792778] (NonEmpty b6989586621679792777) -> Type) -> *) (l2 :: b6989586621679792777) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym1 l1 :: TyFun b6989586621679792777 (TyFun [a6989586621679792778] (NonEmpty b6989586621679792777) -> Type) -> *) (l2 :: b6989586621679792777) = ScanlSym2 l1 l2

data ScanlSym2 (l :: TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) (l :: b6989586621679792777) (l :: TyFun [a6989586621679792778] (NonEmpty b6989586621679792777)) #

Instances

SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) -> b6989586621679792777 -> TyFun [a6989586621679792778] (NonEmpty b6989586621679792777) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ScanlSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanlSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) = Scanl l1 l2 l3

type ScanlSym3 (t :: TyFun b6989586621679792777 (TyFun a6989586621679792778 b6989586621679792777 -> Type) -> Type) (t :: b6989586621679792777) (t :: [a6989586621679792778]) = Scanl t t t #

data ScanrSym0 (l :: TyFun (TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) (TyFun b6989586621679792776 (TyFun [a6989586621679792775] (NonEmpty b6989586621679792776) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) (TyFun b6989586621679792776 (TyFun [a6989586621679792775] (NonEmpty b6989586621679792776) -> Type) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) (TyFun b6989586621679792776 (TyFun [a6989586621679792775] (NonEmpty b6989586621679792776) -> Type) -> Type) -> *) (l :: TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) (TyFun b6989586621679792776 (TyFun [a6989586621679792775] (NonEmpty b6989586621679792776) -> Type) -> Type) -> *) (l :: TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) = ScanrSym1 l

data ScanrSym1 (l :: TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) (l :: TyFun b6989586621679792776 (TyFun [a6989586621679792775] (NonEmpty b6989586621679792776) -> Type)) #

Instances

SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) -> TyFun b6989586621679792776 (TyFun [a6989586621679792775] (NonEmpty b6989586621679792776) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ScanrSym1 l1 :: TyFun b6989586621679792776 (TyFun [a6989586621679792775] (NonEmpty b6989586621679792776) -> Type) -> *) (l2 :: b6989586621679792776) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym1 l1 :: TyFun b6989586621679792776 (TyFun [a6989586621679792775] (NonEmpty b6989586621679792776) -> Type) -> *) (l2 :: b6989586621679792776) = ScanrSym2 l1 l2

data ScanrSym2 (l :: TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) (l :: b6989586621679792776) (l :: TyFun [a6989586621679792775] (NonEmpty b6989586621679792776)) #

Instances

SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) -> b6989586621679792776 -> TyFun [a6989586621679792775] (NonEmpty b6989586621679792776) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ScanrSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ScanrSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) = Scanr l1 l2 l3

type ScanrSym3 (t :: TyFun a6989586621679792775 (TyFun b6989586621679792776 b6989586621679792776 -> Type) -> Type) (t :: b6989586621679792776) (t :: [a6989586621679792775]) = Scanr t t t #

data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679792774 (TyFun a6989586621679792774 a6989586621679792774 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792774) (NonEmpty a6989586621679792774) -> Type)) #

Instances

SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679792774 (TyFun a6989586621679792774 a6989586621679792774 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792774) (NonEmpty a6989586621679792774) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679792774 (TyFun a6989586621679792774 a6989586621679792774 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792774) (NonEmpty a6989586621679792774) -> Type) -> *) (l :: TyFun a6989586621679792774 (TyFun a6989586621679792774 a6989586621679792774 -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679792774 (TyFun a6989586621679792774 a6989586621679792774 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792774) (NonEmpty a6989586621679792774) -> Type) -> *) (l :: TyFun a6989586621679792774 (TyFun a6989586621679792774 a6989586621679792774 -> Type) -> Type) = Scanl1Sym1 l

data Scanl1Sym1 (l :: TyFun a6989586621679792774 (TyFun a6989586621679792774 a6989586621679792774 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679792774) (NonEmpty a6989586621679792774)) #

Instances

SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679792774 (TyFun a6989586621679792774 a6989586621679792774 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679792774) (NonEmpty a6989586621679792774) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (Scanl1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanl1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Scanl1 l1 l2

type Scanl1Sym2 (t :: TyFun a6989586621679792774 (TyFun a6989586621679792774 a6989586621679792774 -> Type) -> Type) (t :: NonEmpty a6989586621679792774) = Scanl1 t t #

data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679792773 (TyFun a6989586621679792773 a6989586621679792773 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792773) (NonEmpty a6989586621679792773) -> Type)) #

Instances

SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679792773 (TyFun a6989586621679792773 a6989586621679792773 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792773) (NonEmpty a6989586621679792773) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679792773 (TyFun a6989586621679792773 a6989586621679792773 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792773) (NonEmpty a6989586621679792773) -> Type) -> *) (l :: TyFun a6989586621679792773 (TyFun a6989586621679792773 a6989586621679792773 -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679792773 (TyFun a6989586621679792773 a6989586621679792773 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792773) (NonEmpty a6989586621679792773) -> Type) -> *) (l :: TyFun a6989586621679792773 (TyFun a6989586621679792773 a6989586621679792773 -> Type) -> Type) = Scanr1Sym1 l

data Scanr1Sym1 (l :: TyFun a6989586621679792773 (TyFun a6989586621679792773 a6989586621679792773 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679792773) (NonEmpty a6989586621679792773)) #

Instances

SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679792773 (TyFun a6989586621679792773 a6989586621679792773 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679792773) (NonEmpty a6989586621679792773) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (Scanr1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Scanr1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Scanr1 l1 l2

type Scanr1Sym2 (t :: TyFun a6989586621679792773 (TyFun a6989586621679792773 a6989586621679792773 -> Type) -> Type) (t :: NonEmpty a6989586621679792773) = Scanr1 t t #

data TransposeSym0 (l :: TyFun (NonEmpty (NonEmpty a6989586621679792738)) (NonEmpty (NonEmpty a6989586621679792738))) #

Instances

SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621679792738)) (NonEmpty (NonEmpty a6989586621679792738)) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty (NonEmpty a)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty (NonEmpty a)) = Transpose l

type TransposeSym1 (t :: NonEmpty (NonEmpty a6989586621679792738)) = Transpose t #

data SortBySym0 (l :: TyFun (TyFun a6989586621679792737 (TyFun a6989586621679792737 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679792737) (NonEmpty a6989586621679792737) -> Type)) #

Instances

SuppressUnusedWarnings (SortBySym0 :: TyFun (TyFun a6989586621679792737 (TyFun a6989586621679792737 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679792737) (NonEmpty a6989586621679792737) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SortBySym0 :: TyFun (TyFun a6989586621679792737 (TyFun a6989586621679792737 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679792737) (NonEmpty a6989586621679792737) -> Type) -> *) (l :: TyFun a6989586621679792737 (TyFun a6989586621679792737 Ordering -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortBySym0 :: TyFun (TyFun a6989586621679792737 (TyFun a6989586621679792737 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679792737) (NonEmpty a6989586621679792737) -> Type) -> *) (l :: TyFun a6989586621679792737 (TyFun a6989586621679792737 Ordering -> Type) -> Type) = SortBySym1 l

data SortBySym1 (l :: TyFun a6989586621679792737 (TyFun a6989586621679792737 Ordering -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679792737) (NonEmpty a6989586621679792737)) #

Instances

SuppressUnusedWarnings (SortBySym1 :: (TyFun a6989586621679792737 (TyFun a6989586621679792737 Ordering -> Type) -> Type) -> TyFun (NonEmpty a6989586621679792737) (NonEmpty a6989586621679792737) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SortBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = SortBy l1 l2

type SortBySym2 (t :: TyFun a6989586621679792737 (TyFun a6989586621679792737 Ordering -> Type) -> Type) (t :: NonEmpty a6989586621679792737) = SortBy t t #

data SortWithSym0 (l :: TyFun (TyFun a6989586621679792736 o6989586621679792735 -> Type) (TyFun (NonEmpty a6989586621679792736) (NonEmpty a6989586621679792736) -> Type)) #

Instances

SuppressUnusedWarnings (SortWithSym0 :: TyFun (TyFun a6989586621679792736 o6989586621679792735 -> Type) (TyFun (NonEmpty a6989586621679792736) (NonEmpty a6989586621679792736) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SortWithSym0 :: TyFun (TyFun a6989586621679792736 o6989586621679792735 -> Type) (TyFun (NonEmpty a6989586621679792736) (NonEmpty a6989586621679792736) -> Type) -> *) (l :: TyFun a6989586621679792736 o6989586621679792735 -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortWithSym0 :: TyFun (TyFun a6989586621679792736 o6989586621679792735 -> Type) (TyFun (NonEmpty a6989586621679792736) (NonEmpty a6989586621679792736) -> Type) -> *) (l :: TyFun a6989586621679792736 o6989586621679792735 -> Type) = SortWithSym1 l

data SortWithSym1 (l :: TyFun a6989586621679792736 o6989586621679792735 -> Type) (l :: TyFun (NonEmpty a6989586621679792736) (NonEmpty a6989586621679792736)) #

Instances

SuppressUnusedWarnings (SortWithSym1 :: (TyFun a6989586621679792736 o6989586621679792735 -> Type) -> TyFun (NonEmpty a6989586621679792736) (NonEmpty a6989586621679792736) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SortWithSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortWithSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = SortWith l1 l2

type SortWithSym2 (t :: TyFun a6989586621679792736 o6989586621679792735 -> Type) (t :: NonEmpty a6989586621679792736) = SortWith t t #

data LengthSym0 (l :: TyFun (NonEmpty a6989586621679792801) Nat) #

Instances

SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a6989586621679792801) Nat -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> *) (l :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> *) (l :: NonEmpty a) = Length l

type LengthSym1 (t :: NonEmpty a6989586621679792801) = Length t #

data HeadSym0 (l :: TyFun (NonEmpty a6989586621679792794) a6989586621679792794) #

Instances

SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a6989586621679792794) a6989586621679792794 -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) = Head l

type HeadSym1 (t :: NonEmpty a6989586621679792794) = Head t #

data TailSym0 (l :: TyFun (NonEmpty a6989586621679792793) [a6989586621679792793]) #

Instances

SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a6989586621679792793) [a6989586621679792793] -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) = Tail l

type TailSym1 (t :: NonEmpty a6989586621679792793) = Tail t #

data LastSym0 (l :: TyFun (NonEmpty a6989586621679792792) a6989586621679792792) #

Instances

SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a6989586621679792792) a6989586621679792792 -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (LastSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (LastSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) = Last l

type LastSym1 (t :: NonEmpty a6989586621679792792) = Last t #

data InitSym0 (l :: TyFun (NonEmpty a6989586621679792791) [a6989586621679792791]) #

Instances

SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a6989586621679792791) [a6989586621679792791] -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) = Init l

type InitSym1 (t :: NonEmpty a6989586621679792791) = Init t #

data (<|@#@$) (l :: TyFun a6989586621679792790 (TyFun (NonEmpty a6989586621679792790) (NonEmpty a6989586621679792790) -> Type)) #

Instances

SuppressUnusedWarnings ((<\|@#@$) :: TyFun a6989586621679792790 (TyFun (NonEmpty a6989586621679792790) (NonEmpty a6989586621679792790) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply ((<\|@#@$) :: TyFun a6989586621679792790 (TyFun (NonEmpty a6989586621679792790) (NonEmpty a6989586621679792790) -> Type) -> *) (l :: a6989586621679792790) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((<\|@#@$) :: TyFun a6989586621679792790 (TyFun (NonEmpty a6989586621679792790) (NonEmpty a6989586621679792790) -> Type) -> *) (l :: a6989586621679792790) = (<\|@#@$$) l

data (l :: a6989586621679792790) <|@#@$$ (l :: TyFun (NonEmpty a6989586621679792790) (NonEmpty a6989586621679792790)) #

Instances

SuppressUnusedWarnings ((<\|@#@$$) :: a6989586621679792790 -> TyFun (NonEmpty a6989586621679792790) (NonEmpty a6989586621679792790) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply ((<\|@#@$$) l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((<\|@#@$$) l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = l1 <\| l2

type (<|@#@$$$) (t :: a6989586621679792790) (t :: NonEmpty a6989586621679792790) = (<|) t t #

data ConsSym0 (l :: TyFun a6989586621679792789 (TyFun (NonEmpty a6989586621679792789) (NonEmpty a6989586621679792789) -> Type)) #

Instances

SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621679792789 (TyFun (NonEmpty a6989586621679792789) (NonEmpty a6989586621679792789) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ConsSym0 :: TyFun a6989586621679792789 (TyFun (NonEmpty a6989586621679792789) (NonEmpty a6989586621679792789) -> Type) -> *) (l :: a6989586621679792789) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ConsSym0 :: TyFun a6989586621679792789 (TyFun (NonEmpty a6989586621679792789) (NonEmpty a6989586621679792789) -> Type) -> *) (l :: a6989586621679792789) = ConsSym1 l

data ConsSym1 (l :: a6989586621679792789) (l :: TyFun (NonEmpty a6989586621679792789) (NonEmpty a6989586621679792789)) #

Instances

SuppressUnusedWarnings (ConsSym1 :: a6989586621679792789 -> TyFun (NonEmpty a6989586621679792789) (NonEmpty a6989586621679792789) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ConsSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ConsSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Cons l1 l2

type ConsSym2 (t :: a6989586621679792789) (t :: NonEmpty a6989586621679792789) = Cons t t #

data UnconsSym0 (l :: TyFun (NonEmpty a6989586621679792797) (a6989586621679792797, Maybe (NonEmpty a6989586621679792797))) #

Instances

SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621679792797) (a6989586621679792797, Maybe (NonEmpty a6989586621679792797)) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> *) (l :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> *) (l :: NonEmpty a) = Uncons l

type UnconsSym1 (t :: NonEmpty a6989586621679792797) = Uncons t #

data UnfoldrSym0 (l :: TyFun (TyFun a6989586621679792795 (b6989586621679792796, Maybe a6989586621679792795) -> Type) (TyFun a6989586621679792795 (NonEmpty b6989586621679792796) -> Type)) #

Instances

SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (TyFun a6989586621679792795 (b6989586621679792796, Maybe a6989586621679792795) -> Type) (TyFun a6989586621679792795 (NonEmpty b6989586621679792796) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (UnfoldrSym0 :: TyFun (TyFun a6989586621679792795 (b6989586621679792796, Maybe a6989586621679792795) -> Type) (TyFun a6989586621679792795 (NonEmpty b6989586621679792796) -> Type) -> *) (l :: TyFun a6989586621679792795 (b6989586621679792796, Maybe a6989586621679792795) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldrSym0 :: TyFun (TyFun a6989586621679792795 (b6989586621679792796, Maybe a6989586621679792795) -> Type) (TyFun a6989586621679792795 (NonEmpty b6989586621679792796) -> Type) -> *) (l :: TyFun a6989586621679792795 (b6989586621679792796, Maybe a6989586621679792795) -> Type) = UnfoldrSym1 l

data UnfoldrSym1 (l :: TyFun a6989586621679792795 (b6989586621679792796, Maybe a6989586621679792795) -> Type) (l :: TyFun a6989586621679792795 (NonEmpty b6989586621679792796)) #

Instances

SuppressUnusedWarnings (UnfoldrSym1 :: (TyFun a6989586621679792795 (b6989586621679792796, Maybe a6989586621679792795) -> Type) -> TyFun a6989586621679792795 (NonEmpty b6989586621679792796) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (UnfoldrSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldrSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) = Unfoldr l1 l2

type UnfoldrSym2 (t :: TyFun a6989586621679792795 (b6989586621679792796, Maybe a6989586621679792795) -> Type) (t :: a6989586621679792795) = Unfoldr t t #

data SortSym0 (l :: TyFun (NonEmpty a6989586621679792788) (NonEmpty a6989586621679792788)) #

Instances

SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621679792788) (NonEmpty a6989586621679792788) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) = Sort l

type SortSym1 (t :: NonEmpty a6989586621679792788) = Sort t #

data ReverseSym0 (l :: TyFun (NonEmpty a6989586621679792771) (NonEmpty a6989586621679792771)) #

Instances

SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a6989586621679792771) (NonEmpty a6989586621679792771) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) = Reverse l

type ReverseSym1 (t :: NonEmpty a6989586621679792771) = Reverse t #

data InitsSym0 (l :: TyFun [a6989586621679792781] (NonEmpty [a6989586621679792781])) #

Instances

SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621679792781] (NonEmpty [a6989586621679792781]) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) = Inits l

type InitsSym1 (t :: [a6989586621679792781]) = Inits t #

data TailsSym0 (l :: TyFun [a6989586621679792780] (NonEmpty [a6989586621679792780])) #

Instances

SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621679792780] (NonEmpty [a6989586621679792780]) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) = Tails l

type TailsSym1 (t :: [a6989586621679792780]) = Tails t #

data UnfoldSym0 (l :: TyFun (TyFun a6989586621679792799 (b6989586621679792800, Maybe a6989586621679792799) -> Type) (TyFun a6989586621679792799 (NonEmpty b6989586621679792800) -> Type)) #

Instances

SuppressUnusedWarnings (UnfoldSym0 :: TyFun (TyFun a6989586621679792799 (b6989586621679792800, Maybe a6989586621679792799) -> Type) (TyFun a6989586621679792799 (NonEmpty b6989586621679792800) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (UnfoldSym0 :: TyFun (TyFun a6989586621679792799 (b6989586621679792800, Maybe a6989586621679792799) -> Type) (TyFun a6989586621679792799 (NonEmpty b6989586621679792800) -> Type) -> *) (l :: TyFun a6989586621679792799 (b6989586621679792800, Maybe a6989586621679792799) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldSym0 :: TyFun (TyFun a6989586621679792799 (b6989586621679792800, Maybe a6989586621679792799) -> Type) (TyFun a6989586621679792799 (NonEmpty b6989586621679792800) -> Type) -> *) (l :: TyFun a6989586621679792799 (b6989586621679792800, Maybe a6989586621679792799) -> Type) = UnfoldSym1 l

data UnfoldSym1 (l :: TyFun a6989586621679792799 (b6989586621679792800, Maybe a6989586621679792799) -> Type) (l :: TyFun a6989586621679792799 (NonEmpty b6989586621679792800)) #

Instances

SuppressUnusedWarnings (UnfoldSym1 :: (TyFun a6989586621679792799 (b6989586621679792800, Maybe a6989586621679792799) -> Type) -> TyFun a6989586621679792799 (NonEmpty b6989586621679792800) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (UnfoldSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnfoldSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) = Unfold l1 l2

data InsertSym0 (l :: TyFun a6989586621679792779 (TyFun [a6989586621679792779] (NonEmpty a6989586621679792779) -> Type)) #

Instances

SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621679792779 (TyFun [a6989586621679792779] (NonEmpty a6989586621679792779) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (InsertSym0 :: TyFun a6989586621679792779 (TyFun [a6989586621679792779] (NonEmpty a6989586621679792779) -> Type) -> *) (l :: a6989586621679792779) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InsertSym0 :: TyFun a6989586621679792779 (TyFun [a6989586621679792779] (NonEmpty a6989586621679792779) -> Type) -> *) (l :: a6989586621679792779) = InsertSym1 l

data InsertSym1 (l :: a6989586621679792779) (l :: TyFun [a6989586621679792779] (NonEmpty a6989586621679792779)) #

Instances

SuppressUnusedWarnings (InsertSym1 :: a6989586621679792779 -> TyFun [a6989586621679792779] (NonEmpty a6989586621679792779) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (InsertSym1 l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (InsertSym1 l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) = Insert l1 l2

type InsertSym2 (t :: a6989586621679792779) (t :: [a6989586621679792779]) = Insert t t #

data TakeSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679792770) [a6989586621679792770] -> Type)) #

Instances

SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679792770) [a6989586621679792770] -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679792770) [a6989586621679792770] -> Type) -> *) (l :: Nat) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679792770) [a6989586621679792770] -> Type) -> ) (l :: Nat) = (TakeSym1 l :: TyFun (NonEmpty a6989586621679792770) [a6989586621679792770] -> )

data TakeSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679792770) [a6989586621679792770]) #

Instances

SuppressUnusedWarnings (TakeSym1 :: Nat -> TyFun (NonEmpty a6989586621679792770) [a6989586621679792770] -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TakeSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = Take l1 l2

type TakeSym2 (t :: Nat) (t :: NonEmpty a6989586621679792770) = Take t t #

data DropSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679792769) [a6989586621679792769] -> Type)) #

Instances

SuppressUnusedWarnings (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679792769) [a6989586621679792769] -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679792769) [a6989586621679792769] -> Type) -> *) (l :: Nat) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679792769) [a6989586621679792769] -> Type) -> ) (l :: Nat) = (DropSym1 l :: TyFun (NonEmpty a6989586621679792769) [a6989586621679792769] -> )

data DropSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679792769) [a6989586621679792769]) #

Instances

SuppressUnusedWarnings (DropSym1 :: Nat -> TyFun (NonEmpty a6989586621679792769) [a6989586621679792769] -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (DropSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = Drop l1 l2

type DropSym2 (t :: Nat) (t :: NonEmpty a6989586621679792769) = Drop t t #

data SplitAtSym0 (l :: TyFun Nat (TyFun (NonEmpty a6989586621679792768) ([a6989586621679792768], [a6989586621679792768]) -> Type)) #

Instances

SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679792768) ([a6989586621679792768], [a6989586621679792768]) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679792768) ([a6989586621679792768], [a6989586621679792768]) -> Type) -> *) (l :: Nat) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679792768) ([a6989586621679792768], [a6989586621679792768]) -> Type) -> ) (l :: Nat) = (SplitAtSym1 l :: TyFun (NonEmpty a6989586621679792768) ([a6989586621679792768], [a6989586621679792768]) -> )

data SplitAtSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679792768) ([a6989586621679792768], [a6989586621679792768])) #

Instances

SuppressUnusedWarnings (SplitAtSym1 :: Nat -> TyFun (NonEmpty a6989586621679792768) ([a6989586621679792768], [a6989586621679792768]) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SplitAtSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SplitAtSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = SplitAt l1 l2

type SplitAtSym2 (t :: Nat) (t :: NonEmpty a6989586621679792768) = SplitAt t t #

data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679792767 Bool -> Type) (TyFun (NonEmpty a6989586621679792767) [a6989586621679792767] -> Type)) #

Instances

SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (TyFun a6989586621679792767 Bool -> Type) (TyFun (NonEmpty a6989586621679792767) [a6989586621679792767] -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679792767 Bool -> Type) (TyFun (NonEmpty a6989586621679792767) [a6989586621679792767] -> Type) -> *) (l :: TyFun a6989586621679792767 Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679792767 Bool -> Type) (TyFun (NonEmpty a6989586621679792767) [a6989586621679792767] -> Type) -> *) (l :: TyFun a6989586621679792767 Bool -> Type) = TakeWhileSym1 l

data TakeWhileSym1 (l :: TyFun a6989586621679792767 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679792767) [a6989586621679792767]) #

Instances

SuppressUnusedWarnings (TakeWhileSym1 :: (TyFun a6989586621679792767 Bool -> Type) -> TyFun (NonEmpty a6989586621679792767) [a6989586621679792767] -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (TakeWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (TakeWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = TakeWhile l1 l2

type TakeWhileSym2 (t :: TyFun a6989586621679792767 Bool -> Type) (t :: NonEmpty a6989586621679792767) = TakeWhile t t #

data DropWhileSym0 (l :: TyFun (TyFun a6989586621679792766 Bool -> Type) (TyFun (NonEmpty a6989586621679792766) [a6989586621679792766] -> Type)) #

Instances

SuppressUnusedWarnings (DropWhileSym0 :: TyFun (TyFun a6989586621679792766 Bool -> Type) (TyFun (NonEmpty a6989586621679792766) [a6989586621679792766] -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679792766 Bool -> Type) (TyFun (NonEmpty a6989586621679792766) [a6989586621679792766] -> Type) -> *) (l :: TyFun a6989586621679792766 Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679792766 Bool -> Type) (TyFun (NonEmpty a6989586621679792766) [a6989586621679792766] -> Type) -> *) (l :: TyFun a6989586621679792766 Bool -> Type) = DropWhileSym1 l

data DropWhileSym1 (l :: TyFun a6989586621679792766 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679792766) [a6989586621679792766]) #

Instances

SuppressUnusedWarnings (DropWhileSym1 :: (TyFun a6989586621679792766 Bool -> Type) -> TyFun (NonEmpty a6989586621679792766) [a6989586621679792766] -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (DropWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (DropWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = DropWhile l1 l2

type DropWhileSym2 (t :: TyFun a6989586621679792766 Bool -> Type) (t :: NonEmpty a6989586621679792766) = DropWhile t t #

data SpanSym0 (l :: TyFun (TyFun a6989586621679792765 Bool -> Type) (TyFun (NonEmpty a6989586621679792765) ([a6989586621679792765], [a6989586621679792765]) -> Type)) #

Instances

SuppressUnusedWarnings (SpanSym0 :: TyFun (TyFun a6989586621679792765 Bool -> Type) (TyFun (NonEmpty a6989586621679792765) ([a6989586621679792765], [a6989586621679792765]) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SpanSym0 :: TyFun (TyFun a6989586621679792765 Bool -> Type) (TyFun (NonEmpty a6989586621679792765) ([a6989586621679792765], [a6989586621679792765]) -> Type) -> *) (l :: TyFun a6989586621679792765 Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SpanSym0 :: TyFun (TyFun a6989586621679792765 Bool -> Type) (TyFun (NonEmpty a6989586621679792765) ([a6989586621679792765], [a6989586621679792765]) -> Type) -> *) (l :: TyFun a6989586621679792765 Bool -> Type) = SpanSym1 l

data SpanSym1 (l :: TyFun a6989586621679792765 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679792765) ([a6989586621679792765], [a6989586621679792765])) #

Instances

SuppressUnusedWarnings (SpanSym1 :: (TyFun a6989586621679792765 Bool -> Type) -> TyFun (NonEmpty a6989586621679792765) ([a6989586621679792765], [a6989586621679792765]) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (SpanSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (SpanSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = Span l1 l2

type SpanSym2 (t :: TyFun a6989586621679792765 Bool -> Type) (t :: NonEmpty a6989586621679792765) = Span t t #

data BreakSym0 (l :: TyFun (TyFun a6989586621679792764 Bool -> Type) (TyFun (NonEmpty a6989586621679792764) ([a6989586621679792764], [a6989586621679792764]) -> Type)) #

Instances

SuppressUnusedWarnings (BreakSym0 :: TyFun (TyFun a6989586621679792764 Bool -> Type) (TyFun (NonEmpty a6989586621679792764) ([a6989586621679792764], [a6989586621679792764]) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (BreakSym0 :: TyFun (TyFun a6989586621679792764 Bool -> Type) (TyFun (NonEmpty a6989586621679792764) ([a6989586621679792764], [a6989586621679792764]) -> Type) -> *) (l :: TyFun a6989586621679792764 Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (BreakSym0 :: TyFun (TyFun a6989586621679792764 Bool -> Type) (TyFun (NonEmpty a6989586621679792764) ([a6989586621679792764], [a6989586621679792764]) -> Type) -> *) (l :: TyFun a6989586621679792764 Bool -> Type) = BreakSym1 l

data BreakSym1 (l :: TyFun a6989586621679792764 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679792764) ([a6989586621679792764], [a6989586621679792764])) #

Instances

SuppressUnusedWarnings (BreakSym1 :: (TyFun a6989586621679792764 Bool -> Type) -> TyFun (NonEmpty a6989586621679792764) ([a6989586621679792764], [a6989586621679792764]) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (BreakSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (BreakSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = Break l1 l2

type BreakSym2 (t :: TyFun a6989586621679792764 Bool -> Type) (t :: NonEmpty a6989586621679792764) = Break t t #

data FilterSym0 (l :: TyFun (TyFun a6989586621679792763 Bool -> Type) (TyFun (NonEmpty a6989586621679792763) [a6989586621679792763] -> Type)) #

Instances

SuppressUnusedWarnings (FilterSym0 :: TyFun (TyFun a6989586621679792763 Bool -> Type) (TyFun (NonEmpty a6989586621679792763) [a6989586621679792763] -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (FilterSym0 :: TyFun (TyFun a6989586621679792763 Bool -> Type) (TyFun (NonEmpty a6989586621679792763) [a6989586621679792763] -> Type) -> *) (l :: TyFun a6989586621679792763 Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (FilterSym0 :: TyFun (TyFun a6989586621679792763 Bool -> Type) (TyFun (NonEmpty a6989586621679792763) [a6989586621679792763] -> Type) -> *) (l :: TyFun a6989586621679792763 Bool -> Type) = FilterSym1 l

data FilterSym1 (l :: TyFun a6989586621679792763 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679792763) [a6989586621679792763]) #

Instances

SuppressUnusedWarnings (FilterSym1 :: (TyFun a6989586621679792763 Bool -> Type) -> TyFun (NonEmpty a6989586621679792763) [a6989586621679792763] -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (FilterSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (FilterSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = Filter l1 l2

type FilterSym2 (t :: TyFun a6989586621679792763 Bool -> Type) (t :: NonEmpty a6989586621679792763) = Filter t t #

data PartitionSym0 (l :: TyFun (TyFun a6989586621679792762 Bool -> Type) (TyFun (NonEmpty a6989586621679792762) ([a6989586621679792762], [a6989586621679792762]) -> Type)) #

Instances

SuppressUnusedWarnings (PartitionSym0 :: TyFun (TyFun a6989586621679792762 Bool -> Type) (TyFun (NonEmpty a6989586621679792762) ([a6989586621679792762], [a6989586621679792762]) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (PartitionSym0 :: TyFun (TyFun a6989586621679792762 Bool -> Type) (TyFun (NonEmpty a6989586621679792762) ([a6989586621679792762], [a6989586621679792762]) -> Type) -> *) (l :: TyFun a6989586621679792762 Bool -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (PartitionSym0 :: TyFun (TyFun a6989586621679792762 Bool -> Type) (TyFun (NonEmpty a6989586621679792762) ([a6989586621679792762], [a6989586621679792762]) -> Type) -> *) (l :: TyFun a6989586621679792762 Bool -> Type) = PartitionSym1 l

data PartitionSym1 (l :: TyFun a6989586621679792762 Bool -> Type) (l :: TyFun (NonEmpty a6989586621679792762) ([a6989586621679792762], [a6989586621679792762])) #

Instances

SuppressUnusedWarnings (PartitionSym1 :: (TyFun a6989586621679792762 Bool -> Type) -> TyFun (NonEmpty a6989586621679792762) ([a6989586621679792762], [a6989586621679792762]) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (PartitionSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (PartitionSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = Partition l1 l2

type PartitionSym2 (t :: TyFun a6989586621679792762 Bool -> Type) (t :: NonEmpty a6989586621679792762) = Partition t t #

data GroupSym0 (l :: TyFun [a6989586621679792761] [NonEmpty a6989586621679792761]) #

Instances

SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621679792761] [NonEmpty a6989586621679792761] -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> *) (l :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> *) (l :: [a]) = Group l

type GroupSym1 (t :: [a6989586621679792761]) = Group t #

data GroupBySym0 (l :: TyFun (TyFun a6989586621679792760 (TyFun a6989586621679792760 Bool -> Type) -> Type) (TyFun [a6989586621679792760] [NonEmpty a6989586621679792760] -> Type)) #

Instances

SuppressUnusedWarnings (GroupBySym0 :: TyFun (TyFun a6989586621679792760 (TyFun a6989586621679792760 Bool -> Type) -> Type) (TyFun [a6989586621679792760] [NonEmpty a6989586621679792760] -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupBySym0 :: TyFun (TyFun a6989586621679792760 (TyFun a6989586621679792760 Bool -> Type) -> Type) (TyFun [a6989586621679792760] [NonEmpty a6989586621679792760] -> Type) -> *) (l :: TyFun a6989586621679792760 (TyFun a6989586621679792760 Bool -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBySym0 :: TyFun (TyFun a6989586621679792760 (TyFun a6989586621679792760 Bool -> Type) -> Type) (TyFun [a6989586621679792760] [NonEmpty a6989586621679792760] -> Type) -> *) (l :: TyFun a6989586621679792760 (TyFun a6989586621679792760 Bool -> Type) -> Type) = GroupBySym1 l

data GroupBySym1 (l :: TyFun a6989586621679792760 (TyFun a6989586621679792760 Bool -> Type) -> Type) (l :: TyFun [a6989586621679792760] [NonEmpty a6989586621679792760]) #

Instances

SuppressUnusedWarnings (GroupBySym1 :: (TyFun a6989586621679792760 (TyFun a6989586621679792760 Bool -> Type) -> Type) -> TyFun [a6989586621679792760] [NonEmpty a6989586621679792760] -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupBySym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBySym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) = GroupBy l1 l2

type GroupBySym2 (t :: TyFun a6989586621679792760 (TyFun a6989586621679792760 Bool -> Type) -> Type) (t :: [a6989586621679792760]) = GroupBy t t #

data GroupWithSym0 (l :: TyFun (TyFun a6989586621679792759 b6989586621679792758 -> Type) (TyFun [a6989586621679792759] [NonEmpty a6989586621679792759] -> Type)) #

Instances

SuppressUnusedWarnings (GroupWithSym0 :: TyFun (TyFun a6989586621679792759 b6989586621679792758 -> Type) (TyFun [a6989586621679792759] [NonEmpty a6989586621679792759] -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupWithSym0 :: TyFun (TyFun a6989586621679792759 b6989586621679792758 -> Type) (TyFun [a6989586621679792759] [NonEmpty a6989586621679792759] -> Type) -> *) (l :: TyFun a6989586621679792759 b6989586621679792758 -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWithSym0 :: TyFun (TyFun a6989586621679792759 b6989586621679792758 -> Type) (TyFun [a6989586621679792759] [NonEmpty a6989586621679792759] -> Type) -> *) (l :: TyFun a6989586621679792759 b6989586621679792758 -> Type) = GroupWithSym1 l

data GroupWithSym1 (l :: TyFun a6989586621679792759 b6989586621679792758 -> Type) (l :: TyFun [a6989586621679792759] [NonEmpty a6989586621679792759]) #

Instances

SuppressUnusedWarnings (GroupWithSym1 :: (TyFun a6989586621679792759 b6989586621679792758 -> Type) -> TyFun [a6989586621679792759] [NonEmpty a6989586621679792759] -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) = GroupWith l1 l2

type GroupWithSym2 (t :: TyFun a6989586621679792759 b6989586621679792758 -> Type) (t :: [a6989586621679792759]) = GroupWith t t #

data GroupAllWithSym0 (l :: TyFun (TyFun a6989586621679792757 b6989586621679792756 -> Type) (TyFun [a6989586621679792757] [NonEmpty a6989586621679792757] -> Type)) #

Instances

SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (TyFun a6989586621679792757 b6989586621679792756 -> Type) (TyFun [a6989586621679792757] [NonEmpty a6989586621679792757] -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupAllWithSym0 :: TyFun (TyFun a6989586621679792757 b6989586621679792756 -> Type) (TyFun [a6989586621679792757] [NonEmpty a6989586621679792757] -> Type) -> *) (l :: TyFun a6989586621679792757 b6989586621679792756 -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWithSym0 :: TyFun (TyFun a6989586621679792757 b6989586621679792756 -> Type) (TyFun [a6989586621679792757] [NonEmpty a6989586621679792757] -> Type) -> *) (l :: TyFun a6989586621679792757 b6989586621679792756 -> Type) = GroupAllWithSym1 l

data GroupAllWithSym1 (l :: TyFun a6989586621679792757 b6989586621679792756 -> Type) (l :: TyFun [a6989586621679792757] [NonEmpty a6989586621679792757]) #

Instances

SuppressUnusedWarnings (GroupAllWithSym1 :: (TyFun a6989586621679792757 b6989586621679792756 -> Type) -> TyFun [a6989586621679792757] [NonEmpty a6989586621679792757] -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupAllWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) = GroupAllWith l1 l2

type GroupAllWithSym2 (t :: TyFun a6989586621679792757 b6989586621679792756 -> Type) (t :: [a6989586621679792757]) = GroupAllWith t t #

data Group1Sym0 (l :: TyFun (NonEmpty a6989586621679792755) (NonEmpty (NonEmpty a6989586621679792755))) #

Instances

SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a6989586621679792755) (NonEmpty (NonEmpty a6989586621679792755)) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty a) = Group1 l

type Group1Sym1 (t :: NonEmpty a6989586621679792755) = Group1 t #

data GroupBy1Sym0 (l :: TyFun (TyFun a6989586621679792754 (TyFun a6989586621679792754 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679792754) (NonEmpty (NonEmpty a6989586621679792754)) -> Type)) #

Instances

SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (TyFun a6989586621679792754 (TyFun a6989586621679792754 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679792754) (NonEmpty (NonEmpty a6989586621679792754)) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupBy1Sym0 :: TyFun (TyFun a6989586621679792754 (TyFun a6989586621679792754 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679792754) (NonEmpty (NonEmpty a6989586621679792754)) -> Type) -> *) (l :: TyFun a6989586621679792754 (TyFun a6989586621679792754 Bool -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBy1Sym0 :: TyFun (TyFun a6989586621679792754 (TyFun a6989586621679792754 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679792754) (NonEmpty (NonEmpty a6989586621679792754)) -> Type) -> *) (l :: TyFun a6989586621679792754 (TyFun a6989586621679792754 Bool -> Type) -> Type) = GroupBy1Sym1 l

data GroupBy1Sym1 (l :: TyFun a6989586621679792754 (TyFun a6989586621679792754 Bool -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679792754) (NonEmpty (NonEmpty a6989586621679792754))) #

Instances

SuppressUnusedWarnings (GroupBy1Sym1 :: (TyFun a6989586621679792754 (TyFun a6989586621679792754 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679792754) (NonEmpty (NonEmpty a6989586621679792754)) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupBy1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupBy1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupBy1 l1 l2

type GroupBy1Sym2 (t :: TyFun a6989586621679792754 (TyFun a6989586621679792754 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679792754) = GroupBy1 t t #

data GroupWith1Sym0 (l :: TyFun (TyFun a6989586621679792753 b6989586621679792752 -> Type) (TyFun (NonEmpty a6989586621679792753) (NonEmpty (NonEmpty a6989586621679792753)) -> Type)) #

Instances

SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (TyFun a6989586621679792753 b6989586621679792752 -> Type) (TyFun (NonEmpty a6989586621679792753) (NonEmpty (NonEmpty a6989586621679792753)) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupWith1Sym0 :: TyFun (TyFun a6989586621679792753 b6989586621679792752 -> Type) (TyFun (NonEmpty a6989586621679792753) (NonEmpty (NonEmpty a6989586621679792753)) -> Type) -> *) (l :: TyFun a6989586621679792753 b6989586621679792752 -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWith1Sym0 :: TyFun (TyFun a6989586621679792753 b6989586621679792752 -> Type) (TyFun (NonEmpty a6989586621679792753) (NonEmpty (NonEmpty a6989586621679792753)) -> Type) -> *) (l :: TyFun a6989586621679792753 b6989586621679792752 -> Type) = GroupWith1Sym1 l

data GroupWith1Sym1 (l :: TyFun a6989586621679792753 b6989586621679792752 -> Type) (l :: TyFun (NonEmpty a6989586621679792753) (NonEmpty (NonEmpty a6989586621679792753))) #

Instances

SuppressUnusedWarnings (GroupWith1Sym1 :: (TyFun a6989586621679792753 b6989586621679792752 -> Type) -> TyFun (NonEmpty a6989586621679792753) (NonEmpty (NonEmpty a6989586621679792753)) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupWith1 l1 l2

type GroupWith1Sym2 (t :: TyFun a6989586621679792753 b6989586621679792752 -> Type) (t :: NonEmpty a6989586621679792753) = GroupWith1 t t #

data GroupAllWith1Sym0 (l :: TyFun (TyFun a6989586621679792751 b6989586621679792750 -> Type) (TyFun (NonEmpty a6989586621679792751) (NonEmpty (NonEmpty a6989586621679792751)) -> Type)) #

Instances

SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679792751 b6989586621679792750 -> Type) (TyFun (NonEmpty a6989586621679792751) (NonEmpty (NonEmpty a6989586621679792751)) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679792751 b6989586621679792750 -> Type) (TyFun (NonEmpty a6989586621679792751) (NonEmpty (NonEmpty a6989586621679792751)) -> Type) -> *) (l :: TyFun a6989586621679792751 b6989586621679792750 -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679792751 b6989586621679792750 -> Type) (TyFun (NonEmpty a6989586621679792751) (NonEmpty (NonEmpty a6989586621679792751)) -> Type) -> *) (l :: TyFun a6989586621679792751 b6989586621679792750 -> Type) = GroupAllWith1Sym1 l

data GroupAllWith1Sym1 (l :: TyFun a6989586621679792751 b6989586621679792750 -> Type) (l :: TyFun (NonEmpty a6989586621679792751) (NonEmpty (NonEmpty a6989586621679792751))) #

Instances

SuppressUnusedWarnings (GroupAllWith1Sym1 :: (TyFun a6989586621679792751 b6989586621679792750 -> Type) -> TyFun (NonEmpty a6989586621679792751) (NonEmpty (NonEmpty a6989586621679792751)) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (GroupAllWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (GroupAllWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupAllWith1 l1 l2

type GroupAllWith1Sym2 (t :: TyFun a6989586621679792751 b6989586621679792750 -> Type) (t :: NonEmpty a6989586621679792751) = GroupAllWith1 t t #

data IsPrefixOfSym0 (l :: TyFun [a6989586621679792749] (TyFun (NonEmpty a6989586621679792749) Bool -> Type)) #

Instances

SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679792749] (TyFun (NonEmpty a6989586621679792749) Bool -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679792749] (TyFun (NonEmpty a6989586621679792749) Bool -> Type) -> *) (l :: [a6989586621679792749]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679792749] (TyFun (NonEmpty a6989586621679792749) Bool -> Type) -> *) (l :: [a6989586621679792749]) = IsPrefixOfSym1 l

data IsPrefixOfSym1 (l :: [a6989586621679792749]) (l :: TyFun (NonEmpty a6989586621679792749) Bool) #

Instances

SuppressUnusedWarnings (IsPrefixOfSym1 :: [a6989586621679792749] -> TyFun (NonEmpty a6989586621679792749) Bool -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (IsPrefixOfSym1 l1 :: TyFun (NonEmpty a) Bool -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (IsPrefixOfSym1 l1 :: TyFun (NonEmpty a) Bool -> *) (l2 :: NonEmpty a) = IsPrefixOf l1 l2

type IsPrefixOfSym2 (t :: [a6989586621679792749]) (t :: NonEmpty a6989586621679792749) = IsPrefixOf t t #

data NubSym0 (l :: TyFun (NonEmpty a6989586621679792740) (NonEmpty a6989586621679792740)) #

Instances

SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621679792740) (NonEmpty a6989586621679792740) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) = Nub l

type NubSym1 (t :: NonEmpty a6989586621679792740) = Nub t #

data NubBySym0 (l :: TyFun (TyFun a6989586621679792739 (TyFun a6989586621679792739 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679792739) (NonEmpty a6989586621679792739) -> Type)) #

Instances

SuppressUnusedWarnings (NubBySym0 :: TyFun (TyFun a6989586621679792739 (TyFun a6989586621679792739 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679792739) (NonEmpty a6989586621679792739) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (NubBySym0 :: TyFun (TyFun a6989586621679792739 (TyFun a6989586621679792739 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679792739) (NonEmpty a6989586621679792739) -> Type) -> *) (l :: TyFun a6989586621679792739 (TyFun a6989586621679792739 Bool -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NubBySym0 :: TyFun (TyFun a6989586621679792739 (TyFun a6989586621679792739 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679792739) (NonEmpty a6989586621679792739) -> Type) -> *) (l :: TyFun a6989586621679792739 (TyFun a6989586621679792739 Bool -> Type) -> Type) = NubBySym1 l

data NubBySym1 (l :: TyFun a6989586621679792739 (TyFun a6989586621679792739 Bool -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679792739) (NonEmpty a6989586621679792739)) #

Instances

SuppressUnusedWarnings (NubBySym1 :: (TyFun a6989586621679792739 (TyFun a6989586621679792739 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679792739) (NonEmpty a6989586621679792739) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (NubBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NubBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = NubBy l1 l2

type NubBySym2 (t :: TyFun a6989586621679792739 (TyFun a6989586621679792739 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679792739) = NubBy t t #

data (!!@#@$) (l :: TyFun (NonEmpty a6989586621679792748) (TyFun Nat a6989586621679792748 -> Type)) #

Instances

SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a6989586621679792748) (TyFun Nat a6989586621679792748 -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621679792748) (TyFun Nat a6989586621679792748 -> Type) -> *) (l :: NonEmpty a6989586621679792748) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621679792748) (TyFun Nat a6989586621679792748 -> Type) -> *) (l :: NonEmpty a6989586621679792748) = (!!@#@$$) l

data (l :: NonEmpty a6989586621679792748) !!@#@$$ (l :: TyFun Nat a6989586621679792748) #

Instances

SuppressUnusedWarnings ((!!@#@$$) :: NonEmpty a6989586621679792748 -> TyFun Nat a6989586621679792748 -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply ((!!@#@$$) l1 :: TyFun Nat a -> *) (l2 :: Nat) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((!!@#@$$) l1 :: TyFun Nat a -> *) (l2 :: Nat) = l1 !! l2

type (!!@#@$$$) (t :: NonEmpty a6989586621679792748) (t :: Nat) = (!!) t t #

data ZipSym0 (l :: TyFun (NonEmpty a6989586621679792746) (TyFun (NonEmpty b6989586621679792747) (NonEmpty (a6989586621679792746, b6989586621679792747)) -> Type)) #

Instances

SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621679792746) (TyFun (NonEmpty b6989586621679792747) (NonEmpty (a6989586621679792746, b6989586621679792747)) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621679792746) (TyFun (NonEmpty b6989586621679792747) (NonEmpty (a6989586621679792746, b6989586621679792747)) -> Type) -> *) (l :: NonEmpty a6989586621679792746) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621679792746) (TyFun (NonEmpty b6989586621679792747) (NonEmpty (a6989586621679792746, b6989586621679792747)) -> Type) -> ) (l :: NonEmpty a6989586621679792746) = (ZipSym1 l :: TyFun (NonEmpty b6989586621679792747) (NonEmpty (a6989586621679792746, b6989586621679792747)) -> )

data ZipSym1 (l :: NonEmpty a6989586621679792746) (l :: TyFun (NonEmpty b6989586621679792747) (NonEmpty (a6989586621679792746, b6989586621679792747))) #

Instances

SuppressUnusedWarnings (ZipSym1 :: NonEmpty a6989586621679792746 -> TyFun (NonEmpty b6989586621679792747) (NonEmpty (a6989586621679792746, b6989586621679792747)) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ZipSym1 l1 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> *) (l2 :: NonEmpty b) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipSym1 l1 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> *) (l2 :: NonEmpty b) = Zip l1 l2

type ZipSym2 (t :: NonEmpty a6989586621679792746) (t :: NonEmpty b6989586621679792747) = Zip t t #

data ZipWithSym0 (l :: TyFun (TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792743) (TyFun (NonEmpty b6989586621679792744) (NonEmpty c6989586621679792745) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792743) (TyFun (NonEmpty b6989586621679792744) (NonEmpty c6989586621679792745) -> Type) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792743) (TyFun (NonEmpty b6989586621679792744) (NonEmpty c6989586621679792745) -> Type) -> Type) -> *) (l :: TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) (TyFun (NonEmpty a6989586621679792743) (TyFun (NonEmpty b6989586621679792744) (NonEmpty c6989586621679792745) -> Type) -> Type) -> *) (l :: TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) = ZipWithSym1 l

data ZipWithSym1 (l :: TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679792743) (TyFun (NonEmpty b6989586621679792744) (NonEmpty c6989586621679792745) -> Type)) #

Instances

SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679792743) (TyFun (NonEmpty b6989586621679792744) (NonEmpty c6989586621679792745) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ZipWithSym1 l1 :: TyFun (NonEmpty a6989586621679792743) (TyFun (NonEmpty b6989586621679792744) (NonEmpty c6989586621679792745) -> Type) -> *) (l2 :: NonEmpty a6989586621679792743) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym1 l1 :: TyFun (NonEmpty a6989586621679792743) (TyFun (NonEmpty b6989586621679792744) (NonEmpty c6989586621679792745) -> Type) -> *) (l2 :: NonEmpty a6989586621679792743) = ZipWithSym2 l1 l2

data ZipWithSym2 (l :: TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) (l :: NonEmpty a6989586621679792743) (l :: TyFun (NonEmpty b6989586621679792744) (NonEmpty c6989586621679792745)) #

Instances

SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) -> NonEmpty a6989586621679792743 -> TyFun (NonEmpty b6989586621679792744) (NonEmpty c6989586621679792745) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ZipWithSym2 l1 l2 :: TyFun (NonEmpty b) (NonEmpty c) -> *) (l3 :: NonEmpty b) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ZipWithSym2 l1 l2 :: TyFun (NonEmpty b) (NonEmpty c) -> *) (l3 :: NonEmpty b) = ZipWith l1 l2 l3

type ZipWithSym3 (t :: TyFun a6989586621679792743 (TyFun b6989586621679792744 c6989586621679792745 -> Type) -> Type) (t :: NonEmpty a6989586621679792743) (t :: NonEmpty b6989586621679792744) = ZipWith t t t #

data UnzipSym0 (l :: TyFun (NonEmpty (a6989586621679792741, b6989586621679792742)) (NonEmpty a6989586621679792741, NonEmpty b6989586621679792742)) #

Instances

SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621679792741, b6989586621679792742)) (NonEmpty a6989586621679792741, NonEmpty b6989586621679792742) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> *) (l :: NonEmpty (a, b)) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> *) (l :: NonEmpty (a, b)) = Unzip l

type UnzipSym1 (t :: NonEmpty (a6989586621679792741, b6989586621679792742)) = Unzip t #

data FromListSym0 (l :: TyFun [a6989586621679792787] (NonEmpty a6989586621679792787)) #

Instances

SuppressUnusedWarnings (FromListSym0 :: TyFun [a6989586621679792787] (NonEmpty a6989586621679792787) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> *) (l :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> *) (l :: [a]) = FromList l

type FromListSym1 (t :: [a6989586621679792787]) = FromList t #

data ToListSym0 (l :: TyFun (NonEmpty a6989586621679792786) [a6989586621679792786]) #

Instances

SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a6989586621679792786) [a6989586621679792786] -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) = ToList l

type ToListSym1 (t :: NonEmpty a6989586621679792786) = ToList t #

data NonEmpty_Sym0 (l :: TyFun [a6989586621679792798] (Maybe (NonEmpty a6989586621679792798))) #

Instances

SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a6989586621679792798] (Maybe (NonEmpty a6989586621679792798)) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> *) (l :: [a]) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> *) (l :: [a]) = NonEmpty_ l

type NonEmpty_Sym1 (t :: [a6989586621679792798]) = NonEmpty_ t #

data XorSym0 (l :: TyFun (NonEmpty Bool) Bool) #

Instances

SuppressUnusedWarnings XorSym0 #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply XorSym0 (l :: NonEmpty Bool) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply XorSym0 (l :: NonEmpty Bool) = Xor l

type XorSym1 (t :: NonEmpty Bool) = Xor t #

SuppressUnusedWarnings ((:\|@#@$) :: TyFun a6989586621679067899 (TyFun [a6989586621679067899] (NonEmpty a6989586621679067899) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () #
type Apply ((:\|@#@$) :: TyFun a6989586621679067899 (TyFun [a6989586621679067899] (NonEmpty a6989586621679067899) -> Type) -> *) (l :: a6989586621679067899) #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply ((:\|@#@$) :: TyFun a6989586621679067899 (TyFun [a6989586621679067899] (NonEmpty a6989586621679067899) -> Type) -> *) (l :: a6989586621679067899) = (:\|@#@$$) l

SuppressUnusedWarnings ((:\|@#@$$) :: a6989586621679067899 -> TyFun [a6989586621679067899] (NonEmpty a6989586621679067899) -> *) #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () #
type Apply ((:\|@#@$$) l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply ((:\|@#@$$) l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) = l1 :\| l2

SuppressUnusedWarnings ((<\|@#@$) :: TyFun a6989586621679792790 (TyFun (NonEmpty a6989586621679792790) (NonEmpty a6989586621679792790) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply ((<\|@#@$) :: TyFun a6989586621679792790 (TyFun (NonEmpty a6989586621679792790) (NonEmpty a6989586621679792790) -> Type) -> *) (l :: a6989586621679792790) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((<\|@#@$) :: TyFun a6989586621679792790 (TyFun (NonEmpty a6989586621679792790) (NonEmpty a6989586621679792790) -> Type) -> *) (l :: a6989586621679792790) = (<\|@#@$$) l

SuppressUnusedWarnings ((<\|@#@$$) :: a6989586621679792790 -> TyFun (NonEmpty a6989586621679792790) (NonEmpty a6989586621679792790) -> *) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty Methods suppressUnusedWarnings :: () #
type Apply ((<\|@#@$$) l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) #
Instance details Defined in Data.Singletons.Prelude.List.NonEmpty type Apply ((<\|@#@$$) l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = l1 <\| l2

The NonEmpty singleton

Non-empty stream transformations

Defunctionalization symbols

The `NonEmpty` singleton