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

Data.List.NonEmpty.Singletons

Contents

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

Description

Defines functions and datatypes relating to the singleton for NonEmpty, including singled versions of all the definitions in Data.List.NonEmpty.

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

Synopsis

type family Sing :: k -> Type
data SNonEmpty (a1 :: NonEmpty a) where
- (:%|) :: forall a (n1 :: a) (n2 :: [a]). Sing n1 -> Sing n2 -> SNonEmpty (n1 ':| n2)
type family Map (a1 :: a ~> b) (a2 :: NonEmpty a) :: NonEmpty b where ...
sMap :: forall a b (t1 :: a ~> b) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MapSym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b) -> Type) t1) t2)
type family Intersperse (a1 :: a) (a2 :: NonEmpty a) :: NonEmpty a where ...
sIntersperse :: forall a (t1 :: a) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (IntersperseSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) t1) t2)
type family Scanl (a1 :: b ~> (a ~> b)) (a2 :: b) (a3 :: [a]) :: NonEmpty b where ...
sScanl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: [a]). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ScanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) t1) t2) t3)
type family Scanr (a1 :: a ~> (b ~> b)) (a2 :: b) (a3 :: [a]) :: NonEmpty b where ...
sScanr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: [a]). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ScanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) t1) t2) t3)
type family Scanl1 (a1 :: a ~> (a ~> a)) (a2 :: NonEmpty a) :: NonEmpty a where ...
sScanl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (Scanl1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) t1) t2)
type family Scanr1 (a1 :: a ~> (a ~> a)) (a2 :: NonEmpty a) :: NonEmpty a where ...
sScanr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (Scanr1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) t1) t2)
type family Transpose (a1 :: NonEmpty (NonEmpty a)) :: NonEmpty (NonEmpty a) where ...
sTranspose :: forall a (t :: NonEmpty (NonEmpty a)). Sing t -> Sing (Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) t)
type family SortBy (a1 :: a ~> (a ~> Ordering)) (a2 :: NonEmpty a) :: NonEmpty a where ...
sSortBy :: forall a (t1 :: a ~> (a ~> Ordering)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (SortBySym0 :: TyFun (a ~> (a ~> Ordering)) (NonEmpty a ~> NonEmpty a) -> Type) t1) t2)
type family SortWith (a1 :: a ~> o) (a2 :: NonEmpty a) :: NonEmpty a where ...
sSortWith :: forall a o (t1 :: a ~> o) (t2 :: NonEmpty a). SOrd o => Sing t1 -> Sing t2 -> Sing (Apply (Apply (SortWithSym0 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a) -> Type) t1) t2)
type family Length (a1 :: NonEmpty a) :: Natural where ...
sLength :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply (LengthSym0 :: TyFun (NonEmpty a) Natural -> Type) t)
type family Head (a1 :: NonEmpty a) :: a where ...
sHead :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply (HeadSym0 :: TyFun (NonEmpty a) a -> Type) t)
type family Tail (a1 :: NonEmpty a) :: [a] where ...
sTail :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) t)
type family Last (a1 :: NonEmpty a) :: a where ...
sLast :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply (LastSym0 :: TyFun (NonEmpty a) a -> Type) t)
type family Init (a1 :: NonEmpty a) :: [a] where ...
sInit :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) t)
type family (a1 :: a) <| (a2 :: NonEmpty a) :: NonEmpty a where ...
(%<|) :: forall a (t1 :: a) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<|@#@$) :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) t1) t2)
type family Cons (a1 :: a) (a2 :: NonEmpty a) :: NonEmpty a where ...
sCons :: forall a (t1 :: a) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (ConsSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) t1) t2)
type family Uncons (a1 :: NonEmpty a) :: (a, Maybe (NonEmpty a)) where ...
sUncons :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) t)
type family Unfoldr (a1 :: a ~> (b, Maybe a)) (a2 :: a) :: NonEmpty b where ...
sUnfoldr :: forall a b (t1 :: a ~> (b, Maybe a)) (t2 :: a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (UnfoldrSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) t1) t2)
type family Sort (a1 :: NonEmpty a) :: NonEmpty a where ...
sSort :: forall a (t :: NonEmpty a). SOrd a => Sing t -> Sing (Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) t)
type family Reverse (a1 :: NonEmpty a) :: NonEmpty a where ...
sReverse :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) t)
type family Inits (a1 :: [a]) :: NonEmpty [a] where ...
sInits :: forall a (t :: [a]). Sing t -> Sing (Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) t)
type family Tails (a1 :: [a]) :: NonEmpty [a] where ...
sTails :: forall a (t :: [a]). Sing t -> Sing (Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) t)
type family Unfold (a1 :: a ~> (b, Maybe a)) (a2 :: a) :: NonEmpty b where ...
sUnfold :: forall a b (t1 :: a ~> (b, Maybe a)) (t2 :: a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (UnfoldSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) t1) t2)
type family Insert (a1 :: a) (a2 :: [a]) :: NonEmpty a where ...
sInsert :: forall a (t1 :: a) (t2 :: [a]). SOrd a => Sing t1 -> Sing t2 -> Sing (Apply (Apply (InsertSym0 :: TyFun a ([a] ~> NonEmpty a) -> Type) t1) t2)
type family Take (a1 :: Natural) (a2 :: NonEmpty a) :: [a] where ...
sTake :: forall a (t1 :: Natural) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) t1) t2)
type family Drop (a1 :: Natural) (a2 :: NonEmpty a) :: [a] where ...
sDrop :: forall a (t1 :: Natural) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) t1) t2)
type family SplitAt (a1 :: Natural) (a2 :: NonEmpty a) :: ([a], [a]) where ...
sSplitAt :: forall a (t1 :: Natural) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type) t1) t2)
type family TakeWhile (a1 :: a ~> Bool) (a2 :: NonEmpty a) :: [a] where ...
sTakeWhile :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (TakeWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) t1) t2)
type family DropWhile (a1 :: a ~> Bool) (a2 :: NonEmpty a) :: [a] where ...
sDropWhile :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (DropWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) t1) t2)
type family Span (a1 :: a ~> Bool) (a2 :: NonEmpty a) :: ([a], [a]) where ...
sSpan :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (SpanSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) t1) t2)
type family Break (a1 :: a ~> Bool) (a2 :: NonEmpty a) :: ([a], [a]) where ...
sBreak :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (BreakSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) t1) t2)
type family Filter (a1 :: a ~> Bool) (a2 :: NonEmpty a) :: [a] where ...
sFilter :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (FilterSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) t1) t2)
type family Partition (a1 :: a ~> Bool) (a2 :: NonEmpty a) :: ([a], [a]) where ...
sPartition :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (PartitionSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) t1) t2)
type family Group (a1 :: [a]) :: [NonEmpty a] where ...
sGroup :: forall a (t :: [a]). SEq a => Sing t -> Sing (Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) t)
type family GroupBy (a1 :: a ~> (a ~> Bool)) (a2 :: [a]) :: [NonEmpty a] where ...
sGroupBy :: forall a (t1 :: a ~> (a ~> Bool)) (t2 :: [a]). Sing t1 -> Sing t2 -> Sing (Apply (Apply (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type) t1) t2)
type family GroupWith (a1 :: a ~> b) (a2 :: [a]) :: [NonEmpty a] where ...
sGroupWith :: forall a b (t1 :: a ~> b) (t2 :: [a]). SEq b => Sing t1 -> Sing t2 -> Sing (Apply (Apply (GroupWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) t1) t2)
type family GroupAllWith (a1 :: a ~> b) (a2 :: [a]) :: [NonEmpty a] where ...
sGroupAllWith :: forall a b (t1 :: a ~> b) (t2 :: [a]). SOrd b => Sing t1 -> Sing t2 -> Sing (Apply (Apply (GroupAllWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) t1) t2)
type family Group1 (a1 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroup1 :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) t)
type family GroupBy1 (a1 :: a ~> (a ~> Bool)) (a2 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroupBy1 :: forall a (t1 :: a ~> (a ~> Bool)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) t1) t2)
type family GroupWith1 (a1 :: a ~> b) (a2 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroupWith1 :: forall a b (t1 :: a ~> b) (t2 :: NonEmpty a). SEq b => Sing t1 -> Sing t2 -> Sing (Apply (Apply (GroupWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) t1) t2)
type family GroupAllWith1 (a1 :: a ~> b) (a2 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
sGroupAllWith1 :: forall a b (t1 :: a ~> b) (t2 :: NonEmpty a). SOrd b => Sing t1 -> Sing t2 -> Sing (Apply (Apply (GroupAllWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) t1) t2)
type family IsPrefixOf (a1 :: [a]) (a2 :: NonEmpty a) :: Bool where ...
sIsPrefixOf :: forall a (t1 :: [a]) (t2 :: NonEmpty a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply (IsPrefixOfSym0 :: TyFun [a] (NonEmpty a ~> Bool) -> Type) t1) t2)
type family Nub (a1 :: NonEmpty a) :: NonEmpty a where ...
sNub :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) t)
type family NubBy (a1 :: a ~> (a ~> Bool)) (a2 :: NonEmpty a) :: NonEmpty a where ...
sNubBy :: forall a (t1 :: a ~> (a ~> Bool)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type) t1) t2)
type family (a1 :: NonEmpty a) !! (a2 :: Natural) :: a where ...
(%!!) :: forall a (t1 :: NonEmpty a) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type) t1) t2)
type family Zip (a1 :: NonEmpty a) (a2 :: NonEmpty b) :: NonEmpty (a, b) where ...
sZip :: forall a b (t1 :: NonEmpty a) (t2 :: NonEmpty b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (ZipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type) t1) t2)
type family ZipWith (a1 :: a ~> (b ~> c)) (a2 :: NonEmpty a) (a3 :: NonEmpty b) :: NonEmpty c where ...
sZipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: NonEmpty a) (t3 :: NonEmpty b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type) t1) t2) t3)
type family Unzip (a1 :: NonEmpty (a, b)) :: (NonEmpty a, NonEmpty b) where ...
sUnzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) t)
type family FromList (a1 :: [a]) :: NonEmpty a where ...
sFromList :: forall a (t :: [a]). Sing t -> Sing (Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) t)
type family ToList (a1 :: NonEmpty a) :: [a] where ...
sToList :: forall a (t :: NonEmpty a). Sing t -> Sing (Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) t)
type family NonEmpty_ (a1 :: [a]) :: Maybe (NonEmpty a) where ...
sNonEmpty_ :: forall a (t :: [a]). Sing t -> Sing (Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) t)
type family Xor (a :: NonEmpty Bool) :: Bool where ...
sXor :: forall (t :: NonEmpty Bool). Sing t -> Sing (Apply XorSym0 t)
data (:|@#@$) (a1 :: TyFun a ([a] ~> NonEmpty a))
data (a6989586621679046311 :: a) :|@#@$$ (b :: TyFun [a] (NonEmpty a))
type family (a6989586621679046311 :: a) :|@#@$$$ (a6989586621679046312 :: [a]) :: NonEmpty a where ...
data MapSym0 (a1 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b))
data MapSym1 (a6989586621681120679 :: a ~> b) (b1 :: TyFun (NonEmpty a) (NonEmpty b))
type family MapSym2 (a6989586621681120679 :: a ~> b) (a6989586621681120680 :: NonEmpty a) :: NonEmpty b where ...
data IntersperseSym0 (a1 :: TyFun a (NonEmpty a ~> NonEmpty a))
data IntersperseSym1 (a6989586621681120607 :: a) (b :: TyFun (NonEmpty a) (NonEmpty a))
type family IntersperseSym2 (a6989586621681120607 :: a) (a6989586621681120608 :: NonEmpty a) :: NonEmpty a where ...
data ScanlSym0 (a1 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b)))
data ScanlSym1 (a6989586621681120649 :: b ~> (a ~> b)) (b1 :: TyFun b ([a] ~> NonEmpty b))
data ScanlSym2 (a6989586621681120649 :: b ~> (a ~> b)) (a6989586621681120650 :: b) (c :: TyFun [a] (NonEmpty b))
type family ScanlSym3 (a6989586621681120649 :: b ~> (a ~> b)) (a6989586621681120650 :: b) (a6989586621681120651 :: [a]) :: NonEmpty b where ...
data ScanrSym0 (a1 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b)))
data ScanrSym1 (a6989586621681120637 :: a ~> (b ~> b)) (b1 :: TyFun b ([a] ~> NonEmpty b))
data ScanrSym2 (a6989586621681120637 :: a ~> (b ~> b)) (a6989586621681120638 :: b) (c :: TyFun [a] (NonEmpty b))
type family ScanrSym3 (a6989586621681120637 :: a ~> (b ~> b)) (a6989586621681120638 :: b) (a6989586621681120639 :: [a]) :: NonEmpty b where ...
data Scanl1Sym0 (a1 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a))
data Scanl1Sym1 (a6989586621681120626 :: a ~> (a ~> a)) (b :: TyFun (NonEmpty a) (NonEmpty a))
type family Scanl1Sym2 (a6989586621681120626 :: a ~> (a ~> a)) (a6989586621681120627 :: NonEmpty a) :: NonEmpty a where ...
data Scanr1Sym0 (a1 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a))
data Scanr1Sym1 (a6989586621681120618 :: a ~> (a ~> a)) (b :: TyFun (NonEmpty a) (NonEmpty a))
type family Scanr1Sym2 (a6989586621681120618 :: a ~> (a ~> a)) (a6989586621681120619 :: NonEmpty a) :: NonEmpty a where ...
data TransposeSym0 (a1 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)))
type family TransposeSym1 (a6989586621681120316 :: NonEmpty (NonEmpty a)) :: NonEmpty (NonEmpty a) where ...
data SortBySym0 (a1 :: TyFun (a ~> (a ~> Ordering)) (NonEmpty a ~> NonEmpty a))
data SortBySym1 (a6989586621681120308 :: a ~> (a ~> Ordering)) (b :: TyFun (NonEmpty a) (NonEmpty a))
type family SortBySym2 (a6989586621681120308 :: a ~> (a ~> Ordering)) (a6989586621681120309 :: NonEmpty a) :: NonEmpty a where ...
data SortWithSym0 (a1 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a))
data SortWithSym1 (a6989586621681120299 :: a ~> o) (b :: TyFun (NonEmpty a) (NonEmpty a))
type family SortWithSym2 (a6989586621681120299 :: a ~> o) (a6989586621681120300 :: NonEmpty a) :: NonEmpty a where ...
data LengthSym0 (a1 :: TyFun (NonEmpty a) Natural)
type family LengthSym1 (a6989586621681120809 :: NonEmpty a) :: Natural where ...
data HeadSym0 (a1 :: TyFun (NonEmpty a) a)
type family HeadSym1 (a6989586621681120744 :: NonEmpty a) :: a where ...
data TailSym0 (a1 :: TyFun (NonEmpty a) [a])
type family TailSym1 (a6989586621681120740 :: NonEmpty a) :: [a] where ...
data LastSym0 (a1 :: TyFun (NonEmpty a) a)
type family LastSym1 (a6989586621681120735 :: NonEmpty a) :: a where ...
data InitSym0 (a1 :: TyFun (NonEmpty a) [a])
type family InitSym1 (a6989586621681120730 :: NonEmpty a) :: [a] where ...
data (<|@#@$) (a1 :: TyFun a (NonEmpty a ~> NonEmpty a))
data (a6989586621681120723 :: a) <|@#@$$ (b :: TyFun (NonEmpty a) (NonEmpty a))
type family (a6989586621681120723 :: a) <|@#@$$$ (a6989586621681120724 :: NonEmpty a) :: NonEmpty a where ...
data ConsSym0 (a1 :: TyFun a (NonEmpty a ~> NonEmpty a))
data ConsSym1 (a6989586621681120716 :: a) (b :: TyFun (NonEmpty a) (NonEmpty a))
type family ConsSym2 (a6989586621681120716 :: a) (a6989586621681120717 :: NonEmpty a) :: NonEmpty a where ...
data UnconsSym0 (a1 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)))
type family UnconsSym1 (a6989586621681120773 :: NonEmpty a) :: (a, Maybe (NonEmpty a)) where ...
data UnfoldrSym0 (a1 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b))
data UnfoldrSym1 (a6989586621681120749 :: a ~> (b, Maybe a)) (b1 :: TyFun a (NonEmpty b))
type family UnfoldrSym2 (a6989586621681120749 :: a ~> (b, Maybe a)) (a6989586621681120750 :: a) :: NonEmpty b where ...
data SortSym0 (a1 :: TyFun (NonEmpty a) (NonEmpty a))
type family SortSym1 (a6989586621681120707 :: NonEmpty a) :: NonEmpty a where ...
data ReverseSym0 (a1 :: TyFun (NonEmpty a) (NonEmpty a))
type family ReverseSym1 (a6989586621681120602 :: NonEmpty a) :: NonEmpty a where ...
data InitsSym0 (a1 :: TyFun [a] (NonEmpty [a]))
type family InitsSym1 (a6989586621681120674 :: [a]) :: NonEmpty [a] where ...
data TailsSym0 (a1 :: TyFun [a] (NonEmpty [a]))
type family TailsSym1 (a6989586621681120668 :: [a]) :: NonEmpty [a] where ...
data UnfoldSym0 (a1 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b))
data UnfoldSym1 (a6989586621681120784 :: a ~> (b, Maybe a)) (b1 :: TyFun a (NonEmpty b))
data InsertSym0 (a1 :: TyFun a ([a] ~> NonEmpty a))
data InsertSym1 (a6989586621681120660 :: a) (b :: TyFun [a] (NonEmpty a))
type family InsertSym2 (a6989586621681120660 :: a) (a6989586621681120661 :: [a]) :: NonEmpty a where ...
data TakeSym0 (a1 :: TyFun Natural (NonEmpty a ~> [a]))
data TakeSym1 (a6989586621681120594 :: Natural) (b :: TyFun (NonEmpty a) [a])
type family TakeSym2 (a6989586621681120594 :: Natural) (a6989586621681120595 :: NonEmpty a) :: [a] where ...
data DropSym0 (a1 :: TyFun Natural (NonEmpty a ~> [a]))
data DropSym1 (a6989586621681120585 :: Natural) (b :: TyFun (NonEmpty a) [a])
type family DropSym2 (a6989586621681120585 :: Natural) (a6989586621681120586 :: NonEmpty a) :: [a] where ...
data SplitAtSym0 (a1 :: TyFun Natural (NonEmpty a ~> ([a], [a])))
data SplitAtSym1 (a6989586621681120576 :: Natural) (b :: TyFun (NonEmpty a) ([a], [a]))
type family SplitAtSym2 (a6989586621681120576 :: Natural) (a6989586621681120577 :: NonEmpty a) :: ([a], [a]) where ...
data TakeWhileSym0 (a1 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]))
data TakeWhileSym1 (a6989586621681120567 :: a ~> Bool) (b :: TyFun (NonEmpty a) [a])
type family TakeWhileSym2 (a6989586621681120567 :: a ~> Bool) (a6989586621681120568 :: NonEmpty a) :: [a] where ...
data DropWhileSym0 (a1 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]))
data DropWhileSym1 (a6989586621681120558 :: a ~> Bool) (b :: TyFun (NonEmpty a) [a])
type family DropWhileSym2 (a6989586621681120558 :: a ~> Bool) (a6989586621681120559 :: NonEmpty a) :: [a] where ...
data SpanSym0 (a1 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])))
data SpanSym1 (a6989586621681120549 :: a ~> Bool) (b :: TyFun (NonEmpty a) ([a], [a]))
type family SpanSym2 (a6989586621681120549 :: a ~> Bool) (a6989586621681120550 :: NonEmpty a) :: ([a], [a]) where ...
data BreakSym0 (a1 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])))
data BreakSym1 (a6989586621681120540 :: a ~> Bool) (b :: TyFun (NonEmpty a) ([a], [a]))
type family BreakSym2 (a6989586621681120540 :: a ~> Bool) (a6989586621681120541 :: NonEmpty a) :: ([a], [a]) where ...
data FilterSym0 (a1 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]))
data FilterSym1 (a6989586621681120531 :: a ~> Bool) (b :: TyFun (NonEmpty a) [a])
type family FilterSym2 (a6989586621681120531 :: a ~> Bool) (a6989586621681120532 :: NonEmpty a) :: [a] where ...
data PartitionSym0 (a1 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])))
data PartitionSym1 (a6989586621681120522 :: a ~> Bool) (b :: TyFun (NonEmpty a) ([a], [a]))
type family PartitionSym2 (a6989586621681120522 :: a ~> Bool) (a6989586621681120523 :: NonEmpty a) :: ([a], [a]) where ...
data GroupSym0 (a1 :: TyFun [a] [NonEmpty a])
type family GroupSym1 (a6989586621681120515 :: [a]) :: [NonEmpty a] where ...
data GroupBySym0 (a1 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]))
data GroupBySym1 (a6989586621681120482 :: a ~> (a ~> Bool)) (b :: TyFun [a] [NonEmpty a])
type family GroupBySym2 (a6989586621681120482 :: a ~> (a ~> Bool)) (a6989586621681120483 :: [a]) :: [NonEmpty a] where ...
data GroupWithSym0 (a1 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]))
data GroupWithSym1 (a6989586621681120473 :: a ~> b) (b1 :: TyFun [a] [NonEmpty a])
type family GroupWithSym2 (a6989586621681120473 :: a ~> b) (a6989586621681120474 :: [a]) :: [NonEmpty a] where ...
data GroupAllWithSym0 (a1 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]))
data GroupAllWithSym1 (a6989586621681120464 :: a ~> b) (b1 :: TyFun [a] [NonEmpty a])
type family GroupAllWithSym2 (a6989586621681120464 :: a ~> b) (a6989586621681120465 :: [a]) :: [NonEmpty a] where ...
data Group1Sym0 (a1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)))
type family Group1Sym1 (a6989586621681120457 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
data GroupBy1Sym0 (a1 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)))
data GroupBy1Sym1 (a6989586621681120430 :: a ~> (a ~> Bool)) (b :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)))
type family GroupBy1Sym2 (a6989586621681120430 :: a ~> (a ~> Bool)) (a6989586621681120431 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
data GroupWith1Sym0 (a1 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)))
data GroupWith1Sym1 (a6989586621681120423 :: a ~> b) (b1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)))
type family GroupWith1Sym2 (a6989586621681120423 :: a ~> b) (a6989586621681120424 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
data GroupAllWith1Sym0 (a1 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)))
data GroupAllWith1Sym1 (a6989586621681120414 :: a ~> b) (b1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)))
type family GroupAllWith1Sym2 (a6989586621681120414 :: a ~> b) (a6989586621681120415 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...
data IsPrefixOfSym0 (a1 :: TyFun [a] (NonEmpty a ~> Bool))
data IsPrefixOfSym1 (a6989586621681120403 :: [a]) (b :: TyFun (NonEmpty a) Bool)
type family IsPrefixOfSym2 (a6989586621681120403 :: [a]) (a6989586621681120404 :: NonEmpty a) :: Bool where ...
data NubSym0 (a1 :: TyFun (NonEmpty a) (NonEmpty a))
type family NubSym1 (a6989586621681120334 :: NonEmpty a) :: NonEmpty a where ...
data NubBySym0 (a1 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a))
data NubBySym1 (a6989586621681120321 :: a ~> (a ~> Bool)) (b :: TyFun (NonEmpty a) (NonEmpty a))
type family NubBySym2 (a6989586621681120321 :: a ~> (a ~> Bool)) (a6989586621681120322 :: NonEmpty a) :: NonEmpty a where ...
data (!!@#@$) (a1 :: TyFun (NonEmpty a) (Natural ~> a))
data (a6989586621681120384 :: NonEmpty a) !!@#@$$ (b :: TyFun Natural a)
type family (a6989586621681120384 :: NonEmpty a) !!@#@$$$ (a6989586621681120385 :: Natural) :: a where ...
data ZipSym0 (a1 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)))
data ZipSym1 (a6989586621681120375 :: NonEmpty a) (b1 :: TyFun (NonEmpty b) (NonEmpty (a, b)))
type family ZipSym2 (a6989586621681120375 :: NonEmpty a) (a6989586621681120376 :: NonEmpty b) :: NonEmpty (a, b) where ...
data ZipWithSym0 (a1 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)))
data ZipWithSym1 (a6989586621681120364 :: a ~> (b ~> c)) (b1 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c))
data ZipWithSym2 (a6989586621681120364 :: a ~> (b ~> c)) (a6989586621681120365 :: NonEmpty a) (c1 :: TyFun (NonEmpty b) (NonEmpty c))
type family ZipWithSym3 (a6989586621681120364 :: a ~> (b ~> c)) (a6989586621681120365 :: NonEmpty a) (a6989586621681120366 :: NonEmpty b) :: NonEmpty c where ...
data UnzipSym0 (a1 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b))
type family UnzipSym1 (a6989586621681120338 :: NonEmpty (a, b)) :: (NonEmpty a, NonEmpty b) where ...
data FromListSym0 (a1 :: TyFun [a] (NonEmpty a))
type family FromListSym1 (a6989586621681120700 :: [a]) :: NonEmpty a where ...
data ToListSym0 (a1 :: TyFun (NonEmpty a) [a])
type family ToListSym1 (a6989586621681120695 :: NonEmpty a) :: [a] where ...
data NonEmpty_Sym0 (a1 :: TyFun [a] (Maybe (NonEmpty a)))
type family NonEmpty_Sym1 (a6989586621681120778 :: [a]) :: Maybe (NonEmpty a) where ...
data XorSym0 (a :: TyFun (NonEmpty Bool) Bool)
type family XorSym1 (a6989586621681120798 :: NonEmpty Bool) :: Bool where ...

