singletons-2.4.1: A framework for generating singleton types

Copyright(C) 2016 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRichard Eisenberg (rae@cs.brynmawr.edu)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Singletons.Prelude.List.NonEmpty

Contents

Description

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

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

Synopsis

The NonEmpty singleton

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

The singleton kind-indexed data family.

Instances
SDecide k => TestCoercion (Sing :: k -> *) # 
Instance details

Defined in Data.Singletons.Decide

Methods

testCoercion :: Sing a -> Sing b -> Maybe (Coercion a b) #

SDecide k => TestEquality (Sing :: k -> *) # 
Instance details

Defined in Data.Singletons.Decide

Methods

testEquality :: Sing a -> Sing b -> Maybe (a :~: b) #

Show (SSymbol s) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> SSymbol s -> ShowS #

show :: SSymbol s -> String #

showList :: [SSymbol s] -> ShowS #

Show (SNat n) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> SNat n -> ShowS #

show :: SNat n -> String #

showList :: [SNat n] -> ShowS #

Eq (Sing a) # 
Instance details

Defined in Data.Singletons.TypeRepStar

Methods

(==) :: Sing a -> Sing a -> Bool #

(/=) :: Sing a -> Sing a -> Bool #

Ord (Sing a) # 
Instance details

Defined in Data.Singletons.TypeRepStar

Methods

compare :: Sing a -> Sing a -> Ordering #

(<) :: Sing a -> Sing a -> Bool #

(<=) :: Sing a -> Sing a -> Bool #

(>) :: Sing a -> Sing a -> Bool #

(>=) :: Sing a -> Sing a -> Bool #

max :: Sing a -> Sing a -> Sing a #

min :: Sing a -> Sing a -> Sing a #

Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing [a]) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

ShowSing a => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

Show (Sing a) # 
Instance details

Defined in Data.Singletons.TypeRepStar

Methods

showsPrec :: Int -> Sing a -> ShowS #

show :: Sing a -> String #

showList :: [Sing a] -> ShowS #

Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

(ShowSing a, ShowSing [a]) => Show (Sing z) # 
Instance details

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS #

show :: Sing z -> String #

showList :: [Sing z] -> ShowS #

data Sing (z :: Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Bool) where
data Sing (z :: Ordering) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Ordering) where
data Sing (a :: Type) Source # 
Instance details

Defined in Data.Singletons.TypeRepStar

data Sing (a :: Type) = STypeRep (TypeRep a)
data Sing (n :: Nat) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Nat) where
data Sing (n :: Symbol) Source # 
Instance details

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Symbol) where
data Sing (z :: ()) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: ()) where
data Sing (z :: Void) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Void)
data Sing (z :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: [a]) where
data Sing (z :: Maybe a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Maybe a) where
data Sing (z :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: NonEmpty a) where
data Sing (z :: Either a b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Either a b) where
data Sing (z :: (a, b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b)) where
data Sing (f :: k1 ~> k2) Source # 
Instance details

Defined in Data.Singletons.Internal

data Sing (f :: k1 ~> k2) = SLambda {}
data Sing (z :: (a, b, c)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b, c)) where
data Sing (z :: (a, b, c, d)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b, c, d)) where
data Sing (z :: (a, b, c, d, e)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b, c, d, e)) where
data Sing (z :: (a, b, c, d, e, f)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b, c, d, e, f)) where
data Sing (z :: (a, b, c, d, e, f, g)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b, c, d, e, f, g)) where

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

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

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

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

Non-empty stream transformations

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

Equations

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

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

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

Equations

SortWith a_6989586621679772736 a_6989586621679772738 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621679772736) a_6989586621679772738 

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

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

Equations

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

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

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

Equations

Head ((:|) a _) = a 

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

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

Equations

Tail ((:|) _ as) = as 

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

Cons a_6989586621679772874 a_6989586621679772876 = Apply (Apply (<|@#@$) a_6989586621679772874) a_6989586621679772876 

sCons :: forall (t :: a) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply ConsSym0 t) t :: NonEmpty a) Source #

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

Equations

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

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

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

Equations

Unfoldr f a = Case_6989586621679772963 f a (Let6989586621679772955Scrutinee_6989586621679770923Sym2 f a) 

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

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

Equations

Sort a_6989586621679772855 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621679772855 

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

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

Equations

Reverse a_6989586621679772716 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621679772716 

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

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

Equations

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

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

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

Equations

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

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

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

Equations

Unfold f a = Case_6989586621679772999 f a (Let6989586621679772991Scrutinee_6989586621679770913Sym2 f a) 

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

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

Equations

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

sInsert :: forall (t :: a) (t :: [a]). SOrd a => Sing t -> Sing t -> Sing (Apply (Apply InsertSym0 t) t :: NonEmpty a) Source #

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

Equations

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

sTake :: forall (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a]) Source #

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

Equations

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

sDrop :: forall (t :: Nat) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a]) Source #

type family SplitAt (a :: Nat) (a :: NonEmpty a) :: ([a], [a]) where ... Source #

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

