Data.Singletons.Prelude.List.NonEmpty

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.

The NonEmpty singleton

data family Sing (a :: k) infixr 5

The singleton kind-indexed data family.

Instances

SDecide k => TestCoercion (Sing :: k -> *)

Defined in Data.Singletons.Decide

Methods

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

SDecide k => TestEquality (Sing :: k -> *)

Defined in Data.Singletons.Decide

Methods

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

Show (SSymbol s)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> SSymbol s -> ShowS

show :: SSymbol s -> String

showList :: [SSymbol s] -> ShowS

Show (SNat n)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> SNat n -> ShowS

show :: SNat n -> String

showList :: [SNat n] -> ShowS

Eq (Sing a)

Defined in Data.Singletons.TypeRepStar

Methods

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

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

Ord (Sing a)

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)

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)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

ShowSing a => Show (Sing z)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

Show (Sing z)

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)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

Show (Sing a)

Defined in Data.Singletons.TypeRepStar

Methods

showsPrec :: Int -> Sing a -> ShowS

show :: Sing a -> String

showList :: [Sing a] -> ShowS

Show (Sing z)

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)

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)

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)

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)

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)

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)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

Show (Sing z)

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)

Defined in Data.Singletons.ShowSing

Methods

showsPrec :: Int -> Sing z -> ShowS

show :: Sing z -> String

showList :: [Sing z] -> ShowS

data Sing (z :: Bool)

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Bool) where

• SFalse :: Sing False
• STrue :: Sing True

data Sing (z :: Ordering)

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Ordering) where

• SLT :: Sing LT
• SEQ :: Sing EQ
• SGT :: Sing GT

data Sing (a :: Type)

Defined in Data.Singletons.TypeRepStar

data Sing (a :: Type) = STypeRep (TypeRep a)

data Sing (n :: Nat)

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Nat) where

• SNat :: Sing n

data Sing (n :: Symbol)

Defined in Data.Singletons.TypeLits.Internal

data Sing (n :: Symbol) where

• SSym :: Sing n

data Sing (z :: ())

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: ()) where

• STuple0 :: Sing ()

data Sing (z :: Void)

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Void)

data Sing (z :: [a])

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: [a]) where

• SNil :: Sing ([] :: [k])
• SCons :: Sing (n ': n)

data Sing (z :: Maybe a)

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Maybe a) where

• SNothing :: Sing (Nothing :: Maybe a)
• SJust :: Sing (Just n)

data Sing (z :: NonEmpty a)

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: NonEmpty a) where

• (:%|) :: Sing (n :| n)

data Sing (z :: Either a b)

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: Either a b) where

• SLeft :: Sing (Left n :: Either a b)
• SRight :: Sing (Right n :: Either a b)

data Sing (z :: (a, b))

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b)) where

• STuple2 :: Sing ((,) n n)

data Sing (f :: k1 ~> k2)

Defined in Data.Singletons.Internal

data Sing (f :: k1 ~> k2) = SLambda {

• applySing :: forall (t :: k1). Sing t -> Sing (f @@ t)

}

data Sing (z :: (a, b, c))

Defined in Data.Singletons.Prelude.Instances

data Sing (z :: (a, b, c)) where

• STuple3 :: Sing ((,,) n n n)

data Sing (z :: (a, b, c, d))

Defined in Data.Singletons.Prelude.Instances

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

• STuple4 :: Sing ((,,,) n n n n)

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

Defined in Data.Singletons.Prelude.Instances

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

• STuple5 :: Sing ((,,,,) n n n n n)

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

Defined in Data.Singletons.Prelude.Instances

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

• STuple6 :: Sing ((,,,,,) n n n n n n)

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

Defined in Data.Singletons.Prelude.Instances

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

• STuple7 :: Sing ((,,,,,,) n n n n n n n)

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

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

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

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

Non-empty stream transformations

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

SortWith a_6989586621679836017 a_6989586621679836019 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621679836017) a_6989586621679836019

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

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

Equations

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

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

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

Equations

Head ((:|) a _) = a

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

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

Equations

Tail ((:|) _ as) = as

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

