Data.Singletons.Prelude.List.NonEmpty

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

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

The NonEmpty singleton

data family Sing (a :: k) infixr 5

The singleton kind-indexed data family.

Instances

data Sing (z :: Bool)

data Sing (z :: Bool) where

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

data Sing (z :: Ordering)

data Sing (z :: Ordering) where

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

data Sing (a :: Type)

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

data Sing (n :: Nat)

data Sing (n :: Nat) where

• SNat :: Sing n

data Sing (n :: Symbol)

data Sing (n :: Symbol) where

• SSym :: Sing n

data Sing (z :: ())

data Sing (z :: ()) where

• STuple0 :: Sing ()

data Sing (z :: Void)

data Sing (z :: Void)

data Sing (z :: [a])

data Sing (z :: [a]) where

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

data Sing (z :: Maybe a)

data Sing (z :: Maybe a) where

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

data Sing (z :: NonEmpty a)

data Sing (z :: NonEmpty a) where

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

data Sing (z :: Either a b)

data Sing (z :: Either a b) where

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

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

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

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

data Sing (f :: k1 ~> k2)

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

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

}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Non-empty stream transformations

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

SortWith a_6989586621679770196 a_6989586621679770198 = Apply (Apply (Apply (Apply (.@#@$) SortBySym0) ComparingSym0) a_6989586621679770196) a_6989586621679770198

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

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

Equations

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

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

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

Equations

Head ((:|) a _) = a

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

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

Equations

Tail ((:|) _ as) = as

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

Cons a_6989586621679770334 a_6989586621679770336 = Apply (Apply (<|@#@$) a_6989586621679770334) a_6989586621679770336

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

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

Equations

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

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

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

Equations

Unfoldr f a = Case_6989586621679770423 f a (Let6989586621679770415Scrutinee_6989586621679768383Sym2 f a)

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

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

Equations

Sort a_6989586621679770315 = Apply (Apply LiftSym0 ListsortSym0) a_6989586621679770315

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

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

Equations

Reverse a_6989586621679770176 = Apply (Apply LiftSym0 ListreverseSym0) a_6989586621679770176

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

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

Equations

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

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

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

Equations

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

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

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

Equations

Unfold f a = Case_6989586621679770459 f a (Let6989586621679770451Scrutinee_6989586621679768373Sym2 f a)

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

GroupBy eq0 a_6989586621679769773 = Apply (Apply (Let6989586621679769777GoSym2 eq0 a_6989586621679769773) eq0) a_6989586621679769773

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

GroupBy1 eq ((:|) x xs) = Apply (Apply (:|@#@$) (Apply (Apply (:|@#@$) x) (Let6989586621679769929YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let6989586621679769929ZsSym3 eq x xs))

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

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

Equations

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

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

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

Equations

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

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

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

Equations

IsPrefixOf '[] _ = TrueSym0

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

arg_6989586621679768395 !! arg_6989586621679768397 = Case_6989586621679769739 arg_6989586621679768395 arg_6989586621679768397 (Apply (Apply Tuple2Sym0 arg_6989586621679768395) arg_6989586621679768397)

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

Equations

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

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

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

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

Equations

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

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

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

Equations

NonEmpty_ '[] = NothingSym0

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

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

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

Equations

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

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

Defunctionalization symbols

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

data MapSym0 (l :: TyFun (TyFun a6989586621679768189 b6989586621679768190 -> Type) (TyFun (NonEmpty a6989586621679768189) (NonEmpty b6989586621679768190) -> Type))

Instances

SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679768189 b6989586621679768190 -> Type) (TyFun (NonEmpty a6989586621679768189) (NonEmpty b6989586621679768190) -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

type Apply (MapSym0 :: TyFun (TyFun a6989586621679768189 b6989586621679768190 -> Type) (TyFun (NonEmpty a6989586621679768189) (NonEmpty b6989586621679768190) -> Type) -> *) (l :: TyFun a6989586621679768189 b6989586621679768190 -> Type)

type Apply (MapSym0 :: TyFun (TyFun a6989586621679768189 b6989586621679768190 -> Type) (TyFun (NonEmpty a6989586621679768189) (NonEmpty b6989586621679768190) -> Type) -> *) (l :: TyFun a6989586621679768189 b6989586621679768190 -> Type) = MapSym1 l

data MapSym1 (l :: TyFun a6989586621679768189 b6989586621679768190 -> Type) (l :: TyFun (NonEmpty a6989586621679768189) (NonEmpty b6989586621679768190))

Instances

SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679768189 b6989586621679768190 -> Type) -> TyFun (NonEmpty a6989586621679768189) (NonEmpty b6989586621679768190) -> *)

Methods

suppressUnusedWarnings :: ()

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

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

type MapSym2 (t :: TyFun a6989586621679768189 b6989586621679768190 -> Type) (t :: NonEmpty a6989586621679768189) = Map t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type IntersperseSym2 (t :: a6989586621679768179) (t :: NonEmpty a6989586621679768179) = Intersperse t t

data ScanlSym0 (l :: TyFun (TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) (TyFun b6989586621679768184 (TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> Type) -> Type))

Instances

SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) (TyFun b6989586621679768184 (TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> Type) -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) (TyFun b6989586621679768184 (TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> Type) -> Type) -> *) (l :: TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type)

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

data ScanlSym1 (l :: TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) (l :: TyFun b6989586621679768184 (TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> Type))

Instances

SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) -> TyFun b6989586621679768184 (TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

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

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

data ScanlSym2 (l :: TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) (l :: b6989586621679768184) (l :: TyFun [a6989586621679768185] (NonEmpty b6989586621679768184))

Instances

SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) -> b6989586621679768184 -> TyFun [a6989586621679768185] (NonEmpty b6989586621679768184) -> *)

Methods

suppressUnusedWarnings :: ()

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

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

type ScanlSym3 (t :: TyFun b6989586621679768184 (TyFun a6989586621679768185 b6989586621679768184 -> Type) -> Type) (t :: b6989586621679768184) (t :: [a6989586621679768185]) = Scanl t t t

data ScanrSym0 (l :: TyFun (TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) (TyFun b6989586621679768183 (TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> Type) -> Type))

Instances

SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) (TyFun b6989586621679768183 (TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> Type) -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) (TyFun b6989586621679768183 (TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> Type) -> Type) -> *) (l :: TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type)

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