GroupBy eq0 a_6989586621679772313 = Apply (Apply (Let6989586621679772317GoSym2 eq0 a_6989586621679772313) eq0) a_6989586621679772313 

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

GroupBy1 eq ((:|) x xs) = Apply (Apply (:|@#@$) (Apply (Apply (:|@#@$) x) (Let6989586621679772469YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621679772469ZsSym3 eq x xs)) 

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

arg_6989586621679770935 !! arg_6989586621679770937 = Case_6989586621679772279 arg_6989586621679770935 arg_6989586621679770937 (Apply (Apply Tuple2Sym0 arg_6989586621679770935) arg_6989586621679770937) 

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

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

Equations

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

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

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

Equations

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

sZipWith :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: NonEmpty a) (t :: NonEmpty b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: NonEmpty c) Source #

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

Defunctionalization symbols

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

Instances
SuppressUnusedWarnings ((:|@#@$) :: TyFun a6989586621679066011 (TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:|@#@$) :: TyFun a6989586621679066011 (TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> Type) -> *) (l :: a6989586621679066011) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:|@#@$) :: TyFun a6989586621679066011 (TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> Type) -> *) (l :: a6989586621679066011) = (:|@#@$$) l

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

Instances
SuppressUnusedWarnings ((:|@#@$$) :: a6989586621679066011 -> TyFun [a6989586621679066011] (NonEmpty a6989586621679066011) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:|@#@$$) l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Instances

type Apply ((:|@#@$$) l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) = l1 :| l2

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

data MapSym0 (l :: TyFun (TyFun a6989586621679770729 b6989586621679770730 -> Type) (TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> Type)) Source #

Instances
SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679770729 b6989586621679770730 -> Type) (TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (MapSym0 :: TyFun (TyFun a6989586621679770729 b6989586621679770730 -> Type) (TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> Type) -> *) (l :: TyFun a6989586621679770729 b6989586621679770730 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (MapSym0 :: TyFun (TyFun a6989586621679770729 b6989586621679770730 -> Type) (TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> Type) -> *) (l :: TyFun a6989586621679770729 b6989586621679770730 -> Type) = MapSym1 l

data MapSym1 (l :: TyFun a6989586621679770729 b6989586621679770730 -> Type) (l :: TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730)) Source #

Instances
SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679770729 b6989586621679770730 -> Type) -> TyFun (NonEmpty a6989586621679770729) (NonEmpty b6989586621679770730) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (MapSym1 l1 :: TyFun (NonEmpty a) (NonEmpty b) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (MapSym1 l1 :: TyFun (NonEmpty a) (NonEmpty b) -> *) (l2 :: NonEmpty a) = Map l1 l2

type MapSym2 (t :: TyFun a6989586621679770729 b6989586621679770730 -> Type) (t :: NonEmpty a6989586621679770729) = Map t t Source #

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

Instances
SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621679770719 (TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IntersperseSym0 :: TyFun a6989586621679770719 (TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> Type) -> *) (l :: a6989586621679770719) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IntersperseSym0 :: TyFun a6989586621679770719 (TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> Type) -> *) (l :: a6989586621679770719) = IntersperseSym1 l

data IntersperseSym1 (l :: a6989586621679770719) (l :: TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719)) Source #

Instances
SuppressUnusedWarnings (IntersperseSym1 :: a6989586621679770719 -> TyFun (NonEmpty a6989586621679770719) (NonEmpty a6989586621679770719) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IntersperseSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IntersperseSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Intersperse l1 l2

type IntersperseSym2 (t :: a6989586621679770719) (t :: NonEmpty a6989586621679770719) = Intersperse t t Source #

data ScanlSym0 (l :: TyFun (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> Type) -> *) (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> Type) -> *) (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) = ScanlSym1 l

data ScanlSym1 (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (l :: TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type)) Source #

Instances
SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) -> TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym1 l1 :: TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> *) (l2 :: b6989586621679770724) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym1 l1 :: TyFun b6989586621679770724 (TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> Type) -> *) (l2 :: b6989586621679770724) = ScanlSym2 l1 l2

data ScanlSym2 (l :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (l :: b6989586621679770724) (l :: TyFun [a6989586621679770725] (NonEmpty b6989586621679770724)) Source #

Instances
SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) -> b6989586621679770724 -> TyFun [a6989586621679770725] (NonEmpty b6989586621679770724) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanlSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) = Scanl l1 l2 l3

type ScanlSym3 (t :: TyFun b6989586621679770724 (TyFun a6989586621679770725 b6989586621679770724 -> Type) -> Type) (t :: b6989586621679770724) (t :: [a6989586621679770725]) = Scanl t t t Source #

data ScanrSym0 (l :: TyFun (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> Type) -> *) (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> Type) -> *) (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) = ScanrSym1 l

data ScanrSym1 (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (l :: TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type)) Source #

Instances
SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) -> TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym1 l1 :: TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> *) (l2 :: b6989586621679770723) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym1 l1 :: TyFun b6989586621679770723 (TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> Type) -> *) (l2 :: b6989586621679770723) = ScanrSym2 l1 l2

