Data.List.NonEmpty.Singletons

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

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

The NonEmpty singleton

type family Sing :: k -> Type

Instances

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SAll

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SAny

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SVoid

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SNat

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SOrdering

type Sing

Defined in Data.Singletons.Base.TypeError

type Sing = SErrorMessage

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple0

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SBool

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SChar

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SSymbol

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SIdentity :: Identity a -> Type

type Sing

Defined in Data.Monoid.Singletons

type Sing = SFirst :: First a -> Type

type Sing

Defined in Data.Monoid.Singletons

type Sing = SLast :: Last a -> Type

type Sing

Defined in Data.Ord.Singletons

type Sing = SDown :: Down a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SFirst :: First a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SLast :: Last a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SMax :: Max a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SMin :: Min a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SWrappedMonoid :: WrappedMonoid m -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SDual :: Dual a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SProduct :: Product a -> Type

type Sing

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Sing = SSum :: Sum a -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SNonEmpty :: NonEmpty a -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SMaybe :: Maybe a -> Type

type Sing

A choice of singleton for the kind TYPE rep (for some RuntimeRep rep), an instantiation of which is the famous kind Type.

Conceivably, one could generalize this instance to `Sing @k` for any kind k, and remove all other Sing instances. We don't adopt this design, however, since it is far more convenient in practice to work with explicit singleton values than TypeReps (for instance, TypeReps are more difficult to pattern match on, and require extra runtime checks).

We cannot produce explicit singleton values for everything in TYPE rep, however, since it is an open kind, so we reach for TypeRep in this one particular case.

Defined in Data.Singletons.Base.TypeRepTYPE

type Sing = TypeRep :: TYPE rep -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SList :: [a] -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = SEither :: Either a b -> Type

type Sing

Defined in Data.Proxy.Singletons

type Sing = SProxy :: Proxy t -> Type

type Sing

Defined in Data.Semigroup.Singletons

type Sing = SArg :: Arg a b -> Type

type Sing

Defined in Data.Singletons

type Sing = SWrappedSing :: WrappedSing a -> Type

type Sing

Defined in Data.Singletons

type Sing = SLambda :: (k1 ~> k2) -> Type

type Sing

Defined in Data.Singletons.Sigma

type Sing = SSigma :: Sigma s t -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple2 :: (a, b) -> Type

type Sing

Defined in Data.Functor.Const.Singletons

type Sing = SConst :: Const a b -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple3 :: (a, b, c) -> Type

type Sing

Defined in Data.Functor.Product.Singletons

type Sing = SProduct :: Product f g a -> Type

type Sing

Defined in Data.Functor.Sum.Singletons

type Sing = SSum :: Sum f g a -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple4 :: (a, b, c, d) -> Type

type Sing

Defined in Data.Functor.Compose.Singletons

type Sing = SCompose :: Compose f g a -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple5 :: (a, b, c, d, e) -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple6 :: (a, b, c, d, e, f) -> Type

type Sing

Defined in Data.Singletons.Base.Instances

type Sing = STuple7 :: (a, b, c, d, e, f, g) -> Type

data SNonEmpty (a1 :: NonEmpty a) where

Constructors

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

Instances