data ScanrSym1 (l :: TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) (l :: TyFun b6989586621679768183 (TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> Type))

Instances

SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) -> TyFun b6989586621679768183 (TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

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

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

data ScanrSym2 (l :: TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) (l :: b6989586621679768183) (l :: TyFun [a6989586621679768182] (NonEmpty b6989586621679768183))

Instances

SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) -> b6989586621679768183 -> TyFun [a6989586621679768182] (NonEmpty b6989586621679768183) -> *)

Methods

suppressUnusedWarnings :: ()

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

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

type ScanrSym3 (t :: TyFun a6989586621679768182 (TyFun b6989586621679768183 b6989586621679768183 -> Type) -> Type) (t :: b6989586621679768183) (t :: [a6989586621679768182]) = Scanr t t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type Scanl1Sym2 (t :: TyFun a6989586621679768181 (TyFun a6989586621679768181 a6989586621679768181 -> Type) -> Type) (t :: NonEmpty a6989586621679768181) = Scanl1 t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type Scanr1Sym2 (t :: TyFun a6989586621679768180 (TyFun a6989586621679768180 a6989586621679768180 -> Type) -> Type) (t :: NonEmpty a6989586621679768180) = Scanr1 t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type SortBySym2 (t :: TyFun a6989586621679768144 (TyFun a6989586621679768144 Ordering -> Type) -> Type) (t :: NonEmpty a6989586621679768144) = SortBy t t