data ScanrSym2 (l :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (l :: b6989586621679770723) (l :: TyFun [a6989586621679770722] (NonEmpty b6989586621679770723)) Source #

Instances
SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) -> b6989586621679770723 -> TyFun [a6989586621679770722] (NonEmpty b6989586621679770723) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ScanrSym2 l1 l2 :: TyFun [a] (NonEmpty b) -> *) (l3 :: [a]) = Scanr l1 l2 l3

type ScanrSym3 (t :: TyFun a6989586621679770722 (TyFun b6989586621679770723 b6989586621679770723 -> Type) -> Type) (t :: b6989586621679770723) (t :: [a6989586621679770722]) = Scanr t t t Source #

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

Instances
SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> Type) -> *) (l :: TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> Type) -> *) (l :: TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) = Scanl1Sym1 l

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

Instances
SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679770721 (TyFun a6989586621679770721 a6989586621679770721 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770721) (NonEmpty a6989586621679770721) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanl1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanl1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Scanl1 l1 l2

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

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

Instances
SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> Type) -> *) (l :: TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> Type) -> *) (l :: TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) = Scanr1Sym1 l

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

Instances
SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679770720 (TyFun a6989586621679770720 a6989586621679770720 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770720) (NonEmpty a6989586621679770720) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanr1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Scanr1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Scanr1 l1 l2

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

data TransposeSym0 (l :: TyFun (NonEmpty (NonEmpty a6989586621679770685)) (NonEmpty (NonEmpty a6989586621679770685))) Source #

Instances
SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621679770685)) (NonEmpty (NonEmpty a6989586621679770685)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty (NonEmpty a)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type TransposeSym1 (t :: NonEmpty (NonEmpty a6989586621679770685)) = Transpose t Source #

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

Instances
SuppressUnusedWarnings (SortBySym0 :: TyFun (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortBySym0 :: TyFun (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> Type) -> *) (l :: TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortBySym0 :: TyFun (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> Type) -> *) (l :: TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) = SortBySym1 l

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

Instances
SuppressUnusedWarnings (SortBySym1 :: (TyFun a6989586621679770684 (TyFun a6989586621679770684 Ordering -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770684) (NonEmpty a6989586621679770684) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = SortBy l1 l2

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

data SortWithSym0 (l :: TyFun (TyFun a6989586621679770683 o6989586621679770682 -> Type) (TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> Type)) Source #

Instances
SuppressUnusedWarnings (SortWithSym0 :: TyFun (TyFun a6989586621679770683 o6989586621679770682 -> Type) (TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortWithSym0 :: TyFun (TyFun a6989586621679770683 o6989586621679770682 -> Type) (TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> Type) -> *) (l :: TyFun a6989586621679770683 o6989586621679770682 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortWithSym0 :: TyFun (TyFun a6989586621679770683 o6989586621679770682 -> Type) (TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> Type) -> *) (l :: TyFun a6989586621679770683 o6989586621679770682 -> Type) = SortWithSym1 l

data SortWithSym1 (l :: TyFun a6989586621679770683 o6989586621679770682 -> Type) (l :: TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683)) Source #

Instances
SuppressUnusedWarnings (SortWithSym1 :: (TyFun a6989586621679770683 o6989586621679770682 -> Type) -> TyFun (NonEmpty a6989586621679770683) (NonEmpty a6989586621679770683) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortWithSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortWithSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = SortWith l1 l2

type SortWithSym2 (t :: TyFun a6989586621679770683 o6989586621679770682 -> Type) (t :: NonEmpty a6989586621679770683) = SortWith t t Source #

data LengthSym0 (l :: TyFun (NonEmpty a6989586621679770748) Nat) Source #

Instances
SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a6989586621679770748) Nat -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (LengthSym0 :: TyFun (NonEmpty a) Nat -> *) (l :: NonEmpty a) = Length l

type LengthSym1 (t :: NonEmpty a6989586621679770748) = Length t Source #

data HeadSym0 (l :: TyFun (NonEmpty a6989586621679770741) a6989586621679770741) Source #

Instances
SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a6989586621679770741) a6989586621679770741 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) = Head l

type HeadSym1 (t :: NonEmpty a6989586621679770741) = Head t Source #

data TailSym0 (l :: TyFun (NonEmpty a6989586621679770740) [a6989586621679770740]) Source #

Instances
SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a6989586621679770740) [a6989586621679770740] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) = Tail l

type TailSym1 (t :: NonEmpty a6989586621679770740) = Tail t Source #

data LastSym0 (l :: TyFun (NonEmpty a6989586621679770739) a6989586621679770739) Source #

Instances
SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a6989586621679770739) a6989586621679770739 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (LastSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (LastSym0 :: TyFun (NonEmpty a) a -> *) (l :: NonEmpty a) = Last l

type LastSym1 (t :: NonEmpty a6989586621679770739) = Last t Source #

data InitSym0 (l :: TyFun (NonEmpty a6989586621679770738) [a6989586621679770738]) Source #

Instances
SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a6989586621679770738) [a6989586621679770738] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) = Init l