Cons a_6989586621679836155 a_6989586621679836157 = Apply (Apply (<|@#@$) a_6989586621679836155) a_6989586621679836157

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

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

Equations

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

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

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

Equations

Unfoldr f a = Case_6989586621679836244 f a (Let6989586621679836236Scrutinee_6989586621679834204Sym2 f a)

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

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

Equations

Sort a_6989586621679836136 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621679836136

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

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

Equations

Reverse a_6989586621679835997 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621679835997

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

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

Equations

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

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

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

Equations

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

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

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

Equations

Unfold f a = Case_6989586621679836280 f a (Let6989586621679836272Scrutinee_6989586621679834194Sym2 f a)

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

GroupBy eq0 a_6989586621679835594 = Apply (Apply (Let6989586621679835598GoSym2 eq0 a_6989586621679835594) eq0) a_6989586621679835594

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

GroupBy1 eq ((:|) x xs) = Apply (Apply (:|@#@$) (Apply (Apply (:|@#@$) x) (Let6989586621679835750YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621679835750ZsSym3 eq x xs))

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

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

Equations

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

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

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

Equations

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

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

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

Equations

IsPrefixOf '[] _ = TrueSym0

IsPrefixOf ((:) y ys) ((:|) x xs) = Apply (Apply (&&@#@$) (Apply (Apply (==@#@$) y) x)) (Apply (Apply ListisPrefixOfSym0 ys) xs)

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

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

Equations

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

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

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

Equations

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

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

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

Equations

arg_6989586621679834216 !! arg_6989586621679834218 = Case_6989586621679835560 arg_6989586621679834216 arg_6989586621679834218 (Apply (Apply Tuple2Sym0 arg_6989586621679834216) arg_6989586621679834218)

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

FromList '[] = Apply ErrorSym0 "NonEmpty.fromList: empty list"

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

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

Equations

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

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

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

Equations

NonEmpty_ '[] = NothingSym0

NonEmpty_ ((:) a as) = Apply JustSym0 (Apply (Apply (:|@#@$) a) as)

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

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

Equations

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

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

Defunctionalization symbols

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

Instances

SuppressUnusedWarnings ((:|@#@$) :: TyFun a6989586621679068306 (TyFun [a6989586621679068306] (NonEmpty a6989586621679068306) -> Type) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Instances

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

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

Instances

SuppressUnusedWarnings ((:|@#@$$) :: a6989586621679068306 -> TyFun [a6989586621679068306] (NonEmpty a6989586621679068306) -> *)

Defined in Data.Singletons.Prelude.Instances

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Instances

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

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

data MapSym0 (l :: TyFun (TyFun a6989586621679834010 b6989586621679834011 -> Type) (TyFun (NonEmpty a6989586621679834010) (NonEmpty b6989586621679834011) -> Type))

Instances

SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679834010 b6989586621679834011 -> Type) (TyFun (NonEmpty a6989586621679834010) (NonEmpty b6989586621679834011) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (MapSym0 :: TyFun (TyFun a6989586621679834010 b6989586621679834011 -> Type) (TyFun (NonEmpty a6989586621679834010) (NonEmpty b6989586621679834011) -> Type) -> *) (l :: TyFun a6989586621679834010 b6989586621679834011 -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (MapSym0 :: TyFun (TyFun a6989586621679834010 b6989586621679834011 -> Type) (TyFun (NonEmpty a6989586621679834010) (NonEmpty b6989586621679834011) -> Type) -> *) (l :: TyFun a6989586621679834010 b6989586621679834011 -> Type) = MapSym1 l

data MapSym1 (l :: TyFun a6989586621679834010 b6989586621679834011 -> Type) (l :: TyFun (NonEmpty a6989586621679834010) (NonEmpty b6989586621679834011))

Instances

SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679834010 b6989586621679834011 -> Type) -> TyFun (NonEmpty a6989586621679834010) (NonEmpty b6989586621679834011) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679834010 b6989586621679834011 -> Type) (t :: NonEmpty a6989586621679834010) = Map t t

data IntersperseSym0 (l :: TyFun a6989586621679834000 (TyFun (NonEmpty a6989586621679834000) (NonEmpty a6989586621679834000) -> Type))

Instances

SuppressUnusedWarnings (IntersperseSym0 :: TyFun a6989586621679834000 (TyFun (NonEmpty a6989586621679834000) (NonEmpty a6989586621679834000) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (IntersperseSym0 :: TyFun a6989586621679834000 (TyFun (NonEmpty a6989586621679834000) (NonEmpty a6989586621679834000) -> Type) -> *) (l :: a6989586621679834000)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data IntersperseSym1 (l :: a6989586621679834000) (l :: TyFun (NonEmpty a6989586621679834000) (NonEmpty a6989586621679834000))

Instances

SuppressUnusedWarnings (IntersperseSym1 :: a6989586621679834000 -> TyFun (NonEmpty a6989586621679834000) (NonEmpty a6989586621679834000) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 :: a6989586621679834000) (t :: NonEmpty a6989586621679834000) = Intersperse t t

data ScanlSym0 (l :: TyFun (TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) (TyFun b6989586621679834005 (TyFun [a6989586621679834006] (NonEmpty b6989586621679834005) -> Type) -> Type))

Instances

SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) (TyFun b6989586621679834005 (TyFun [a6989586621679834006] (NonEmpty b6989586621679834005) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) (TyFun b6989586621679834005 (TyFun [a6989586621679834006] (NonEmpty b6989586621679834005) -> Type) -> Type) -> *) (l :: TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data ScanlSym1 (l :: TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) (l :: TyFun b6989586621679834005 (TyFun [a6989586621679834006] (NonEmpty b6989586621679834005) -> Type))

Instances

SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) -> TyFun b6989586621679834005 (TyFun [a6989586621679834006] (NonEmpty b6989586621679834005) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (ScanlSym1 l1 :: TyFun b6989586621679834005 (TyFun [a6989586621679834006] (NonEmpty b6989586621679834005) -> Type) -> *) (l2 :: b6989586621679834005)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data ScanlSym2 (l :: TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) (l :: b6989586621679834005) (l :: TyFun [a6989586621679834006] (NonEmpty b6989586621679834005))

Instances

SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) -> b6989586621679834005 -> TyFun [a6989586621679834006] (NonEmpty b6989586621679834005) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 b6989586621679834005 (TyFun a6989586621679834006 b6989586621679834005 -> Type) -> Type) (t :: b6989586621679834005) (t :: [a6989586621679834006]) = Scanl t t t

data ScanrSym0 (l :: TyFun (TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) (TyFun b6989586621679834004 (TyFun [a6989586621679834003] (NonEmpty b6989586621679834004) -> Type) -> Type))

Instances

SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) (TyFun b6989586621679834004 (TyFun [a6989586621679834003] (NonEmpty b6989586621679834004) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) (TyFun b6989586621679834004 (TyFun [a6989586621679834003] (NonEmpty b6989586621679834004) -> Type) -> Type) -> *) (l :: TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data ScanrSym1 (l :: TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) (l :: TyFun b6989586621679834004 (TyFun [a6989586621679834003] (NonEmpty b6989586621679834004) -> Type))

Instances

SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) -> TyFun b6989586621679834004 (TyFun [a6989586621679834003] (NonEmpty b6989586621679834004) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (ScanrSym1 l1 :: TyFun b6989586621679834004 (TyFun [a6989586621679834003] (NonEmpty b6989586621679834004) -> Type) -> *) (l2 :: b6989586621679834004)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data ScanrSym2 (l :: TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) (l :: b6989586621679834004) (l :: TyFun [a6989586621679834003] (NonEmpty b6989586621679834004))

Instances

SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) -> b6989586621679834004 -> TyFun [a6989586621679834003] (NonEmpty b6989586621679834004) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679834003 (TyFun b6989586621679834004 b6989586621679834004 -> Type) -> Type) (t :: b6989586621679834004) (t :: [a6989586621679834003]) = Scanr t t t

data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679834002 (TyFun a6989586621679834002 a6989586621679834002 -> Type) -> Type) (TyFun (NonEmpty a6989586621679834002) (NonEmpty a6989586621679834002) -> Type))

Instances

SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679834002 (TyFun a6989586621679834002 a6989586621679834002 -> Type) -> Type) (TyFun (NonEmpty a6989586621679834002) (NonEmpty a6989586621679834002) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679834002 (TyFun a6989586621679834002 a6989586621679834002 -> Type) -> Type) (TyFun (NonEmpty a6989586621679834002) (NonEmpty a6989586621679834002) -> Type) -> *) (l :: TyFun a6989586621679834002 (TyFun a6989586621679834002 a6989586621679834002 -> Type) -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data Scanl1Sym1 (l :: TyFun a6989586621679834002 (TyFun a6989586621679834002 a6989586621679834002 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679834002) (NonEmpty a6989586621679834002))

Instances

SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679834002 (TyFun a6989586621679834002 a6989586621679834002 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679834002) (NonEmpty a6989586621679834002) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679834002 (TyFun a6989586621679834002 a6989586621679834002 -> Type) -> Type) (t :: NonEmpty a6989586621679834002) = Scanl1 t t

data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679834001 (TyFun a6989586621679834001 a6989586621679834001 -> Type) -> Type) (TyFun (NonEmpty a6989586621679834001) (NonEmpty a6989586621679834001) -> Type))

Instances

SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679834001 (TyFun a6989586621679834001 a6989586621679834001 -> Type) -> Type) (TyFun (NonEmpty a6989586621679834001) (NonEmpty a6989586621679834001) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679834001 (TyFun a6989586621679834001 a6989586621679834001 -> Type) -> Type) (TyFun (NonEmpty a6989586621679834001) (NonEmpty a6989586621679834001) -> Type) -> *) (l :: TyFun a6989586621679834001 (TyFun a6989586621679834001 a6989586621679834001 -> Type) -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data Scanr1Sym1 (l :: TyFun a6989586621679834001 (TyFun a6989586621679834001 a6989586621679834001 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679834001) (NonEmpty a6989586621679834001))

Instances

SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679834001 (TyFun a6989586621679834001 a6989586621679834001 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679834001) (NonEmpty a6989586621679834001) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679834001 (TyFun a6989586621679834001 a6989586621679834001 -> Type) -> Type) (t :: NonEmpty a6989586621679834001) = Scanr1 t t

data TransposeSym0 (l :: TyFun (NonEmpty (NonEmpty a6989586621679833966)) (NonEmpty (NonEmpty a6989586621679833966)))

Instances

SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a6989586621679833966)) (NonEmpty (NonEmpty a6989586621679833966)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty (NonEmpty a))

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> *) (l :: NonEmpty (NonEmpty a)) = Transpose l