data SortWithSym0 (l :: TyFun (TyFun a6989586621679768143 o6989586621679768142 -> Type) (TyFun (NonEmpty a6989586621679768143) (NonEmpty a6989586621679768143) -> Type))

Instances

SuppressUnusedWarnings (SortWithSym0 :: TyFun (TyFun a6989586621679768143 o6989586621679768142 -> Type) (TyFun (NonEmpty a6989586621679768143) (NonEmpty a6989586621679768143) -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

type Apply (SortWithSym0 :: TyFun (TyFun a6989586621679768143 o6989586621679768142 -> Type) (TyFun (NonEmpty a6989586621679768143) (NonEmpty a6989586621679768143) -> Type) -> *) (l :: TyFun a6989586621679768143 o6989586621679768142 -> Type)

type Apply (SortWithSym0 :: TyFun (TyFun a6989586621679768143 o6989586621679768142 -> Type) (TyFun (NonEmpty a6989586621679768143) (NonEmpty a6989586621679768143) -> Type) -> *) (l :: TyFun a6989586621679768143 o6989586621679768142 -> Type) = SortWithSym1 l

data SortWithSym1 (l :: TyFun a6989586621679768143 o6989586621679768142 -> Type) (l :: TyFun (NonEmpty a6989586621679768143) (NonEmpty a6989586621679768143))

Instances

SuppressUnusedWarnings (SortWithSym1 :: (TyFun a6989586621679768143 o6989586621679768142 -> Type) -> TyFun (NonEmpty a6989586621679768143) (NonEmpty a6989586621679768143) -> *)

Methods

suppressUnusedWarnings :: ()

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

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

type SortWithSym2 (t :: TyFun a6989586621679768143 o6989586621679768142 -> Type) (t :: NonEmpty a6989586621679768143) = SortWith t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type ConsSym2 (t :: a6989586621679768196) (t :: NonEmpty a6989586621679768196) = Cons t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type UnconsSym1 (t :: NonEmpty a6989586621679768204) = Uncons t

data UnfoldrSym0 (l :: TyFun (TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) (TyFun a6989586621679768202 (NonEmpty b6989586621679768203) -> Type))

Instances

SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) (TyFun a6989586621679768202 (NonEmpty b6989586621679768203) -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

type Apply (UnfoldrSym0 :: TyFun (TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) (TyFun a6989586621679768202 (NonEmpty b6989586621679768203) -> Type) -> *) (l :: TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type)

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

data UnfoldrSym1 (l :: TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) (l :: TyFun a6989586621679768202 (NonEmpty b6989586621679768203))

Instances

SuppressUnusedWarnings (UnfoldrSym1 :: (TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) -> TyFun a6989586621679768202 (NonEmpty b6989586621679768203) -> *)

Methods

suppressUnusedWarnings :: ()

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

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

type UnfoldrSym2 (t :: TyFun a6989586621679768202 (b6989586621679768203, Maybe a6989586621679768202) -> Type) (t :: a6989586621679768202) = Unfoldr t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

data UnfoldSym0 (l :: TyFun (TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type) (TyFun a6989586621679768206 (NonEmpty b6989586621679768207) -> Type))

Instances

SuppressUnusedWarnings (UnfoldSym0 :: TyFun (TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type) (TyFun a6989586621679768206 (NonEmpty b6989586621679768207) -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

type Apply (UnfoldSym0 :: TyFun (TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type) (TyFun a6989586621679768206 (NonEmpty b6989586621679768207) -> Type) -> *) (l :: TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type)

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

data UnfoldSym1 (l :: TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type) (l :: TyFun a6989586621679768206 (NonEmpty b6989586621679768207))

Instances

SuppressUnusedWarnings (UnfoldSym1 :: (TyFun a6989586621679768206 (b6989586621679768207, Maybe a6989586621679768206) -> Type) -> TyFun a6989586621679768206 (NonEmpty b6989586621679768207) -> *)

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type TakeSym2 (t :: Nat) (t :: NonEmpty a6989586621679768177) = Take t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type DropSym2 (t :: Nat) (t :: NonEmpty a6989586621679768176) = Drop t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type SplitAtSym2 (t :: Nat) (t :: NonEmpty a6989586621679768175) = SplitAt t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type TakeWhileSym2 (t :: TyFun a6989586621679768174 Bool -> Type) (t :: NonEmpty a6989586621679768174) = TakeWhile t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type DropWhileSym2 (t :: TyFun a6989586621679768173 Bool -> Type) (t :: NonEmpty a6989586621679768173) = DropWhile t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type SpanSym2 (t :: TyFun a6989586621679768172 Bool -> Type) (t :: NonEmpty a6989586621679768172) = Span t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type BreakSym2 (t :: TyFun a6989586621679768171 Bool -> Type) (t :: NonEmpty a6989586621679768171) = Break t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type FilterSym2 (t :: TyFun a6989586621679768170 Bool -> Type) (t :: NonEmpty a6989586621679768170) = Filter t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type PartitionSym2 (t :: TyFun a6989586621679768169 Bool -> Type) (t :: NonEmpty a6989586621679768169) = Partition t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

data GroupWithSym0 (l :: TyFun (TyFun a6989586621679768166 b6989586621679768165 -> Type) (TyFun [a6989586621679768166] [NonEmpty a6989586621679768166] -> Type))

Instances

SuppressUnusedWarnings (GroupWithSym0 :: TyFun (TyFun a6989586621679768166 b6989586621679768165 -> Type) (TyFun [a6989586621679768166] [NonEmpty a6989586621679768166] -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

type Apply (GroupWithSym0 :: TyFun (TyFun a6989586621679768166 b6989586621679768165 -> Type) (TyFun [a6989586621679768166] [NonEmpty a6989586621679768166] -> Type) -> *) (l :: TyFun a6989586621679768166 b6989586621679768165 -> Type)

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

data GroupWithSym1 (l :: TyFun a6989586621679768166 b6989586621679768165 -> Type) (l :: TyFun [a6989586621679768166] [NonEmpty a6989586621679768166])

Instances

SuppressUnusedWarnings (GroupWithSym1 :: (TyFun a6989586621679768166 b6989586621679768165 -> Type) -> TyFun [a6989586621679768166] [NonEmpty a6989586621679768166] -> *)

Methods

suppressUnusedWarnings :: ()

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

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

type GroupWithSym2 (t :: TyFun a6989586621679768166 b6989586621679768165 -> Type) (t :: [a6989586621679768166]) = GroupWith t t

data GroupAllWithSym0 (l :: TyFun (TyFun a6989586621679768164 b6989586621679768163 -> Type) (TyFun [a6989586621679768164] [NonEmpty a6989586621679768164] -> Type))

Instances

SuppressUnusedWarnings (GroupAllWithSym0 :: TyFun (TyFun a6989586621679768164 b6989586621679768163 -> Type) (TyFun [a6989586621679768164] [NonEmpty a6989586621679768164] -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

type Apply (GroupAllWithSym0 :: TyFun (TyFun a6989586621679768164 b6989586621679768163 -> Type) (TyFun [a6989586621679768164] [NonEmpty a6989586621679768164] -> Type) -> *) (l :: TyFun a6989586621679768164 b6989586621679768163 -> Type)

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

data GroupAllWithSym1 (l :: TyFun a6989586621679768164 b6989586621679768163 -> Type) (l :: TyFun [a6989586621679768164] [NonEmpty a6989586621679768164])

Instances

SuppressUnusedWarnings (GroupAllWithSym1 :: (TyFun a6989586621679768164 b6989586621679768163 -> Type) -> TyFun [a6989586621679768164] [NonEmpty a6989586621679768164] -> *)

Methods

suppressUnusedWarnings :: ()

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

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

type GroupAllWithSym2 (t :: TyFun a6989586621679768164 b6989586621679768163 -> Type) (t :: [a6989586621679768164]) = GroupAllWith t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type Group1Sym1 (t :: NonEmpty a6989586621679768162) = Group1 t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type GroupBy1Sym2 (t :: TyFun a6989586621679768161 (TyFun a6989586621679768161 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679768161) = GroupBy1 t t

data GroupWith1Sym0 (l :: TyFun (TyFun a6989586621679768160 b6989586621679768159 -> Type) (TyFun (NonEmpty a6989586621679768160) (NonEmpty (NonEmpty a6989586621679768160)) -> Type))

Instances

SuppressUnusedWarnings (GroupWith1Sym0 :: TyFun (TyFun a6989586621679768160 b6989586621679768159 -> Type) (TyFun (NonEmpty a6989586621679768160) (NonEmpty (NonEmpty a6989586621679768160)) -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

type Apply (GroupWith1Sym0 :: TyFun (TyFun a6989586621679768160 b6989586621679768159 -> Type) (TyFun (NonEmpty a6989586621679768160) (NonEmpty (NonEmpty a6989586621679768160)) -> Type) -> *) (l :: TyFun a6989586621679768160 b6989586621679768159 -> Type)

type Apply (GroupWith1Sym0 :: TyFun (TyFun a6989586621679768160 b6989586621679768159 -> Type) (TyFun (NonEmpty a6989586621679768160) (NonEmpty (NonEmpty a6989586621679768160)) -> Type) -> *) (l :: TyFun a6989586621679768160 b6989586621679768159 -> Type) = GroupWith1Sym1 l

data GroupWith1Sym1 (l :: TyFun a6989586621679768160 b6989586621679768159 -> Type) (l :: TyFun (NonEmpty a6989586621679768160) (NonEmpty (NonEmpty a6989586621679768160)))

Instances

SuppressUnusedWarnings (GroupWith1Sym1 :: (TyFun a6989586621679768160 b6989586621679768159 -> Type) -> TyFun (NonEmpty a6989586621679768160) (NonEmpty (NonEmpty a6989586621679768160)) -> *)

Methods

suppressUnusedWarnings :: ()

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

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

type GroupWith1Sym2 (t :: TyFun a6989586621679768160 b6989586621679768159 -> Type) (t :: NonEmpty a6989586621679768160) = GroupWith1 t t

data GroupAllWith1Sym0 (l :: TyFun (TyFun a6989586621679768158 b6989586621679768157 -> Type) (TyFun (NonEmpty a6989586621679768158) (NonEmpty (NonEmpty a6989586621679768158)) -> Type))

Instances

SuppressUnusedWarnings (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679768158 b6989586621679768157 -> Type) (TyFun (NonEmpty a6989586621679768158) (NonEmpty (NonEmpty a6989586621679768158)) -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

type Apply (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679768158 b6989586621679768157 -> Type) (TyFun (NonEmpty a6989586621679768158) (NonEmpty (NonEmpty a6989586621679768158)) -> Type) -> *) (l :: TyFun a6989586621679768158 b6989586621679768157 -> Type)

type Apply (GroupAllWith1Sym0 :: TyFun (TyFun a6989586621679768158 b6989586621679768157 -> Type) (TyFun (NonEmpty a6989586621679768158) (NonEmpty (NonEmpty a6989586621679768158)) -> Type) -> *) (l :: TyFun a6989586621679768158 b6989586621679768157 -> Type) = GroupAllWith1Sym1 l

data GroupAllWith1Sym1 (l :: TyFun a6989586621679768158 b6989586621679768157 -> Type) (l :: TyFun (NonEmpty a6989586621679768158) (NonEmpty (NonEmpty a6989586621679768158)))

Instances

SuppressUnusedWarnings (GroupAllWith1Sym1 :: (TyFun a6989586621679768158 b6989586621679768157 -> Type) -> TyFun (NonEmpty a6989586621679768158) (NonEmpty (NonEmpty a6989586621679768158)) -> *)

Methods

suppressUnusedWarnings :: ()

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

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

type GroupAllWith1Sym2 (t :: TyFun a6989586621679768158 b6989586621679768157 -> Type) (t :: NonEmpty a6989586621679768158) = GroupAllWith1 t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

type NubBySym2 (t :: TyFun a6989586621679768146 (TyFun a6989586621679768146 Bool -> Type) -> Type) (t :: NonEmpty a6989586621679768146) = NubBy t t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

data ZipSym0 (l :: TyFun (NonEmpty a6989586621679768153) (TyFun (NonEmpty b6989586621679768154) (NonEmpty (a6989586621679768153, b6989586621679768154)) -> Type))

Instances

SuppressUnusedWarnings (ZipSym0 :: TyFun (NonEmpty a6989586621679768153) (TyFun (NonEmpty b6989586621679768154) (NonEmpty (a6989586621679768153, b6989586621679768154)) -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

type Apply (ZipSym0 :: TyFun (NonEmpty a6989586621679768153) (TyFun (NonEmpty b6989586621679768154) (NonEmpty (a6989586621679768153, b6989586621679768154)) -> Type) -> *) (l :: NonEmpty a6989586621679768153)

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

data ZipSym1 (l :: NonEmpty a6989586621679768153) (l :: TyFun (NonEmpty b6989586621679768154) (NonEmpty (a6989586621679768153, b6989586621679768154)))

Instances

SuppressUnusedWarnings (ZipSym1 :: NonEmpty a6989586621679768153 -> TyFun (NonEmpty b6989586621679768154) (NonEmpty (a6989586621679768153, b6989586621679768154)) -> *)

Methods

suppressUnusedWarnings :: ()

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

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

type ZipSym2 (t :: NonEmpty a6989586621679768153) (t :: NonEmpty b6989586621679768154) = Zip t t

data ZipWithSym0 (l :: TyFun (TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> Type))

Instances

SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> Type) -> *) (l :: TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type)

type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> Type) -> *) (l :: TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) = ZipWithSym1 l

data ZipWithSym1 (l :: TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (l :: TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type))

Instances

SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> *)

Methods

suppressUnusedWarnings :: ()

type Apply (ZipWithSym1 l1 :: TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> *) (l2 :: NonEmpty a6989586621679768150)

type Apply (ZipWithSym1 l1 :: TyFun (NonEmpty a6989586621679768150) (TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> Type) -> *) (l2 :: NonEmpty a6989586621679768150) = ZipWithSym2 l1 l2

data ZipWithSym2 (l :: TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (l :: NonEmpty a6989586621679768150) (l :: TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152))

Instances

SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) -> NonEmpty a6989586621679768150 -> TyFun (NonEmpty b6989586621679768151) (NonEmpty c6989586621679768152) -> *)

Methods

suppressUnusedWarnings :: ()

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

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

type ZipWithSym3 (t :: TyFun a6989586621679768150 (TyFun b6989586621679768151 c6989586621679768152 -> Type) -> Type) (t :: NonEmpty a6989586621679768150) (t :: NonEmpty b6989586621679768151) = ZipWith t t t

data UnzipSym0 (l :: TyFun (NonEmpty (a6989586621679768148, b6989586621679768149)) (NonEmpty a6989586621679768148, NonEmpty b6989586621679768149))

Instances

SuppressUnusedWarnings (UnzipSym0 :: TyFun (NonEmpty (a6989586621679768148, b6989586621679768149)) (NonEmpty a6989586621679768148, NonEmpty b6989586621679768149) -> *)

Methods

suppressUnusedWarnings :: ()

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

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

type UnzipSym1 (t :: NonEmpty (a6989586621679768148, b6989586621679768149)) = Unzip t

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

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

Methods

suppressUnusedWarnings :: ()

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

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

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

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

Instances

SuppressUnusedWarnings XorSym0

Methods

suppressUnusedWarnings :: ()

type Apply XorSym0 (l :: NonEmpty Bool)

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

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