type InitSym1 (t :: NonEmpty a6989586621679770738) = Init t Source #

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

Instances
SuppressUnusedWarnings ((<|@#@$) :: TyFun a6989586621679770737 (TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((<|@#@$) :: TyFun a6989586621679770737 (TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> Type) -> *) (l :: a6989586621679770737) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((<|@#@$) :: TyFun a6989586621679770737 (TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> Type) -> *) (l :: a6989586621679770737) = (<|@#@$$) l

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

Instances
SuppressUnusedWarnings ((<|@#@$$) :: a6989586621679770737 -> TyFun (NonEmpty a6989586621679770737) (NonEmpty a6989586621679770737) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((<|@#@$$) l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((<|@#@$$) l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = l1 <| l2

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

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

Instances
SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621679770736 (TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ConsSym0 :: TyFun a6989586621679770736 (TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> Type) -> *) (l :: a6989586621679770736) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ConsSym0 :: TyFun a6989586621679770736 (TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> Type) -> *) (l :: a6989586621679770736) = ConsSym1 l

data ConsSym1 (l :: a6989586621679770736) (l :: TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736)) Source #

Instances
SuppressUnusedWarnings (ConsSym1 :: a6989586621679770736 -> TyFun (NonEmpty a6989586621679770736) (NonEmpty a6989586621679770736) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ConsSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ConsSym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = Cons l1 l2

type ConsSym2 (t :: a6989586621679770736) (t :: NonEmpty a6989586621679770736) = Cons t t Source #

data UnconsSym0 (l :: TyFun (NonEmpty a6989586621679770744) (a6989586621679770744, Maybe (NonEmpty a6989586621679770744))) Source #

Instances
SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621679770744) (a6989586621679770744, Maybe (NonEmpty a6989586621679770744)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> *) (l :: NonEmpty a) = Uncons l

type UnconsSym1 (t :: NonEmpty a6989586621679770744) = Uncons t Source #

data UnfoldrSym0 (l :: TyFun (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> Type)) Source #

Instances
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldrSym0 :: TyFun (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> Type) -> *) (l :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldrSym0 :: TyFun (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> Type) -> *) (l :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) = UnfoldrSym1 l

data UnfoldrSym1 (l :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (l :: TyFun a6989586621679770742 (NonEmpty b6989586621679770743)) Source #

Instances
SuppressUnusedWarnings (UnfoldrSym1 :: (TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) -> TyFun a6989586621679770742 (NonEmpty b6989586621679770743) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldrSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldrSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) = Unfoldr l1 l2

type UnfoldrSym2 (t :: TyFun a6989586621679770742 (b6989586621679770743, Maybe a6989586621679770742) -> Type) (t :: a6989586621679770742) = Unfoldr t t Source #

data SortSym0 (l :: TyFun (NonEmpty a6989586621679770735) (NonEmpty a6989586621679770735)) Source #

Instances
SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621679770735) (NonEmpty a6989586621679770735) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) = Sort l

type SortSym1 (t :: NonEmpty a6989586621679770735) = Sort t Source #

data ReverseSym0 (l :: TyFun (NonEmpty a6989586621679770718) (NonEmpty a6989586621679770718)) Source #

Instances
SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a6989586621679770718) (NonEmpty a6989586621679770718) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) = Reverse l

type ReverseSym1 (t :: NonEmpty a6989586621679770718) = Reverse t Source #

data InitsSym0 (l :: TyFun [a6989586621679770728] (NonEmpty [a6989586621679770728])) Source #

Instances
SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621679770728] (NonEmpty [a6989586621679770728]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) = Inits l

type InitsSym1 (t :: [a6989586621679770728]) = Inits t Source #

data TailsSym0 (l :: TyFun [a6989586621679770727] (NonEmpty [a6989586621679770727])) Source #

Instances
SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621679770727] (NonEmpty [a6989586621679770727]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> *) (l :: [a]) = Tails l

type TailsSym1 (t :: [a6989586621679770727]) = Tails t Source #

data UnfoldSym0 (l :: TyFun (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> Type)) Source #

Instances
SuppressUnusedWarnings (UnfoldSym0 :: TyFun (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldSym0 :: TyFun (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> Type) -> *) (l :: TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldSym0 :: TyFun (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> Type) -> *) (l :: TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) = UnfoldSym1 l

data UnfoldSym1 (l :: TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) (l :: TyFun a6989586621679770746 (NonEmpty b6989586621679770747)) Source #

Instances
SuppressUnusedWarnings (UnfoldSym1 :: (TyFun a6989586621679770746 (b6989586621679770747, Maybe a6989586621679770746) -> Type) -> TyFun a6989586621679770746 (NonEmpty b6989586621679770747) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnfoldSym1 l1 :: TyFun a (NonEmpty b) -> *) (l2 :: a) = Unfold l1 l2

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

Instances
SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621679770726 (TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InsertSym0 :: TyFun a6989586621679770726 (TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> Type) -> *) (l :: a6989586621679770726) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InsertSym0 :: TyFun a6989586621679770726 (TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> Type) -> *) (l :: a6989586621679770726) = InsertSym1 l