type TransposeSym1 (t :: NonEmpty (NonEmpty a6989586621679833966)) = Transpose t

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

Instances

SuppressUnusedWarnings (SortBySym0 :: TyFun (TyFun a6989586621679833965 (TyFun a6989586621679833965 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679833965) (NonEmpty a6989586621679833965) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (SortBySym0 :: TyFun (TyFun a6989586621679833965 (TyFun a6989586621679833965 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679833965) (NonEmpty a6989586621679833965) -> Type) -> *) (l :: TyFun a6989586621679833965 (TyFun a6989586621679833965 Ordering -> Type) -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings (SortBySym1 :: (TyFun a6989586621679833965 (TyFun a6989586621679833965 Ordering -> Type) -> Type) -> TyFun (NonEmpty a6989586621679833965) (NonEmpty a6989586621679833965) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833965 (TyFun a6989586621679833965 Ordering -> Type) -> Type) (t :: NonEmpty a6989586621679833965) = SortBy t t

data SortWithSym0 (l :: TyFun (TyFun a6989586621679833964 o6989586621679833963 -> Type) (TyFun (NonEmpty a6989586621679833964) (NonEmpty a6989586621679833964) -> Type))

Instances

SuppressUnusedWarnings (SortWithSym0 :: TyFun (TyFun a6989586621679833964 o6989586621679833963 -> Type) (TyFun (NonEmpty a6989586621679833964) (NonEmpty a6989586621679833964) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (SortWithSym0 :: TyFun (TyFun a6989586621679833964 o6989586621679833963 -> Type) (TyFun (NonEmpty a6989586621679833964) (NonEmpty a6989586621679833964) -> Type) -> *) (l :: TyFun a6989586621679833964 o6989586621679833963 -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (SortWithSym0 :: TyFun (TyFun a6989586621679833964 o6989586621679833963 -> Type) (TyFun (NonEmpty a6989586621679833964) (NonEmpty a6989586621679833964) -> Type) -> *) (l :: TyFun a6989586621679833964 o6989586621679833963 -> Type) = SortWithSym1 l

data SortWithSym1 (l :: TyFun a6989586621679833964 o6989586621679833963 -> Type) (l :: TyFun (NonEmpty a6989586621679833964) (NonEmpty a6989586621679833964))

Instances

SuppressUnusedWarnings (SortWithSym1 :: (TyFun a6989586621679833964 o6989586621679833963 -> Type) -> TyFun (NonEmpty a6989586621679833964) (NonEmpty a6989586621679833964) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833964 o6989586621679833963 -> Type) (t :: NonEmpty a6989586621679833964) = SortWith t t

data LengthSym0 (l :: TyFun (NonEmpty a6989586621679834029) Nat)

Instances

SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a6989586621679834029) Nat -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type LengthSym1 (t :: NonEmpty a6989586621679834029) = Length t

data HeadSym0 (l :: TyFun (NonEmpty a6989586621679834022) a6989586621679834022)

Instances

SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a6989586621679834022) a6989586621679834022 -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type HeadSym1 (t :: NonEmpty a6989586621679834022) = Head t

data TailSym0 (l :: TyFun (NonEmpty a6989586621679834021) [a6989586621679834021])

Instances

SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a6989586621679834021) [a6989586621679834021] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type TailSym1 (t :: NonEmpty a6989586621679834021) = Tail t

data LastSym0 (l :: TyFun (NonEmpty a6989586621679834020) a6989586621679834020)

Instances

SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a6989586621679834020) a6989586621679834020 -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type LastSym1 (t :: NonEmpty a6989586621679834020) = Last t

data InitSym0 (l :: TyFun (NonEmpty a6989586621679834019) [a6989586621679834019])

Instances

SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a6989586621679834019) [a6989586621679834019] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type InitSym1 (t :: NonEmpty a6989586621679834019) = Init t

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

Instances

SuppressUnusedWarnings ((<|@#@$) :: TyFun a6989586621679834018 (TyFun (NonEmpty a6989586621679834018) (NonEmpty a6989586621679834018) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings ((<|@#@$$) :: a6989586621679834018 -> TyFun (NonEmpty a6989586621679834018) (NonEmpty a6989586621679834018) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

data ConsSym0 (l :: TyFun a6989586621679834017 (TyFun (NonEmpty a6989586621679834017) (NonEmpty a6989586621679834017) -> Type))

Instances

SuppressUnusedWarnings (ConsSym0 :: TyFun a6989586621679834017 (TyFun (NonEmpty a6989586621679834017) (NonEmpty a6989586621679834017) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (ConsSym0 :: TyFun a6989586621679834017 (TyFun (NonEmpty a6989586621679834017) (NonEmpty a6989586621679834017) -> Type) -> *) (l :: a6989586621679834017)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data ConsSym1 (l :: a6989586621679834017) (l :: TyFun (NonEmpty a6989586621679834017) (NonEmpty a6989586621679834017))

Instances

SuppressUnusedWarnings (ConsSym1 :: a6989586621679834017 -> TyFun (NonEmpty a6989586621679834017) (NonEmpty a6989586621679834017) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 :: a6989586621679834017) (t :: NonEmpty a6989586621679834017) = Cons t t

data UnconsSym0 (l :: TyFun (NonEmpty a6989586621679834025) (a6989586621679834025, Maybe (NonEmpty a6989586621679834025)))

Instances

SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a6989586621679834025) (a6989586621679834025, Maybe (NonEmpty a6989586621679834025)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679834025) = Uncons t

data UnfoldrSym0 (l :: TyFun (TyFun a6989586621679834023 (b6989586621679834024, Maybe a6989586621679834023) -> Type) (TyFun a6989586621679834023 (NonEmpty b6989586621679834024) -> Type))

Instances

SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (TyFun a6989586621679834023 (b6989586621679834024, Maybe a6989586621679834023) -> Type) (TyFun a6989586621679834023 (NonEmpty b6989586621679834024) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (UnfoldrSym0 :: TyFun (TyFun a6989586621679834023 (b6989586621679834024, Maybe a6989586621679834023) -> Type) (TyFun a6989586621679834023 (NonEmpty b6989586621679834024) -> Type) -> *) (l :: TyFun a6989586621679834023 (b6989586621679834024, Maybe a6989586621679834023) -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data UnfoldrSym1 (l :: TyFun a6989586621679834023 (b6989586621679834024, Maybe a6989586621679834023) -> Type) (l :: TyFun a6989586621679834023 (NonEmpty b6989586621679834024))

Instances

SuppressUnusedWarnings (UnfoldrSym1 :: (TyFun a6989586621679834023 (b6989586621679834024, Maybe a6989586621679834023) -> Type) -> TyFun a6989586621679834023 (NonEmpty b6989586621679834024) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type UnfoldrSym2 (t :: TyFun a6989586621679834023 (b6989586621679834024, Maybe a6989586621679834023) -> Type) (t :: a6989586621679834023) = Unfoldr t t

data SortSym0 (l :: TyFun (NonEmpty a6989586621679834016) (NonEmpty a6989586621679834016))

Instances

SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a6989586621679834016) (NonEmpty a6989586621679834016) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type SortSym1 (t :: NonEmpty a6989586621679834016) = Sort t

data ReverseSym0 (l :: TyFun (NonEmpty a6989586621679833999) (NonEmpty a6989586621679833999))

Instances

SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a6989586621679833999) (NonEmpty a6989586621679833999) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type ReverseSym1 (t :: NonEmpty a6989586621679833999) = Reverse t

data InitsSym0 (l :: TyFun [a6989586621679834009] (NonEmpty [a6989586621679834009]))

Instances

SuppressUnusedWarnings (InitsSym0 :: TyFun [a6989586621679834009] (NonEmpty [a6989586621679834009]) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type InitsSym1 (t :: [a6989586621679834009]) = Inits t

data TailsSym0 (l :: TyFun [a6989586621679834008] (NonEmpty [a6989586621679834008]))

Instances

SuppressUnusedWarnings (TailsSym0 :: TyFun [a6989586621679834008] (NonEmpty [a6989586621679834008]) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type TailsSym1 (t :: [a6989586621679834008]) = Tails t

data UnfoldSym0 (l :: TyFun (TyFun a6989586621679834027 (b6989586621679834028, Maybe a6989586621679834027) -> Type) (TyFun a6989586621679834027 (NonEmpty b6989586621679834028) -> Type))

Instances

SuppressUnusedWarnings (UnfoldSym0 :: TyFun (TyFun a6989586621679834027 (b6989586621679834028, Maybe a6989586621679834027) -> Type) (TyFun a6989586621679834027 (NonEmpty b6989586621679834028) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (UnfoldSym0 :: TyFun (TyFun a6989586621679834027 (b6989586621679834028, Maybe a6989586621679834027) -> Type) (TyFun a6989586621679834027 (NonEmpty b6989586621679834028) -> Type) -> *) (l :: TyFun a6989586621679834027 (b6989586621679834028, Maybe a6989586621679834027) -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data UnfoldSym1 (l :: TyFun a6989586621679834027 (b6989586621679834028, Maybe a6989586621679834027) -> Type) (l :: TyFun a6989586621679834027 (NonEmpty b6989586621679834028))

Instances

SuppressUnusedWarnings (UnfoldSym1 :: (TyFun a6989586621679834027 (b6989586621679834028, Maybe a6989586621679834027) -> Type) -> TyFun a6989586621679834027 (NonEmpty b6989586621679834028) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings (InsertSym0 :: TyFun a6989586621679834007 (TyFun [a6989586621679834007] (NonEmpty a6989586621679834007) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (InsertSym0 :: TyFun a6989586621679834007 (TyFun [a6989586621679834007] (NonEmpty a6989586621679834007) -> Type) -> *) (l :: a6989586621679834007)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data InsertSym1 (l :: a6989586621679834007) (l :: TyFun [a6989586621679834007] (NonEmpty a6989586621679834007))

Instances

SuppressUnusedWarnings (InsertSym1 :: a6989586621679834007 -> TyFun [a6989586621679834007] (NonEmpty a6989586621679834007) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type InsertSym2 (t :: a6989586621679834007) (t :: [a6989586621679834007]) = Insert t t

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

Instances

SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679833998) [a6989586621679833998] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data TakeSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679833998) [a6989586621679833998])

Instances

SuppressUnusedWarnings (TakeSym1 :: Nat -> TyFun (NonEmpty a6989586621679833998) [a6989586621679833998] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833998) = Take t t

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

Instances

SuppressUnusedWarnings (DropSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679833997) [a6989586621679833997] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data DropSym1 (l :: Nat) (l :: TyFun (NonEmpty a6989586621679833997) [a6989586621679833997])

Instances

SuppressUnusedWarnings (DropSym1 :: Nat -> TyFun (NonEmpty a6989586621679833997) [a6989586621679833997] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833997) = Drop t t

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

Instances

SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (TyFun (NonEmpty a6989586621679833996) ([a6989586621679833996], [a6989586621679833996]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings (SplitAtSym1 :: Nat -> TyFun (NonEmpty a6989586621679833996) ([a6989586621679833996], [a6989586621679833996]) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833996) = SplitAt t t

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

Instances

SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (TyFun a6989586621679833995 Bool -> Type) (TyFun (NonEmpty a6989586621679833995) [a6989586621679833995] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings (TakeWhileSym1 :: (TyFun a6989586621679833995 Bool -> Type) -> TyFun (NonEmpty a6989586621679833995) [a6989586621679833995] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833995 Bool -> Type) (t :: NonEmpty a6989586621679833995) = TakeWhile t t

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

Instances

SuppressUnusedWarnings (DropWhileSym0 :: TyFun (TyFun a6989586621679833994 Bool -> Type) (TyFun (NonEmpty a6989586621679833994) [a6989586621679833994] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings (DropWhileSym1 :: (TyFun a6989586621679833994 Bool -> Type) -> TyFun (NonEmpty a6989586621679833994) [a6989586621679833994] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833994 Bool -> Type) (t :: NonEmpty a6989586621679833994) = DropWhile t t

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

Instances

SuppressUnusedWarnings (SpanSym0 :: TyFun (TyFun a6989586621679833993 Bool -> Type) (TyFun (NonEmpty a6989586621679833993) ([a6989586621679833993], [a6989586621679833993]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings (SpanSym1 :: (TyFun a6989586621679833993 Bool -> Type) -> TyFun (NonEmpty a6989586621679833993) ([a6989586621679833993], [a6989586621679833993]) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833993 Bool -> Type) (t :: NonEmpty a6989586621679833993) = Span t t

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

Instances

SuppressUnusedWarnings (BreakSym0 :: TyFun (TyFun a6989586621679833992 Bool -> Type) (TyFun (NonEmpty a6989586621679833992) ([a6989586621679833992], [a6989586621679833992]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings (BreakSym1 :: (TyFun a6989586621679833992 Bool -> Type) -> TyFun (NonEmpty a6989586621679833992) ([a6989586621679833992], [a6989586621679833992]) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833992 Bool -> Type) (t :: NonEmpty a6989586621679833992) = Break t t

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

Instances

SuppressUnusedWarnings (FilterSym0 :: TyFun (TyFun a6989586621679833991 Bool -> Type) (TyFun (NonEmpty a6989586621679833991) [a6989586621679833991] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings (FilterSym1 :: (TyFun a6989586621679833991 Bool -> Type) -> TyFun (NonEmpty a6989586621679833991) [a6989586621679833991] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833991 Bool -> Type) (t :: NonEmpty a6989586621679833991) = Filter t t

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

Instances

SuppressUnusedWarnings (PartitionSym0 :: TyFun (TyFun a6989586621679833990 Bool -> Type) (TyFun (NonEmpty a6989586621679833990) ([a6989586621679833990], [a6989586621679833990]) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings (PartitionSym1 :: (TyFun a6989586621679833990 Bool -> Type) -> TyFun (NonEmpty a6989586621679833990) ([a6989586621679833990], [a6989586621679833990]) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833990 Bool -> Type) (t :: NonEmpty a6989586621679833990) = Partition t t

data GroupSym0 (l :: TyFun [a6989586621679833989] [NonEmpty a6989586621679833989])

Instances

SuppressUnusedWarnings (GroupSym0 :: TyFun [a6989586621679833989] [NonEmpty a6989586621679833989] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type GroupSym1 (t :: [a6989586621679833989]) = Group t

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

Instances

SuppressUnusedWarnings (GroupBySym0 :: TyFun (TyFun a6989586621679833988 (TyFun a6989586621679833988 Bool -> Type) -> Type) (TyFun [a6989586621679833988] [NonEmpty a6989586621679833988] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings (GroupBySym1 :: (TyFun a6989586621679833988 (TyFun a6989586621679833988 Bool -> Type) -> Type) -> TyFun [a6989586621679833988] [NonEmpty a6989586621679833988] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

data GroupWithSym0 (l :: TyFun (TyFun a6989586621679833987 b6989586621679833986 -> Type) (TyFun [a6989586621679833987] [NonEmpty a6989586621679833987] -> Type))

Instances

SuppressUnusedWarnings (GroupWithSym0 :: TyFun (TyFun a6989586621679833987 b6989586621679833986 -> Type) (TyFun [a6989586621679833987] [NonEmpty a6989586621679833987] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (GroupWithSym0 :: TyFun (TyFun a6989586621679833987 b6989586621679833986 -> Type) (TyFun [a6989586621679833987] [NonEmpty a6989586621679833987] -> Type) -> *) (l :: TyFun a6989586621679833987 b6989586621679833986 -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data GroupWithSym1 (l :: TyFun a6989586621679833987 b6989586621679833986 -> Type) (l :: TyFun [a6989586621679833987] [NonEmpty a6989586621679833987])

Instances

SuppressUnusedWarnings (GroupWithSym1 :: (TyFun a6989586621679833987 b6989586621679833986 -> Type) -> TyFun [a6989586621679833987] [NonEmpty a6989586621679833987] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type GroupWithSym2 (t :: TyFun a6989586621679833987 b6989586621679833986 -> Type) (t :: [a6989586621679833987]) = GroupWith t t

data GroupAllWithSym0 (l :: TyFun (TyFun a6989586621679833985 b6989586621679833984 -> Type) (TyFun [a6989586621679833985] [NonEmpty a6989586621679833985] -> Type))

Instances

SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (TyFun a6989586621679833985 b6989586621679833984 -> Type) (TyFun [a6989586621679833985] [NonEmpty a6989586621679833985] -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (GroupAllWithSym0 :: TyFun (TyFun a6989586621679833985 b6989586621679833984 -> Type) (TyFun [a6989586621679833985] [NonEmpty a6989586621679833985] -> Type) -> *) (l :: TyFun a6989586621679833985 b6989586621679833984 -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data GroupAllWithSym1 (l :: TyFun a6989586621679833985 b6989586621679833984 -> Type) (l :: TyFun [a6989586621679833985] [NonEmpty a6989586621679833985])

Instances

SuppressUnusedWarnings (GroupAllWithSym1 :: (TyFun a6989586621679833985 b6989586621679833984 -> Type) -> TyFun [a6989586621679833985] [NonEmpty a6989586621679833985] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type GroupAllWithSym2 (t :: TyFun a6989586621679833985 b6989586621679833984 -> Type) (t :: [a6989586621679833985]) = GroupAllWith t t

data Group1Sym0 (l :: TyFun (NonEmpty a6989586621679833983) (NonEmpty (NonEmpty a6989586621679833983)))

Instances

SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a6989586621679833983) (NonEmpty (NonEmpty a6989586621679833983)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833983) = Group1 t

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

Instances

SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (TyFun a6989586621679833982 (TyFun a6989586621679833982 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679833982) (NonEmpty (NonEmpty a6989586621679833982)) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (GroupBy1Sym0 :: TyFun (TyFun a6989586621679833982 (TyFun a6989586621679833982 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679833982) (NonEmpty (NonEmpty a6989586621679833982)) -> Type) -> *) (l :: TyFun a6989586621679833982 (TyFun a6989586621679833982 Bool -> Type) -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings (GroupBy1Sym1 :: (TyFun a6989586621679833982 (TyFun a6989586621679833982 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679833982) (NonEmpty (NonEmpty a6989586621679833982)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833982 (TyFun a6989586621679833982 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679833982) = GroupBy1 t t

data GroupWith1Sym0 (l :: TyFun (TyFun a6989586621679833981 b6989586621679833980 -> Type) (TyFun (NonEmpty a6989586621679833981) (NonEmpty (NonEmpty a6989586621679833981)) -> Type))

Instances

SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (TyFun a6989586621679833981 b6989586621679833980 -> Type) (TyFun (NonEmpty a6989586621679833981) (NonEmpty (NonEmpty a6989586621679833981)) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (GroupWith1Sym0 :: TyFun (TyFun a6989586621679833981 b6989586621679833980 -> Type) (TyFun (NonEmpty a6989586621679833981) (NonEmpty (NonEmpty a6989586621679833981)) -> Type) -> *) (l :: TyFun a6989586621679833981 b6989586621679833980 -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupWith1Sym0 :: TyFun (TyFun a6989586621679833981 b6989586621679833980 -> Type) (TyFun (NonEmpty a6989586621679833981) (NonEmpty (NonEmpty a6989586621679833981)) -> Type) -> *) (l :: TyFun a6989586621679833981 b6989586621679833980 -> Type) = GroupWith1Sym1 l

data GroupWith1Sym1 (l :: TyFun a6989586621679833981 b6989586621679833980 -> Type) (l :: TyFun (NonEmpty a6989586621679833981) (NonEmpty (NonEmpty a6989586621679833981)))

Instances

SuppressUnusedWarnings (GroupWith1Sym1 :: (TyFun a6989586621679833981 b6989586621679833980 -> Type) -> TyFun (NonEmpty a6989586621679833981) (NonEmpty (NonEmpty a6989586621679833981)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833981 b6989586621679833980 -> Type) (t :: NonEmpty a6989586621679833981) = GroupWith1 t t

data GroupAllWith1Sym0 (l :: TyFun (TyFun a6989586621679833979 b6989586621679833978 -> Type) (TyFun (NonEmpty a6989586621679833979) (NonEmpty (NonEmpty a6989586621679833979)) -> Type))

Instances

SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679833979 b6989586621679833978 -> Type) (TyFun (NonEmpty a6989586621679833979) (NonEmpty (NonEmpty a6989586621679833979)) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679833979 b6989586621679833978 -> Type) (TyFun (NonEmpty a6989586621679833979) (NonEmpty (NonEmpty a6989586621679833979)) -> Type) -> *) (l :: TyFun a6989586621679833979 b6989586621679833978 -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679833979 b6989586621679833978 -> Type) (TyFun (NonEmpty a6989586621679833979) (NonEmpty (NonEmpty a6989586621679833979)) -> Type) -> *) (l :: TyFun a6989586621679833979 b6989586621679833978 -> Type) = GroupAllWith1Sym1 l

data GroupAllWith1Sym1 (l :: TyFun a6989586621679833979 b6989586621679833978 -> Type) (l :: TyFun (NonEmpty a6989586621679833979) (NonEmpty (NonEmpty a6989586621679833979)))

Instances

SuppressUnusedWarnings (GroupAllWith1Sym1 :: (TyFun a6989586621679833979 b6989586621679833978 -> Type) -> TyFun (NonEmpty a6989586621679833979) (NonEmpty (NonEmpty a6989586621679833979)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833979 b6989586621679833978 -> Type) (t :: NonEmpty a6989586621679833979) = GroupAllWith1 t t

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

Instances

SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a6989586621679833977] (TyFun (NonEmpty a6989586621679833977) Bool -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data IsPrefixOfSym1 (l :: [a6989586621679833977]) (l :: TyFun (NonEmpty a6989586621679833977) Bool)

Instances

SuppressUnusedWarnings (IsPrefixOfSym1 :: [a6989586621679833977] -> TyFun (NonEmpty a6989586621679833977) Bool -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type IsPrefixOfSym2 (t :: [a6989586621679833977]) (t :: NonEmpty a6989586621679833977) = IsPrefixOf t t

data NubSym0 (l :: TyFun (NonEmpty a6989586621679833968) (NonEmpty a6989586621679833968))

Instances

SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a6989586621679833968) (NonEmpty a6989586621679833968) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type NubSym1 (t :: NonEmpty a6989586621679833968) = Nub t

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

Instances

SuppressUnusedWarnings (NubBySym0 :: TyFun (TyFun a6989586621679833967 (TyFun a6989586621679833967 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679833967) (NonEmpty a6989586621679833967) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (NubBySym0 :: TyFun (TyFun a6989586621679833967 (TyFun a6989586621679833967 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679833967) (NonEmpty a6989586621679833967) -> Type) -> *) (l :: TyFun a6989586621679833967 (TyFun a6989586621679833967 Bool -> Type) -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings (NubBySym1 :: (TyFun a6989586621679833967 (TyFun a6989586621679833967 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679833967) (NonEmpty a6989586621679833967) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833967 (TyFun a6989586621679833967 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679833967) = NubBy t t

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

Instances

SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a6989586621679833976) (TyFun Nat a6989586621679833976 -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

Instances

SuppressUnusedWarnings ((!!@#@$$) :: NonEmpty a6989586621679833976 -> TyFun Nat a6989586621679833976 -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

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

data ZipSym0 (l :: TyFun (NonEmpty a6989586621679833974) (TyFun (NonEmpty b6989586621679833975) (NonEmpty (a6989586621679833974, b6989586621679833975)) -> Type))

Instances

SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621679833974) (TyFun (NonEmpty b6989586621679833975) (NonEmpty (a6989586621679833974, b6989586621679833975)) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621679833974) (TyFun (NonEmpty b6989586621679833975) (NonEmpty (a6989586621679833974, b6989586621679833975)) -> Type) -> *) (l :: NonEmpty a6989586621679833974)

Defined in Data.Singletons.Prelude.List.NonEmpty

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

data ZipSym1 (l :: NonEmpty a6989586621679833974) (l :: TyFun (NonEmpty b6989586621679833975) (NonEmpty (a6989586621679833974, b6989586621679833975)))

Instances

SuppressUnusedWarnings (ZipSym1 :: NonEmpty a6989586621679833974 -> TyFun (NonEmpty b6989586621679833975) (NonEmpty (a6989586621679833974, b6989586621679833975)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833974) (t :: NonEmpty b6989586621679833975) = Zip t t

data ZipWithSym0 (l :: TyFun (TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) (TyFun (NonEmpty a6989586621679833971) (TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> Type) -> Type))

Instances

SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) (TyFun (NonEmpty a6989586621679833971) (TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> Type) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) (TyFun (NonEmpty a6989586621679833971) (TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> Type) -> Type) -> *) (l :: TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type)

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) (TyFun (NonEmpty a6989586621679833971) (TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> Type) -> Type) -> *) (l :: TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) = ZipWithSym1 l

data ZipWithSym1 (l :: TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679833971) (TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> Type))

Instances

SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679833971) (TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> Type) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithSym1 l1 :: TyFun (NonEmpty a6989586621679833971) (TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> Type) -> *) (l2 :: NonEmpty a6989586621679833971)

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply (ZipWithSym1 l1 :: TyFun (NonEmpty a6989586621679833971) (TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> Type) -> *) (l2 :: NonEmpty a6989586621679833971) = ZipWithSym2 l1 l2

data ZipWithSym2 (l :: TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) (l :: NonEmpty a6989586621679833971) (l :: TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973))

Instances

SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) -> NonEmpty a6989586621679833971 -> TyFun (NonEmpty b6989586621679833972) (NonEmpty c6989586621679833973) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 a6989586621679833971 (TyFun b6989586621679833972 c6989586621679833973 -> Type) -> Type) (t :: NonEmpty a6989586621679833971) (t :: NonEmpty b6989586621679833972) = ZipWith t t t

data UnzipSym0 (l :: TyFun (NonEmpty (a6989586621679833969, b6989586621679833970)) (NonEmpty a6989586621679833969, NonEmpty b6989586621679833970))

Instances

SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621679833969, b6989586621679833970)) (NonEmpty a6989586621679833969, NonEmpty b6989586621679833970) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

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 (a6989586621679833969, b6989586621679833970)) = Unzip t

data FromListSym0 (l :: TyFun [a6989586621679834015] (NonEmpty a6989586621679834015))

Instances

SuppressUnusedWarnings (FromListSym0 :: TyFun [a6989586621679834015] (NonEmpty a6989586621679834015) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type FromListSym1 (t :: [a6989586621679834015]) = FromList t

data ToListSym0 (l :: TyFun (NonEmpty a6989586621679834014) [a6989586621679834014])

Instances

SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a6989586621679834014) [a6989586621679834014] -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type ToListSym1 (t :: NonEmpty a6989586621679834014) = ToList t

data NonEmpty_Sym0 (l :: TyFun [a6989586621679834026] (Maybe (NonEmpty a6989586621679834026)))

Instances

SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a6989586621679834026] (Maybe (NonEmpty a6989586621679834026)) -> *)

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.List.NonEmpty

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

type NonEmpty_Sym1 (t :: [a6989586621679834026]) = NonEmpty_ t

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

Instances

SuppressUnusedWarnings XorSym0

Defined in Data.Singletons.Prelude.List.NonEmpty

Methods

suppressUnusedWarnings :: ()

type Apply XorSym0 (l :: NonEmpty Bool)

Defined in Data.Singletons.Prelude.List.NonEmpty

type Apply XorSym0 (l :: NonEmpty Bool) = Xor l

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