(SDecide a, SDecide [a]) => TestCoercion (SNonEmpty :: NonEmpty a -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testCoercion :: forall (a0 :: NonEmpty a) (b :: NonEmpty a). SNonEmpty a0 -> SNonEmpty b -> Maybe (Coercion a0 b)

(SDecide a, SDecide [a]) => TestEquality (SNonEmpty :: NonEmpty a -> Type)

Defined in Data.Singletons.Base.Instances

Methods

testEquality :: forall (a0 :: NonEmpty a) (b :: NonEmpty a). SNonEmpty a0 -> SNonEmpty b -> Maybe (a0 :~: b)

(ShowSing a, ShowSing [a]) => Show (SNonEmpty z)

Defined in Data.Singletons.Base.Instances

Methods

showsPrec :: Int -> SNonEmpty z -> ShowS

show :: SNonEmpty z -> String

showList :: [SNonEmpty z] -> ShowS

Eq (SNonEmpty z)

Defined in Data.Singletons.Base.Instances

Methods

(==) :: SNonEmpty z -> SNonEmpty z -> Bool

(/=) :: SNonEmpty z -> SNonEmpty z -> Bool

Non-empty stream transformations

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

Transpose (a_6989586621681120312 :: NonEmpty (NonEmpty a)) = Apply (Apply (Apply ((.@#@$) :: TyFun (NonEmpty [a] ~> NonEmpty (NonEmpty a)) ((NonEmpty (NonEmpty a) ~> NonEmpty [a]) ~> (NonEmpty (NonEmpty a) ~> NonEmpty (NonEmpty a))) -> Type) (Apply (FmapSym0 :: TyFun ([a] ~> NonEmpty a) (NonEmpty [a] ~> NonEmpty (NonEmpty a)) -> Type) (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type))) (Apply (Apply ((.@#@$) :: TyFun ([[a]] ~> NonEmpty [a]) ((NonEmpty (NonEmpty a) ~> [[a]]) ~> (NonEmpty (NonEmpty a) ~> NonEmpty [a])) -> Type) (FromListSym0 :: TyFun [[a]] (NonEmpty [a]) -> Type)) (Apply (Apply ((.@#@$) :: TyFun ([[a]] ~> [[a]]) ((NonEmpty (NonEmpty a) ~> [[a]]) ~> (NonEmpty (NonEmpty a) ~> [[a]])) -> Type) (ListtransposeSym0 :: TyFun [[a]] [[a]] -> Type)) (Apply (Apply ((.@#@$) :: TyFun (NonEmpty [a] ~> [[a]]) ((NonEmpty (NonEmpty a) ~> NonEmpty [a]) ~> (NonEmpty (NonEmpty a) ~> [[a]])) -> Type) (ToListSym0 :: TyFun (NonEmpty [a]) [[a]] -> Type)) (Apply (FmapSym0 :: TyFun (NonEmpty a ~> [a]) (NonEmpty (NonEmpty a) ~> NonEmpty [a]) -> Type) (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type)))))) a_6989586621681120312

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

IsPrefixOf ('[] :: [a]) (_1 :: NonEmpty a) = TrueSym0

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

FromList ('[] :: [a]) = Apply (ErrorSym0 :: TyFun Symbol (NonEmpty a) -> Type) "NonEmpty.fromList: empty list"

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

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

Equations

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

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

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

Equations

NonEmpty_ ('[] :: [a]) = NothingSym0 :: Maybe (NonEmpty a)

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

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

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

Equations

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

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

Defunctionalization symbols

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

Instances

SingI ((:|@#@$) :: TyFun a ([a] ~> NonEmpty a) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing ((:|@#@$) :: TyFun a ([a] ~> NonEmpty a) -> Type)

SuppressUnusedWarnings ((:|@#@$) :: TyFun a ([a] ~> NonEmpty a) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply ((:|@#@$) :: TyFun a ([a] ~> NonEmpty a) -> Type) (a6989586621679046311 :: a)

Defined in Data.Singletons.Base.Instances

type Apply ((:|@#@$) :: TyFun a ([a] ~> NonEmpty a) -> Type) (a6989586621679046311 :: a) = (:|@#@$$) a6989586621679046311

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

Instances

SingI1 ((:|@#@$$) :: a -> TyFun [a] (NonEmpty a) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

liftSing :: forall (x :: a). Sing x -> Sing ((:|@#@$$) x)

SingI d => SingI ((:|@#@$$) d :: TyFun [a] (NonEmpty a) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

sing :: Sing ((:|@#@$$) d)

SuppressUnusedWarnings ((:|@#@$$) a6989586621679046311 :: TyFun [a] (NonEmpty a) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

type Apply ((:|@#@$$) a6989586621679046311 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621679046312 :: [a])

Defined in Data.Singletons.Base.Instances

type Apply ((:|@#@$$) a6989586621679046311 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621679046312 :: [a]) = a6989586621679046311 ':| a6989586621679046312

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

Equations

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

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

Instances

SingI (MapSym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (MapSym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b) -> Type)

SuppressUnusedWarnings (MapSym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapSym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b) -> Type) (a6989586621681120679 :: a ~> b)

Defined in Data.List.NonEmpty.Singletons

type Apply (MapSym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty b) -> Type) (a6989586621681120679 :: a ~> b) = MapSym1 a6989586621681120679

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

Instances

SingI1 (MapSym1 :: (a ~> b) -> TyFun (NonEmpty a) (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> b). Sing x -> Sing (MapSym1 x)

SingI d => SingI (MapSym1 d :: TyFun (NonEmpty a) (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (MapSym1 d)

SuppressUnusedWarnings (MapSym1 a6989586621681120679 :: TyFun (NonEmpty a) (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapSym1 a6989586621681120679 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681120680 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (MapSym1 a6989586621681120679 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681120680 :: NonEmpty a) = Map a6989586621681120679 a6989586621681120680

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

Equations

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

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

Instances

SingI (IntersperseSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (IntersperseSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type)

SuppressUnusedWarnings (IntersperseSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (IntersperseSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120607 :: a)

Defined in Data.List.NonEmpty.Singletons

type Apply (IntersperseSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120607 :: a) = IntersperseSym1 a6989586621681120607

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

Instances

SingI1 (IntersperseSym1 :: a -> TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a). Sing x -> Sing (IntersperseSym1 x)

SingI d => SingI (IntersperseSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (IntersperseSym1 d)

SuppressUnusedWarnings (IntersperseSym1 a6989586621681120607 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (IntersperseSym1 a6989586621681120607 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120608 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (IntersperseSym1 a6989586621681120607 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120608 :: NonEmpty a) = Intersperse a6989586621681120607 a6989586621681120608

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

Equations

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

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

Instances

SingI (ScanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ScanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type)

SuppressUnusedWarnings (ScanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ScanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) (a6989586621681120649 :: b ~> (a ~> b))

Defined in Data.List.NonEmpty.Singletons

type Apply (ScanlSym0 :: TyFun (b ~> (a ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) (a6989586621681120649 :: b ~> (a ~> b)) = ScanlSym1 a6989586621681120649

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

Instances

SingI1 (ScanlSym1 :: (b ~> (a ~> b)) -> TyFun b ([a] ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: b ~> (a ~> b)). Sing x -> Sing (ScanlSym1 x)

SingI d => SingI (ScanlSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ScanlSym1 d)

SuppressUnusedWarnings (ScanlSym1 a6989586621681120649 :: TyFun b ([a] ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ScanlSym1 a6989586621681120649 :: TyFun b ([a] ~> NonEmpty b) -> Type) (a6989586621681120650 :: b)

Defined in Data.List.NonEmpty.Singletons

type Apply (ScanlSym1 a6989586621681120649 :: TyFun b ([a] ~> NonEmpty b) -> Type) (a6989586621681120650 :: b) = ScanlSym2 a6989586621681120649 a6989586621681120650

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

Instances

SingI d => SingI1 (ScanlSym2 d :: b -> TyFun [a] (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: b). Sing x -> Sing (ScanlSym2 d x)

SingI2 (ScanlSym2 :: (b ~> (a ~> b)) -> b -> TyFun [a] (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing2 :: forall (x :: b ~> (a ~> b)) (y :: b). Sing x -> Sing y -> Sing (ScanlSym2 x y)

(SingI d1, SingI d2) => SingI (ScanlSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ScanlSym2 d1 d2)

SuppressUnusedWarnings (ScanlSym2 a6989586621681120649 a6989586621681120650 :: TyFun [a] (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ScanlSym2 a6989586621681120649 a6989586621681120650 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681120651 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (ScanlSym2 a6989586621681120649 a6989586621681120650 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681120651 :: [a]) = Scanl a6989586621681120649 a6989586621681120650 a6989586621681120651

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

Equations

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

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

Instances

SingI (ScanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ScanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type)

SuppressUnusedWarnings (ScanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ScanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) (a6989586621681120637 :: a ~> (b ~> b))

Defined in Data.List.NonEmpty.Singletons

type Apply (ScanrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> NonEmpty b)) -> Type) (a6989586621681120637 :: a ~> (b ~> b)) = ScanrSym1 a6989586621681120637

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

Instances

SingI1 (ScanrSym1 :: (a ~> (b ~> b)) -> TyFun b ([a] ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> (b ~> b)). Sing x -> Sing (ScanrSym1 x)

SingI d => SingI (ScanrSym1 d :: TyFun b ([a] ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ScanrSym1 d)

SuppressUnusedWarnings (ScanrSym1 a6989586621681120637 :: TyFun b ([a] ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ScanrSym1 a6989586621681120637 :: TyFun b ([a] ~> NonEmpty b) -> Type) (a6989586621681120638 :: b)

Defined in Data.List.NonEmpty.Singletons

type Apply (ScanrSym1 a6989586621681120637 :: TyFun b ([a] ~> NonEmpty b) -> Type) (a6989586621681120638 :: b) = ScanrSym2 a6989586621681120637 a6989586621681120638

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

Instances

SingI d => SingI1 (ScanrSym2 d :: b -> TyFun [a] (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: b). Sing x -> Sing (ScanrSym2 d x)

SingI2 (ScanrSym2 :: (a ~> (b ~> b)) -> b -> TyFun [a] (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing2 :: forall (x :: a ~> (b ~> b)) (y :: b). Sing x -> Sing y -> Sing (ScanrSym2 x y)

(SingI d1, SingI d2) => SingI (ScanrSym2 d1 d2 :: TyFun [a] (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ScanrSym2 d1 d2)

SuppressUnusedWarnings (ScanrSym2 a6989586621681120637 a6989586621681120638 :: TyFun [a] (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ScanrSym2 a6989586621681120637 a6989586621681120638 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681120639 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (ScanrSym2 a6989586621681120637 a6989586621681120638 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681120639 :: [a]) = Scanr a6989586621681120637 a6989586621681120638 a6989586621681120639

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

Equations

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

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

Instances

SingI (Scanl1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (Scanl1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type)

SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Scanl1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120626 :: a ~> (a ~> a))

Defined in Data.List.NonEmpty.Singletons

type Apply (Scanl1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120626 :: a ~> (a ~> a)) = Scanl1Sym1 a6989586621681120626

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

Instances

SingI d => SingI (Scanl1Sym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (Scanl1Sym1 d)

SuppressUnusedWarnings (Scanl1Sym1 a6989586621681120626 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

SingI1 (Scanl1Sym1 :: (a ~> (a ~> a)) -> TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> (a ~> a)). Sing x -> Sing (Scanl1Sym1 x)

type Apply (Scanl1Sym1 a6989586621681120626 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120627 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (Scanl1Sym1 a6989586621681120626 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120627 :: NonEmpty a) = Scanl1 a6989586621681120626 a6989586621681120627

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

Equations

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

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

Instances

SingI (Scanr1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (Scanr1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type)

SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Scanr1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120618 :: a ~> (a ~> a))

Defined in Data.List.NonEmpty.Singletons

type Apply (Scanr1Sym0 :: TyFun (a ~> (a ~> a)) (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120618 :: a ~> (a ~> a)) = Scanr1Sym1 a6989586621681120618

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

Instances

SingI d => SingI (Scanr1Sym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (Scanr1Sym1 d)

SuppressUnusedWarnings (Scanr1Sym1 a6989586621681120618 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

SingI1 (Scanr1Sym1 :: (a ~> (a ~> a)) -> TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> (a ~> a)). Sing x -> Sing (Scanr1Sym1 x)

type Apply (Scanr1Sym1 a6989586621681120618 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120619 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (Scanr1Sym1 a6989586621681120618 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120619 :: NonEmpty a) = Scanr1 a6989586621681120618 a6989586621681120619

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

Equations

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

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

Instances

SingI (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type)

SuppressUnusedWarnings (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120316 :: NonEmpty (NonEmpty a))

Defined in Data.List.NonEmpty.Singletons

type Apply (TransposeSym0 :: TyFun (NonEmpty (NonEmpty a)) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120316 :: NonEmpty (NonEmpty a)) = Transpose a6989586621681120316

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

Equations

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

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

Instances

SingI (SortBySym0 :: TyFun (a ~> (a ~> Ordering)) (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (SortBySym0 :: TyFun (a ~> (a ~> Ordering)) (NonEmpty a ~> NonEmpty a) -> Type)

SuppressUnusedWarnings (SortBySym0 :: TyFun (a ~> (a ~> Ordering)) (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SortBySym0 :: TyFun (a ~> (a ~> Ordering)) (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120308 :: a ~> (a ~> Ordering))

Defined in Data.List.NonEmpty.Singletons

type Apply (SortBySym0 :: TyFun (a ~> (a ~> Ordering)) (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120308 :: a ~> (a ~> Ordering)) = SortBySym1 a6989586621681120308

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

Instances

SingI d => SingI (SortBySym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (SortBySym1 d)

SuppressUnusedWarnings (SortBySym1 a6989586621681120308 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

SingI1 (SortBySym1 :: (a ~> (a ~> Ordering)) -> TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> (a ~> Ordering)). Sing x -> Sing (SortBySym1 x)

type Apply (SortBySym1 a6989586621681120308 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120309 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (SortBySym1 a6989586621681120308 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120309 :: NonEmpty a) = SortBy a6989586621681120308 a6989586621681120309

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

Equations

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

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

Instances

SOrd o => SingI (SortWithSym0 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (SortWithSym0 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a) -> Type)

SuppressUnusedWarnings (SortWithSym0 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SortWithSym0 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120299 :: a ~> o)

Defined in Data.List.NonEmpty.Singletons

type Apply (SortWithSym0 :: TyFun (a ~> o) (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120299 :: a ~> o) = SortWithSym1 a6989586621681120299

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

Instances

SOrd o => SingI1 (SortWithSym1 :: (a ~> o) -> TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> o). Sing x -> Sing (SortWithSym1 x)

(SOrd o, SingI d) => SingI (SortWithSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (SortWithSym1 d)

SuppressUnusedWarnings (SortWithSym1 a6989586621681120299 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SortWithSym1 a6989586621681120299 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120300 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (SortWithSym1 a6989586621681120299 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120300 :: NonEmpty a) = SortWith a6989586621681120299 a6989586621681120300

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

Equations

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

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

Instances

SingI (LengthSym0 :: TyFun (NonEmpty a) Natural -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (LengthSym0 :: TyFun (NonEmpty a) Natural -> Type)

SuppressUnusedWarnings (LengthSym0 :: TyFun (NonEmpty a) Natural -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (LengthSym0 :: TyFun (NonEmpty a) Natural -> Type) (a6989586621681120809 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (LengthSym0 :: TyFun (NonEmpty a) Natural -> Type) (a6989586621681120809 :: NonEmpty a) = Length a6989586621681120809

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

Equations

LengthSym1 (a6989586621681120809 :: NonEmpty a) = Length a6989586621681120809

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

Instances

SingI (HeadSym0 :: TyFun (NonEmpty a) a -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (HeadSym0 :: TyFun (NonEmpty a) a -> Type)

SuppressUnusedWarnings (HeadSym0 :: TyFun (NonEmpty a) a -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681120744 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (HeadSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681120744 :: NonEmpty a) = Head a6989586621681120744

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

Equations

HeadSym1 (a6989586621681120744 :: NonEmpty a) = Head a6989586621681120744

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

Instances

SingI (TailSym0 :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (TailSym0 :: TyFun (NonEmpty a) [a] -> Type)

SuppressUnusedWarnings (TailSym0 :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120740 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (TailSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120740 :: NonEmpty a) = Tail a6989586621681120740

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

Equations

TailSym1 (a6989586621681120740 :: NonEmpty a) = Tail a6989586621681120740

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

Instances

SingI (LastSym0 :: TyFun (NonEmpty a) a -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (LastSym0 :: TyFun (NonEmpty a) a -> Type)

SuppressUnusedWarnings (LastSym0 :: TyFun (NonEmpty a) a -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (LastSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681120735 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (LastSym0 :: TyFun (NonEmpty a) a -> Type) (a6989586621681120735 :: NonEmpty a) = Last a6989586621681120735

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

Equations

LastSym1 (a6989586621681120735 :: NonEmpty a) = Last a6989586621681120735

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

Instances

SingI (InitSym0 :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (InitSym0 :: TyFun (NonEmpty a) [a] -> Type)

SuppressUnusedWarnings (InitSym0 :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120730 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (InitSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120730 :: NonEmpty a) = Init a6989586621681120730

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

Equations

InitSym1 (a6989586621681120730 :: NonEmpty a) = Init a6989586621681120730

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

Instances

SingI ((<|@#@$) :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing ((<|@#@$) :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type)

SuppressUnusedWarnings ((<|@#@$) :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ((<|@#@$) :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120723 :: a)

Defined in Data.List.NonEmpty.Singletons

type Apply ((<|@#@$) :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120723 :: a) = (<|@#@$$) a6989586621681120723

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

Instances

SingI1 ((<|@#@$$) :: a -> TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a). Sing x -> Sing ((<|@#@$$) x)

SingI d => SingI ((<|@#@$$) d :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing ((<|@#@$$) d)

SuppressUnusedWarnings ((<|@#@$$) a6989586621681120723 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ((<|@#@$$) a6989586621681120723 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120724 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply ((<|@#@$$) a6989586621681120723 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120724 :: NonEmpty a) = a6989586621681120723 <| a6989586621681120724

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

Equations

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

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

Instances

SingI (ConsSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ConsSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type)

SuppressUnusedWarnings (ConsSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ConsSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120716 :: a)

Defined in Data.List.NonEmpty.Singletons

type Apply (ConsSym0 :: TyFun a (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120716 :: a) = ConsSym1 a6989586621681120716

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

Instances

SingI1 (ConsSym1 :: a -> TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a). Sing x -> Sing (ConsSym1 x)

SingI d => SingI (ConsSym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ConsSym1 d)

SuppressUnusedWarnings (ConsSym1 a6989586621681120716 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ConsSym1 a6989586621681120716 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120717 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (ConsSym1 a6989586621681120716 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120717 :: NonEmpty a) = Cons a6989586621681120716 a6989586621681120717

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

Equations

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

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

Instances

SingI (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type)

SuppressUnusedWarnings (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) (a6989586621681120773 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (UnconsSym0 :: TyFun (NonEmpty a) (a, Maybe (NonEmpty a)) -> Type) (a6989586621681120773 :: NonEmpty a) = Uncons a6989586621681120773

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

Equations

UnconsSym1 (a6989586621681120773 :: NonEmpty a) = Uncons a6989586621681120773

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

Instances

SingI (UnfoldrSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (UnfoldrSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type)

SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (UnfoldrSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) (a6989586621681120749 :: a ~> (b, Maybe a))

Defined in Data.List.NonEmpty.Singletons

type Apply (UnfoldrSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) (a6989586621681120749 :: a ~> (b, Maybe a)) = UnfoldrSym1 a6989586621681120749

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

Instances

SingI1 (UnfoldrSym1 :: (a ~> (b, Maybe a)) -> TyFun a (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> (b, Maybe a)). Sing x -> Sing (UnfoldrSym1 x)

SingI d => SingI (UnfoldrSym1 d :: TyFun a (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (UnfoldrSym1 d)

SuppressUnusedWarnings (UnfoldrSym1 a6989586621681120749 :: TyFun a (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (UnfoldrSym1 a6989586621681120749 :: TyFun a (NonEmpty b) -> Type) (a6989586621681120750 :: a)

Defined in Data.List.NonEmpty.Singletons

type Apply (UnfoldrSym1 a6989586621681120749 :: TyFun a (NonEmpty b) -> Type) (a6989586621681120750 :: a) = Unfoldr a6989586621681120749 a6989586621681120750

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

Equations

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

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

Instances

SOrd a => SingI (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

SuppressUnusedWarnings (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120707 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (SortSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120707 :: NonEmpty a) = Sort a6989586621681120707

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

Equations

SortSym1 (a6989586621681120707 :: NonEmpty a) = Sort a6989586621681120707

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

Instances

SingI (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

SuppressUnusedWarnings (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120602 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (ReverseSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120602 :: NonEmpty a) = Reverse a6989586621681120602

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

Equations

ReverseSym1 (a6989586621681120602 :: NonEmpty a) = Reverse a6989586621681120602

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

Instances

SingI (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type)

SuppressUnusedWarnings (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681120674 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (InitsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681120674 :: [a]) = Inits a6989586621681120674

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

Equations

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

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

Instances

SingI (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type)

SuppressUnusedWarnings (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681120668 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (TailsSym0 :: TyFun [a] (NonEmpty [a]) -> Type) (a6989586621681120668 :: [a]) = Tails a6989586621681120668

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

Equations

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

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

Instances

SingI (UnfoldSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (UnfoldSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type)

SuppressUnusedWarnings (UnfoldSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (UnfoldSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) (a6989586621681120784 :: a ~> (b, Maybe a))

Defined in Data.List.NonEmpty.Singletons

type Apply (UnfoldSym0 :: TyFun (a ~> (b, Maybe a)) (a ~> NonEmpty b) -> Type) (a6989586621681120784 :: a ~> (b, Maybe a)) = UnfoldSym1 a6989586621681120784

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

Instances

SingI1 (UnfoldSym1 :: (a ~> (b, Maybe a)) -> TyFun a (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> (b, Maybe a)). Sing x -> Sing (UnfoldSym1 x)

SingI d => SingI (UnfoldSym1 d :: TyFun a (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (UnfoldSym1 d)

SuppressUnusedWarnings (UnfoldSym1 a6989586621681120784 :: TyFun a (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (UnfoldSym1 a6989586621681120784 :: TyFun a (NonEmpty b) -> Type) (a6989586621681120785 :: a)

Defined in Data.List.NonEmpty.Singletons

type Apply (UnfoldSym1 a6989586621681120784 :: TyFun a (NonEmpty b) -> Type) (a6989586621681120785 :: a) = Unfold a6989586621681120784 a6989586621681120785

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

Instances

SOrd a => SingI (InsertSym0 :: TyFun a ([a] ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (InsertSym0 :: TyFun a ([a] ~> NonEmpty a) -> Type)

SuppressUnusedWarnings (InsertSym0 :: TyFun a ([a] ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (InsertSym0 :: TyFun a ([a] ~> NonEmpty a) -> Type) (a6989586621681120660 :: a)

Defined in Data.List.NonEmpty.Singletons

type Apply (InsertSym0 :: TyFun a ([a] ~> NonEmpty a) -> Type) (a6989586621681120660 :: a) = InsertSym1 a6989586621681120660

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

Instances

SOrd a => SingI1 (InsertSym1 :: a -> TyFun [a] (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a). Sing x -> Sing (InsertSym1 x)

(SOrd a, SingI d) => SingI (InsertSym1 d :: TyFun [a] (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (InsertSym1 d)

SuppressUnusedWarnings (InsertSym1 a6989586621681120660 :: TyFun [a] (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (InsertSym1 a6989586621681120660 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681120661 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (InsertSym1 a6989586621681120660 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681120661 :: [a]) = Insert a6989586621681120660 a6989586621681120661

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

Equations

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

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

Instances

SingI (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type)

SuppressUnusedWarnings (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) (a6989586621681120594 :: Natural)

Defined in Data.List.NonEmpty.Singletons

type Apply (TakeSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) (a6989586621681120594 :: Natural) = TakeSym1 a6989586621681120594 :: TyFun (NonEmpty a) [a] -> Type

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

Instances

SingI1 (TakeSym1 :: Natural -> TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (TakeSym1 x :: TyFun (NonEmpty a) [a] -> Type)

SingI d => SingI (TakeSym1 d :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (TakeSym1 d :: TyFun (NonEmpty a) [a] -> Type)

SuppressUnusedWarnings (TakeSym1 a6989586621681120594 :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (TakeSym1 a6989586621681120594 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120595 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (TakeSym1 a6989586621681120594 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120595 :: NonEmpty a) = Take a6989586621681120594 a6989586621681120595

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

Equations

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

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

Instances

SingI (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type)

SuppressUnusedWarnings (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) (a6989586621681120585 :: Natural)

Defined in Data.List.NonEmpty.Singletons

type Apply (DropSym0 :: TyFun Natural (NonEmpty a ~> [a]) -> Type) (a6989586621681120585 :: Natural) = DropSym1 a6989586621681120585 :: TyFun (NonEmpty a) [a] -> Type

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

Instances

SingI1 (DropSym1 :: Natural -> TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (DropSym1 x :: TyFun (NonEmpty a) [a] -> Type)

SingI d => SingI (DropSym1 d :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (DropSym1 d :: TyFun (NonEmpty a) [a] -> Type)

SuppressUnusedWarnings (DropSym1 a6989586621681120585 :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (DropSym1 a6989586621681120585 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120586 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (DropSym1 a6989586621681120585 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120586 :: NonEmpty a) = Drop a6989586621681120585 a6989586621681120586

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

Equations

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

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

Instances

SingI (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type)

SuppressUnusedWarnings (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type) (a6989586621681120576 :: Natural)

Defined in Data.List.NonEmpty.Singletons

type Apply (SplitAtSym0 :: TyFun Natural (NonEmpty a ~> ([a], [a])) -> Type) (a6989586621681120576 :: Natural) = SplitAtSym1 a6989586621681120576 :: TyFun (NonEmpty a) ([a], [a]) -> Type

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

Instances

SingI1 (SplitAtSym1 :: Natural -> TyFun (NonEmpty a) ([a], [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: Natural). Sing x -> Sing (SplitAtSym1 x :: TyFun (NonEmpty a) ([a], [a]) -> Type)

SingI d => SingI (SplitAtSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (SplitAtSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type)

SuppressUnusedWarnings (SplitAtSym1 a6989586621681120576 :: TyFun (NonEmpty a) ([a], [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SplitAtSym1 a6989586621681120576 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120577 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (SplitAtSym1 a6989586621681120576 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120577 :: NonEmpty a) = SplitAt a6989586621681120576 a6989586621681120577

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

Equations

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

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

Instances

SingI (TakeWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (TakeWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type)

SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (TakeWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) (a6989586621681120567 :: a ~> Bool)

Defined in Data.List.NonEmpty.Singletons

type Apply (TakeWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) (a6989586621681120567 :: a ~> Bool) = TakeWhileSym1 a6989586621681120567

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

Instances

SingI d => SingI (TakeWhileSym1 d :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (TakeWhileSym1 d)

SuppressUnusedWarnings (TakeWhileSym1 a6989586621681120567 :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

SingI1 (TakeWhileSym1 :: (a ~> Bool) -> TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (TakeWhileSym1 x)

type Apply (TakeWhileSym1 a6989586621681120567 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120568 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (TakeWhileSym1 a6989586621681120567 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120568 :: NonEmpty a) = TakeWhile a6989586621681120567 a6989586621681120568

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

Equations

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

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

Instances

SingI (DropWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (DropWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type)

SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (DropWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) (a6989586621681120558 :: a ~> Bool)

Defined in Data.List.NonEmpty.Singletons

type Apply (DropWhileSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) (a6989586621681120558 :: a ~> Bool) = DropWhileSym1 a6989586621681120558

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

Instances

SingI d => SingI (DropWhileSym1 d :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (DropWhileSym1 d)

SuppressUnusedWarnings (DropWhileSym1 a6989586621681120558 :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

SingI1 (DropWhileSym1 :: (a ~> Bool) -> TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (DropWhileSym1 x)

type Apply (DropWhileSym1 a6989586621681120558 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120559 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (DropWhileSym1 a6989586621681120558 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120559 :: NonEmpty a) = DropWhile a6989586621681120558 a6989586621681120559

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

Equations

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

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

Instances

SingI (SpanSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (SpanSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type)

SuppressUnusedWarnings (SpanSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SpanSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) (a6989586621681120549 :: a ~> Bool)

Defined in Data.List.NonEmpty.Singletons

type Apply (SpanSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) (a6989586621681120549 :: a ~> Bool) = SpanSym1 a6989586621681120549

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

Instances

SingI d => SingI (SpanSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (SpanSym1 d)

SuppressUnusedWarnings (SpanSym1 a6989586621681120549 :: TyFun (NonEmpty a) ([a], [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

SingI1 (SpanSym1 :: (a ~> Bool) -> TyFun (NonEmpty a) ([a], [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (SpanSym1 x)

type Apply (SpanSym1 a6989586621681120549 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120550 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (SpanSym1 a6989586621681120549 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120550 :: NonEmpty a) = Span a6989586621681120549 a6989586621681120550

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

Equations

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

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

Instances

SingI (BreakSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (BreakSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type)

SuppressUnusedWarnings (BreakSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (BreakSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) (a6989586621681120540 :: a ~> Bool)

Defined in Data.List.NonEmpty.Singletons

type Apply (BreakSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) (a6989586621681120540 :: a ~> Bool) = BreakSym1 a6989586621681120540

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

Instances

SingI d => SingI (BreakSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (BreakSym1 d)

SuppressUnusedWarnings (BreakSym1 a6989586621681120540 :: TyFun (NonEmpty a) ([a], [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

SingI1 (BreakSym1 :: (a ~> Bool) -> TyFun (NonEmpty a) ([a], [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (BreakSym1 x)

type Apply (BreakSym1 a6989586621681120540 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120541 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (BreakSym1 a6989586621681120540 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120541 :: NonEmpty a) = Break a6989586621681120540 a6989586621681120541

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

Equations

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

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

Instances

SingI (FilterSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (FilterSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type)

SuppressUnusedWarnings (FilterSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FilterSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) (a6989586621681120531 :: a ~> Bool)

Defined in Data.List.NonEmpty.Singletons

type Apply (FilterSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> [a]) -> Type) (a6989586621681120531 :: a ~> Bool) = FilterSym1 a6989586621681120531

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

Instances

SingI d => SingI (FilterSym1 d :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (FilterSym1 d)

SuppressUnusedWarnings (FilterSym1 a6989586621681120531 :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

SingI1 (FilterSym1 :: (a ~> Bool) -> TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (FilterSym1 x)

type Apply (FilterSym1 a6989586621681120531 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120532 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (FilterSym1 a6989586621681120531 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120532 :: NonEmpty a) = Filter a6989586621681120531 a6989586621681120532

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

Equations

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

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

Instances

SingI (PartitionSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (PartitionSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type)

SuppressUnusedWarnings (PartitionSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (PartitionSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) (a6989586621681120522 :: a ~> Bool)

Defined in Data.List.NonEmpty.Singletons

type Apply (PartitionSym0 :: TyFun (a ~> Bool) (NonEmpty a ~> ([a], [a])) -> Type) (a6989586621681120522 :: a ~> Bool) = PartitionSym1 a6989586621681120522

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

Instances

SingI d => SingI (PartitionSym1 d :: TyFun (NonEmpty a) ([a], [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (PartitionSym1 d)

SuppressUnusedWarnings (PartitionSym1 a6989586621681120522 :: TyFun (NonEmpty a) ([a], [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

SingI1 (PartitionSym1 :: (a ~> Bool) -> TyFun (NonEmpty a) ([a], [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> Bool). Sing x -> Sing (PartitionSym1 x)

type Apply (PartitionSym1 a6989586621681120522 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120523 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (PartitionSym1 a6989586621681120522 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681120523 :: NonEmpty a) = Partition a6989586621681120522 a6989586621681120523

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

Equations

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

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

Instances

SEq a => SingI (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type)

SuppressUnusedWarnings (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120515 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupSym0 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120515 :: [a]) = Group a6989586621681120515

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

Equations

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

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

Instances

SingI (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type)

SuppressUnusedWarnings (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type) (a6989586621681120482 :: a ~> (a ~> Bool))

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type) (a6989586621681120482 :: a ~> (a ~> Bool)) = GroupBySym1 a6989586621681120482

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

Instances

SingI d => SingI (GroupBySym1 d :: TyFun [a] [NonEmpty a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (GroupBySym1 d)

SuppressUnusedWarnings (GroupBySym1 a6989586621681120482 :: TyFun [a] [NonEmpty a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

SingI1 (GroupBySym1 :: (a ~> (a ~> Bool)) -> TyFun [a] [NonEmpty a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> (a ~> Bool)). Sing x -> Sing (GroupBySym1 x)

type Apply (GroupBySym1 a6989586621681120482 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120483 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupBySym1 a6989586621681120482 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120483 :: [a]) = GroupBy a6989586621681120482 a6989586621681120483

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

Equations

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

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

Instances

SEq b => SingI (GroupWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (GroupWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type)

SuppressUnusedWarnings (GroupWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) (a6989586621681120473 :: a ~> b)

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) (a6989586621681120473 :: a ~> b) = GroupWithSym1 a6989586621681120473

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

Instances

SEq b => SingI1 (GroupWithSym1 :: (a ~> b) -> TyFun [a] [NonEmpty a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> b). Sing x -> Sing (GroupWithSym1 x)

(SEq b, SingI d) => SingI (GroupWithSym1 d :: TyFun [a] [NonEmpty a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (GroupWithSym1 d)

SuppressUnusedWarnings (GroupWithSym1 a6989586621681120473 :: TyFun [a] [NonEmpty a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupWithSym1 a6989586621681120473 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120474 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupWithSym1 a6989586621681120473 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120474 :: [a]) = GroupWith a6989586621681120473 a6989586621681120474

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

Equations

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

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

Instances

SOrd b => SingI (GroupAllWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (GroupAllWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type)

SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupAllWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) (a6989586621681120464 :: a ~> b)

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupAllWithSym0 :: TyFun (a ~> b) ([a] ~> [NonEmpty a]) -> Type) (a6989586621681120464 :: a ~> b) = GroupAllWithSym1 a6989586621681120464

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

Instances

SOrd b => SingI1 (GroupAllWithSym1 :: (a ~> b) -> TyFun [a] [NonEmpty a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> b). Sing x -> Sing (GroupAllWithSym1 x)

(SOrd b, SingI d) => SingI (GroupAllWithSym1 d :: TyFun [a] [NonEmpty a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (GroupAllWithSym1 d)

SuppressUnusedWarnings (GroupAllWithSym1 a6989586621681120464 :: TyFun [a] [NonEmpty a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupAllWithSym1 a6989586621681120464 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120465 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupAllWithSym1 a6989586621681120464 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681120465 :: [a]) = GroupAllWith a6989586621681120464 a6989586621681120465

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

Equations

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

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

Instances

SEq a => SingI (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

SuppressUnusedWarnings (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120457 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (Group1Sym0 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120457 :: NonEmpty a) = Group1 a6989586621681120457

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

Equations

Group1Sym1 (a6989586621681120457 :: NonEmpty a) = Group1 a6989586621681120457

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

Instances

SingI (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type)

SuppressUnusedWarnings (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) (a6989586621681120430 :: a ~> (a ~> Bool))

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) (a6989586621681120430 :: a ~> (a ~> Bool)) = GroupBy1Sym1 a6989586621681120430

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

Instances

SingI d => SingI (GroupBy1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (GroupBy1Sym1 d)

SuppressUnusedWarnings (GroupBy1Sym1 a6989586621681120430 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

SingI1 (GroupBy1Sym1 :: (a ~> (a ~> Bool)) -> TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> (a ~> Bool)). Sing x -> Sing (GroupBy1Sym1 x)

type Apply (GroupBy1Sym1 a6989586621681120430 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120431 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupBy1Sym1 a6989586621681120430 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120431 :: NonEmpty a) = GroupBy1 a6989586621681120430 a6989586621681120431

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

Equations

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

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

Instances

SEq b => SingI (GroupWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (GroupWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type)

SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) (a6989586621681120423 :: a ~> b)

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) (a6989586621681120423 :: a ~> b) = GroupWith1Sym1 a6989586621681120423

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

Instances

SEq b => SingI1 (GroupWith1Sym1 :: (a ~> b) -> TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> b). Sing x -> Sing (GroupWith1Sym1 x)

(SEq b, SingI d) => SingI (GroupWith1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (GroupWith1Sym1 d)

SuppressUnusedWarnings (GroupWith1Sym1 a6989586621681120423 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupWith1Sym1 a6989586621681120423 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120424 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupWith1Sym1 a6989586621681120423 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120424 :: NonEmpty a) = GroupWith1 a6989586621681120423 a6989586621681120424

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

Equations

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

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

Instances

SOrd b => SingI (GroupAllWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (GroupAllWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type)

SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupAllWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) (a6989586621681120414 :: a ~> b)

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupAllWith1Sym0 :: TyFun (a ~> b) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) (a6989586621681120414 :: a ~> b) = GroupAllWith1Sym1 a6989586621681120414

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

Instances

SOrd b => SingI1 (GroupAllWith1Sym1 :: (a ~> b) -> TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> b). Sing x -> Sing (GroupAllWith1Sym1 x)

(SOrd b, SingI d) => SingI (GroupAllWith1Sym1 d :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (GroupAllWith1Sym1 d)

SuppressUnusedWarnings (GroupAllWith1Sym1 a6989586621681120414 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupAllWith1Sym1 a6989586621681120414 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120415 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupAllWith1Sym1 a6989586621681120414 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681120415 :: NonEmpty a) = GroupAllWith1 a6989586621681120414 a6989586621681120415

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

Equations

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

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

Instances

SEq a => SingI (IsPrefixOfSym0 :: TyFun [a] (NonEmpty a ~> Bool) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (IsPrefixOfSym0 :: TyFun [a] (NonEmpty a ~> Bool) -> Type)

SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a] (NonEmpty a ~> Bool) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (IsPrefixOfSym0 :: TyFun [a] (NonEmpty a ~> Bool) -> Type) (a6989586621681120403 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (IsPrefixOfSym0 :: TyFun [a] (NonEmpty a ~> Bool) -> Type) (a6989586621681120403 :: [a]) = IsPrefixOfSym1 a6989586621681120403

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

Instances

SEq a => SingI1 (IsPrefixOfSym1 :: [a] -> TyFun (NonEmpty a) Bool -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: [a]). Sing x -> Sing (IsPrefixOfSym1 x)

(SEq a, SingI d) => SingI (IsPrefixOfSym1 d :: TyFun (NonEmpty a) Bool -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (IsPrefixOfSym1 d)

SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621681120403 :: TyFun (NonEmpty a) Bool -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (IsPrefixOfSym1 a6989586621681120403 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681120404 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (IsPrefixOfSym1 a6989586621681120403 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681120404 :: NonEmpty a) = IsPrefixOf a6989586621681120403 a6989586621681120404

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

Equations

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

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

Instances

SEq a => SingI (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

SuppressUnusedWarnings (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120334 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (NubSym0 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120334 :: NonEmpty a) = Nub a6989586621681120334

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

Equations

NubSym1 (a6989586621681120334 :: NonEmpty a) = Nub a6989586621681120334

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

Instances

SingI (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type)

SuppressUnusedWarnings (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120321 :: a ~> (a ~> Bool))

Defined in Data.List.NonEmpty.Singletons

type Apply (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type) (a6989586621681120321 :: a ~> (a ~> Bool)) = NubBySym1 a6989586621681120321

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

Instances

SingI d => SingI (NubBySym1 d :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (NubBySym1 d)

SuppressUnusedWarnings (NubBySym1 a6989586621681120321 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

SingI1 (NubBySym1 :: (a ~> (a ~> Bool)) -> TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> (a ~> Bool)). Sing x -> Sing (NubBySym1 x)

type Apply (NubBySym1 a6989586621681120321 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120322 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (NubBySym1 a6989586621681120321 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681120322 :: NonEmpty a) = NubBy a6989586621681120321 a6989586621681120322

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

Equations

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

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

Instances

SingI ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type)

SuppressUnusedWarnings ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type) (a6989586621681120384 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply ((!!@#@$) :: TyFun (NonEmpty a) (Natural ~> a) -> Type) (a6989586621681120384 :: NonEmpty a) = (!!@#@$$) a6989586621681120384

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

Instances

SingI1 ((!!@#@$$) :: NonEmpty a -> TyFun Natural a -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: NonEmpty a). Sing x -> Sing ((!!@#@$$) x)

SingI d => SingI ((!!@#@$$) d :: TyFun Natural a -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing ((!!@#@$$) d)

SuppressUnusedWarnings ((!!@#@$$) a6989586621681120384 :: TyFun Natural a -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ((!!@#@$$) a6989586621681120384 :: TyFun Natural a -> Type) (a6989586621681120385 :: Natural)

Defined in Data.List.NonEmpty.Singletons

type Apply ((!!@#@$$) a6989586621681120384 :: TyFun Natural a -> Type) (a6989586621681120385 :: Natural) = a6989586621681120384 !! a6989586621681120385

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

Equations

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

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

Instances

SingI (ZipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ZipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type)

SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ZipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type) (a6989586621681120375 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (ZipSym0 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty (a, b)) -> Type) (a6989586621681120375 :: NonEmpty a) = ZipSym1 a6989586621681120375 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type

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

Instances

SingI1 (ZipSym1 :: NonEmpty a -> TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: NonEmpty a). Sing x -> Sing (ZipSym1 x :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type)

SingI d => SingI (ZipSym1 d :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ZipSym1 d :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type)

SuppressUnusedWarnings (ZipSym1 a6989586621681120375 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ZipSym1 a6989586621681120375 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681120376 :: NonEmpty b)

Defined in Data.List.NonEmpty.Singletons

type Apply (ZipSym1 a6989586621681120375 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681120376 :: NonEmpty b) = Zip a6989586621681120375 a6989586621681120376

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

Equations

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

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

Instances

SingI (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type)

SuppressUnusedWarnings (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type) (a6989586621681120364 :: a ~> (b ~> c))

Defined in Data.List.NonEmpty.Singletons

type Apply (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type) (a6989586621681120364 :: a ~> (b ~> c)) = ZipWithSym1 a6989586621681120364

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

Instances

SingI1 (ZipWithSym1 :: (a ~> (b ~> c)) -> TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: a ~> (b ~> c)). Sing x -> Sing (ZipWithSym1 x)

SingI d => SingI (ZipWithSym1 d :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ZipWithSym1 d)

SuppressUnusedWarnings (ZipWithSym1 a6989586621681120364 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithSym1 a6989586621681120364 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) (a6989586621681120365 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (ZipWithSym1 a6989586621681120364 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) (a6989586621681120365 :: NonEmpty a) = ZipWithSym2 a6989586621681120364 a6989586621681120365

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

Instances

SingI d => SingI1 (ZipWithSym2 d :: NonEmpty a -> TyFun (NonEmpty b) (NonEmpty c) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing :: forall (x :: NonEmpty a). Sing x -> Sing (ZipWithSym2 d x)

SingI2 (ZipWithSym2 :: (a ~> (b ~> c)) -> NonEmpty a -> TyFun (NonEmpty b) (NonEmpty c) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

liftSing2 :: forall (x :: a ~> (b ~> c)) (y :: NonEmpty a). Sing x -> Sing y -> Sing (ZipWithSym2 x y)

(SingI d1, SingI d2) => SingI (ZipWithSym2 d1 d2 :: TyFun (NonEmpty b) (NonEmpty c) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ZipWithSym2 d1 d2)

SuppressUnusedWarnings (ZipWithSym2 a6989586621681120364 a6989586621681120365 :: TyFun (NonEmpty b) (NonEmpty c) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithSym2 a6989586621681120364 a6989586621681120365 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681120366 :: NonEmpty b)

Defined in Data.List.NonEmpty.Singletons

type Apply (ZipWithSym2 a6989586621681120364 a6989586621681120365 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681120366 :: NonEmpty b) = ZipWith a6989586621681120364 a6989586621681120365 a6989586621681120366

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

Equations

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

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

Instances

SingI (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type)

SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) (a6989586621681120338 :: NonEmpty (a, b))

Defined in Data.List.NonEmpty.Singletons

type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) (a6989586621681120338 :: NonEmpty (a, b)) = Unzip a6989586621681120338

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

Equations

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

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

Instances

SingI (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type)

SuppressUnusedWarnings (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681120700 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681120700 :: [a]) = FromList a6989586621681120700

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

Equations

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

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

Instances

SingI (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type)

SuppressUnusedWarnings (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120695 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681120695 :: NonEmpty a) = ToList a6989586621681120695

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

Equations

ToListSym1 (a6989586621681120695 :: NonEmpty a) = ToList a6989586621681120695

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

Instances

SingI (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type)

SuppressUnusedWarnings (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (NonEmpty_Sym0 :: TyFun [a] (Maybe (NonEmpty a)) -> Type) (a6989586621681120778 :: [a])

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

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

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

Instances

SingI XorSym0

Defined in Data.List.NonEmpty.Singletons

Methods

sing :: Sing XorSym0

SuppressUnusedWarnings XorSym0

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply XorSym0 (a6989586621681120798 :: NonEmpty Bool)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

XorSym1 a6989586621681120798 = Xor a6989586621681120798

Orphan instances

PMonadZip NonEmpty

Associated Types

type Mzip (a2 :: NonEmpty a1) (a3 :: NonEmpty b)

Defined in Data.List.NonEmpty.Singletons

type Mzip (a2 :: NonEmpty a1) (a3 :: NonEmpty b)

type MzipWith (a2 :: a1 ~> (b ~> c)) (a3 :: NonEmpty a1) (a4 :: NonEmpty b)

Defined in Data.List.NonEmpty.Singletons

type MzipWith (a2 :: a1 ~> (b ~> c)) (a3 :: NonEmpty a1) (a4 :: NonEmpty b)

type Munzip (a2 :: NonEmpty (a1, b))

Defined in Data.List.NonEmpty.Singletons

type Munzip (a2 :: NonEmpty (a1, b))

SMonadZip NonEmpty

Methods

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

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

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