The `NonEmpty` singleton

type family Sing :: k -> Type #

Instances

Instances details

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

data SNonEmpty (a1 :: NonEmpty a) where Source #

Constructors

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

Instances

Instances details

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

Non-empty stream transformations

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

Equations

Map (f :: a1 ~> b) (a2 ':| as :: NonEmpty a1) = Apply (Apply ((:|@#@$) :: TyFun b ([b] ~> NonEmpty b) -> Type) (Apply f a2)) (Apply (Apply (ListmapSym0 :: TyFun (a1 ~> b) ([a1] ~> [b]) -> Type) f) as)

sMap :: forall a b (t1 :: a ~> b) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MapSym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b) -> Type) t1) t2) Source #

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

Equations

Intersperse (a2 :: a1) (b ':| bs :: NonEmpty a1) = Apply (Apply ((:|@#@$) :: TyFun a1 ([a1] ~> NonEmpty a1) -> Type) b) (Case_6989586621681120612 a2 b bs bs)

sIntersperse :: forall a (t1 :: a) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (IntersperseSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) t1) t2) Source #

type family Scanl (a1 :: b ~> (a ~> b)) (a2 :: b) (a3 :: [a]) :: NonEmpty b where ... Source #

Equations

Scanl (f :: a1 ~> (a2 ~> a1)) (z :: a1) (a_6989586621681120643 :: [a2]) = Apply (Apply (Apply ((.@#@$) :: TyFun ([a1] ~> NonEmpty a1) (([a2] ~> [a1]) ~> ([a2] ~> NonEmpty a1)) -> Type) (FromListSym0 :: TyFun [a1] (NonEmpty a1) -> Type)) (Apply (Apply (ListscanlSym0 :: TyFun (a1 ~> (a2 ~> a1)) (a1 ~> ([a2] ~> [a1])) -> Type) f) z)) a_6989586621681120643

sScanl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: [a]). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ScanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) t1) t2) t3) Source #