data InsertSym1 (l :: a6989586621679770726) (l :: TyFun [a6989586621679770726] (NonEmpty a6989586621679770726)) Source #

Instances
SuppressUnusedWarnings (InsertSym1 :: a6989586621679770726 -> TyFun [a6989586621679770726] (NonEmpty a6989586621679770726) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InsertSym1 l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (InsertSym1 l1 :: TyFun [a] (NonEmpty a) -> *) (l2 :: [a]) = Insert l1 l2

type InsertSym2 (t :: a6989586621679770726) (t :: [a6989586621679770726]) = Insert t t Source #

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

Instances
SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> Type) -> *) (l :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> Type) -> *) (l :: Nat) = (TakeSym1 l :: TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> *)

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

Instances
SuppressUnusedWarnings (TakeSym1 :: Nat -> TyFun (NonEmpty a6989586621679770717) [a6989586621679770717] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = Take l1 l2

type TakeSym2 (t :: Nat) (t :: NonEmpty a6989586621679770717) = Take t t Source #

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

Instances
SuppressUnusedWarnings (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> Type) -> *) (l :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> Type) -> *) (l :: Nat) = (DropSym1 l :: TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> *)

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

Instances
SuppressUnusedWarnings (DropSym1 :: Nat -> TyFun (NonEmpty a6989586621679770716) [a6989586621679770716] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = Drop l1 l2

type DropSym2 (t :: Nat) (t :: NonEmpty a6989586621679770716) = Drop t t Source #

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

Instances
SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> Type) -> *) (l :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> Type) -> *) (l :: Nat) = (SplitAtSym1 l :: TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> *)

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

Instances
SuppressUnusedWarnings (SplitAtSym1 :: Nat -> TyFun (NonEmpty a6989586621679770715) ([a6989586621679770715], [a6989586621679770715]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SplitAtSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SplitAtSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = SplitAt l1 l2

type SplitAtSym2 (t :: Nat) (t :: NonEmpty a6989586621679770715) = SplitAt t t Source #

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

Instances
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (TyFun a6989586621679770714 Bool -> Type) (TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679770714 Bool -> Type) (TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> Type) -> *) (l :: TyFun a6989586621679770714 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679770714 Bool -> Type) (TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> Type) -> *) (l :: TyFun a6989586621679770714 Bool -> Type) = TakeWhileSym1 l

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

Instances
SuppressUnusedWarnings (TakeWhileSym1 :: (TyFun a6989586621679770714 Bool -> Type) -> TyFun (NonEmpty a6989586621679770714) [a6989586621679770714] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TakeWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = TakeWhile l1 l2

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

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

Instances
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (TyFun a6989586621679770713 Bool -> Type) (TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679770713 Bool -> Type) (TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> Type) -> *) (l :: TyFun a6989586621679770713 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679770713 Bool -> Type) (TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> Type) -> *) (l :: TyFun a6989586621679770713 Bool -> Type) = DropWhileSym1 l

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

