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.Singletons.Base.Instances

type Sing = SVoid

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 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.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.Singletons.Base.Instances

type Sing = SNonEmpty :: NonEmpty a -> Type

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 = 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 = 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.Semigroup.Singletons

type Sing = SArg :: Arg a b -> 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.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_6989586621681138832 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_6989586621681138863 :: [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_6989586621681138863

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_6989586621681138851 :: [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_6989586621681138851

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_6989586621681138532 :: 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_6989586621681138532

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_6989586621681138523 :: NonEmpty b) = Apply (Apply (LiftSym0 :: TyFun ([b] ~> [b]) (NonEmpty b ~> NonEmpty b) -> Type) (Apply (ListsortBySym0 :: TyFun (b ~> (b ~> Ordering)) ([b] ~> [b]) -> Type) f)) a_6989586621681138523

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_6989586621681138512 :: a1 ~> a2) (a_6989586621681138514 :: 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_6989586621681138512) a_6989586621681138514

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_6989586621681138929 :: k1) (a_6989586621681138931 :: NonEmpty k1) = Apply (Apply ((<|@#@$) :: TyFun k1 (NonEmpty k1 ~> NonEmpty k1) -> Type) a_6989586621681138929) a_6989586621681138931

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_6989586621681138986 f a (Let6989586621681138984Scrutinee_6989586621681137548Sym2 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_6989586621681138923 :: NonEmpty b) = Apply (Apply (LiftSym0 :: TyFun ([b] ~> [b]) (NonEmpty b ~> NonEmpty b) -> Type) (ListsortSym0 :: TyFun [b] [b] -> Type)) a_6989586621681138923

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_6989586621681138818 :: NonEmpty b) = Apply (Apply (LiftSym0 :: TyFun ([b] ~> [b]) (NonEmpty b ~> NonEmpty b) -> Type) (ListreverseSym0 :: TyFun [b] [b] -> Type)) a_6989586621681138818

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_6989586621681138890 :: [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_6989586621681138890

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_6989586621681138884 :: [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_6989586621681138884

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_6989586621681139010 f a (Let6989586621681139008Scrutinee_6989586621681137538Sym2 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_6989586621681138875 :: [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_6989586621681138875

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_6989586621681138809 :: 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_6989586621681138809

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_6989586621681138800 :: 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_6989586621681138800

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_6989586621681138791 :: 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_6989586621681138791

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_6989586621681138782 :: 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_6989586621681138782

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_6989586621681138773 :: 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_6989586621681138773

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_6989586621681138764 :: 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_6989586621681138764

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_6989586621681138755 :: 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_6989586621681138755

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_6989586621681138746 :: 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_6989586621681138746

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_6989586621681138737 :: 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_6989586621681138737

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_6989586621681138731 :: [a]) = Apply (Apply (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type) ((==@#@$) :: TyFun a (a ~> Bool) -> Type)) a_6989586621681138731

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_6989586621681138697 :: [a]) = Apply (Apply (Let6989586621681138706GoSym2 eq0 a_6989586621681138697 :: TyFun (a ~> (a ~> Bool)) (TyFun [a] [NonEmpty a] -> Type) -> Type) eq0) a_6989586621681138697

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_6989586621681138688 :: [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_6989586621681138688

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_6989586621681138679 :: [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_6989586621681138679

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_6989586621681138673 :: NonEmpty a) = Apply (Apply (GroupBy1Sym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty (NonEmpty a)) -> Type) ((==@#@$) :: TyFun a (a ~> Bool) -> Type)) a_6989586621681138673

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) (Let6989586621681138655YsSym3 eq x xs))) (Apply (Apply (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [NonEmpty a]) -> Type) eq) (Let6989586621681138655ZsSym3 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_6989586621681138638 :: 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_6989586621681138638

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_6989586621681138629 :: 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_6989586621681138629

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_6989586621681138550 :: NonEmpty a) = Apply (Apply (NubBySym0 :: TyFun (a ~> (a ~> Bool)) (NonEmpty a ~> NonEmpty a) -> Type) ((==@#@$) :: TyFun a (a ~> Bool) -> Type)) a_6989586621681138550

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_6989586621681138546Sym0 :: 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_6989586621681137560 :: NonEmpty k) !! arg_6989586621681137562 = Case_6989586621681138608 arg_6989586621681137560 arg_6989586621681137562 (Apply (Apply (Tuple2Sym0 :: TyFun (NonEmpty k) (Natural ~> (NonEmpty k, Natural)) -> Type) arg_6989586621681137560) arg_6989586621681137562)

(%!!) :: 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) (Let6989586621681138562AsSym3 a2 b2 asbs))) (Apply (Apply ((:|@#@$) :: TyFun b1 ([b1] ~> NonEmpty b1) -> Type) b2) (Let6989586621681138562BsSym3 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) (Let6989586621681139021Xor'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) (a6989586621679047221 :: a)

Defined in Data.Singletons.Base.Instances

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

data (a6989586621679047221 :: 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 ((:|@#@$$) a6989586621679047221 :: TyFun [a] (NonEmpty a) -> Type)

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Base.Instances

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

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

Equations

(a6989586621679047221 :: a) :|@#@$$$ (a6989586621679047222 :: [a]) = a6989586621679047221 ':| a6989586621679047222

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) (a6989586621681138899 :: a ~> b)

Defined in Data.List.NonEmpty.Singletons

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

data MapSym1 (a6989586621681138899 :: 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 a6989586621681138899 :: TyFun (NonEmpty a) (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapSym1 a6989586621681138899 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681138900 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (MapSym1 a6989586621681138899 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621681138900 :: NonEmpty a) = Map a6989586621681138899 a6989586621681138900

type family MapSym2 (a6989586621681138899 :: a ~> b) (a6989586621681138900 :: NonEmpty a) :: NonEmpty b where ...

Equations

MapSym2 (a6989586621681138899 :: a ~> b) (a6989586621681138900 :: NonEmpty a) = Map a6989586621681138899 a6989586621681138900

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) (a6989586621681138827 :: a)

Defined in Data.List.NonEmpty.Singletons

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

data IntersperseSym1 (a6989586621681138827 :: 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 a6989586621681138827 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (IntersperseSym1 a6989586621681138827 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138828 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (IntersperseSym1 a6989586621681138827 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138828 :: NonEmpty a) = Intersperse a6989586621681138827 a6989586621681138828

type family IntersperseSym2 (a6989586621681138827 :: a) (a6989586621681138828 :: NonEmpty a) :: NonEmpty a where ...

Equations

IntersperseSym2 (a6989586621681138827 :: a) (a6989586621681138828 :: NonEmpty a) = Intersperse a6989586621681138827 a6989586621681138828

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) (a6989586621681138869 :: b ~> (a ~> b))

Defined in Data.List.NonEmpty.Singletons

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

data ScanlSym1 (a6989586621681138869 :: 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 a6989586621681138869 :: TyFun b ([a] ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.NonEmpty.Singletons

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

data ScanlSym2 (a6989586621681138869 :: b ~> (a ~> b)) (a6989586621681138870 :: 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 a6989586621681138869 a6989586621681138870 :: TyFun [a] (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ScanlSym2 a6989586621681138869 a6989586621681138870 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681138871 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (ScanlSym2 a6989586621681138869 a6989586621681138870 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681138871 :: [a]) = Scanl a6989586621681138869 a6989586621681138870 a6989586621681138871

type family ScanlSym3 (a6989586621681138869 :: b ~> (a ~> b)) (a6989586621681138870 :: b) (a6989586621681138871 :: [a]) :: NonEmpty b where ...

Equations

ScanlSym3 (a6989586621681138869 :: b ~> (a ~> b)) (a6989586621681138870 :: b) (a6989586621681138871 :: [a]) = Scanl a6989586621681138869 a6989586621681138870 a6989586621681138871

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) (a6989586621681138857 :: a ~> (b ~> b))

Defined in Data.List.NonEmpty.Singletons

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

data ScanrSym1 (a6989586621681138857 :: 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 a6989586621681138857 :: TyFun b ([a] ~> NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.NonEmpty.Singletons

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

data ScanrSym2 (a6989586621681138857 :: a ~> (b ~> b)) (a6989586621681138858 :: 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 a6989586621681138857 a6989586621681138858 :: TyFun [a] (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ScanrSym2 a6989586621681138857 a6989586621681138858 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681138859 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (ScanrSym2 a6989586621681138857 a6989586621681138858 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621681138859 :: [a]) = Scanr a6989586621681138857 a6989586621681138858 a6989586621681138859

type family ScanrSym3 (a6989586621681138857 :: a ~> (b ~> b)) (a6989586621681138858 :: b) (a6989586621681138859 :: [a]) :: NonEmpty b where ...

Equations

ScanrSym3 (a6989586621681138857 :: a ~> (b ~> b)) (a6989586621681138858 :: b) (a6989586621681138859 :: [a]) = Scanr a6989586621681138857 a6989586621681138858 a6989586621681138859

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) (a6989586621681138846 :: a ~> (a ~> a))

Defined in Data.List.NonEmpty.Singletons

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

data Scanl1Sym1 (a6989586621681138846 :: 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 a6989586621681138846 :: 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 a6989586621681138846 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138847 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (Scanl1Sym1 a6989586621681138846 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138847 :: NonEmpty a) = Scanl1 a6989586621681138846 a6989586621681138847

type family Scanl1Sym2 (a6989586621681138846 :: a ~> (a ~> a)) (a6989586621681138847 :: NonEmpty a) :: NonEmpty a where ...

Equations

Scanl1Sym2 (a6989586621681138846 :: a ~> (a ~> a)) (a6989586621681138847 :: NonEmpty a) = Scanl1 a6989586621681138846 a6989586621681138847

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) (a6989586621681138838 :: a ~> (a ~> a))

Defined in Data.List.NonEmpty.Singletons

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

data Scanr1Sym1 (a6989586621681138838 :: 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 a6989586621681138838 :: 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 a6989586621681138838 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138839 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (Scanr1Sym1 a6989586621681138838 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138839 :: NonEmpty a) = Scanr1 a6989586621681138838 a6989586621681138839

type family Scanr1Sym2 (a6989586621681138838 :: a ~> (a ~> a)) (a6989586621681138839 :: NonEmpty a) :: NonEmpty a where ...

Equations

Scanr1Sym2 (a6989586621681138838 :: a ~> (a ~> a)) (a6989586621681138839 :: NonEmpty a) = Scanr1 a6989586621681138838 a6989586621681138839

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) (a6989586621681138536 :: NonEmpty (NonEmpty a))

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

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

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) (a6989586621681138528 :: a ~> (a ~> Ordering))

Defined in Data.List.NonEmpty.Singletons

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

data SortBySym1 (a6989586621681138528 :: 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 a6989586621681138528 :: 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 a6989586621681138528 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138529 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (SortBySym1 a6989586621681138528 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138529 :: NonEmpty a) = SortBy a6989586621681138528 a6989586621681138529

type family SortBySym2 (a6989586621681138528 :: a ~> (a ~> Ordering)) (a6989586621681138529 :: NonEmpty a) :: NonEmpty a where ...

Equations

SortBySym2 (a6989586621681138528 :: a ~> (a ~> Ordering)) (a6989586621681138529 :: NonEmpty a) = SortBy a6989586621681138528 a6989586621681138529

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) (a6989586621681138519 :: a ~> o)

Defined in Data.List.NonEmpty.Singletons

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

data SortWithSym1 (a6989586621681138519 :: 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 a6989586621681138519 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SortWithSym1 a6989586621681138519 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138520 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (SortWithSym1 a6989586621681138519 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138520 :: NonEmpty a) = SortWith a6989586621681138519 a6989586621681138520

type family SortWithSym2 (a6989586621681138519 :: a ~> o) (a6989586621681138520 :: NonEmpty a) :: NonEmpty a where ...

Equations

SortWithSym2 (a6989586621681138519 :: a ~> o) (a6989586621681138520 :: NonEmpty a) = SortWith a6989586621681138519 a6989586621681138520

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) (a6989586621681139029 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

LengthSym1 (a6989586621681139029 :: NonEmpty a) = Length a6989586621681139029

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) (a6989586621681138964 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

HeadSym1 (a6989586621681138964 :: NonEmpty a) = Head a6989586621681138964

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) (a6989586621681138960 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

TailSym1 (a6989586621681138960 :: NonEmpty a) = Tail a6989586621681138960

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) (a6989586621681138955 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

LastSym1 (a6989586621681138955 :: NonEmpty a) = Last a6989586621681138955

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) (a6989586621681138950 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

InitSym1 (a6989586621681138950 :: NonEmpty a) = Init a6989586621681138950

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) (a6989586621681138943 :: a)

Defined in Data.List.NonEmpty.Singletons

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

data (a6989586621681138943 :: 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 ((<|@#@$$) a6989586621681138943 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.NonEmpty.Singletons

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

type family (a6989586621681138943 :: a) <|@#@$$$ (a6989586621681138944 :: NonEmpty a) :: NonEmpty a where ...

Equations

(a6989586621681138943 :: a) <|@#@$$$ (a6989586621681138944 :: NonEmpty a) = a6989586621681138943 <| a6989586621681138944

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) (a6989586621681138936 :: a)

Defined in Data.List.NonEmpty.Singletons

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

data ConsSym1 (a6989586621681138936 :: 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 a6989586621681138936 :: TyFun (NonEmpty a) (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ConsSym1 a6989586621681138936 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138937 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (ConsSym1 a6989586621681138936 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138937 :: NonEmpty a) = Cons a6989586621681138936 a6989586621681138937

type family ConsSym2 (a6989586621681138936 :: a) (a6989586621681138937 :: NonEmpty a) :: NonEmpty a where ...

Equations

ConsSym2 (a6989586621681138936 :: a) (a6989586621681138937 :: NonEmpty a) = Cons a6989586621681138936 a6989586621681138937

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) (a6989586621681138993 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

UnconsSym1 (a6989586621681138993 :: NonEmpty a) = Uncons a6989586621681138993

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) (a6989586621681138969 :: a ~> (b, Maybe a))

Defined in Data.List.NonEmpty.Singletons

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

data UnfoldrSym1 (a6989586621681138969 :: 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 a6989586621681138969 :: TyFun a (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (UnfoldrSym1 a6989586621681138969 :: TyFun a (NonEmpty b) -> Type) (a6989586621681138970 :: a)

Defined in Data.List.NonEmpty.Singletons

type Apply (UnfoldrSym1 a6989586621681138969 :: TyFun a (NonEmpty b) -> Type) (a6989586621681138970 :: a) = Unfoldr a6989586621681138969 a6989586621681138970

type family UnfoldrSym2 (a6989586621681138969 :: a ~> (b, Maybe a)) (a6989586621681138970 :: a) :: NonEmpty b where ...

Equations

UnfoldrSym2 (a6989586621681138969 :: a ~> (b, Maybe a)) (a6989586621681138970 :: a) = Unfoldr a6989586621681138969 a6989586621681138970

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) (a6989586621681138927 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

SortSym1 (a6989586621681138927 :: NonEmpty a) = Sort a6989586621681138927

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) (a6989586621681138822 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

ReverseSym1 (a6989586621681138822 :: NonEmpty a) = Reverse a6989586621681138822

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) (a6989586621681138894 :: [a])

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

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

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) (a6989586621681138888 :: [a])

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

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

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) (a6989586621681139004 :: a ~> (b, Maybe a))

Defined in Data.List.NonEmpty.Singletons

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

data UnfoldSym1 (a6989586621681139004 :: 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 a6989586621681139004 :: TyFun a (NonEmpty b) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (UnfoldSym1 a6989586621681139004 :: TyFun a (NonEmpty b) -> Type) (a6989586621681139005 :: a)

Defined in Data.List.NonEmpty.Singletons

type Apply (UnfoldSym1 a6989586621681139004 :: TyFun a (NonEmpty b) -> Type) (a6989586621681139005 :: a) = Unfold a6989586621681139004 a6989586621681139005

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) (a6989586621681138880 :: a)

Defined in Data.List.NonEmpty.Singletons

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

data InsertSym1 (a6989586621681138880 :: 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 a6989586621681138880 :: TyFun [a] (NonEmpty a) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (InsertSym1 a6989586621681138880 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681138881 :: [a])

Defined in Data.List.NonEmpty.Singletons

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

type family InsertSym2 (a6989586621681138880 :: a) (a6989586621681138881 :: [a]) :: NonEmpty a where ...

Equations

InsertSym2 (a6989586621681138880 :: a) (a6989586621681138881 :: [a]) = Insert a6989586621681138880 a6989586621681138881

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) (a6989586621681138814 :: Natural)

Defined in Data.List.NonEmpty.Singletons

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

data TakeSym1 (a6989586621681138814 :: 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 a6989586621681138814 :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (TakeSym1 a6989586621681138814 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681138815 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

type family TakeSym2 (a6989586621681138814 :: Natural) (a6989586621681138815 :: NonEmpty a) :: [a] where ...

Equations

TakeSym2 a6989586621681138814 (a6989586621681138815 :: NonEmpty a) = Take a6989586621681138814 a6989586621681138815

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) (a6989586621681138805 :: Natural)

Defined in Data.List.NonEmpty.Singletons

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

data DropSym1 (a6989586621681138805 :: 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 a6989586621681138805 :: TyFun (NonEmpty a) [a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (DropSym1 a6989586621681138805 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681138806 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

type family DropSym2 (a6989586621681138805 :: Natural) (a6989586621681138806 :: NonEmpty a) :: [a] where ...

Equations

DropSym2 a6989586621681138805 (a6989586621681138806 :: NonEmpty a) = Drop a6989586621681138805 a6989586621681138806

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) (a6989586621681138796 :: Natural)

Defined in Data.List.NonEmpty.Singletons

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

data SplitAtSym1 (a6989586621681138796 :: 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 a6989586621681138796 :: TyFun (NonEmpty a) ([a], [a]) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SplitAtSym1 a6989586621681138796 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681138797 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

type family SplitAtSym2 (a6989586621681138796 :: Natural) (a6989586621681138797 :: NonEmpty a) :: ([a], [a]) where ...

Equations

SplitAtSym2 a6989586621681138796 (a6989586621681138797 :: NonEmpty a) = SplitAt a6989586621681138796 a6989586621681138797

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) (a6989586621681138787 :: a ~> Bool)

Defined in Data.List.NonEmpty.Singletons

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

data TakeWhileSym1 (a6989586621681138787 :: 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 a6989586621681138787 :: 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 a6989586621681138787 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681138788 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

type family TakeWhileSym2 (a6989586621681138787 :: a ~> Bool) (a6989586621681138788 :: NonEmpty a) :: [a] where ...

Equations

TakeWhileSym2 (a6989586621681138787 :: a ~> Bool) (a6989586621681138788 :: NonEmpty a) = TakeWhile a6989586621681138787 a6989586621681138788

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) (a6989586621681138778 :: a ~> Bool)

Defined in Data.List.NonEmpty.Singletons

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

data DropWhileSym1 (a6989586621681138778 :: 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 a6989586621681138778 :: 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 a6989586621681138778 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681138779 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

type family DropWhileSym2 (a6989586621681138778 :: a ~> Bool) (a6989586621681138779 :: NonEmpty a) :: [a] where ...

Equations

DropWhileSym2 (a6989586621681138778 :: a ~> Bool) (a6989586621681138779 :: NonEmpty a) = DropWhile a6989586621681138778 a6989586621681138779

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) (a6989586621681138769 :: a ~> Bool)

Defined in Data.List.NonEmpty.Singletons

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

data SpanSym1 (a6989586621681138769 :: 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 a6989586621681138769 :: 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 a6989586621681138769 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681138770 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

SpanSym2 (a6989586621681138769 :: a ~> Bool) (a6989586621681138770 :: NonEmpty a) = Span a6989586621681138769 a6989586621681138770

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) (a6989586621681138760 :: a ~> Bool)

Defined in Data.List.NonEmpty.Singletons

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

data BreakSym1 (a6989586621681138760 :: 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 a6989586621681138760 :: 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 a6989586621681138760 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681138761 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

BreakSym2 (a6989586621681138760 :: a ~> Bool) (a6989586621681138761 :: NonEmpty a) = Break a6989586621681138760 a6989586621681138761

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) (a6989586621681138751 :: a ~> Bool)

Defined in Data.List.NonEmpty.Singletons

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

data FilterSym1 (a6989586621681138751 :: 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 a6989586621681138751 :: 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 a6989586621681138751 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681138752 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

type family FilterSym2 (a6989586621681138751 :: a ~> Bool) (a6989586621681138752 :: NonEmpty a) :: [a] where ...

Equations

FilterSym2 (a6989586621681138751 :: a ~> Bool) (a6989586621681138752 :: NonEmpty a) = Filter a6989586621681138751 a6989586621681138752

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) (a6989586621681138742 :: a ~> Bool)

Defined in Data.List.NonEmpty.Singletons

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

data PartitionSym1 (a6989586621681138742 :: 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 a6989586621681138742 :: 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 a6989586621681138742 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621681138743 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

PartitionSym2 (a6989586621681138742 :: a ~> Bool) (a6989586621681138743 :: NonEmpty a) = Partition a6989586621681138742 a6989586621681138743

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) (a6989586621681138735 :: [a])

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

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

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) (a6989586621681138702 :: a ~> (a ~> Bool))

Defined in Data.List.NonEmpty.Singletons

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

data GroupBySym1 (a6989586621681138702 :: 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 a6989586621681138702 :: 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 a6989586621681138702 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681138703 :: [a])

Defined in Data.List.NonEmpty.Singletons

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

type family GroupBySym2 (a6989586621681138702 :: a ~> (a ~> Bool)) (a6989586621681138703 :: [a]) :: [NonEmpty a] where ...

Equations

GroupBySym2 (a6989586621681138702 :: a ~> (a ~> Bool)) (a6989586621681138703 :: [a]) = GroupBy a6989586621681138702 a6989586621681138703

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) (a6989586621681138693 :: a ~> b)

Defined in Data.List.NonEmpty.Singletons

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

data GroupWithSym1 (a6989586621681138693 :: 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 a6989586621681138693 :: TyFun [a] [NonEmpty a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupWithSym1 a6989586621681138693 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681138694 :: [a])

Defined in Data.List.NonEmpty.Singletons

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

type family GroupWithSym2 (a6989586621681138693 :: a ~> b) (a6989586621681138694 :: [a]) :: [NonEmpty a] where ...

Equations

GroupWithSym2 (a6989586621681138693 :: a ~> b) (a6989586621681138694 :: [a]) = GroupWith a6989586621681138693 a6989586621681138694

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) (a6989586621681138684 :: a ~> b)

Defined in Data.List.NonEmpty.Singletons

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

data GroupAllWithSym1 (a6989586621681138684 :: 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 a6989586621681138684 :: TyFun [a] [NonEmpty a] -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupAllWithSym1 a6989586621681138684 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621681138685 :: [a])

Defined in Data.List.NonEmpty.Singletons

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

type family GroupAllWithSym2 (a6989586621681138684 :: a ~> b) (a6989586621681138685 :: [a]) :: [NonEmpty a] where ...

Equations

GroupAllWithSym2 (a6989586621681138684 :: a ~> b) (a6989586621681138685 :: [a]) = GroupAllWith a6989586621681138684 a6989586621681138685

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) (a6989586621681138677 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

Group1Sym1 (a6989586621681138677 :: NonEmpty a) = Group1 a6989586621681138677

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) (a6989586621681138650 :: a ~> (a ~> Bool))

Defined in Data.List.NonEmpty.Singletons

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

data GroupBy1Sym1 (a6989586621681138650 :: 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 a6989586621681138650 :: 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 a6989586621681138650 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681138651 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupBy1Sym1 a6989586621681138650 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681138651 :: NonEmpty a) = GroupBy1 a6989586621681138650 a6989586621681138651

type family GroupBy1Sym2 (a6989586621681138650 :: a ~> (a ~> Bool)) (a6989586621681138651 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...

Equations

GroupBy1Sym2 (a6989586621681138650 :: a ~> (a ~> Bool)) (a6989586621681138651 :: NonEmpty a) = GroupBy1 a6989586621681138650 a6989586621681138651

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) (a6989586621681138643 :: a ~> b)

Defined in Data.List.NonEmpty.Singletons

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

data GroupWith1Sym1 (a6989586621681138643 :: 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 a6989586621681138643 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupWith1Sym1 a6989586621681138643 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681138644 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupWith1Sym1 a6989586621681138643 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681138644 :: NonEmpty a) = GroupWith1 a6989586621681138643 a6989586621681138644

type family GroupWith1Sym2 (a6989586621681138643 :: a ~> b) (a6989586621681138644 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...

Equations

GroupWith1Sym2 (a6989586621681138643 :: a ~> b) (a6989586621681138644 :: NonEmpty a) = GroupWith1 a6989586621681138643 a6989586621681138644

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) (a6989586621681138634 :: a ~> b)

Defined in Data.List.NonEmpty.Singletons

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

data GroupAllWith1Sym1 (a6989586621681138634 :: 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 a6989586621681138634 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupAllWith1Sym1 a6989586621681138634 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681138635 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupAllWith1Sym1 a6989586621681138634 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621681138635 :: NonEmpty a) = GroupAllWith1 a6989586621681138634 a6989586621681138635

type family GroupAllWith1Sym2 (a6989586621681138634 :: a ~> b) (a6989586621681138635 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...

Equations

GroupAllWith1Sym2 (a6989586621681138634 :: a ~> b) (a6989586621681138635 :: NonEmpty a) = GroupAllWith1 a6989586621681138634 a6989586621681138635

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) (a6989586621681138623 :: [a])

Defined in Data.List.NonEmpty.Singletons

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

data IsPrefixOfSym1 (a6989586621681138623 :: [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 a6989586621681138623 :: TyFun (NonEmpty a) Bool -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (IsPrefixOfSym1 a6989586621681138623 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681138624 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (IsPrefixOfSym1 a6989586621681138623 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621681138624 :: NonEmpty a) = IsPrefixOf a6989586621681138623 a6989586621681138624

type family IsPrefixOfSym2 (a6989586621681138623 :: [a]) (a6989586621681138624 :: NonEmpty a) :: Bool where ...

Equations

IsPrefixOfSym2 (a6989586621681138623 :: [a]) (a6989586621681138624 :: NonEmpty a) = IsPrefixOf a6989586621681138623 a6989586621681138624

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) (a6989586621681138554 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

NubSym1 (a6989586621681138554 :: NonEmpty a) = Nub a6989586621681138554

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) (a6989586621681138541 :: a ~> (a ~> Bool))

Defined in Data.List.NonEmpty.Singletons

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

data NubBySym1 (a6989586621681138541 :: 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 a6989586621681138541 :: 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 a6989586621681138541 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138542 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (NubBySym1 a6989586621681138541 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621681138542 :: NonEmpty a) = NubBy a6989586621681138541 a6989586621681138542

type family NubBySym2 (a6989586621681138541 :: a ~> (a ~> Bool)) (a6989586621681138542 :: NonEmpty a) :: NonEmpty a where ...

Equations

NubBySym2 (a6989586621681138541 :: a ~> (a ~> Bool)) (a6989586621681138542 :: NonEmpty a) = NubBy a6989586621681138541 a6989586621681138542

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) (a6989586621681138604 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

data (a6989586621681138604 :: 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 ((!!@#@$$) a6989586621681138604 :: TyFun Natural a -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ((!!@#@$$) a6989586621681138604 :: TyFun Natural a -> Type) (a6989586621681138605 :: Natural)

Defined in Data.List.NonEmpty.Singletons

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

type family (a6989586621681138604 :: NonEmpty a) !!@#@$$$ (a6989586621681138605 :: Natural) :: a where ...

Equations

(a6989586621681138604 :: NonEmpty a) !!@#@$$$ a6989586621681138605 = a6989586621681138604 !! a6989586621681138605

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) (a6989586621681138595 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

data ZipSym1 (a6989586621681138595 :: 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 a6989586621681138595 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ZipSym1 a6989586621681138595 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681138596 :: NonEmpty b)

Defined in Data.List.NonEmpty.Singletons

type Apply (ZipSym1 a6989586621681138595 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621681138596 :: NonEmpty b) = Zip a6989586621681138595 a6989586621681138596

type family ZipSym2 (a6989586621681138595 :: NonEmpty a) (a6989586621681138596 :: NonEmpty b) :: NonEmpty (a, b) where ...

Equations

ZipSym2 (a6989586621681138595 :: NonEmpty a) (a6989586621681138596 :: NonEmpty b) = Zip a6989586621681138595 a6989586621681138596

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) (a6989586621681138584 :: a ~> (b ~> c))

Defined in Data.List.NonEmpty.Singletons

type Apply (ZipWithSym0 :: TyFun (a ~> (b ~> c)) (NonEmpty a ~> (NonEmpty b ~> NonEmpty c)) -> Type) (a6989586621681138584 :: a ~> (b ~> c)) = ZipWithSym1 a6989586621681138584

data ZipWithSym1 (a6989586621681138584 :: 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 a6989586621681138584 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithSym1 a6989586621681138584 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) (a6989586621681138585 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (ZipWithSym1 a6989586621681138584 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) (a6989586621681138585 :: NonEmpty a) = ZipWithSym2 a6989586621681138584 a6989586621681138585

data ZipWithSym2 (a6989586621681138584 :: a ~> (b ~> c)) (a6989586621681138585 :: 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 a6989586621681138584 a6989586621681138585 :: TyFun (NonEmpty b) (NonEmpty c) -> Type)

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithSym2 a6989586621681138584 a6989586621681138585 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681138586 :: NonEmpty b)

Defined in Data.List.NonEmpty.Singletons

type Apply (ZipWithSym2 a6989586621681138584 a6989586621681138585 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621681138586 :: NonEmpty b) = ZipWith a6989586621681138584 a6989586621681138585 a6989586621681138586

type family ZipWithSym3 (a6989586621681138584 :: a ~> (b ~> c)) (a6989586621681138585 :: NonEmpty a) (a6989586621681138586 :: NonEmpty b) :: NonEmpty c where ...

Equations

ZipWithSym3 (a6989586621681138584 :: a ~> (b ~> c)) (a6989586621681138585 :: NonEmpty a) (a6989586621681138586 :: NonEmpty b) = ZipWith a6989586621681138584 a6989586621681138585 a6989586621681138586

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) (a6989586621681138558 :: NonEmpty (a, b))

Defined in Data.List.NonEmpty.Singletons

type Apply (UnzipSym0 :: TyFun (NonEmpty (a, b)) (NonEmpty a, NonEmpty b) -> Type) (a6989586621681138558 :: NonEmpty (a, b)) = Unzip a6989586621681138558

type family UnzipSym1 (a6989586621681138558 :: NonEmpty (a, b)) :: (NonEmpty a, NonEmpty b) where ...

Equations

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

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) (a6989586621681138920 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (FromListSym0 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621681138920 :: [a]) = FromList a6989586621681138920

type family FromListSym1 (a6989586621681138920 :: [a]) :: NonEmpty a where ...

Equations

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

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) (a6989586621681138915 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (ToListSym0 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621681138915 :: NonEmpty a) = ToList a6989586621681138915

type family ToListSym1 (a6989586621681138915 :: NonEmpty a) :: [a] where ...

Equations

ToListSym1 (a6989586621681138915 :: NonEmpty a) = ToList a6989586621681138915

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) (a6989586621681138998 :: [a])

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

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

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 (a6989586621681139018 :: NonEmpty Bool)

Defined in Data.List.NonEmpty.Singletons

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

type family XorSym1 (a6989586621681139018 :: NonEmpty Bool) :: Bool where ...

Equations

XorSym1 a6989586621681139018 = Xor a6989586621681139018

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)