type family Scanr (a1 :: a ~> (b ~> b)) (a2 :: b) (a3 :: [a]) :: NonEmpty b where ... Source #

Equations

Scanr (f :: a1 ~> (a2 ~> a2)) (z :: a2) (a_6989586621681120631 :: [a1]) = Apply (Apply (Apply ((.@#@$) :: TyFun ([a2] ~> NonEmpty a2) (([a1] ~> [a2]) ~> ([a1] ~> NonEmpty a2)) -> Type) (FromListSym0 :: TyFun [a2] (NonEmpty a2) -> Type)) (Apply (Apply (ListscanrSym0 :: TyFun (a1 ~> (a2 ~> a2)) (a2 ~> ([a1] ~> [a2])) -> Type) f) z)) a_6989586621681120631

sScanr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: [a]). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ScanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) t1) t2) t3) Source #

type family Scanl1 (a1 :: a ~> (a ~> a)) (a2 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

Scanl1 (f :: a1 ~> (a1 ~> a1)) (a2 ':| as :: NonEmpty a1) = Apply (FromListSym0 :: TyFun [a1] (NonEmpty a1) -> Type) (Apply (Apply (Apply (ListscanlSym0 :: TyFun (a1 ~> (a1 ~> a1)) (a1 ~> ([a1] ~> [a1])) -> Type) f) a2) as)

sScanl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (Scanl1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) t1) t2) Source #

type family Scanr1 (a1 :: a ~> (a ~> a)) (a2 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

Scanr1 (f :: a1 ~> (a1 ~> a1)) (a2 ':| as :: NonEmpty a1) = Apply (FromListSym0 :: TyFun [a1] (NonEmpty a1) -> Type) (Apply (Apply (Listscanr1Sym0 :: TyFun (a1 ~> (a1 ~> a1)) ([a1] ~> [a1]) -> Type) f) (Apply (Apply ((:@#@$) :: TyFun a1 ([a1] ~> [a1]) -> Type) a2) as))

sScanr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (Scanr1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) t1) t2) Source #

type family Transpose (a1 :: NonEmpty (NonEmpty a)) :: NonEmpty (NonEmpty a) where ... Source #

Equations

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

type family SortBy (a1 :: a ~> (a ~> Ordering)) (a2 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

SortBy (f :: b ~> (b ~> Ordering)) (a_6989586621681120303 :: NonEmpty b) = Apply (Apply (LiftSym0 :: TyFun ([b] ~> [b]) (NonEmpty b ~> NonEmpty b) -> Type) (Apply (ListsortBySym0 :: TyFun (b ~> (b ~> Ordering)) ([b] ~> [b]) -> Type) f)) a_6989586621681120303

sSortBy :: forall a (t1 :: a ~> (a ~> Ordering)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (SortBySym0 :: TyFun (a ~> (a ~> Ordering)) (NonEmpty a ~> NonEmpty a) -> Type) t1) t2) Source #