Instances
SuppressUnusedWarnings (DropWhileSym1 :: (TyFun a6989586621679770713 Bool -> Type) -> TyFun (NonEmpty a6989586621679770713) [a6989586621679770713] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (DropWhileSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = DropWhile l1 l2

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

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

Instances
SuppressUnusedWarnings (SpanSym0 :: TyFun (TyFun a6989586621679770712 Bool -> Type) (TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SpanSym0 :: TyFun (TyFun a6989586621679770712 Bool -> Type) (TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> Type) -> *) (l :: TyFun a6989586621679770712 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SpanSym0 :: TyFun (TyFun a6989586621679770712 Bool -> Type) (TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> Type) -> *) (l :: TyFun a6989586621679770712 Bool -> Type) = SpanSym1 l

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

Instances
SuppressUnusedWarnings (SpanSym1 :: (TyFun a6989586621679770712 Bool -> Type) -> TyFun (NonEmpty a6989586621679770712) ([a6989586621679770712], [a6989586621679770712]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SpanSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SpanSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = Span l1 l2

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

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

Instances
SuppressUnusedWarnings (BreakSym0 :: TyFun (TyFun a6989586621679770711 Bool -> Type) (TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (BreakSym0 :: TyFun (TyFun a6989586621679770711 Bool -> Type) (TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> Type) -> *) (l :: TyFun a6989586621679770711 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (BreakSym0 :: TyFun (TyFun a6989586621679770711 Bool -> Type) (TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> Type) -> *) (l :: TyFun a6989586621679770711 Bool -> Type) = BreakSym1 l

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

Instances
SuppressUnusedWarnings (BreakSym1 :: (TyFun a6989586621679770711 Bool -> Type) -> TyFun (NonEmpty a6989586621679770711) ([a6989586621679770711], [a6989586621679770711]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (BreakSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (BreakSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = Break l1 l2

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

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

Instances
SuppressUnusedWarnings (FilterSym0 :: TyFun (TyFun a6989586621679770710 Bool -> Type) (TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FilterSym0 :: TyFun (TyFun a6989586621679770710 Bool -> Type) (TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> Type) -> *) (l :: TyFun a6989586621679770710 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FilterSym0 :: TyFun (TyFun a6989586621679770710 Bool -> Type) (TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> Type) -> *) (l :: TyFun a6989586621679770710 Bool -> Type) = FilterSym1 l

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

Instances
SuppressUnusedWarnings (FilterSym1 :: (TyFun a6989586621679770710 Bool -> Type) -> TyFun (NonEmpty a6989586621679770710) [a6989586621679770710] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FilterSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FilterSym1 l1 :: TyFun (NonEmpty a) [a] -> *) (l2 :: NonEmpty a) = Filter l1 l2

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

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

Instances
SuppressUnusedWarnings (PartitionSym0 :: TyFun (TyFun a6989586621679770709 Bool -> Type) (TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (PartitionSym0 :: TyFun (TyFun a6989586621679770709 Bool -> Type) (TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> Type) -> *) (l :: TyFun a6989586621679770709 Bool -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (PartitionSym0 :: TyFun (TyFun a6989586621679770709 Bool -> Type) (TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> Type) -> *) (l :: TyFun a6989586621679770709 Bool -> Type) = PartitionSym1 l

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

Instances
SuppressUnusedWarnings (PartitionSym1 :: (TyFun a6989586621679770709 Bool -> Type) -> TyFun (NonEmpty a6989586621679770709) ([a6989586621679770709], [a6989586621679770709]) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (PartitionSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (PartitionSym1 l1 :: TyFun (NonEmpty a) ([a], [a]) -> *) (l2 :: NonEmpty a) = Partition l1 l2

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

data GroupSym0 (l :: TyFun [a6989586621679770708] [NonEmpty a6989586621679770708]) Source #

Instances
SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621679770708] [NonEmpty a6989586621679770708] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> *) (l :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> *) (l :: [a]) = Group l

type GroupSym1 (t :: [a6989586621679770708]) = Group t Source #

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

Instances
SuppressUnusedWarnings (GroupBySym0 :: TyFun (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBySym0 :: TyFun (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> Type) -> *) (l :: TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBySym0 :: TyFun (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) (TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> Type) -> *) (l :: TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) = GroupBySym1 l

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

Instances
SuppressUnusedWarnings (GroupBySym1 :: (TyFun a6989586621679770707 (TyFun a6989586621679770707 Bool -> Type) -> Type) -> TyFun [a6989586621679770707] [NonEmpty a6989586621679770707] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBySym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBySym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) = GroupBy l1 l2

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

data GroupWithSym0 (l :: TyFun (TyFun a6989586621679770706 b6989586621679770705 -> Type) (TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> Type)) Source #

Instances
SuppressUnusedWarnings (GroupWithSym0 :: TyFun (TyFun a6989586621679770706 b6989586621679770705 -> Type) (TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWithSym0 :: TyFun (TyFun a6989586621679770706 b6989586621679770705 -> Type) (TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> Type) -> *) (l :: TyFun a6989586621679770706 b6989586621679770705 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWithSym0 :: TyFun (TyFun a6989586621679770706 b6989586621679770705 -> Type) (TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> Type) -> *) (l :: TyFun a6989586621679770706 b6989586621679770705 -> Type) = GroupWithSym1 l

data GroupWithSym1 (l :: TyFun a6989586621679770706 b6989586621679770705 -> Type) (l :: TyFun [a6989586621679770706] [NonEmpty a6989586621679770706]) Source #

Instances
SuppressUnusedWarnings (GroupWithSym1 :: (TyFun a6989586621679770706 b6989586621679770705 -> Type) -> TyFun [a6989586621679770706] [NonEmpty a6989586621679770706] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) = GroupWith l1 l2

type GroupWithSym2 (t :: TyFun a6989586621679770706 b6989586621679770705 -> Type) (t :: [a6989586621679770706]) = GroupWith t t Source #

data GroupAllWithSym0 (l :: TyFun (TyFun a6989586621679770704 b6989586621679770703 -> Type) (TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> Type)) Source #

Instances
SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (TyFun a6989586621679770704 b6989586621679770703 -> Type) (TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWithSym0 :: TyFun (TyFun a6989586621679770704 b6989586621679770703 -> Type) (TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> Type) -> *) (l :: TyFun a6989586621679770704 b6989586621679770703 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWithSym0 :: TyFun (TyFun a6989586621679770704 b6989586621679770703 -> Type) (TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> Type) -> *) (l :: TyFun a6989586621679770704 b6989586621679770703 -> Type) = GroupAllWithSym1 l

data GroupAllWithSym1 (l :: TyFun a6989586621679770704 b6989586621679770703 -> Type) (l :: TyFun [a6989586621679770704] [NonEmpty a6989586621679770704]) Source #

Instances
SuppressUnusedWarnings (GroupAllWithSym1 :: (TyFun a6989586621679770704 b6989586621679770703 -> Type) -> TyFun [a6989586621679770704] [NonEmpty a6989586621679770704] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWithSym1 l1 :: TyFun [a] [NonEmpty a] -> *) (l2 :: [a]) = GroupAllWith l1 l2

type GroupAllWithSym2 (t :: TyFun a6989586621679770704 b6989586621679770703 -> Type) (t :: [a6989586621679770704]) = GroupAllWith t t Source #

data Group1Sym0 (l :: TyFun (NonEmpty a6989586621679770702) (NonEmpty (NonEmpty a6989586621679770702))) Source #

Instances
SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a6989586621679770702) (NonEmpty (NonEmpty a6989586621679770702)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty a) = Group1 l

type Group1Sym1 (t :: NonEmpty a6989586621679770702) = Group1 t Source #

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

Instances
SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBy1Sym0 :: TyFun (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> Type) -> *) (l :: TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBy1Sym0 :: TyFun (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> Type) -> *) (l :: TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) = GroupBy1Sym1 l

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

Instances
SuppressUnusedWarnings (GroupBy1Sym1 :: (TyFun a6989586621679770701 (TyFun a6989586621679770701 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770701) (NonEmpty (NonEmpty a6989586621679770701)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBy1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupBy1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupBy1 l1 l2

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

data GroupWith1Sym0 (l :: TyFun (TyFun a6989586621679770700 b6989586621679770699 -> Type) (TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> Type)) Source #

Instances
SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (TyFun a6989586621679770700 b6989586621679770699 -> Type) (TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWith1Sym0 :: TyFun (TyFun a6989586621679770700 b6989586621679770699 -> Type) (TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> Type) -> *) (l :: TyFun a6989586621679770700 b6989586621679770699 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWith1Sym0 :: TyFun (TyFun a6989586621679770700 b6989586621679770699 -> Type) (TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> Type) -> *) (l :: TyFun a6989586621679770700 b6989586621679770699 -> Type) = GroupWith1Sym1 l

data GroupWith1Sym1 (l :: TyFun a6989586621679770700 b6989586621679770699 -> Type) (l :: TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700))) Source #

Instances
SuppressUnusedWarnings (GroupWith1Sym1 :: (TyFun a6989586621679770700 b6989586621679770699 -> Type) -> TyFun (NonEmpty a6989586621679770700) (NonEmpty (NonEmpty a6989586621679770700)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupWith1 l1 l2

type GroupWith1Sym2 (t :: TyFun a6989586621679770700 b6989586621679770699 -> Type) (t :: NonEmpty a6989586621679770700) = GroupWith1 t t Source #

data GroupAllWith1Sym0 (l :: TyFun (TyFun a6989586621679770698 b6989586621679770697 -> Type) (TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> Type)) Source #

Instances
SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679770698 b6989586621679770697 -> Type) (TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679770698 b6989586621679770697 -> Type) (TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> Type) -> *) (l :: TyFun a6989586621679770698 b6989586621679770697 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679770698 b6989586621679770697 -> Type) (TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> Type) -> *) (l :: TyFun a6989586621679770698 b6989586621679770697 -> Type) = GroupAllWith1Sym1 l

data GroupAllWith1Sym1 (l :: TyFun a6989586621679770698 b6989586621679770697 -> Type) (l :: TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698))) Source #

Instances
SuppressUnusedWarnings (GroupAllWith1Sym1 :: (TyFun a6989586621679770698 b6989586621679770697 -> Type) -> TyFun (NonEmpty a6989586621679770698) (NonEmpty (NonEmpty a6989586621679770698)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWith1Sym1 l1 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> *) (l2 :: NonEmpty a) = GroupAllWith1 l1 l2

type GroupAllWith1Sym2 (t :: TyFun a6989586621679770698 b6989586621679770697 -> Type) (t :: NonEmpty a6989586621679770698) = GroupAllWith1 t t Source #

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

Instances
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679770696] (TyFun (NonEmpty a6989586621679770696) Bool -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679770696] (TyFun (NonEmpty a6989586621679770696) Bool -> Type) -> *) (l :: [a6989586621679770696]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IsPrefixOfSym0 :: TyFun [a6989586621679770696] (TyFun (NonEmpty a6989586621679770696) Bool -> Type) -> *) (l :: [a6989586621679770696]) = IsPrefixOfSym1 l

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

Instances
SuppressUnusedWarnings (IsPrefixOfSym1 :: [a6989586621679770696] -> TyFun (NonEmpty a6989586621679770696) Bool -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IsPrefixOfSym1 l1 :: TyFun (NonEmpty a) Bool -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (IsPrefixOfSym1 l1 :: TyFun (NonEmpty a) Bool -> *) (l2 :: NonEmpty a) = IsPrefixOf l1 l2

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

data NubSym0 (l :: TyFun (NonEmpty a6989586621679770687) (NonEmpty a6989586621679770687)) Source #

Instances
SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621679770687) (NonEmpty a6989586621679770687) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l :: NonEmpty a) = Nub l

type NubSym1 (t :: NonEmpty a6989586621679770687) = Nub t Source #

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

Instances
SuppressUnusedWarnings (NubBySym0 :: TyFun (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubBySym0 :: TyFun (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> Type) -> *) (l :: TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubBySym0 :: TyFun (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> Type) -> *) (l :: TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) = NubBySym1 l

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

Instances
SuppressUnusedWarnings (NubBySym1 :: (TyFun a6989586621679770686 (TyFun a6989586621679770686 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770686) (NonEmpty a6989586621679770686) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NubBySym1 l1 :: TyFun (NonEmpty a) (NonEmpty a) -> *) (l2 :: NonEmpty a) = NubBy l1 l2

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

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

Instances
SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a6989586621679770695) (TyFun Nat a6989586621679770695 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621679770695) (TyFun Nat a6989586621679770695 -> Type) -> *) (l :: NonEmpty a6989586621679770695) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((!!@#@$) :: TyFun (NonEmpty a6989586621679770695) (TyFun Nat a6989586621679770695 -> Type) -> *) (l :: NonEmpty a6989586621679770695) = (!!@#@$$) l

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

Instances
SuppressUnusedWarnings ((!!@#@$$) :: NonEmpty a6989586621679770695 -> TyFun Nat a6989586621679770695 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((!!@#@$$) l1 :: TyFun Nat a -> *) (l2 :: Nat) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply ((!!@#@$$) l1 :: TyFun Nat a -> *) (l2 :: Nat) = l1 !! l2

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

data ZipSym0 (l :: TyFun (NonEmpty a6989586621679770693) (TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> Type)) Source #

Instances
SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621679770693) (TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621679770693) (TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> Type) -> *) (l :: NonEmpty a6989586621679770693) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621679770693) (TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> Type) -> *) (l :: NonEmpty a6989586621679770693) = (ZipSym1 l :: TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> *)

data ZipSym1 (l :: NonEmpty a6989586621679770693) (l :: TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694))) Source #

Instances
SuppressUnusedWarnings (ZipSym1 :: NonEmpty a6989586621679770693 -> TyFun (NonEmpty b6989586621679770694) (NonEmpty (a6989586621679770693, b6989586621679770694)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipSym1 l1 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> *) (l2 :: NonEmpty b) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipSym1 l1 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> *) (l2 :: NonEmpty b) = Zip l1 l2

type ZipSym2 (t :: NonEmpty a6989586621679770693) (t :: NonEmpty b6989586621679770694) = Zip t t Source #

data ZipWithSym0 (l :: TyFun (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> Type) -> *) (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> Type) -> *) (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) = ZipWithSym1 l

data ZipWithSym1 (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type)) Source #

Instances
SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym1 l1 :: TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> *) (l2 :: NonEmpty a6989586621679770690) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym1 l1 :: TyFun (NonEmpty a6989586621679770690) (TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> Type) -> *) (l2 :: NonEmpty a6989586621679770690) = ZipWithSym2 l1 l2

data ZipWithSym2 (l :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (l :: NonEmpty a6989586621679770690) (l :: TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692)) Source #

Instances
SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) -> NonEmpty a6989586621679770690 -> TyFun (NonEmpty b6989586621679770691) (NonEmpty c6989586621679770692) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym2 l1 l2 :: TyFun (NonEmpty b) (NonEmpty c) -> *) (l3 :: NonEmpty b) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym2 l1 l2 :: TyFun (NonEmpty b) (NonEmpty c) -> *) (l3 :: NonEmpty b) = ZipWith l1 l2 l3

type ZipWithSym3 (t :: TyFun a6989586621679770690 (TyFun b6989586621679770691 c6989586621679770692 -> Type) -> Type) (t :: NonEmpty a6989586621679770690) (t :: NonEmpty b6989586621679770691) = ZipWith t t t Source #

data UnzipSym0 (l :: TyFun (NonEmpty (a6989586621679770688, b6989586621679770689)) (NonEmpty a6989586621679770688, NonEmpty b6989586621679770689)) Source #

Instances
SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621679770688, b6989586621679770689)) (NonEmpty a6989586621679770688, NonEmpty b6989586621679770689) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> *) (l :: NonEmpty (a, b)) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> *) (l :: NonEmpty (a, b)) = Unzip l

type UnzipSym1 (t :: NonEmpty (a6989586621679770688, b6989586621679770689)) = Unzip t Source #

data FromListSym0 (l :: TyFun [a6989586621679770734] (NonEmpty a6989586621679770734)) Source #

Instances
SuppressUnusedWarnings (FromListSym0 :: TyFun [a6989586621679770734] (NonEmpty a6989586621679770734) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> *) (l :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> *) (l :: [a]) = FromList l

type FromListSym1 (t :: [a6989586621679770734]) = FromList t Source #

data ToListSym0 (l :: TyFun (NonEmpty a6989586621679770733) [a6989586621679770733]) Source #

Instances
SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a6989586621679770733) [a6989586621679770733] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> *) (l :: NonEmpty a) = ToList l

type ToListSym1 (t :: NonEmpty a6989586621679770733) = ToList t Source #

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

Instances
SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a6989586621679770745] (Maybe (NonEmpty a6989586621679770745)) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> *) (l :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> *) (l :: [a]) = NonEmpty_ l

type NonEmpty_Sym1 (t :: [a6989586621679770745]) = NonEmpty_ t Source #

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