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

type Sing = SOrdering

type Sing

Defined in Data.Singletons.Base.TypeError

type Sing = SErrorMessage

type Sing

Defined in GHC.TypeLits.Singletons.Internal

type Sing = SNat

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 (Map 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) (Apply (LamCases_6989586621680287182Sym0 a2 b bs :: TyFun [a1] [a1] -> Type) bs)

sIntersperse :: forall a (t1 :: a) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Intersperse 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_6989586621680287215 :: [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_6989586621680287215

sScanl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: [a]). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Scanl 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_6989586621680287203 :: [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_6989586621680287203

sScanr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: [a]). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Scanr 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 (Scanl1 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 (Scanr1 t1 t2)

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

Equations

Transpose (a_6989586621680286860 :: 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_6989586621680286860

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

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

Equations

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

sSortBy :: forall a (t1 :: a ~> (a ~> Ordering)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (SortBy t1 t2)

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

Equations

SortWith (a_6989586621680286840 :: a1 ~> a2) (a_6989586621680286842 :: 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_6989586621680286840) a_6989586621680286842

sSortWith :: forall a o (t1 :: a ~> o) (t2 :: NonEmpty a). SOrd o => Sing t1 -> Sing t2 -> Sing (SortWith 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 (Length 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 (Head 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 (Tail 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 (Last 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 (Init 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 (t1 <| t2)

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

Equations

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

sCons :: forall a (t1 :: a) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Cons 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 (Uncons t)

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

Equations

Unfoldr (f :: k1 ~> (b6989586621680285717, Maybe k1)) (a :: k1) = Apply (LamCases_6989586621680287336Sym0 f a) (Apply f a)

sUnfoldr :: forall a b (t1 :: a ~> (b, Maybe a)) (t2 :: a). Sing t1 -> Sing t2 -> Sing (Unfoldr t1 t2)

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

Equations

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

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

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

Equations

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

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

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

Equations

Inits (a_6989586621680287242 :: [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_6989586621680287242

sInits :: forall a (t :: [a]). Sing t -> Sing (Inits t)

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

Equations

Tails (a_6989586621680287236 :: [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_6989586621680287236

sTails :: forall a (t :: [a]). Sing t -> Sing (Tails t)

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

Equations

Unfold (f :: k1 ~> (b6989586621680285721, Maybe k1)) (a :: k1) = Apply (LamCases_6989586621680287360Sym0 f a) (Apply f a)

sUnfold :: forall a b (t1 :: a ~> (b, Maybe a)) (t2 :: a). Sing t1 -> Sing t2 -> Sing (Unfold t1 t2)

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

Equations

Insert (a2 :: a1) (a_6989586621680287227 :: [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_6989586621680287227

sInsert :: forall a (t1 :: a) (t2 :: [a]). SOrd a => Sing t1 -> Sing t2 -> Sing (Insert t1 t2)

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

Equations

Take n (a_6989586621680287159 :: 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_6989586621680287159

sTake :: forall a (t1 :: Natural) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Take t1 t2)

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

Equations

Drop n (a_6989586621680287150 :: 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_6989586621680287150

sDrop :: forall a (t1 :: Natural) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Drop t1 t2)

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

Equations

SplitAt n (a_6989586621680287141 :: 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_6989586621680287141

sSplitAt :: forall a (t1 :: Natural) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (SplitAt t1 t2)

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

Equations

TakeWhile (p :: a ~> Bool) (a_6989586621680287132 :: 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_6989586621680287132

sTakeWhile :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (TakeWhile t1 t2)

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

Equations

DropWhile (p :: a ~> Bool) (a_6989586621680287123 :: 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_6989586621680287123

sDropWhile :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (DropWhile t1 t2)

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

Equations

Span (p :: a ~> Bool) (a_6989586621680287114 :: 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_6989586621680287114

sSpan :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Span t1 t2)

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

Equations

Break (p :: a ~> Bool) (a_6989586621680287105 :: 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_6989586621680287105

sBreak :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Break t1 t2)

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

Equations

Filter (p :: a ~> Bool) (a_6989586621680287096 :: 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_6989586621680287096

sFilter :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Filter t1 t2)

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

Equations

Partition (p :: a ~> Bool) (a_6989586621680287087 :: 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_6989586621680287087

sPartition :: forall a (t1 :: a ~> Bool) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Partition t1 t2)

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

Equations

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

sGroup :: forall a (t :: [a]). SEq a => Sing t -> Sing (Group t)

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

Equations

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

sGroupBy :: forall a (t1 :: a ~> (a ~> Bool)) (t2 :: [a]). Sing t1 -> Sing t2 -> Sing (GroupBy t1 t2)

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

Equations

GroupWith (f :: a ~> b) (a_6989586621680287034 :: [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_6989586621680287034

sGroupWith :: forall a b (t1 :: a ~> b) (t2 :: [a]). SEq b => Sing t1 -> Sing t2 -> Sing (GroupWith t1 t2)

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

Equations

GroupAllWith (f :: a ~> b) (a_6989586621680287025 :: [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_6989586621680287025

sGroupAllWith :: forall a b (t1 :: a ~> b) (t2 :: [a]). SOrd b => Sing t1 -> Sing t2 -> Sing (GroupAllWith t1 t2)

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

Equations

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

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

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

Equations

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

sGroupBy1 :: forall a (t1 :: a ~> (a ~> Bool)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (GroupBy1 t1 t2)

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

Equations

GroupWith1 (f :: a ~> b) (a_6989586621680286980 :: 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_6989586621680286980

sGroupWith1 :: forall a b (t1 :: a ~> b) (t2 :: NonEmpty a). SEq b => Sing t1 -> Sing t2 -> Sing (GroupWith1 t1 t2)

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

Equations

GroupAllWith1 (f :: a ~> o) (a_6989586621680286971 :: 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_6989586621680286971

sGroupAllWith1 :: forall a b (t1 :: a ~> b) (t2 :: NonEmpty a). SOrd b => Sing t1 -> Sing t2 -> Sing (GroupAllWith1 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 (IsPrefixOf t1 t2)

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

Equations

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

sNub :: forall a (t :: NonEmpty a). SEq a => Sing t -> Sing (Nub 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) (LamCases_6989586621680286874Sym0 eq a2 as)) as))

sNubBy :: forall a (t1 :: a ~> (a ~> Bool)) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (NubBy t1 t2)

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

Equations

(arg_6989586621680285887 :: NonEmpty k2) !! arg_6989586621680285889 = Apply (Apply (LamCases_6989586621680286942Sym0 arg_6989586621680285887 arg_6989586621680285889 :: TyFun (NonEmpty k2) (TyFun Natural k2 -> Type) -> Type) arg_6989586621680285887) arg_6989586621680285889

(%!!) :: forall a (t1 :: NonEmpty a) (t2 :: Natural). Sing t1 -> Sing t2 -> Sing (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 (Zip 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 (ZipWith 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) (Let6989586621680286892AsSym0 a2 b2 asbs))) (Apply (Apply ((:|@#@$) :: TyFun b1 ([b1] ~> NonEmpty b1) -> Type) b2) (Let6989586621680286892BsSym0 a2 b2 asbs))

sUnzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Unzip 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 (FromList 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 (ToList 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 (NonEmpty_ 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) (Let6989586621680287373Xor'Sym0 x xs)) x) xs

sXor :: forall (t :: NonEmpty Bool). Sing t -> Sing (Xor 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) (a6989586621679050362 :: a)

Defined in Data.Singletons.Base.Instances

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

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

Defined in Data.Singletons.Base.Instances

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Base.Instances

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

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

Equations

(a6989586621679050362 :: a) :|@#@$$$ (a6989586621679050363 :: [a]) = a6989586621679050362 ':| a6989586621679050363

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (MapSym1 a6989586621680287251 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621680287252 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (MapSym1 a6989586621680287251 :: TyFun (NonEmpty a) (NonEmpty b) -> Type) (a6989586621680287252 :: NonEmpty a) = Map a6989586621680287251 a6989586621680287252

type family MapSym2 (a6989586621680287251 :: a ~> b) (a6989586621680287252 :: NonEmpty a) :: NonEmpty b where ...

Equations

MapSym2 (a6989586621680287251 :: a ~> b) (a6989586621680287252 :: NonEmpty a) = Map a6989586621680287251 a6989586621680287252

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (IntersperseSym1 a6989586621680287177 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621680287178 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (IntersperseSym1 a6989586621680287177 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621680287178 :: NonEmpty a) = Intersperse a6989586621680287177 a6989586621680287178

type family IntersperseSym2 (a6989586621680287177 :: a) (a6989586621680287178 :: NonEmpty a) :: NonEmpty a where ...

Equations

IntersperseSym2 (a6989586621680287177 :: a) (a6989586621680287178 :: NonEmpty a) = Intersperse a6989586621680287177 a6989586621680287178

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ScanlSym2 a6989586621680287221 a6989586621680287222 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621680287223 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (ScanlSym2 a6989586621680287221 a6989586621680287222 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621680287223 :: [a]) = Scanl a6989586621680287221 a6989586621680287222 a6989586621680287223

type family ScanlSym3 (a6989586621680287221 :: b ~> (a ~> b)) (a6989586621680287222 :: b) (a6989586621680287223 :: [a]) :: NonEmpty b where ...

Equations

ScanlSym3 (a6989586621680287221 :: b ~> (a ~> b)) (a6989586621680287222 :: b) (a6989586621680287223 :: [a]) = Scanl a6989586621680287221 a6989586621680287222 a6989586621680287223

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ScanrSym2 a6989586621680287209 a6989586621680287210 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621680287211 :: [a])

Defined in Data.List.NonEmpty.Singletons

type Apply (ScanrSym2 a6989586621680287209 a6989586621680287210 :: TyFun [a] (NonEmpty b) -> Type) (a6989586621680287211 :: [a]) = Scanr a6989586621680287209 a6989586621680287210 a6989586621680287211

type family ScanrSym3 (a6989586621680287209 :: a ~> (b ~> b)) (a6989586621680287210 :: b) (a6989586621680287211 :: [a]) :: NonEmpty b where ...

Equations

ScanrSym3 (a6989586621680287209 :: a ~> (b ~> b)) (a6989586621680287210 :: b) (a6989586621680287211 :: [a]) = Scanr a6989586621680287209 a6989586621680287210 a6989586621680287211

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

type Apply (Scanl1Sym1 a6989586621680287198 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621680287199 :: NonEmpty a) = Scanl1 a6989586621680287198 a6989586621680287199

type family Scanl1Sym2 (a6989586621680287198 :: a ~> (a ~> a)) (a6989586621680287199 :: NonEmpty a) :: NonEmpty a where ...

Equations

Scanl1Sym2 (a6989586621680287198 :: a ~> (a ~> a)) (a6989586621680287199 :: NonEmpty a) = Scanl1 a6989586621680287198 a6989586621680287199

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

type Apply (Scanr1Sym1 a6989586621680287190 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621680287191 :: NonEmpty a) = Scanr1 a6989586621680287190 a6989586621680287191

type family Scanr1Sym2 (a6989586621680287190 :: a ~> (a ~> a)) (a6989586621680287191 :: NonEmpty a) :: NonEmpty a where ...

Equations

Scanr1Sym2 (a6989586621680287190 :: a ~> (a ~> a)) (a6989586621680287191 :: NonEmpty a) = Scanr1 a6989586621680287190 a6989586621680287191

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

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

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

type Apply (SortBySym1 a6989586621680286856 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621680286857 :: NonEmpty a) = SortBy a6989586621680286856 a6989586621680286857

type family SortBySym2 (a6989586621680286856 :: a ~> (a ~> Ordering)) (a6989586621680286857 :: NonEmpty a) :: NonEmpty a where ...

Equations

SortBySym2 (a6989586621680286856 :: a ~> (a ~> Ordering)) (a6989586621680286857 :: NonEmpty a) = SortBy a6989586621680286856 a6989586621680286857

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SortWithSym1 a6989586621680286847 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621680286848 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (SortWithSym1 a6989586621680286847 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621680286848 :: NonEmpty a) = SortWith a6989586621680286847 a6989586621680286848

type family SortWithSym2 (a6989586621680286847 :: a ~> o) (a6989586621680286848 :: NonEmpty a) :: NonEmpty a where ...

Equations

SortWithSym2 (a6989586621680286847 :: a ~> o) (a6989586621680286848 :: NonEmpty a) = SortWith a6989586621680286847 a6989586621680286848

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

LengthSym1 (a6989586621680287381 :: NonEmpty a) = Length a6989586621680287381

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

HeadSym1 (a6989586621680287316 :: NonEmpty a) = Head a6989586621680287316

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

TailSym1 (a6989586621680287312 :: NonEmpty a) = Tail a6989586621680287312

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

LastSym1 (a6989586621680287307 :: NonEmpty a) = Last a6989586621680287307

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

InitSym1 (a6989586621680287302 :: NonEmpty a) = Init a6989586621680287302

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.List.NonEmpty.Singletons

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

type family (a6989586621680287295 :: a) <|@#@$$$ (a6989586621680287296 :: NonEmpty a) :: NonEmpty a where ...

Equations

(a6989586621680287295 :: a) <|@#@$$$ (a6989586621680287296 :: NonEmpty a) = a6989586621680287295 <| a6989586621680287296

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ConsSym1 a6989586621680287288 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621680287289 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (ConsSym1 a6989586621680287288 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621680287289 :: NonEmpty a) = Cons a6989586621680287288 a6989586621680287289

type family ConsSym2 (a6989586621680287288 :: a) (a6989586621680287289 :: NonEmpty a) :: NonEmpty a where ...

Equations

ConsSym2 (a6989586621680287288 :: a) (a6989586621680287289 :: NonEmpty a) = Cons a6989586621680287288 a6989586621680287289

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

UnconsSym1 (a6989586621680287345 :: NonEmpty a) = Uncons a6989586621680287345

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (UnfoldrSym1 a6989586621680287321 :: TyFun a (NonEmpty b) -> Type) (a6989586621680287322 :: a)

Defined in Data.List.NonEmpty.Singletons

type Apply (UnfoldrSym1 a6989586621680287321 :: TyFun a (NonEmpty b) -> Type) (a6989586621680287322 :: a) = Unfoldr a6989586621680287321 a6989586621680287322

type family UnfoldrSym2 (a6989586621680287321 :: a ~> (b, Maybe a)) (a6989586621680287322 :: a) :: NonEmpty b where ...

Equations

UnfoldrSym2 (a6989586621680287321 :: a ~> (b, Maybe a)) (a6989586621680287322 :: a) = Unfoldr a6989586621680287321 a6989586621680287322

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

SortSym1 (a6989586621680287279 :: NonEmpty a) = Sort a6989586621680287279

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

ReverseSym1 (a6989586621680287172 :: NonEmpty a) = Reverse a6989586621680287172

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

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

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

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

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (UnfoldSym1 a6989586621680287356 :: TyFun a (NonEmpty b) -> Type) (a6989586621680287357 :: a)

Defined in Data.List.NonEmpty.Singletons

type Apply (UnfoldSym1 a6989586621680287356 :: TyFun a (NonEmpty b) -> Type) (a6989586621680287357 :: a) = Unfold a6989586621680287356 a6989586621680287357

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (InsertSym1 a6989586621680287232 :: TyFun [a] (NonEmpty a) -> Type) (a6989586621680287233 :: [a])

Defined in Data.List.NonEmpty.Singletons

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

type family InsertSym2 (a6989586621680287232 :: a) (a6989586621680287233 :: [a]) :: NonEmpty a where ...

Equations

InsertSym2 (a6989586621680287232 :: a) (a6989586621680287233 :: [a]) = Insert a6989586621680287232 a6989586621680287233

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (TakeSym1 a6989586621680287164 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621680287165 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

type family TakeSym2 (a6989586621680287164 :: Natural) (a6989586621680287165 :: NonEmpty a) :: [a] where ...

Equations

TakeSym2 a6989586621680287164 (a6989586621680287165 :: NonEmpty a) = Take a6989586621680287164 a6989586621680287165

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (DropSym1 a6989586621680287155 :: TyFun (NonEmpty a) [a] -> Type) (a6989586621680287156 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

type family DropSym2 (a6989586621680287155 :: Natural) (a6989586621680287156 :: NonEmpty a) :: [a] where ...

Equations

DropSym2 a6989586621680287155 (a6989586621680287156 :: NonEmpty a) = Drop a6989586621680287155 a6989586621680287156

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (SplitAtSym1 a6989586621680287146 :: TyFun (NonEmpty a) ([a], [a]) -> Type) (a6989586621680287147 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

type family SplitAtSym2 (a6989586621680287146 :: Natural) (a6989586621680287147 :: NonEmpty a) :: ([a], [a]) where ...

Equations

SplitAtSym2 a6989586621680287146 (a6989586621680287147 :: NonEmpty a) = SplitAt a6989586621680287146 a6989586621680287147

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

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

type family TakeWhileSym2 (a6989586621680287137 :: a ~> Bool) (a6989586621680287138 :: NonEmpty a) :: [a] where ...

Equations

TakeWhileSym2 (a6989586621680287137 :: a ~> Bool) (a6989586621680287138 :: NonEmpty a) = TakeWhile a6989586621680287137 a6989586621680287138

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

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

type family DropWhileSym2 (a6989586621680287128 :: a ~> Bool) (a6989586621680287129 :: NonEmpty a) :: [a] where ...

Equations

DropWhileSym2 (a6989586621680287128 :: a ~> Bool) (a6989586621680287129 :: NonEmpty a) = DropWhile a6989586621680287128 a6989586621680287129

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

SpanSym2 (a6989586621680287119 :: a ~> Bool) (a6989586621680287120 :: NonEmpty a) = Span a6989586621680287119 a6989586621680287120

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

BreakSym2 (a6989586621680287110 :: a ~> Bool) (a6989586621680287111 :: NonEmpty a) = Break a6989586621680287110 a6989586621680287111

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

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

type family FilterSym2 (a6989586621680287101 :: a ~> Bool) (a6989586621680287102 :: NonEmpty a) :: [a] where ...

Equations

FilterSym2 (a6989586621680287101 :: a ~> Bool) (a6989586621680287102 :: NonEmpty a) = Filter a6989586621680287101 a6989586621680287102

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

PartitionSym2 (a6989586621680287092 :: a ~> Bool) (a6989586621680287093 :: NonEmpty a) = Partition a6989586621680287092 a6989586621680287093

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

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

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

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

type family GroupBySym2 (a6989586621680287048 :: a ~> (a ~> Bool)) (a6989586621680287049 :: [a]) :: [NonEmpty a] where ...

Equations

GroupBySym2 (a6989586621680287048 :: a ~> (a ~> Bool)) (a6989586621680287049 :: [a]) = GroupBy a6989586621680287048 a6989586621680287049

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupWithSym1 a6989586621680287039 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621680287040 :: [a])

Defined in Data.List.NonEmpty.Singletons

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

type family GroupWithSym2 (a6989586621680287039 :: a ~> b) (a6989586621680287040 :: [a]) :: [NonEmpty a] where ...

Equations

GroupWithSym2 (a6989586621680287039 :: a ~> b) (a6989586621680287040 :: [a]) = GroupWith a6989586621680287039 a6989586621680287040

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupAllWithSym1 a6989586621680287030 :: TyFun [a] [NonEmpty a] -> Type) (a6989586621680287031 :: [a])

Defined in Data.List.NonEmpty.Singletons

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

type family GroupAllWithSym2 (a6989586621680287030 :: a ~> b) (a6989586621680287031 :: [a]) :: [NonEmpty a] where ...

Equations

GroupAllWithSym2 (a6989586621680287030 :: a ~> b) (a6989586621680287031 :: [a]) = GroupAllWith a6989586621680287030 a6989586621680287031

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

Group1Sym1 (a6989586621680287023 :: NonEmpty a) = Group1 a6989586621680287023

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupBy1Sym1 a6989586621680286992 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621680286993 :: NonEmpty a) = GroupBy1 a6989586621680286992 a6989586621680286993

type family GroupBy1Sym2 (a6989586621680286992 :: a ~> (a ~> Bool)) (a6989586621680286993 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...

Equations

GroupBy1Sym2 (a6989586621680286992 :: a ~> (a ~> Bool)) (a6989586621680286993 :: NonEmpty a) = GroupBy1 a6989586621680286992 a6989586621680286993

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupWith1Sym1 a6989586621680286985 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621680286986 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupWith1Sym1 a6989586621680286985 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621680286986 :: NonEmpty a) = GroupWith1 a6989586621680286985 a6989586621680286986

type family GroupWith1Sym2 (a6989586621680286985 :: a ~> b) (a6989586621680286986 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...

Equations

GroupWith1Sym2 (a6989586621680286985 :: a ~> b) (a6989586621680286986 :: NonEmpty a) = GroupWith1 a6989586621680286985 a6989586621680286986

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (GroupAllWith1Sym1 a6989586621680286976 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621680286977 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (GroupAllWith1Sym1 a6989586621680286976 :: TyFun (NonEmpty a) (NonEmpty (NonEmpty a)) -> Type) (a6989586621680286977 :: NonEmpty a) = GroupAllWith1 a6989586621680286976 a6989586621680286977

type family GroupAllWith1Sym2 (a6989586621680286976 :: a ~> b) (a6989586621680286977 :: NonEmpty a) :: NonEmpty (NonEmpty a) where ...

Equations

GroupAllWith1Sym2 (a6989586621680286976 :: a ~> b) (a6989586621680286977 :: NonEmpty a) = GroupAllWith1 a6989586621680286976 a6989586621680286977

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (IsPrefixOfSym1 a6989586621680286965 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621680286966 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

type Apply (IsPrefixOfSym1 a6989586621680286965 :: TyFun (NonEmpty a) Bool -> Type) (a6989586621680286966 :: NonEmpty a) = IsPrefixOf a6989586621680286965 a6989586621680286966

type family IsPrefixOfSym2 (a6989586621680286965 :: [a]) (a6989586621680286966 :: NonEmpty a) :: Bool where ...

Equations

IsPrefixOfSym2 (a6989586621680286965 :: [a]) (a6989586621680286966 :: NonEmpty a) = IsPrefixOf a6989586621680286965 a6989586621680286966

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

NubSym1 (a6989586621680286884 :: NonEmpty a) = Nub a6989586621680286884

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

type Apply (NubBySym1 a6989586621680286869 :: TyFun (NonEmpty a) (NonEmpty a) -> Type) (a6989586621680286870 :: NonEmpty a) = NubBy a6989586621680286869 a6989586621680286870

type family NubBySym2 (a6989586621680286869 :: a ~> (a ~> Bool)) (a6989586621680286870 :: NonEmpty a) :: NonEmpty a where ...

Equations

NubBySym2 (a6989586621680286869 :: a ~> (a ~> Bool)) (a6989586621680286870 :: NonEmpty a) = NubBy a6989586621680286869 a6989586621680286870

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ((!!@#@$$) a6989586621680286938 :: TyFun Natural a -> Type) (a6989586621680286939 :: Natural)

Defined in Data.List.NonEmpty.Singletons

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

type family (a6989586621680286938 :: NonEmpty a) !!@#@$$$ (a6989586621680286939 :: Natural) :: a where ...

Equations

(a6989586621680286938 :: NonEmpty a) !!@#@$$$ a6989586621680286939 = a6989586621680286938 !! a6989586621680286939

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ZipSym1 a6989586621680286929 :: TyFun (NonEmpty b) (NonEmpty (a, b)) -> Type) (a6989586621680286930 :: NonEmpty b)

Defined in Data.List.NonEmpty.Singletons

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

type family ZipSym2 (a6989586621680286929 :: NonEmpty a) (a6989586621680286930 :: NonEmpty b) :: NonEmpty (a, b) where ...

Equations

ZipSym2 (a6989586621680286929 :: NonEmpty a) (a6989586621680286930 :: NonEmpty b) = Zip a6989586621680286929 a6989586621680286930

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

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithSym1 a6989586621680286918 :: TyFun (NonEmpty a) (NonEmpty b ~> NonEmpty c) -> Type) (a6989586621680286919 :: NonEmpty a)

Defined in Data.List.NonEmpty.Singletons

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

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

Defined in Data.List.NonEmpty.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithSym2 a6989586621680286918 a6989586621680286919 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621680286920 :: NonEmpty b)

Defined in Data.List.NonEmpty.Singletons

type Apply (ZipWithSym2 a6989586621680286918 a6989586621680286919 :: TyFun (NonEmpty b) (NonEmpty c) -> Type) (a6989586621680286920 :: NonEmpty b) = ZipWith a6989586621680286918 a6989586621680286919 a6989586621680286920

type family ZipWithSym3 (a6989586621680286918 :: a ~> (b ~> c)) (a6989586621680286919 :: NonEmpty a) (a6989586621680286920 :: NonEmpty b) :: NonEmpty c where ...

Equations

ZipWithSym3 (a6989586621680286918 :: a ~> (b ~> c)) (a6989586621680286919 :: NonEmpty a) (a6989586621680286920 :: NonEmpty b) = ZipWith a6989586621680286918 a6989586621680286919 a6989586621680286920

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

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

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

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

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

ToListSym1 (a6989586621680287267 :: NonEmpty a) = ToList a6989586621680287267

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

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

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

Defined in Data.List.NonEmpty.Singletons

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

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

Equations

XorSym1 a6989586621680287370 = Xor a6989586621680287370

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 (Mzip t1 t2)

sMzipWith :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: NonEmpty a) (t3 :: NonEmpty b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (MzipWith t1 t2 t3)

sMunzip :: forall a b (t :: NonEmpty (a, b)). Sing t -> Sing (Munzip t)