type family SortWith (a1 :: a ~> o) (a2 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

SortWith (a_6989586621681120292 :: a1 ~> a2) (a_6989586621681120294 :: NonEmpty a1) = Apply (Apply (Apply (Apply ((.@#@$) :: TyFun ((a1 ~> (a1 ~> Ordering)) ~> (NonEmpty a1 ~> NonEmpty a1)) (((a1 ~> a2) ~> (a1 ~> (a1 ~> Ordering))) ~> ((a1 ~> a2) ~> (NonEmpty a1 ~> NonEmpty a1))) -> Type) (SortBySym0 :: TyFun (a1 ~> (a1 ~> Ordering)) (NonEmpty a1 ~> NonEmpty a1) -> Type)) (ComparingSym0 :: TyFun (a1 ~> a2) (a1 ~> (a1 ~> Ordering)) -> Type)) a_6989586621681120292) a_6989586621681120294

sSortWith :: forall a o (t1 :: a ~> o) (t2 :: NonEmpty a). SOrd o => Sing t1 -> Sing t2 -> Sing (Apply (Apply (SortWithSym0 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a) -> Type) t1) t2) Source #

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

Equations

Length (_1 ':| xs :: NonEmpty a) = Apply (Apply ((+@#@$) :: TyFun Natural (Natural ~> Natural) -> Type) (FromInteger 1 :: Natural)) (Apply (ListlengthSym0 :: TyFun [a] Natural -> Type) xs)

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

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

Equations

Head (a2 ':| _1 :: NonEmpty a1) = a2

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

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

Equations

Tail (_1 ':| as :: NonEmpty a) = as

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

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

Equations

Last (a ':| as :: NonEmpty k2) = Apply (ListlastSym0 :: TyFun [k2] k2 -> Type) (Apply (Apply ((:@#@$) :: TyFun k2 ([k2] ~> [k2]) -> Type) a) as)

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

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

Equations

Init (a2 ':| as :: NonEmpty a1) = Apply (ListinitSym0 :: TyFun [a1] [a1] -> Type) (Apply (Apply ((:@#@$) :: TyFun a1 ([a1] ~> [a1]) -> Type) a2) as)

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

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

Equations

(a :: k1) <| (b ':| bs :: NonEmpty k1) = Apply (Apply ((:|@#@$) :: TyFun k1 ([k1] ~> NonEmpty k1) -> Type) a) (Apply (Apply ((:@#@$) :: TyFun k1 ([k1] ~> [k1]) -> Type) b) bs)

(%<|) :: forall a (t1 :: a) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<|@#@$) :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) t1) t2) Source #

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

Equations

Cons (a_6989586621681120709 :: k1) (a_6989586621681120711 :: NonEmpty k1) = Apply (Apply ((<|@#@$) :: TyFun k1 (NonEmpty k1 ~> NonEmpty k1) -> Type) a_6989586621681120709) a_6989586621681120711

sCons :: forall a (t1 :: a) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (ConsSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) t1) t2) Source #

type family Uncons (a1 :: NonEmpty a) :: (a, Maybe (NonEmpty a)) where ... Source #

Equations

Uncons (a2 ':| as :: NonEmpty a1) = Apply (Apply (Tuple2Sym0 :: TyFun a1 (Maybe (NonEmpty a1) ~> (a1, Maybe (NonEmpty a1))) -> Type) a2) (Apply (NonEmpty_Sym0 :: TyFun [a1] (Maybe (NonEmpty a1)) -> Type) as)

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

type family Unfoldr (a1 :: a ~> (b, Maybe a)) (a2 :: a) :: NonEmpty b where ... Source #

Equations

Unfoldr (f :: k2 ~> (k3, Maybe k2)) (a :: k2) = Case_6989586621681120766 f a (Let6989586621681120764Scrutinee_6989586621681119328Sym2 f a)

sUnfoldr :: forall a b (t1 :: a ~> (b, Maybe a)) (t2 :: a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (UnfoldrSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) t1) t2) Source #

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

Equations

Sort (a_6989586621681120703 :: NonEmpty b) = Apply (Apply (LiftSym0 :: TyFun ([b] ~> [b]) (NonEmpty b ~> NonEmpty b) -> Type) (ListsortSym0 :: TyFun [b] [b] -> Type)) a_6989586621681120703

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

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

Equations

Reverse (a_6989586621681120598 :: NonEmpty b) = Apply (Apply (LiftSym0 :: TyFun ([b] ~> [b]) (NonEmpty b ~> NonEmpty b) -> Type) (ListreverseSym0 :: TyFun [b] [b] -> Type)) a_6989586621681120598

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

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

Equations

Inits (a_6989586621681120670 :: [a]) = Apply (Apply (Apply ((.@#@$) :: TyFun ([[a]] ~> NonEmpty [a]) (([a] ~> [[a]]) ~> ([a] ~> NonEmpty [a])) -> Type) (FromListSym0 :: TyFun [[a]] (NonEmpty [a]) -> Type)) (ListinitsSym0 :: TyFun [a] [[a]] -> Type)) a_6989586621681120670

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

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

Equations

Tails (a_6989586621681120664 :: [a]) = Apply (Apply (Apply ((.@#@$) :: TyFun ([[a]] ~> NonEmpty [a]) (([a] ~> [[a]]) ~> ([a] ~> NonEmpty [a])) -> Type) (FromListSym0 :: TyFun [[a]] (NonEmpty [a]) -> Type)) (ListtailsSym0 :: TyFun [a] [[a]] -> Type)) a_6989586621681120664

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

type family Unfold (a1 :: a ~> (b, Maybe a)) (a2 :: a) :: NonEmpty b where ... Source #

Equations

Unfold (f :: k2 ~> (k3, Maybe k2)) (a :: k2) = Case_6989586621681120790 f a (Let6989586621681120788Scrutinee_6989586621681119318Sym2 f a)

sUnfold :: forall a b (t1 :: a ~> (b, Maybe a)) (t2 :: a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (UnfoldSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) t1) t2) Source #

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

Equations

Insert (a2 :: a1) (a_6989586621681120655 :: [a1]) = Apply (Apply (Apply ((.@#@$) :: TyFun ([a1] ~> NonEmpty a1) (([a1] ~> [a1]) ~> ([a1] ~> NonEmpty a1)) -> Type) (FromListSym0 :: TyFun [a1] (NonEmpty a1) -> Type)) (Apply (ListinsertSym0 :: TyFun a1 ([a1] ~> [a1]) -> Type) a2)) a_6989586621681120655

sInsert :: forall a (t1 :: a) (t2 :: [a]). SOrd a => Sing t1 -> Sing t2 -> Sing (Apply (Apply (InsertSym0 :: TyFun a ([a] ~> NonEmpty a) -> Type) t1) t2) Source #

type family Take (a1 :: Natural) (a2 :: NonEmpty a) :: [a] where ... Source #

Equations

Take n (a_6989586621681120589 :: NonEmpty a) = Apply (Apply (Apply ((.@#@$) :: TyFun ([a] ~> [a]) ((NonEmpty a ~> [a]) ~> (NonEmpty a ~> [a])) -> Type) (Apply (ListtakeSym0 :: TyFun Natural ([a] ~> [a]) -> Type) n)) (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type)) a_6989586621681120589

sTake :: forall a (t1 :: Natural) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) t1) t2) Source #

type family Drop (a1 :: Natural) (a2 :: NonEmpty a) :: [a] where ... Source #

Equations

Drop n (a_6989586621681120580 :: NonEmpty a) = Apply (Apply (Apply ((.@#@$) :: TyFun ([a] ~> [a]) ((NonEmpty a ~> [a]) ~> (NonEmpty a ~> [a])) -> Type) (Apply (ListdropSym0 :: TyFun Natural ([a] ~> [a]) -> Type) n)) (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type)) a_6989586621681120580

sDrop :: forall a (t1 :: Natural) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) t1) t2) Source #

type family SplitAt (a1 :: Natural) (a2 :: NonEmpty a) :: ([a], [a]) where ... Source #

Equations

SplitAt n (a_6989586621681120571 :: NonEmpty a) = Apply (Apply (Apply ((.@#@$) :: TyFun ([a] ~> ([a], [a])) ((NonEmpty a ~> [a]) ~> (NonEmpty a ~> ([a], [a]))) -> Type) (Apply (ListsplitAtSym0 :: TyFun Natural ([a] ~> ([a], [a])) -> Type) n)) (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type)) a_6989586621681120571

sSplitAt :: forall a (t1 :: Natural) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type) t1) t2) Source #

type family TakeWhile (a1 :: a ~> Bool) (a2 :: NonEmpty a) :: [a] where ... Source #

Equations

TakeWhile (p :: a ~> Bool) (a_6989586621681120562 :: NonEmpty a) = Apply (Apply (Apply ((.@#@$) :: TyFun ([a] ~> [a]) ((NonEmpty a ~> [a]) ~> (NonEmpty a ~> [a])) -> Type) (Apply (ListtakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) p)) (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type)) a_6989586621681120562

sTakeWhile :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (TakeWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) t1) t2) Source #

type family DropWhile (a1 :: a ~> Bool) (a2 :: NonEmpty a) :: [a] where ... Source #

Equations

DropWhile (p :: a ~> Bool) (a_6989586621681120553 :: NonEmpty a) = Apply (Apply (Apply ((.@#@$) :: TyFun ([a] ~> [a]) ((NonEmpty a ~> [a]) ~> (NonEmpty a ~> [a])) -> Type) (Apply (ListdropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) p)) (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type)) a_6989586621681120553

sDropWhile :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (DropWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) t1) t2) Source #

type family Span (a1 :: a ~> Bool) (a2 :: NonEmpty a) :: ([a], [a]) where ... Source #

Equations

Span (p :: a ~> Bool) (a_6989586621681120544 :: NonEmpty a) = Apply (Apply (Apply ((.@#@$) :: TyFun ([a] ~> ([a], [a])) ((NonEmpty a ~> [a]) ~> (NonEmpty a ~> ([a], [a]))) -> Type) (Apply (ListspanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) p)) (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type)) a_6989586621681120544

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

type family Break (a1 :: a ~> Bool) (a2 :: NonEmpty a) :: ([a], [a]) where ... Source #

Equations

Break (p :: a ~> Bool) (a_6989586621681120535 :: NonEmpty a) = Apply (Apply (SpanSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) (Apply (Apply ((.@#@$) :: TyFun (Bool ~> Bool) ((a ~> Bool) ~> (a ~> Bool)) -> Type) NotSym0) p)) a_6989586621681120535

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

type family Filter (a1 :: a ~> Bool) (a2 :: NonEmpty a) :: [a] where ... Source #

Equations

Filter (p :: a ~> Bool) (a_6989586621681120526 :: NonEmpty a) = Apply (Apply (Apply ((.@#@$) :: TyFun ([a] ~> [a]) ((NonEmpty a ~> [a]) ~> (NonEmpty a ~> [a])) -> Type) (Apply (ListfilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) p)) (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type)) a_6989586621681120526

sFilter :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (FilterSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) t1) t2) Source #

type family Partition (a1 :: a ~> Bool) (a2 :: NonEmpty a) :: ([a], [a]) where ... Source #

Equations

Partition (p :: a ~> Bool) (a_6989586621681120517 :: NonEmpty a) = Apply (Apply (Apply ((.@#@$) :: TyFun ([a] ~> ([a], [a])) ((NonEmpty a ~> [a]) ~> (NonEmpty a ~> ([a], [a]))) -> Type) (Apply (ListpartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) p)) (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type)) a_6989586621681120517

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

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

Equations

Group (a_6989586621681120511 :: [a]) = Apply (Apply (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type) ((==@#@$) :: TyFun a (a ~> Bool) -> Type)) a_6989586621681120511

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

type family GroupBy (a1 :: a ~> (a ~> Bool)) (a2 :: [a]) :: [NonEmpty a] where ... Source #

Equations

GroupBy (eq0 :: a ~> (a ~> Bool)) (a_6989586621681120477 :: [a]) = Apply (Apply (Let6989586621681120486GoSym2 eq0 a_6989586621681120477 :: TyFun (a ~> (a ~> Bool)) (TyFun [a] [NonEmpty a] -> Type) -> Type) eq0) a_6989586621681120477

sGroupBy :: forall a (t1 :: a ~> (a ~> Bool)) (t2 :: [a]). Sing t1 -> Sing t2 -> Sing (Apply (Apply (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type) t1) t2) Source #

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

Equations

GroupWith (f :: a ~> b) (a_6989586621681120468 :: [a]) = Apply (Apply (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type) (Apply (Apply (OnSym0 :: TyFun (b ~> (b ~> Bool)) ((a ~> b) ~> (a ~> (a ~> Bool))) -> Type) ((==@#@$) :: TyFun b (b ~> Bool) -> Type)) f)) a_6989586621681120468

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

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

Equations

GroupAllWith (f :: a ~> b) (a_6989586621681120459 :: [a]) = Apply (Apply (Apply ((.@#@$) :: TyFun ([a] ~> [NonEmpty a]) (([a] ~> [a]) ~> ([a] ~> [NonEmpty a])) -> Type) (Apply (GroupWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) f)) (Apply (ListsortBySym0 :: TyFun (a ~> (a ~> Ordering)) ([a] ~> [a]) -> Type) (Apply (Apply (OnSym0 :: TyFun (b ~> (b ~> Ordering)) ((a ~> b) ~> (a ~> (a ~> Ordering))) -> Type) (CompareSym0 :: TyFun b (b ~> Ordering) -> Type)) f))) a_6989586621681120459

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

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

Equations

Group1 (a_6989586621681120453 :: NonEmpty a) = Apply (Apply (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) ((==@#@$) :: TyFun a (a ~> Bool) -> Type)) a_6989586621681120453

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

type family GroupBy1 (a1 :: a ~> (a ~> Bool)) (a2 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #

Equations

GroupBy1 (eq :: a ~> (a ~> Bool)) (x ':| xs :: NonEmpty a) = Apply (Apply ((:|@#@$) :: TyFun (NonEmpty a) ([NonEmpty a] ~> NonEmpty (NonEmpty a)) -> Type) (Apply (Apply ((:|@#@$) :: TyFun a ([a] ~> NonEmpty a) -> Type) x) (Let6989586621681120435YsSym3 eq x xs))) (Apply (Apply (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type) eq) (Let6989586621681120435ZsSym3 eq x xs))

sGroupBy1 :: forall a (t1 :: a ~> (a ~> Bool)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) t1) t2) Source #

type family GroupWith1 (a1 :: a ~> b) (a2 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #

Equations

GroupWith1 (f :: a ~> b) (a_6989586621681120418 :: NonEmpty a) = Apply (Apply (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) (Apply (Apply (OnSym0 :: TyFun (b ~> (b ~> Bool)) ((a ~> b) ~> (a ~> (a ~> Bool))) -> Type) ((==@#@$) :: TyFun b (b ~> Bool) -> Type)) f)) a_6989586621681120418

sGroupWith1 :: forall a b (t1 :: a ~> b) (t2 :: NonEmpty a). SEq b => Sing t1 -> Sing t2 -> Sing (Apply (Apply (GroupWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) t1) t2) Source #

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

Equations

GroupAllWith1 (f :: a ~> o) (a_6989586621681120409 :: NonEmpty a) = Apply (Apply (Apply ((.@#@$) :: TyFun (NonEmpty a ~> NonEmpty (NonEmpty a)) ((NonEmpty a ~> NonEmpty a) ~> (NonEmpty a ~> NonEmpty (NonEmpty a))) -> Type) (Apply (GroupWith1Sym0 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) f)) (Apply (SortWithSym0 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a) -> Type) f)) a_6989586621681120409

sGroupAllWith1 :: forall a b (t1 :: a ~> b) (t2 :: NonEmpty a). SOrd b => Sing t1 -> Sing t2 -> Sing (Apply (Apply (GroupAllWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) t1) t2) Source #

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

Equations

IsPrefixOf ('[] :: [a]) (_1 :: NonEmpty a) = TrueSym0
IsPrefixOf (y ': ys :: [a]) (x ':\| xs :: NonEmpty a) = Apply (Apply (&&@#@$) (Apply (Apply ((==@#@$) :: TyFun a (a ~> Bool) -> Type) y) x)) (Apply (Apply (ListisPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) ys) xs)

sIsPrefixOf :: forall a (t1 :: [a]) (t2 :: NonEmpty a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply (IsPrefixOfSym0 :: TyFun [a] (NonEmpty a ~> Bool) -> Type) t1) t2) Source #

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

Equations

Nub (a_6989586621681120330 :: NonEmpty a) = Apply (Apply (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type) ((==@#@$) :: TyFun a (a ~> Bool) -> Type)) a_6989586621681120330

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

type family NubBy (a1 :: a ~> (a ~> Bool)) (a2 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

NubBy (eq :: a1 ~> (a1 ~> Bool)) (a2 ':| as :: NonEmpty a1) = Apply (Apply ((:|@#@$) :: TyFun a1 ([a1] ~> NonEmpty a1) -> Type) a2) (Apply (Apply (ListnubBySym0 :: TyFun (a1 ~> (a1 ~> Bool)) ([a1] ~> [a1]) -> Type) eq) (Apply (Apply (ListfilterSym0 :: TyFun (a1 ~> Bool) ([a1] ~> [a1]) -> Type) (Apply (Apply (Apply (Lambda_6989586621681120326Sym0 :: TyFun (a1 ~> (a1 ~> Bool)) (TyFun a1 (TyFun [a1] (TyFun a1 Bool -> Type) -> Type) -> Type) -> Type) eq) a2) as)) as))

sNubBy :: forall a (t1 :: a ~> (a ~> Bool)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type) t1) t2) Source #

type family (a1 :: NonEmpty a) !! (a2 :: Natural) :: a where ... Source #

Equations

(arg_6989586621681119340 :: NonEmpty k) !! arg_6989586621681119342 = Case_6989586621681120388 arg_6989586621681119340 arg_6989586621681119342 (Apply (Apply (Tuple2Sym0 :: TyFun (NonEmpty k) (Natural ~> (NonEmpty k, Natural)) -> Type) arg_6989586621681119340) arg_6989586621681119342)

(%!!) :: forall a (t1 :: NonEmpty a) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (Apply (Apply ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type) t1) t2) Source #

type family Zip (a1 :: NonEmpty a) (a2 :: NonEmpty b) :: NonEmpty (a, b) where ... Source #

Equations

Zip (x ':| xs :: NonEmpty a) (y ':| ys :: NonEmpty b) = Apply (Apply ((:|@#@$) :: TyFun (a, b) ([(a, b)] ~> NonEmpty (a, b)) -> Type) (Apply (Apply (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type) x) y)) (Apply (Apply (ListzipSym0 :: TyFun [a] ([b] ~> [(a, b)]) -> Type) xs) ys)

sZip :: forall a b (t1 :: NonEmpty a) (t2 :: NonEmpty b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (ZipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type) t1) t2) Source #

type family ZipWith (a1 :: a ~> (b ~> c)) (a2 :: NonEmpty a) (a3 :: NonEmpty b) :: NonEmpty c where ... Source #

Equations

ZipWith (f :: a ~> (b ~> c)) (x ':| xs :: NonEmpty a) (y ':| ys :: NonEmpty b) = Apply (Apply ((:|@#@$) :: TyFun c ([c] ~> NonEmpty c) -> Type) (Apply (Apply f x) y)) (Apply (Apply (Apply (ListzipWithSym0 :: TyFun (a ~> (b ~> c)) ([a] ~> ([b] ~> [c])) -> Type) f) xs) ys)

sZipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: NonEmpty a) (t3 :: NonEmpty b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type) t1) t2) t3) Source #

type family Unzip (a1 :: NonEmpty (a, b)) :: (NonEmpty a, NonEmpty b) where ... Source #

Equations

Unzip ('(a2, b2) ':| asbs :: NonEmpty (a1, b1)) = Apply (Apply (Tuple2Sym0 :: TyFun (NonEmpty a1) (NonEmpty b1 ~> (NonEmpty a1, NonEmpty b1)) -> Type) (Apply (Apply ((:|@#@$) :: TyFun a1 ([a1] ~> NonEmpty a1) -> Type) a2) (Let6989586621681120342AsSym3 a2 b2 asbs))) (Apply (Apply ((:|@#@$) :: TyFun b1 ([b1] ~> NonEmpty b1) -> Type) b2) (Let6989586621681120342BsSym3 a2 b2 asbs))

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

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

Equations

FromList (a ': as :: [k1]) = Apply (Apply ((:\|@#@$) :: TyFun k1 ([k1] ~> NonEmpty k1) -> Type) a) as
FromList ('[] :: [a]) = Apply (ErrorSym0 :: TyFun Symbol (NonEmpty a) -> Type) "NonEmpty.fromList: empty list"

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

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

Equations

ToList (a ':| as :: NonEmpty k1) = Apply (Apply ((:@#@$) :: TyFun k1 ([k1] ~> [k1]) -> Type) a) as

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

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

Equations

NonEmpty_ ('[] :: [a]) = NothingSym0 :: Maybe (NonEmpty a)
NonEmpty_ (a ': as :: [k1]) = Apply (JustSym0 :: TyFun (NonEmpty k1) (Maybe (NonEmpty k1)) -> Type) (Apply (Apply ((:\|@#@$) :: TyFun k1 ([k1] ~> NonEmpty k1) -> Type) a) as)

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

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

Equations

Xor (x ':| xs) = Apply (Apply (Apply (FoldrSym0 :: TyFun (Bool ~> (Bool ~> Bool)) (Bool ~> ([Bool] ~> Bool)) -> Type) (Let6989586621681120801Xor'Sym2 x xs)) x) xs

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

Defunctionalization symbols

data (:|@#@$) (a1 :: TyFun a ([a] ~> NonEmpty a)) infixr 5 Source #

Instances

Instances details

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

data (a6989586621679046311 :: a) :|@#@$$ (b :: TyFun [a] (NonEmpty a)) infixr 5 Source #

Instances

Instances details

SingI1 ((:\|@#@$$) :: a -> TyFun [a] (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Base.Instances Methods liftSing :: forall (x :: a). Sing x -> Sing ((:\|@#@$$) x) #
SingI d => SingI ((:\|@#@$$) d :: TyFun [a] (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Base.Instances Methods sing :: Sing ((:\|@#@$$) d) #
SuppressUnusedWarnings ((:\|@#@$$) a6989586621679046311 :: TyFun [a] (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Base.Instances Methods suppressUnusedWarnings :: () #
type Apply ((:\|@#@$$) a6989586621679046311 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621679046312 :: [a]) Source #
Instance details Defined in Data.Singletons.Base.Instances type Apply ((:\|@#@$$) a6989586621679046311 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621679046312 :: [a]) = a6989586621679046311 ':\| a6989586621679046312

type family (a6989586621679046311 :: a) :|@#@$$$ (a6989586621679046312 :: [a]) :: NonEmpty a where ... infixr 5 Source #

Equations

(a6989586621679046311 :: a) :|@#@$$$ (a6989586621679046312 :: [a]) = a6989586621679046311 ':| a6989586621679046312

data MapSym0 (a1 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b)) Source #

Instances

Instances details

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

data MapSym1 (a6989586621681120679 :: a ~> b) (b1 :: TyFun (NonEmpty a) (NonEmpty b)) Source #

Instances

Instances details

SingI1 (MapSym1 :: (a ~> b) -> TyFun (NonEmpty a) (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> b). Sing x -> Sing (MapSym1 x) #
SingI d => SingI (MapSym1 d :: TyFun (NonEmpty a) (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (MapSym1 d) #
SuppressUnusedWarnings (MapSym1 a6989586621681120679 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (MapSym1 a6989586621681120679 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681120680 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (MapSym1 a6989586621681120679 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681120680 :: NonEmpty a) = Map a6989586621681120679 a6989586621681120680

type family MapSym2 (a6989586621681120679 :: a ~> b) (a6989586621681120680 :: NonEmpty a) :: NonEmpty b where ... Source #

Equations

MapSym2 (a6989586621681120679 :: a ~> b) (a6989586621681120680 :: NonEmpty a) = Map a6989586621681120679 a6989586621681120680

data IntersperseSym0 (a1 :: TyFun a (NonEmpty a ~> NonEmpty a)) Source #

Instances

Instances details

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

data IntersperseSym1 (a6989586621681120607 :: a) (b :: TyFun (NonEmpty a) (NonEmpty a)) Source #

Instances

Instances details

SingI1 (IntersperseSym1 :: a -> TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a). Sing x -> Sing (IntersperseSym1 x) #
SingI d => SingI (IntersperseSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (IntersperseSym1 d) #
SuppressUnusedWarnings (IntersperseSym1 a6989586621681120607 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (IntersperseSym1 a6989586621681120607 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120608 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (IntersperseSym1 a6989586621681120607 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120608 :: NonEmpty a) = Intersperse a6989586621681120607 a6989586621681120608

type family IntersperseSym2 (a6989586621681120607 :: a) (a6989586621681120608 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

IntersperseSym2 (a6989586621681120607 :: a) (a6989586621681120608 :: NonEmpty a) = Intersperse a6989586621681120607 a6989586621681120608

data ScanlSym0 (a1 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b))) Source #

Instances

Instances details

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

data ScanlSym1 (a6989586621681120649 :: b ~> (a ~> b)) (b1 :: TyFun b ([a] ~> NonEmpty b)) Source #

Instances

Instances details

SingI1 (ScanlSym1 :: (b ~> (a ~> b)) -> TyFun b ([a] ~> NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: b ~> (a ~> b)). Sing x -> Sing (ScanlSym1 x) #
SingI d => SingI (ScanlSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (ScanlSym1 d) #
SuppressUnusedWarnings (ScanlSym1 a6989586621681120649 :: TyFun b ([a] ~> NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ScanlSym1 a6989586621681120649 :: TyFun b ([a] ~> NonEmpty b) -> Type) (a6989586621681120650 :: b) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (ScanlSym1 a6989586621681120649 :: TyFun b ([a] ~> NonEmpty b) -> Type) (a6989586621681120650 :: b) = ScanlSym2 a6989586621681120649 a6989586621681120650

data ScanlSym2 (a6989586621681120649 :: b ~> (a ~> b)) (a6989586621681120650 :: b) (c :: TyFun [a] (NonEmpty b)) Source #

Instances

Instances details

SingI d => SingI1 (ScanlSym2 d :: b -> TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: b). Sing x -> Sing (ScanlSym2 d x) #
SingI2 (ScanlSym2 :: (b ~> (a ~> b)) -> b -> TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing2 :: forall (x :: b ~> (a ~> b)) (y :: b). Sing x -> Sing y -> Sing (ScanlSym2 x y) #
(SingI d1, SingI d2) => SingI (ScanlSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (ScanlSym2 d1 d2) #
SuppressUnusedWarnings (ScanlSym2 a6989586621681120649 a6989586621681120650 :: TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ScanlSym2 a6989586621681120649 a6989586621681120650 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681120651 :: [a]) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (ScanlSym2 a6989586621681120649 a6989586621681120650 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681120651 :: [a]) = Scanl a6989586621681120649 a6989586621681120650 a6989586621681120651

type family ScanlSym3 (a6989586621681120649 :: b ~> (a ~> b)) (a6989586621681120650 :: b) (a6989586621681120651 :: [a]) :: NonEmpty b where ... Source #

Equations

ScanlSym3 (a6989586621681120649 :: b ~> (a ~> b)) (a6989586621681120650 :: b) (a6989586621681120651 :: [a]) = Scanl a6989586621681120649 a6989586621681120650 a6989586621681120651

data ScanrSym0 (a1 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b))) Source #

Instances

Instances details

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

data ScanrSym1 (a6989586621681120637 :: a ~> (b ~> b)) (b1 :: TyFun b ([a] ~> NonEmpty b)) Source #

Instances

Instances details

SingI1 (ScanrSym1 :: (a ~> (b ~> b)) -> TyFun b ([a] ~> NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> (b ~> b)). Sing x -> Sing (ScanrSym1 x) #
SingI d => SingI (ScanrSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (ScanrSym1 d) #
SuppressUnusedWarnings (ScanrSym1 a6989586621681120637 :: TyFun b ([a] ~> NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ScanrSym1 a6989586621681120637 :: TyFun b ([a] ~> NonEmpty b) -> Type) (a6989586621681120638 :: b) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (ScanrSym1 a6989586621681120637 :: TyFun b ([a] ~> NonEmpty b) -> Type) (a6989586621681120638 :: b) = ScanrSym2 a6989586621681120637 a6989586621681120638

data ScanrSym2 (a6989586621681120637 :: a ~> (b ~> b)) (a6989586621681120638 :: b) (c :: TyFun [a] (NonEmpty b)) Source #

Instances

Instances details

SingI d => SingI1 (ScanrSym2 d :: b -> TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: b). Sing x -> Sing (ScanrSym2 d x) #
SingI2 (ScanrSym2 :: (a ~> (b ~> b)) -> b -> TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing2 :: forall (x :: a ~> (b ~> b)) (y :: b). Sing x -> Sing y -> Sing (ScanrSym2 x y) #
(SingI d1, SingI d2) => SingI (ScanrSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (ScanrSym2 d1 d2) #
SuppressUnusedWarnings (ScanrSym2 a6989586621681120637 a6989586621681120638 :: TyFun [a] (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ScanrSym2 a6989586621681120637 a6989586621681120638 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681120639 :: [a]) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (ScanrSym2 a6989586621681120637 a6989586621681120638 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681120639 :: [a]) = Scanr a6989586621681120637 a6989586621681120638 a6989586621681120639

type family ScanrSym3 (a6989586621681120637 :: a ~> (b ~> b)) (a6989586621681120638 :: b) (a6989586621681120639 :: [a]) :: NonEmpty b where ... Source #

Equations

ScanrSym3 (a6989586621681120637 :: a ~> (b ~> b)) (a6989586621681120638 :: b) (a6989586621681120639 :: [a]) = Scanr a6989586621681120637 a6989586621681120638 a6989586621681120639

data Scanl1Sym0 (a1 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a)) Source #

Instances

Instances details

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

data Scanl1Sym1 (a6989586621681120626 :: a ~> (a ~> a)) (b :: TyFun (NonEmpty a) (NonEmpty a)) Source #

Instances

Instances details

SingI d => SingI (Scanl1Sym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (Scanl1Sym1 d) #
SuppressUnusedWarnings (Scanl1Sym1 a6989586621681120626 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
SingI1 (Scanl1Sym1 :: (a ~> (a ~> a)) -> TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> (a ~> a)). Sing x -> Sing (Scanl1Sym1 x) #
type Apply (Scanl1Sym1 a6989586621681120626 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120627 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (Scanl1Sym1 a6989586621681120626 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120627 :: NonEmpty a) = Scanl1 a6989586621681120626 a6989586621681120627

type family Scanl1Sym2 (a6989586621681120626 :: a ~> (a ~> a)) (a6989586621681120627 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

Scanl1Sym2 (a6989586621681120626 :: a ~> (a ~> a)) (a6989586621681120627 :: NonEmpty a) = Scanl1 a6989586621681120626 a6989586621681120627

data Scanr1Sym0 (a1 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a)) Source #

Instances

Instances details

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

data Scanr1Sym1 (a6989586621681120618 :: a ~> (a ~> a)) (b :: TyFun (NonEmpty a) (NonEmpty a)) Source #

Instances

Instances details

SingI d => SingI (Scanr1Sym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (Scanr1Sym1 d) #
SuppressUnusedWarnings (Scanr1Sym1 a6989586621681120618 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
SingI1 (Scanr1Sym1 :: (a ~> (a ~> a)) -> TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> (a ~> a)). Sing x -> Sing (Scanr1Sym1 x) #
type Apply (Scanr1Sym1 a6989586621681120618 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120619 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (Scanr1Sym1 a6989586621681120618 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120619 :: NonEmpty a) = Scanr1 a6989586621681120618 a6989586621681120619

type family Scanr1Sym2 (a6989586621681120618 :: a ~> (a ~> a)) (a6989586621681120619 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

Scanr1Sym2 (a6989586621681120618 :: a ~> (a ~> a)) (a6989586621681120619 :: NonEmpty a) = Scanr1 a6989586621681120618 a6989586621681120619

data TransposeSym0 (a1 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a))) Source #

Instances

Instances details

SingI (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) #
SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120316 :: NonEmpty (NonEmpty a)) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120316 :: NonEmpty (NonEmpty a)) = Transpose a6989586621681120316

type family TransposeSym1 (a6989586621681120316 :: NonEmpty (NonEmpty a)) :: NonEmpty (NonEmpty a) where ... Source #

Equations

TransposeSym1 (a6989586621681120316 :: NonEmpty (NonEmpty a)) = Transpose a6989586621681120316

data SortBySym0 (a1 :: TyFun (a ~> (a ~> Ordering)) (NonEmpty a ~> NonEmpty a)) Source #

Instances

Instances details

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

data SortBySym1 (a6989586621681120308 :: a ~> (a ~> Ordering)) (b :: TyFun (NonEmpty a) (NonEmpty a)) Source #

Instances

Instances details

SingI d => SingI (SortBySym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (SortBySym1 d) #
SuppressUnusedWarnings (SortBySym1 a6989586621681120308 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
SingI1 (SortBySym1 :: (a ~> (a ~> Ordering)) -> TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> (a ~> Ordering)). Sing x -> Sing (SortBySym1 x) #
type Apply (SortBySym1 a6989586621681120308 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120309 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (SortBySym1 a6989586621681120308 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120309 :: NonEmpty a) = SortBy a6989586621681120308 a6989586621681120309

type family SortBySym2 (a6989586621681120308 :: a ~> (a ~> Ordering)) (a6989586621681120309 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

SortBySym2 (a6989586621681120308 :: a ~> (a ~> Ordering)) (a6989586621681120309 :: NonEmpty a) = SortBy a6989586621681120308 a6989586621681120309

data SortWithSym0 (a1 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a)) Source #

Instances

Instances details

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

data SortWithSym1 (a6989586621681120299 :: a ~> o) (b :: TyFun (NonEmpty a) (NonEmpty a)) Source #

Instances

Instances details

SOrd o => SingI1 (SortWithSym1 :: (a ~> o) -> TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> o). Sing x -> Sing (SortWithSym1 x) #
(SOrd o, SingI d) => SingI (SortWithSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (SortWithSym1 d) #
SuppressUnusedWarnings (SortWithSym1 a6989586621681120299 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (SortWithSym1 a6989586621681120299 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120300 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (SortWithSym1 a6989586621681120299 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120300 :: NonEmpty a) = SortWith a6989586621681120299 a6989586621681120300

type family SortWithSym2 (a6989586621681120299 :: a ~> o) (a6989586621681120300 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

SortWithSym2 (a6989586621681120299 :: a ~> o) (a6989586621681120300 :: NonEmpty a) = SortWith a6989586621681120299 a6989586621681120300

data LengthSym0 (a1 :: TyFun (NonEmpty a) Natural) Source #

Instances

Instances details

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

type family LengthSym1 (a6989586621681120809 :: NonEmpty a) :: Natural where ... Source #

Equations

LengthSym1 (a6989586621681120809 :: NonEmpty a) = Length a6989586621681120809

data HeadSym0 (a1 :: TyFun (NonEmpty a) a) Source #

Instances

Instances details

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

type family HeadSym1 (a6989586621681120744 :: NonEmpty a) :: a where ... Source #

Equations

HeadSym1 (a6989586621681120744 :: NonEmpty a) = Head a6989586621681120744

data TailSym0 (a1 :: TyFun (NonEmpty a) [a]) Source #

Instances

Instances details

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

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

Equations

TailSym1 (a6989586621681120740 :: NonEmpty a) = Tail a6989586621681120740

data LastSym0 (a1 :: TyFun (NonEmpty a) a) Source #

Instances

Instances details

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

type family LastSym1 (a6989586621681120735 :: NonEmpty a) :: a where ... Source #

Equations

LastSym1 (a6989586621681120735 :: NonEmpty a) = Last a6989586621681120735

data InitSym0 (a1 :: TyFun (NonEmpty a) [a]) Source #

Instances

Instances details

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

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

Equations

InitSym1 (a6989586621681120730 :: NonEmpty a) = Init a6989586621681120730

data (<|@#@$) (a1 :: TyFun a (NonEmpty a ~> NonEmpty a)) Source #

Instances

Instances details

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

data (a6989586621681120723 :: a) <|@#@$$ (b :: TyFun (NonEmpty a) (NonEmpty a)) Source #

Instances

Instances details

SingI1 ((<\|@#@$$) :: a -> TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a). Sing x -> Sing ((<\|@#@$$) x) #
SingI d => SingI ((<\|@#@$$) d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing ((<\|@#@$$) d) #
SuppressUnusedWarnings ((<\|@#@$$) a6989586621681120723 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply ((<\|@#@$$) a6989586621681120723 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120724 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply ((<\|@#@$$) a6989586621681120723 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120724 :: NonEmpty a) = a6989586621681120723 <\| a6989586621681120724

type family (a6989586621681120723 :: a) <|@#@$$$ (a6989586621681120724 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

(a6989586621681120723 :: a) <|@#@$$$ (a6989586621681120724 :: NonEmpty a) = a6989586621681120723 <| a6989586621681120724

data ConsSym0 (a1 :: TyFun a (NonEmpty a ~> NonEmpty a)) Source #

Instances

Instances details

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

data ConsSym1 (a6989586621681120716 :: a) (b :: TyFun (NonEmpty a) (NonEmpty a)) Source #

Instances

Instances details

SingI1 (ConsSym1 :: a -> TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a). Sing x -> Sing (ConsSym1 x) #
SingI d => SingI (ConsSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (ConsSym1 d) #
SuppressUnusedWarnings (ConsSym1 a6989586621681120716 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ConsSym1 a6989586621681120716 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120717 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (ConsSym1 a6989586621681120716 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120717 :: NonEmpty a) = Cons a6989586621681120716 a6989586621681120717

type family ConsSym2 (a6989586621681120716 :: a) (a6989586621681120717 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

ConsSym2 (a6989586621681120716 :: a) (a6989586621681120717 :: NonEmpty a) = Cons a6989586621681120716 a6989586621681120717

data UnconsSym0 (a1 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a))) Source #

Instances

Instances details

SingI (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) #
SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) (a6989586621681120773 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) (a6989586621681120773 :: NonEmpty a) = Uncons a6989586621681120773

type family UnconsSym1 (a6989586621681120773 :: NonEmpty a) :: (a, Maybe (NonEmpty a)) where ... Source #

Equations

UnconsSym1 (a6989586621681120773 :: NonEmpty a) = Uncons a6989586621681120773

data UnfoldrSym0 (a1 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b)) Source #

Instances

Instances details

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

data UnfoldrSym1 (a6989586621681120749 :: a ~> (b, Maybe a)) (b1 :: TyFun a (NonEmpty b)) Source #

Instances

Instances details

SingI1 (UnfoldrSym1 :: (a ~> (b, Maybe a)) -> TyFun a (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> (b, Maybe a)). Sing x -> Sing (UnfoldrSym1 x) #
SingI d => SingI (UnfoldrSym1 d :: TyFun a (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (UnfoldrSym1 d) #
SuppressUnusedWarnings (UnfoldrSym1 a6989586621681120749 :: TyFun a (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (UnfoldrSym1 a6989586621681120749 :: TyFun a (NonEmpty b) -> Type) (a6989586621681120750 :: a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (UnfoldrSym1 a6989586621681120749 :: TyFun a (NonEmpty b) -> Type) (a6989586621681120750 :: a) = Unfoldr a6989586621681120749 a6989586621681120750

type family UnfoldrSym2 (a6989586621681120749 :: a ~> (b, Maybe a)) (a6989586621681120750 :: a) :: NonEmpty b where ... Source #

Equations

UnfoldrSym2 (a6989586621681120749 :: a ~> (b, Maybe a)) (a6989586621681120750 :: a) = Unfoldr a6989586621681120749 a6989586621681120750

data SortSym0 (a1 :: TyFun (NonEmpty a) (NonEmpty a)) Source #

Instances

Instances details

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

type family SortSym1 (a6989586621681120707 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

SortSym1 (a6989586621681120707 :: NonEmpty a) = Sort a6989586621681120707

data ReverseSym0 (a1 :: TyFun (NonEmpty a) (NonEmpty a)) Source #

Instances

Instances details

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

type family ReverseSym1 (a6989586621681120602 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

ReverseSym1 (a6989586621681120602 :: NonEmpty a) = Reverse a6989586621681120602

data InitsSym0 (a1 :: TyFun [a] (NonEmpty [a])) Source #

Instances

Instances details

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

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

Equations

InitsSym1 (a6989586621681120674 :: [a]) = Inits a6989586621681120674

data TailsSym0 (a1 :: TyFun [a] (NonEmpty [a])) Source #

Instances

Instances details

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

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

Equations

TailsSym1 (a6989586621681120668 :: [a]) = Tails a6989586621681120668

data UnfoldSym0 (a1 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b)) Source #

Instances

Instances details

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

data UnfoldSym1 (a6989586621681120784 :: a ~> (b, Maybe a)) (b1 :: TyFun a (NonEmpty b)) Source #

Instances

Instances details

SingI1 (UnfoldSym1 :: (a ~> (b, Maybe a)) -> TyFun a (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> (b, Maybe a)). Sing x -> Sing (UnfoldSym1 x) #
SingI d => SingI (UnfoldSym1 d :: TyFun a (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (UnfoldSym1 d) #
SuppressUnusedWarnings (UnfoldSym1 a6989586621681120784 :: TyFun a (NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (UnfoldSym1 a6989586621681120784 :: TyFun a (NonEmpty b) -> Type) (a6989586621681120785 :: a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (UnfoldSym1 a6989586621681120784 :: TyFun a (NonEmpty b) -> Type) (a6989586621681120785 :: a) = Unfold a6989586621681120784 a6989586621681120785

data InsertSym0 (a1 :: TyFun a ([a] ~> NonEmpty a)) Source #

Instances

Instances details

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

data InsertSym1 (a6989586621681120660 :: a) (b :: TyFun [a] (NonEmpty a)) Source #

Instances

Instances details

SOrd a => SingI1 (InsertSym1 :: a -> TyFun [a] (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a). Sing x -> Sing (InsertSym1 x) #
(SOrd a, SingI d) => SingI (InsertSym1 d :: TyFun [a] (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (InsertSym1 d) #
SuppressUnusedWarnings (InsertSym1 a6989586621681120660 :: TyFun [a] (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (InsertSym1 a6989586621681120660 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681120661 :: [a]) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (InsertSym1 a6989586621681120660 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681120661 :: [a]) = Insert a6989586621681120660 a6989586621681120661

type family InsertSym2 (a6989586621681120660 :: a) (a6989586621681120661 :: [a]) :: NonEmpty a where ... Source #

Equations

InsertSym2 (a6989586621681120660 :: a) (a6989586621681120661 :: [a]) = Insert a6989586621681120660 a6989586621681120661

data TakeSym0 (a1 :: TyFun Natural (NonEmpty a ~> [a])) Source #

Instances

Instances details

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

data TakeSym1 (a6989586621681120594 :: Natural) (b :: TyFun (NonEmpty a) [a]) Source #

Instances

Instances details

SingI1 (TakeSym1 :: Natural -> TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: Natural). Sing x -> Sing (TakeSym1 x :: TyFun (NonEmpty a) [a] -> Type) #
SingI d => SingI (TakeSym1 d :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (TakeSym1 d :: TyFun (NonEmpty a) [a] -> Type) #
SuppressUnusedWarnings (TakeSym1 a6989586621681120594 :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (TakeSym1 a6989586621681120594 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120595 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (TakeSym1 a6989586621681120594 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120595 :: NonEmpty a) = Take a6989586621681120594 a6989586621681120595

type family TakeSym2 (a6989586621681120594 :: Natural) (a6989586621681120595 :: NonEmpty a) :: [a] where ... Source #

Equations

TakeSym2 a6989586621681120594 (a6989586621681120595 :: NonEmpty a) = Take a6989586621681120594 a6989586621681120595

data DropSym0 (a1 :: TyFun Natural (NonEmpty a ~> [a])) Source #

Instances

Instances details

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

data DropSym1 (a6989586621681120585 :: Natural) (b :: TyFun (NonEmpty a) [a]) Source #

Instances

Instances details

SingI1 (DropSym1 :: Natural -> TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: Natural). Sing x -> Sing (DropSym1 x :: TyFun (NonEmpty a) [a] -> Type) #
SingI d => SingI (DropSym1 d :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (DropSym1 d :: TyFun (NonEmpty a) [a] -> Type) #
SuppressUnusedWarnings (DropSym1 a6989586621681120585 :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (DropSym1 a6989586621681120585 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120586 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (DropSym1 a6989586621681120585 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120586 :: NonEmpty a) = Drop a6989586621681120585 a6989586621681120586

type family DropSym2 (a6989586621681120585 :: Natural) (a6989586621681120586 :: NonEmpty a) :: [a] where ... Source #

Equations

DropSym2 a6989586621681120585 (a6989586621681120586 :: NonEmpty a) = Drop a6989586621681120585 a6989586621681120586

data SplitAtSym0 (a1 :: TyFun Natural (NonEmpty a ~> ([a], [a]))) Source #

Instances

Instances details

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

data SplitAtSym1 (a6989586621681120576 :: Natural) (b :: TyFun (NonEmpty a) ([a], [a])) Source #

Instances

Instances details

SingI1 (SplitAtSym1 :: Natural -> TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: Natural). Sing x -> Sing (SplitAtSym1 x :: TyFun (NonEmpty a) ([a], [a]) -> Type) #
SingI d => SingI (SplitAtSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (SplitAtSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) #
SuppressUnusedWarnings (SplitAtSym1 a6989586621681120576 :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (SplitAtSym1 a6989586621681120576 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120577 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (SplitAtSym1 a6989586621681120576 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120577 :: NonEmpty a) = SplitAt a6989586621681120576 a6989586621681120577

type family SplitAtSym2 (a6989586621681120576 :: Natural) (a6989586621681120577 :: NonEmpty a) :: ([a], [a]) where ... Source #

Equations

SplitAtSym2 a6989586621681120576 (a6989586621681120577 :: NonEmpty a) = SplitAt a6989586621681120576 a6989586621681120577

data TakeWhileSym0 (a1 :: TyFun (a ~> Bool) (NonEmpty a ~> [a])) Source #

Instances

Instances details

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

data TakeWhileSym1 (a6989586621681120567 :: a ~> Bool) (b :: TyFun (NonEmpty a) [a]) Source #

Instances

Instances details

SingI d => SingI (TakeWhileSym1 d :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (TakeWhileSym1 d) #
SuppressUnusedWarnings (TakeWhileSym1 a6989586621681120567 :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
SingI1 (TakeWhileSym1 :: (a ~> Bool) -> TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (TakeWhileSym1 x) #
type Apply (TakeWhileSym1 a6989586621681120567 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120568 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (TakeWhileSym1 a6989586621681120567 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120568 :: NonEmpty a) = TakeWhile a6989586621681120567 a6989586621681120568

type family TakeWhileSym2 (a6989586621681120567 :: a ~> Bool) (a6989586621681120568 :: NonEmpty a) :: [a] where ... Source #

Equations

TakeWhileSym2 (a6989586621681120567 :: a ~> Bool) (a6989586621681120568 :: NonEmpty a) = TakeWhile a6989586621681120567 a6989586621681120568

data DropWhileSym0 (a1 :: TyFun (a ~> Bool) (NonEmpty a ~> [a])) Source #

Instances

Instances details

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

data DropWhileSym1 (a6989586621681120558 :: a ~> Bool) (b :: TyFun (NonEmpty a) [a]) Source #

Instances

Instances details

SingI d => SingI (DropWhileSym1 d :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (DropWhileSym1 d) #
SuppressUnusedWarnings (DropWhileSym1 a6989586621681120558 :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
SingI1 (DropWhileSym1 :: (a ~> Bool) -> TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (DropWhileSym1 x) #
type Apply (DropWhileSym1 a6989586621681120558 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120559 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (DropWhileSym1 a6989586621681120558 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120559 :: NonEmpty a) = DropWhile a6989586621681120558 a6989586621681120559

type family DropWhileSym2 (a6989586621681120558 :: a ~> Bool) (a6989586621681120559 :: NonEmpty a) :: [a] where ... Source #

Equations

DropWhileSym2 (a6989586621681120558 :: a ~> Bool) (a6989586621681120559 :: NonEmpty a) = DropWhile a6989586621681120558 a6989586621681120559

data SpanSym0 (a1 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a]))) Source #

Instances

Instances details

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

data SpanSym1 (a6989586621681120549 :: a ~> Bool) (b :: TyFun (NonEmpty a) ([a], [a])) Source #

Instances

Instances details

SingI d => SingI (SpanSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (SpanSym1 d) #
SuppressUnusedWarnings (SpanSym1 a6989586621681120549 :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
SingI1 (SpanSym1 :: (a ~> Bool) -> TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (SpanSym1 x) #
type Apply (SpanSym1 a6989586621681120549 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120550 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (SpanSym1 a6989586621681120549 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120550 :: NonEmpty a) = Span a6989586621681120549 a6989586621681120550

type family SpanSym2 (a6989586621681120549 :: a ~> Bool) (a6989586621681120550 :: NonEmpty a) :: ([a], [a]) where ... Source #

Equations

SpanSym2 (a6989586621681120549 :: a ~> Bool) (a6989586621681120550 :: NonEmpty a) = Span a6989586621681120549 a6989586621681120550

data BreakSym0 (a1 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a]))) Source #

Instances

Instances details

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

data BreakSym1 (a6989586621681120540 :: a ~> Bool) (b :: TyFun (NonEmpty a) ([a], [a])) Source #

Instances

Instances details

SingI d => SingI (BreakSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (BreakSym1 d) #
SuppressUnusedWarnings (BreakSym1 a6989586621681120540 :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
SingI1 (BreakSym1 :: (a ~> Bool) -> TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (BreakSym1 x) #
type Apply (BreakSym1 a6989586621681120540 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120541 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (BreakSym1 a6989586621681120540 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120541 :: NonEmpty a) = Break a6989586621681120540 a6989586621681120541

type family BreakSym2 (a6989586621681120540 :: a ~> Bool) (a6989586621681120541 :: NonEmpty a) :: ([a], [a]) where ... Source #

Equations

BreakSym2 (a6989586621681120540 :: a ~> Bool) (a6989586621681120541 :: NonEmpty a) = Break a6989586621681120540 a6989586621681120541

data FilterSym0 (a1 :: TyFun (a ~> Bool) (NonEmpty a ~> [a])) Source #

Instances

Instances details

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

data FilterSym1 (a6989586621681120531 :: a ~> Bool) (b :: TyFun (NonEmpty a) [a]) Source #

Instances

Instances details

SingI d => SingI (FilterSym1 d :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (FilterSym1 d) #
SuppressUnusedWarnings (FilterSym1 a6989586621681120531 :: TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
SingI1 (FilterSym1 :: (a ~> Bool) -> TyFun (NonEmpty a) [a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (FilterSym1 x) #
type Apply (FilterSym1 a6989586621681120531 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120532 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (FilterSym1 a6989586621681120531 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120532 :: NonEmpty a) = Filter a6989586621681120531 a6989586621681120532

type family FilterSym2 (a6989586621681120531 :: a ~> Bool) (a6989586621681120532 :: NonEmpty a) :: [a] where ... Source #

Equations

FilterSym2 (a6989586621681120531 :: a ~> Bool) (a6989586621681120532 :: NonEmpty a) = Filter a6989586621681120531 a6989586621681120532

data PartitionSym0 (a1 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a]))) Source #

Instances

Instances details

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

data PartitionSym1 (a6989586621681120522 :: a ~> Bool) (b :: TyFun (NonEmpty a) ([a], [a])) Source #

Instances

Instances details

SingI d => SingI (PartitionSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (PartitionSym1 d) #
SuppressUnusedWarnings (PartitionSym1 a6989586621681120522 :: TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
SingI1 (PartitionSym1 :: (a ~> Bool) -> TyFun (NonEmpty a) ([a], [a]) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (PartitionSym1 x) #
type Apply (PartitionSym1 a6989586621681120522 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120523 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (PartitionSym1 a6989586621681120522 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120523 :: NonEmpty a) = Partition a6989586621681120522 a6989586621681120523

type family PartitionSym2 (a6989586621681120522 :: a ~> Bool) (a6989586621681120523 :: NonEmpty a) :: ([a], [a]) where ... Source #

Equations

PartitionSym2 (a6989586621681120522 :: a ~> Bool) (a6989586621681120523 :: NonEmpty a) = Partition a6989586621681120522 a6989586621681120523

data GroupSym0 (a1 :: TyFun [a] [NonEmpty a]) Source #

Instances

Instances details

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

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

Equations

GroupSym1 (a6989586621681120515 :: [a]) = Group a6989586621681120515

data GroupBySym0 (a1 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a])) Source #

Instances

Instances details

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

data GroupBySym1 (a6989586621681120482 :: a ~> (a ~> Bool)) (b :: TyFun [a] [NonEmpty a]) Source #

Instances

Instances details

SingI d => SingI (GroupBySym1 d :: TyFun [a] [NonEmpty a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (GroupBySym1 d) #
SuppressUnusedWarnings (GroupBySym1 a6989586621681120482 :: TyFun [a] [NonEmpty a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
SingI1 (GroupBySym1 :: (a ~> (a ~> Bool)) -> TyFun [a] [NonEmpty a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> (a ~> Bool)). Sing x -> Sing (GroupBySym1 x) #
type Apply (GroupBySym1 a6989586621681120482 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120483 :: [a]) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (GroupBySym1 a6989586621681120482 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120483 :: [a]) = GroupBy a6989586621681120482 a6989586621681120483

type family GroupBySym2 (a6989586621681120482 :: a ~> (a ~> Bool)) (a6989586621681120483 :: [a]) :: [NonEmpty a] where ... Source #

Equations

GroupBySym2 (a6989586621681120482 :: a ~> (a ~> Bool)) (a6989586621681120483 :: [a]) = GroupBy a6989586621681120482 a6989586621681120483

data GroupWithSym0 (a1 :: TyFun (a ~> b) ([a] ~> [NonEmpty a])) Source #

Instances

Instances details

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

data GroupWithSym1 (a6989586621681120473 :: a ~> b) (b1 :: TyFun [a] [NonEmpty a]) Source #

Instances

Instances details

SEq b => SingI1 (GroupWithSym1 :: (a ~> b) -> TyFun [a] [NonEmpty a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> b). Sing x -> Sing (GroupWithSym1 x) #
(SEq b, SingI d) => SingI (GroupWithSym1 d :: TyFun [a] [NonEmpty a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (GroupWithSym1 d) #
SuppressUnusedWarnings (GroupWithSym1 a6989586621681120473 :: TyFun [a] [NonEmpty a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (GroupWithSym1 a6989586621681120473 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120474 :: [a]) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (GroupWithSym1 a6989586621681120473 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120474 :: [a]) = GroupWith a6989586621681120473 a6989586621681120474

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

Equations

GroupWithSym2 (a6989586621681120473 :: a ~> b) (a6989586621681120474 :: [a]) = GroupWith a6989586621681120473 a6989586621681120474

data GroupAllWithSym0 (a1 :: TyFun (a ~> b) ([a] ~> [NonEmpty a])) Source #

Instances

Instances details

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

data GroupAllWithSym1 (a6989586621681120464 :: a ~> b) (b1 :: TyFun [a] [NonEmpty a]) Source #

Instances

Instances details

SOrd b => SingI1 (GroupAllWithSym1 :: (a ~> b) -> TyFun [a] [NonEmpty a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> b). Sing x -> Sing (GroupAllWithSym1 x) #
(SOrd b, SingI d) => SingI (GroupAllWithSym1 d :: TyFun [a] [NonEmpty a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (GroupAllWithSym1 d) #
SuppressUnusedWarnings (GroupAllWithSym1 a6989586621681120464 :: TyFun [a] [NonEmpty a] -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (GroupAllWithSym1 a6989586621681120464 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120465 :: [a]) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (GroupAllWithSym1 a6989586621681120464 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120465 :: [a]) = GroupAllWith a6989586621681120464 a6989586621681120465

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

Equations

GroupAllWithSym2 (a6989586621681120464 :: a ~> b) (a6989586621681120465 :: [a]) = GroupAllWith a6989586621681120464 a6989586621681120465

data Group1Sym0 (a1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a))) Source #

Instances

Instances details

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

type family Group1Sym1 (a6989586621681120457 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #

Equations

Group1Sym1 (a6989586621681120457 :: NonEmpty a) = Group1 a6989586621681120457

data GroupBy1Sym0 (a1 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a))) Source #

Instances

Instances details

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

data GroupBy1Sym1 (a6989586621681120430 :: a ~> (a ~> Bool)) (b :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a))) Source #

Instances

Instances details

SingI d => SingI (GroupBy1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (GroupBy1Sym1 d) #
SuppressUnusedWarnings (GroupBy1Sym1 a6989586621681120430 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
SingI1 (GroupBy1Sym1 :: (a ~> (a ~> Bool)) -> TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> (a ~> Bool)). Sing x -> Sing (GroupBy1Sym1 x) #
type Apply (GroupBy1Sym1 a6989586621681120430 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120431 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (GroupBy1Sym1 a6989586621681120430 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120431 :: NonEmpty a) = GroupBy1 a6989586621681120430 a6989586621681120431

type family GroupBy1Sym2 (a6989586621681120430 :: a ~> (a ~> Bool)) (a6989586621681120431 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #

Equations

GroupBy1Sym2 (a6989586621681120430 :: a ~> (a ~> Bool)) (a6989586621681120431 :: NonEmpty a) = GroupBy1 a6989586621681120430 a6989586621681120431

data GroupWith1Sym0 (a1 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a))) Source #

Instances

Instances details

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

data GroupWith1Sym1 (a6989586621681120423 :: a ~> b) (b1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a))) Source #

Instances

Instances details

SEq b => SingI1 (GroupWith1Sym1 :: (a ~> b) -> TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> b). Sing x -> Sing (GroupWith1Sym1 x) #
(SEq b, SingI d) => SingI (GroupWith1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (GroupWith1Sym1 d) #
SuppressUnusedWarnings (GroupWith1Sym1 a6989586621681120423 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (GroupWith1Sym1 a6989586621681120423 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120424 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (GroupWith1Sym1 a6989586621681120423 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120424 :: NonEmpty a) = GroupWith1 a6989586621681120423 a6989586621681120424

type family GroupWith1Sym2 (a6989586621681120423 :: a ~> b) (a6989586621681120424 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #

Equations

GroupWith1Sym2 (a6989586621681120423 :: a ~> b) (a6989586621681120424 :: NonEmpty a) = GroupWith1 a6989586621681120423 a6989586621681120424

data GroupAllWith1Sym0 (a1 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a))) Source #

Instances

Instances details

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

data GroupAllWith1Sym1 (a6989586621681120414 :: a ~> b) (b1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a))) Source #

Instances

Instances details

SOrd b => SingI1 (GroupAllWith1Sym1 :: (a ~> b) -> TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> b). Sing x -> Sing (GroupAllWith1Sym1 x) #
(SOrd b, SingI d) => SingI (GroupAllWith1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (GroupAllWith1Sym1 d) #
SuppressUnusedWarnings (GroupAllWith1Sym1 a6989586621681120414 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (GroupAllWith1Sym1 a6989586621681120414 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120415 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (GroupAllWith1Sym1 a6989586621681120414 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120415 :: NonEmpty a) = GroupAllWith1 a6989586621681120414 a6989586621681120415

type family GroupAllWith1Sym2 (a6989586621681120414 :: a ~> b) (a6989586621681120415 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ... Source #

Equations

GroupAllWith1Sym2 (a6989586621681120414 :: a ~> b) (a6989586621681120415 :: NonEmpty a) = GroupAllWith1 a6989586621681120414 a6989586621681120415

data IsPrefixOfSym0 (a1 :: TyFun [a] (NonEmpty a ~> Bool)) Source #

Instances

Instances details

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

data IsPrefixOfSym1 (a6989586621681120403 :: [a]) (b :: TyFun (NonEmpty a) Bool) Source #

Instances

Instances details

SEq a => SingI1 (IsPrefixOfSym1 :: [a] -> TyFun (NonEmpty a) Bool -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: [a]). Sing x -> Sing (IsPrefixOfSym1 x) #
(SEq a, SingI d) => SingI (IsPrefixOfSym1 d :: TyFun (NonEmpty a) Bool -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (IsPrefixOfSym1 d) #
SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621681120403 :: TyFun (NonEmpty a) Bool -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (IsPrefixOfSym1 a6989586621681120403 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681120404 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (IsPrefixOfSym1 a6989586621681120403 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681120404 :: NonEmpty a) = IsPrefixOf a6989586621681120403 a6989586621681120404

type family IsPrefixOfSym2 (a6989586621681120403 :: [a]) (a6989586621681120404 :: NonEmpty a) :: Bool where ... Source #

Equations

IsPrefixOfSym2 (a6989586621681120403 :: [a]) (a6989586621681120404 :: NonEmpty a) = IsPrefixOf a6989586621681120403 a6989586621681120404

data NubSym0 (a1 :: TyFun (NonEmpty a) (NonEmpty a)) Source #

Instances

Instances details

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

type family NubSym1 (a6989586621681120334 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

NubSym1 (a6989586621681120334 :: NonEmpty a) = Nub a6989586621681120334

data NubBySym0 (a1 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a)) Source #

Instances

Instances details

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

data NubBySym1 (a6989586621681120321 :: a ~> (a ~> Bool)) (b :: TyFun (NonEmpty a) (NonEmpty a)) Source #

Instances

Instances details

SingI d => SingI (NubBySym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (NubBySym1 d) #
SuppressUnusedWarnings (NubBySym1 a6989586621681120321 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
SingI1 (NubBySym1 :: (a ~> (a ~> Bool)) -> TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> (a ~> Bool)). Sing x -> Sing (NubBySym1 x) #
type Apply (NubBySym1 a6989586621681120321 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120322 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (NubBySym1 a6989586621681120321 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120322 :: NonEmpty a) = NubBy a6989586621681120321 a6989586621681120322

type family NubBySym2 (a6989586621681120321 :: a ~> (a ~> Bool)) (a6989586621681120322 :: NonEmpty a) :: NonEmpty a where ... Source #

Equations

NubBySym2 (a6989586621681120321 :: a ~> (a ~> Bool)) (a6989586621681120322 :: NonEmpty a) = NubBy a6989586621681120321 a6989586621681120322

data (!!@#@$) (a1 :: TyFun (NonEmpty a) (Natural ~> a)) Source #

Instances

Instances details

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

data (a6989586621681120384 :: NonEmpty a) !!@#@$$ (b :: TyFun Natural a) Source #

Instances

Instances details

SingI1 ((!!@#@$$) :: NonEmpty a -> TyFun Natural a -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: NonEmpty a). Sing x -> Sing ((!!@#@$$) x) #
SingI d => SingI ((!!@#@$$) d :: TyFun Natural a -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing ((!!@#@$$) d) #
SuppressUnusedWarnings ((!!@#@$$) a6989586621681120384 :: TyFun Natural a -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply ((!!@#@$$) a6989586621681120384 :: TyFun Natural a -> Type) (a6989586621681120385 :: Natural) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply ((!!@#@$$) a6989586621681120384 :: TyFun Natural a -> Type) (a6989586621681120385 :: Natural) = a6989586621681120384 !! a6989586621681120385

type family (a6989586621681120384 :: NonEmpty a) !!@#@$$$ (a6989586621681120385 :: Natural) :: a where ... Source #

Equations

(a6989586621681120384 :: NonEmpty a) !!@#@$$$ a6989586621681120385 = a6989586621681120384 !! a6989586621681120385

data ZipSym0 (a1 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b))) Source #

Instances

Instances details

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

data ZipSym1 (a6989586621681120375 :: NonEmpty a) (b1 :: TyFun (NonEmpty b) (NonEmpty (a, b))) Source #

Instances

Instances details

SingI1 (ZipSym1 :: NonEmpty a -> TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: NonEmpty a). Sing x -> Sing (ZipSym1 x :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) #
SingI d => SingI (ZipSym1 d :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (ZipSym1 d :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) #
SuppressUnusedWarnings (ZipSym1 a6989586621681120375 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ZipSym1 a6989586621681120375 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681120376 :: NonEmpty b) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (ZipSym1 a6989586621681120375 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681120376 :: NonEmpty b) = Zip a6989586621681120375 a6989586621681120376

type family ZipSym2 (a6989586621681120375 :: NonEmpty a) (a6989586621681120376 :: NonEmpty b) :: NonEmpty (a, b) where ... Source #

Equations

ZipSym2 (a6989586621681120375 :: NonEmpty a) (a6989586621681120376 :: NonEmpty b) = Zip a6989586621681120375 a6989586621681120376

data ZipWithSym0 (a1 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c))) Source #

Instances

Instances details

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

data ZipWithSym1 (a6989586621681120364 :: a ~> (b ~> c)) (b1 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c)) Source #

Instances

Instances details

SingI1 (ZipWithSym1 :: (a ~> (b ~> c)) -> TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a ~> (b ~> c)). Sing x -> Sing (ZipWithSym1 x) #
SingI d => SingI (ZipWithSym1 d :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (ZipWithSym1 d) #
SuppressUnusedWarnings (ZipWithSym1 a6989586621681120364 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ZipWithSym1 a6989586621681120364 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) (a6989586621681120365 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (ZipWithSym1 a6989586621681120364 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) (a6989586621681120365 :: NonEmpty a) = ZipWithSym2 a6989586621681120364 a6989586621681120365

data ZipWithSym2 (a6989586621681120364 :: a ~> (b ~> c)) (a6989586621681120365 :: NonEmpty a) (c1 :: TyFun (NonEmpty b) (NonEmpty c)) Source #

Instances

Instances details

SingI d => SingI1 (ZipWithSym2 d :: NonEmpty a -> TyFun (NonEmpty b) (NonEmpty c) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: NonEmpty a). Sing x -> Sing (ZipWithSym2 d x) #
SingI2 (ZipWithSym2 :: (a ~> (b ~> c)) -> NonEmpty a -> TyFun (NonEmpty b) (NonEmpty c) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing2 :: forall (x :: a ~> (b ~> c)) (y :: NonEmpty a). Sing x -> Sing y -> Sing (ZipWithSym2 x y) #
(SingI d1, SingI d2) => SingI (ZipWithSym2 d1 d2 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (ZipWithSym2 d1 d2) #
SuppressUnusedWarnings (ZipWithSym2 a6989586621681120364 a6989586621681120365 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (ZipWithSym2 a6989586621681120364 a6989586621681120365 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681120366 :: NonEmpty b) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (ZipWithSym2 a6989586621681120364 a6989586621681120365 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681120366 :: NonEmpty b) = ZipWith a6989586621681120364 a6989586621681120365 a6989586621681120366

type family ZipWithSym3 (a6989586621681120364 :: a ~> (b ~> c)) (a6989586621681120365 :: NonEmpty a) (a6989586621681120366 :: NonEmpty b) :: NonEmpty c where ... Source #

Equations

ZipWithSym3 (a6989586621681120364 :: a ~> (b ~> c)) (a6989586621681120365 :: NonEmpty a) (a6989586621681120366 :: NonEmpty b) = ZipWith a6989586621681120364 a6989586621681120365 a6989586621681120366

data UnzipSym0 (a1 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b)) Source #

Instances

Instances details

SingI (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) #
SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) (a6989586621681120338 :: NonEmpty (a, b)) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) (a6989586621681120338 :: NonEmpty (a, b)) = Unzip a6989586621681120338

type family UnzipSym1 (a6989586621681120338 :: NonEmpty (a, b)) :: (NonEmpty a, NonEmpty b) where ... Source #

Equations

UnzipSym1 (a6989586621681120338 :: NonEmpty (a, b)) = Unzip a6989586621681120338

data FromListSym0 (a1 :: TyFun [a] (NonEmpty a)) Source #

Instances

Instances details

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

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

Equations

FromListSym1 (a6989586621681120700 :: [a]) = FromList a6989586621681120700

data ToListSym0 (a1 :: TyFun (NonEmpty a) [a]) Source #

Instances

Instances details

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

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

Equations

ToListSym1 (a6989586621681120695 :: NonEmpty a) = ToList a6989586621681120695

data NonEmpty_Sym0 (a1 :: TyFun [a] (Maybe (NonEmpty a))) Source #

Instances

Instances details

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

type family NonEmpty_Sym1 (a6989586621681120778 :: [a]) :: Maybe (NonEmpty a) where ... Source #

Equations

NonEmpty_Sym1 (a6989586621681120778 :: [a]) = NonEmpty_ a6989586621681120778

data XorSym0 (a :: TyFun (NonEmpty Bool) Bool) Source #

Instances

Instances details

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

type family XorSym1 (a6989586621681120798 :: NonEmpty Bool) :: Bool where ... Source #

Equations

XorSym1 a6989586621681120798 = Xor a6989586621681120798

Orphan instances

PMonadZip NonEmpty Source #

Instance details

Associated Types

type Mzip (a2 :: NonEmpty a1) (a3 :: NonEmpty b)
Instance details Defined in Data.List.NonEmpty.Singletons type Mzip (a2 :: NonEmpty a1) (a3 :: NonEmpty b)
type MzipWith (a2 :: a1 ~> (b ~> c)) (a3 :: NonEmpty a1) (a4 :: NonEmpty b)
Instance details Defined in Data.List.NonEmpty.Singletons type MzipWith (a2 :: a1 ~> (b ~> c)) (a3 :: NonEmpty a1) (a4 :: NonEmpty b)
type Munzip (a2 :: NonEmpty (a1, b))
Instance details Defined in Data.List.NonEmpty.Singletons type Munzip (a2 :: NonEmpty (a1, b))

SMonadZip NonEmpty Source #

Instance details

Methods

sMzip :: forall a b (t1 :: NonEmpty a) (t2 :: NonEmpty b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (MzipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type) t1) t2) Source #

sMzipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: NonEmpty a) (t3 :: NonEmpty b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (MzipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type) t1) t2) t3) Source #

sMunzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Apply (MunzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) t) Source #

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

SingI1 ((:\|@#@$$) :: a -> TyFun [a] (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Base.Instances Methods liftSing :: forall (x :: a). Sing x -> Sing ((:\|@#@$$) x) #
SingI d => SingI ((:\|@#@$$) d :: TyFun [a] (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Base.Instances Methods sing :: Sing ((:\|@#@$$) d) #
SuppressUnusedWarnings ((:\|@#@$$) a6989586621679046311 :: TyFun [a] (NonEmpty a) -> Type) Source #
Instance details Defined in Data.Singletons.Base.Instances Methods suppressUnusedWarnings :: () #
type Apply ((:\|@#@$$) a6989586621679046311 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621679046312 :: [a]) Source #
Instance details Defined in Data.Singletons.Base.Instances type Apply ((:\|@#@$$) a6989586621679046311 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621679046312 :: [a]) = a6989586621679046311 ':\| a6989586621679046312

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

SingI1 ((<\|@#@$$) :: a -> TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods liftSing :: forall (x :: a). Sing x -> Sing ((<\|@#@$$) x) #
SingI d => SingI ((<\|@#@$$) d :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods sing :: Sing ((<\|@#@$$) d) #
SuppressUnusedWarnings ((<\|@#@$$) a6989586621681120723 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) Source #
Instance details Defined in Data.List.NonEmpty.Singletons Methods suppressUnusedWarnings :: () #
type Apply ((<\|@#@$$) a6989586621681120723 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120724 :: NonEmpty a) Source #
Instance details Defined in Data.List.NonEmpty.Singletons type Apply ((<\|@#@$$) a6989586621681120723 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120724 :: NonEmpty a) = a6989586621681120723 <\| a6989586621681120724

The NonEmpty singleton

Instances

Instances

Non-empty stream transformations

Defunctionalization symbols

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

The `NonEmpty` singleton