Copyright	(C) 2014 Jan Stolarek
License	BSD-style (see LICENSE)
Maintainer	Jan Stolarek (jan.stolarek@p.lodz.pl)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Promotion.Prelude

Contents

Standard types, classes and related functions
- Basic data types
Error reporting
Promoted equality
Promoted comparisons
Promoted enumerations
Promoted numbers
- Miscellaneous functions
List operations
Defunctionalization symbols

Description

Mimics the Haskell Prelude, but with promoted types.

Synopsis

type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ...
type family Not (a :: Bool) :: Bool where ...
type family (a :: Bool) :&& (a :: Bool) :: Bool where ...
type family (a :: Bool) :|| (a :: Bool) :: Bool where ...
type family Otherwise :: Bool where ...
maybe_ :: b -> (a -> b) -> Maybe a -> b
type family Maybe_ (a :: b) (a :: TyFun a b -> Type) (a :: Maybe a) :: b where ...
either_ :: (a -> c) -> (b -> c) -> Either a b -> c
type family Either_ (a :: TyFun a c -> Type) (a :: TyFun b c -> Type) (a :: Either a b) :: c where ...
data Symbol :: *
type family Fst (a :: (a, b)) :: a where ...
type family Snd (a :: (a, b)) :: b where ...
type family Curry (a :: TyFun (a, b) c -> Type) (a :: a) (a :: b) :: c where ...
type family Uncurry (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: (a, b)) :: c where ...
type family Error (str :: k0) :: k
data ErrorSym0 (l :: TyFun k06989586621679399311 k6989586621679399313)
module Data.Promotion.Prelude.Eq
module Data.Promotion.Prelude.Ord
module Data.Promotion.Prelude.Enum
module Data.Promotion.Prelude.Num
type family Id (a :: a) :: a where ...
type family Const (a :: a) (a :: b) :: a where ...
type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ...
type family (f :: TyFun a b -> *) $ (x :: a) :: b
type family (f :: TyFun a b -> *) $! (x :: a) :: b
type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ...
type family AsTypeOf (a :: a) (a :: a) :: a where ...
type family Until (a :: TyFun a Bool -> Type) (a :: TyFun a a -> Type) (a :: a) :: a where ...
type family Seq (a :: a) (a :: b) :: b where ...
type family Map (a :: TyFun a b -> Type) (a :: [a]) :: [b] where ...
type family (a :: [a]) :++ (a :: [a]) :: [a] where ...
type family Filter (a :: TyFun a Bool -> Type) (a :: [a]) :: [a] where ...
type family Head (a :: [a]) :: a where ...
type family Last (a :: [a]) :: a where ...
type family Tail (a :: [a]) :: [a] where ...
type family Init (a :: [a]) :: [a] where ...
type family Null (a :: [a]) :: Bool where ...
type family Length (a :: [a]) :: Nat where ...
type family (a :: [a]) :!! (a :: Nat) :: a where ...
type family Reverse (a :: [a]) :: [a] where ...
type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ...
type family Foldl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ...
type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ...
type family Foldr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ...
type family And (a :: [Bool]) :: Bool where ...
type family Or (a :: [Bool]) :: Bool where ...
any_ :: (a -> Bool) -> [a] -> Bool
type family Any_ (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ...
type family All (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ...
type family Sum (a :: [a]) :: a where ...
type family Product (a :: [a]) :: a where ...
type family Concat (a :: [[a]]) :: [a] where ...
type family ConcatMap (a :: TyFun a [b] -> Type) (a :: [a]) :: [b] where ...
type family Maximum (a :: [a]) :: a where ...
type family Minimum (a :: [a]) :: a where ...
type family Scanl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ...
type family Scanl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ...
type family Scanr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ...
type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ...
type family Replicate (a :: Nat) (a :: a) :: [a] where ...
type family Take (a :: Nat) (a :: [a]) :: [a] where ...
type family Drop (a :: Nat) (a :: [a]) :: [a] where ...
type family SplitAt (a :: Nat) (a :: [a]) :: ([a], [a]) where ...
type family TakeWhile (a :: TyFun a Bool -> Type) (a :: [a]) :: [a] where ...
type family DropWhile (a :: TyFun a Bool -> Type) (a :: [a]) :: [a] where ...
type family Span (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ...
type family Break (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ...
type family Elem (a :: a) (a :: [a]) :: Bool where ...
type family NotElem (a :: a) (a :: [a]) :: Bool where ...
type family Lookup (a :: a) (a :: [(a, b)]) :: Maybe b where ...
type family Zip (a :: [a]) (a :: [b]) :: [(a, b)] where ...
type family Zip3 (a :: [a]) (a :: [b]) (a :: [c]) :: [(a, b, c)] where ...
type family ZipWith (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: [a]) (a :: [b]) :: [c] where ...
type family ZipWith3 (a :: TyFun a (TyFun b (TyFun c d -> Type) -> Type) -> Type) (a :: [a]) (a :: [b]) (a :: [c]) :: [d] where ...
type family Unzip (a :: [(a, b)]) :: ([a], [b]) where ...
type family Unzip3 (a :: [(a, b, c)]) :: ([a], [b], [c]) where ...
type FalseSym0 = False
type TrueSym0 = True
data NotSym0 (l :: TyFun Bool Bool)
type NotSym1 (t :: Bool) = Not t
data (:&&$) (l :: TyFun Bool (TyFun Bool Bool -> Type))
data (l :: Bool) :&&$$ (l :: TyFun Bool Bool)
type (:&&$$$) (t :: Bool) (t :: Bool) = (:&&) t t
data (:||$) (l :: TyFun Bool (TyFun Bool Bool -> Type))
data (l :: Bool) :||$$ (l :: TyFun Bool Bool)
type (:||$$$) (t :: Bool) (t :: Bool) = (:||) t t
type OtherwiseSym0 = Otherwise
type NothingSym0 = Nothing
data JustSym0 (l :: TyFun a3530822107858468865 (Maybe a3530822107858468865))
type JustSym1 (t :: a3530822107858468865) = Just t
data Maybe_Sym0 (l :: TyFun b6989586621679423211 (TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> Type))
data Maybe_Sym1 (l :: b6989586621679423211) (l :: TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type))
data Maybe_Sym2 (l :: b6989586621679423211) (l :: TyFun a6989586621679423212 b6989586621679423211 -> Type) (l :: TyFun (Maybe a6989586621679423212) b6989586621679423211)
type Maybe_Sym3 (t :: b6989586621679423211) (t :: TyFun a6989586621679423212 b6989586621679423211 -> Type) (t :: Maybe a6989586621679423212) = Maybe_ t t t
data LeftSym0 (l :: TyFun a6989586621679072801 (Either a6989586621679072801 b6989586621679072802))
type LeftSym1 (t :: a6989586621679072801) = Left t
data RightSym0 (l :: TyFun b6989586621679072802 (Either a6989586621679072801 b6989586621679072802))
type RightSym1 (t :: b6989586621679072802) = Right t
data Either_Sym0 (l :: TyFun (TyFun a6989586621679433056 c6989586621679433057 -> Type) (TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> Type))
data Either_Sym1 (l :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (l :: TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type))
data Either_Sym2 (l :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (l :: TyFun b6989586621679433058 c6989586621679433057 -> Type) (l :: TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057)
type Either_Sym3 (t :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (t :: TyFun b6989586621679433058 c6989586621679433057 -> Type) (t :: Either a6989586621679433056 b6989586621679433058) = Either_ t t t
type Tuple0Sym0 = '()
data Tuple2Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type))
data Tuple2Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866))
type Tuple2Sym2 (t :: a3530822107858468865) (t :: b3530822107858468866) = '(t, t)
data Tuple3Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type))
data Tuple3Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type))
data Tuple3Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867))
type Tuple3Sym3 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) = '(t, t, t)
data Tuple4Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type))
data Tuple4Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type))
data Tuple4Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type))
data Tuple4Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))
type Tuple4Sym4 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) = '(t, t, t, t)
data Tuple5Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type))
data Tuple5Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type))
data Tuple5Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type))
data Tuple5Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type))
data Tuple5Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))
type Tuple5Sym5 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) = '(t, t, t, t, t)
data Tuple6Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type))
data Tuple6Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type))
data Tuple6Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type))
data Tuple6Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type))
data Tuple6Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type))
data Tuple6Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))
type Tuple6Sym6 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) = '(t, t, t, t, t, t)
data Tuple7Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type))
data Tuple7Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type))
data Tuple7Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type))
data Tuple7Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type))
data Tuple7Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type))
data Tuple7Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type))
data Tuple7Sym6 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: f3530822107858468870) (l :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))
type Tuple7Sym7 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) (t :: g3530822107858468871) = '(t, t, t, t, t, t, t)
data FstSym0 (l :: TyFun (a6989586621679419275, b6989586621679419276) a6989586621679419275)
type FstSym1 (t :: (a6989586621679419275, b6989586621679419276)) = Fst t
data SndSym0 (l :: TyFun (a6989586621679419273, b6989586621679419274) b6989586621679419274)
type SndSym1 (t :: (a6989586621679419273, b6989586621679419274)) = Snd t
data CurrySym0 (l :: TyFun (TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> Type))
data CurrySym1 (l :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (l :: TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type))
data CurrySym2 (l :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (l :: a6989586621679419270) (l :: TyFun b6989586621679419271 c6989586621679419272)
type CurrySym3 (t :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (t :: a6989586621679419270) (t :: b6989586621679419271) = Curry t t t
data UncurrySym0 (l :: TyFun (TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> Type))
data UncurrySym1 (l :: TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (l :: TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269)
type UncurrySym2 (t :: TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (t :: (a6989586621679419267, b6989586621679419268)) = Uncurry t t
data (:^$) l
data (l :: Nat) :^$$ l
data IdSym0 (l :: TyFun a6989586621679277915 a6989586621679277915)
type IdSym1 (t :: a6989586621679277915) = Id t
data ConstSym0 (l :: TyFun a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type))
data ConstSym1 (l :: a6989586621679277913) (l :: TyFun b6989586621679277914 a6989586621679277913)
type ConstSym2 (t :: a6989586621679277913) (t :: b6989586621679277914) = Const t t
data (:.$) (l :: TyFun (TyFun b6989586621679277910 c6989586621679277911 -> Type) (TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> Type))
data (l :: TyFun b6989586621679277910 c6989586621679277911 -> Type) :.$$ (l :: TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type))
data ((l :: TyFun b6989586621679277910 c6989586621679277911 -> Type) :.$$$ (l :: TyFun a6989586621679277912 b6989586621679277910 -> Type)) (l :: TyFun a6989586621679277912 c6989586621679277911)
data ($$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> *
data ($$$) :: (TyFun a b -> *) -> TyFun a b -> *
type ($$$$) a b = ($) a b
data ($!$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> *
data ($!$$) :: (TyFun a b -> *) -> TyFun a b -> *
type ($!$$$) a b = ($!) a b
data FlipSym0 (l :: TyFun (TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> Type))
data FlipSym1 (l :: TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (l :: TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type))
data FlipSym2 (l :: TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (l :: b6989586621679277908) (l :: TyFun a6989586621679277907 c6989586621679277909)
data AsTypeOfSym0 (l :: TyFun a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type))
data AsTypeOfSym1 (l :: a6989586621679277906) (l :: TyFun a6989586621679277906 a6989586621679277906)
type AsTypeOfSym2 (t :: a6989586621679277906) (t :: a6989586621679277906) = AsTypeOf t t
data SeqSym0 (l :: TyFun a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type))
data SeqSym1 (l :: a6989586621679277904) (l :: TyFun b6989586621679277905 b6989586621679277905)
type SeqSym2 (t :: a6989586621679277904) (t :: b6989586621679277905) = Seq t t
data (:$) (l :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type))
data (l :: a3530822107858468865) :$$ (l :: TyFun [a3530822107858468865] [a3530822107858468865])
type (:$$$) (t :: a3530822107858468865) (t :: [a3530822107858468865]) = (:) t t
type NilSym0 = '[]
data MapSym0 (l :: TyFun (TyFun a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type))
data MapSym1 (l :: TyFun a6989586621679277917 b6989586621679277918 -> Type) (l :: TyFun [a6989586621679277917] [b6989586621679277918])
type MapSym2 (t :: TyFun a6989586621679277917 b6989586621679277918 -> Type) (t :: [a6989586621679277917]) = Map t t
data ReverseSym0 (l :: TyFun [a6989586621679454958] [a6989586621679454958])
type ReverseSym1 (t :: [a6989586621679454958]) = Reverse t
data (l :: [a6989586621679277916]) :++$$ (l :: TyFun [a6989586621679277916] [a6989586621679277916])
data (:++$) (l :: TyFun [a6989586621679277916] (TyFun [a6989586621679277916] [a6989586621679277916] -> Type))
data HeadSym0 (l :: TyFun [a6989586621679454963] a6989586621679454963)
type HeadSym1 (t :: [a6989586621679454963]) = Head t
data LastSym0 (l :: TyFun [a6989586621679454962] a6989586621679454962)
type LastSym1 (t :: [a6989586621679454962]) = Last t
data TailSym0 (l :: TyFun [a6989586621679454961] [a6989586621679454961])
type TailSym1 (t :: [a6989586621679454961]) = Tail t
data InitSym0 (l :: TyFun [a6989586621679454960] [a6989586621679454960])
type InitSym1 (t :: [a6989586621679454960]) = Init t
data NullSym0 (l :: TyFun [a6989586621679454959] Bool)
type NullSym1 (t :: [a6989586621679454959]) = Null t
data FoldlSym0 (l :: TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type))
data FoldlSym1 (l :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (l :: TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type))
data FoldlSym2 (l :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (l :: b6989586621679240792) (l :: TyFun [a6989586621679240791] b6989586621679240792)
type FoldlSym3 (t :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (t :: b6989586621679240792) (t :: [a6989586621679240791]) = Foldl t t t
data Foldl1Sym0 (l :: TyFun (TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (TyFun [a6989586621679454949] a6989586621679454949 -> Type))
data Foldl1Sym1 (l :: TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (l :: TyFun [a6989586621679454949] a6989586621679454949)
type Foldl1Sym2 (t :: TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (t :: [a6989586621679454949]) = Foldl1 t t
data FoldrSym0 (l :: TyFun (TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> Type))
data FoldrSym1 (l :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (l :: TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type))
data FoldrSym2 (l :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (l :: b6989586621679277920) (l :: TyFun [a6989586621679277919] b6989586621679277920)
type FoldrSym3 (t :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (t :: b6989586621679277920) (t :: [a6989586621679277919]) = Foldr t t t
data Foldr1Sym0 (l :: TyFun (TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (TyFun [a6989586621679454947] a6989586621679454947 -> Type))
data Foldr1Sym1 (l :: TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (l :: TyFun [a6989586621679454947] a6989586621679454947)
type Foldr1Sym2 (t :: TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (t :: [a6989586621679454947]) = Foldr1 t t
data ConcatSym0 (l :: TyFun [[a6989586621679454946]] [a6989586621679454946])
type ConcatSym1 (t :: [[a6989586621679454946]]) = Concat t
data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type))
data ConcatMapSym1 (l :: TyFun a6989586621679454944 [b6989586621679454945] -> Type) (l :: TyFun [a6989586621679454944] [b6989586621679454945])
type ConcatMapSym2 (t :: TyFun a6989586621679454944 [b6989586621679454945] -> Type) (t :: [a6989586621679454944]) = ConcatMap t t
data MaximumBySym0 (l :: TyFun (TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (TyFun [a6989586621679454876] a6989586621679454876 -> Type))
data MaximumBySym1 (l :: TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (l :: TyFun [a6989586621679454876] a6989586621679454876)
type MaximumBySym2 (t :: TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (t :: [a6989586621679454876]) = MaximumBy t t
data MinimumBySym0 (l :: TyFun (TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (TyFun [a6989586621679454875] a6989586621679454875 -> Type))
data MinimumBySym1 (l :: TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (l :: TyFun [a6989586621679454875] a6989586621679454875)
type MinimumBySym2 (t :: TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (t :: [a6989586621679454875]) = MinimumBy t t
data AndSym0 (l :: TyFun [Bool] Bool)
type AndSym1 (t :: [Bool]) = And t
data OrSym0 (l :: TyFun [Bool] Bool)
type OrSym1 (t :: [Bool]) = Or t
data Any_Sym0 (l :: TyFun (TyFun a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type))
data Any_Sym1 (l :: TyFun a6989586621679444727 Bool -> Type) (l :: TyFun [a6989586621679444727] Bool)
type Any_Sym2 (t :: TyFun a6989586621679444727 Bool -> Type) (t :: [a6989586621679444727]) = Any_ t t
data AllSym0 (l :: TyFun (TyFun a6989586621679454943 Bool -> Type) (TyFun [a6989586621679454943] Bool -> Type))
data AllSym1 (l :: TyFun a6989586621679454943 Bool -> Type) (l :: TyFun [a6989586621679454943] Bool)
type AllSym2 (t :: TyFun a6989586621679454943 Bool -> Type) (t :: [a6989586621679454943]) = All t t
data ScanlSym0 (l :: TyFun (TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> Type))
data ScanlSym1 (l :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (l :: TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type))
data ScanlSym2 (l :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (l :: b6989586621679454941) (l :: TyFun [a6989586621679454942] [b6989586621679454941])
type ScanlSym3 (t :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (t :: b6989586621679454941) (t :: [a6989586621679454942]) = Scanl t t t
data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (TyFun [a6989586621679454940] [a6989586621679454940] -> Type))
data Scanl1Sym1 (l :: TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (l :: TyFun [a6989586621679454940] [a6989586621679454940])
type Scanl1Sym2 (t :: TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (t :: [a6989586621679454940]) = Scanl1 t t
data ScanrSym0 (l :: TyFun (TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> Type))
data ScanrSym1 (l :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (l :: TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type))
data ScanrSym2 (l :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (l :: b6989586621679454939) (l :: TyFun [a6989586621679454938] [b6989586621679454939])
type ScanrSym3 (t :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (t :: b6989586621679454939) (t :: [a6989586621679454938]) = Scanr t t t
data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (TyFun [a6989586621679454937] [a6989586621679454937] -> Type))
data Scanr1Sym1 (l :: TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (l :: TyFun [a6989586621679454937] [a6989586621679454937])
type Scanr1Sym2 (t :: TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (t :: [a6989586621679454937]) = Scanr1 t t
data ElemSym0 (l :: TyFun a6989586621679454923 (TyFun [a6989586621679454923] Bool -> Type))
data ElemSym1 (l :: a6989586621679454923) (l :: TyFun [a6989586621679454923] Bool)
type ElemSym2 (t :: a6989586621679454923) (t :: [a6989586621679454923]) = Elem t t
data NotElemSym0 (l :: TyFun a6989586621679454922 (TyFun [a6989586621679454922] Bool -> Type))
data NotElemSym1 (l :: a6989586621679454922) (l :: TyFun [a6989586621679454922] Bool)
type NotElemSym2 (t :: a6989586621679454922) (t :: [a6989586621679454922]) = NotElem t t
data ZipSym0 (l :: TyFun [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type))
data ZipSym1 (l :: [a6989586621679454920]) (l :: TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)])
type ZipSym2 (t :: [a6989586621679454920]) (t :: [b6989586621679454921]) = Zip t t
data Zip3Sym0 (l :: TyFun [a6989586621679454917] (TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> Type))
data Zip3Sym1 (l :: [a6989586621679454917]) (l :: TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type))
data Zip3Sym2 (l :: [a6989586621679454917]) (l :: [b6989586621679454918]) (l :: TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)])
type Zip3Sym3 (t :: [a6989586621679454917]) (t :: [b6989586621679454918]) (t :: [c6989586621679454919]) = Zip3 t t t
data ZipWithSym0 (l :: TyFun (TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> Type))
data ZipWithSym1 (l :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (l :: TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type))
data ZipWithSym2 (l :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (l :: [a6989586621679454914]) (l :: TyFun [b6989586621679454915] [c6989586621679454916])
type ZipWithSym3 (t :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (t :: [a6989586621679454914]) (t :: [b6989586621679454915]) = ZipWith t t t
data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) -> Type))
data ZipWith3Sym1 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type))
data ZipWith3Sym2 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: [a6989586621679454910]) (l :: TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type))
data ZipWith3Sym3 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: [a6989586621679454910]) (l :: [b6989586621679454911]) (l :: TyFun [c6989586621679454912] [d6989586621679454913])
data UnzipSym0 (l :: TyFun [(a6989586621679454908, b6989586621679454909)] ([a6989586621679454908], [b6989586621679454909]))
type UnzipSym1 (t :: [(a6989586621679454908, b6989586621679454909)]) = Unzip t
data UntilSym0 (l :: TyFun (TyFun a6989586621679442441 Bool -> Type) (TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> Type))
data UntilSym1 (l :: TyFun a6989586621679442441 Bool -> Type) (l :: TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type))
data UntilSym2 (l :: TyFun a6989586621679442441 Bool -> Type) (l :: TyFun a6989586621679442441 a6989586621679442441 -> Type) (l :: TyFun a6989586621679442441 a6989586621679442441)
type UntilSym3 (t :: TyFun a6989586621679442441 Bool -> Type) (t :: TyFun a6989586621679442441 a6989586621679442441 -> Type) (t :: a6989586621679442441) = Until t t t
data LengthSym0 (l :: TyFun [a6989586621679454846] Nat)
type LengthSym1 (t :: [a6989586621679454846]) = Length t
data SumSym0 (l :: TyFun [a6989586621679454848] a6989586621679454848)
type SumSym1 (t :: [a6989586621679454848]) = Sum t
data ProductSym0 (l :: TyFun [a6989586621679454847] a6989586621679454847)
type ProductSym1 (t :: [a6989586621679454847]) = Product t
data ReplicateSym0 (l :: TyFun Nat (TyFun a6989586621679454845 [a6989586621679454845] -> Type))
data ReplicateSym1 (l :: Nat) (l :: TyFun a6989586621679454845 [a6989586621679454845])
type ReplicateSym2 (t :: Nat) (t :: a6989586621679454845) = Replicate t t
data TakeSym0 (l :: TyFun Nat (TyFun [a6989586621679454861] [a6989586621679454861] -> Type))
data TakeSym1 (l :: Nat) (l :: TyFun [a6989586621679454861] [a6989586621679454861])
type TakeSym2 (t :: Nat) (t :: [a6989586621679454861]) = Take t t
data DropSym0 (l :: TyFun Nat (TyFun [a6989586621679454860] [a6989586621679454860] -> Type))
data DropSym1 (l :: Nat) (l :: TyFun [a6989586621679454860] [a6989586621679454860])
type DropSym2 (t :: Nat) (t :: [a6989586621679454860]) = Drop t t
data SplitAtSym0 (l :: TyFun Nat (TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> Type))
data SplitAtSym1 (l :: Nat) (l :: TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]))
type SplitAtSym2 (t :: Nat) (t :: [a6989586621679454859]) = SplitAt t t
data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679454866 Bool -> Type) (TyFun [a6989586621679454866] [a6989586621679454866] -> Type))
data TakeWhileSym1 (l :: TyFun a6989586621679454866 Bool -> Type) (l :: TyFun [a6989586621679454866] [a6989586621679454866])
type TakeWhileSym2 (t :: TyFun a6989586621679454866 Bool -> Type) (t :: [a6989586621679454866]) = TakeWhile t t
data DropWhileSym0 (l :: TyFun (TyFun a6989586621679454865 Bool -> Type) (TyFun [a6989586621679454865] [a6989586621679454865] -> Type))
data DropWhileSym1 (l :: TyFun a6989586621679454865 Bool -> Type) (l :: TyFun [a6989586621679454865] [a6989586621679454865])
type DropWhileSym2 (t :: TyFun a6989586621679454865 Bool -> Type) (t :: [a6989586621679454865]) = DropWhile t t
data SpanSym0 (l :: TyFun (TyFun a6989586621679454863 Bool -> Type) (TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863]) -> Type))
data SpanSym1 (l :: TyFun a6989586621679454863 Bool -> Type) (l :: TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863]))
type SpanSym2 (t :: TyFun a6989586621679454863 Bool -> Type) (t :: [a6989586621679454863]) = Span t t
data BreakSym0 (l :: TyFun (TyFun a6989586621679454862 Bool -> Type) (TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862]) -> Type))
data BreakSym1 (l :: TyFun a6989586621679454862 Bool -> Type) (l :: TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862]))
type BreakSym2 (t :: TyFun a6989586621679454862 Bool -> Type) (t :: [a6989586621679454862]) = Break t t
data LookupSym0 (l :: TyFun a6989586621679454851 (TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852) -> Type))
data LookupSym1 (l :: a6989586621679454851) (l :: TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852))
type LookupSym2 (t :: a6989586621679454851) (t :: [(a6989586621679454851, b6989586621679454852)]) = Lookup t t
data FilterSym0 (l :: TyFun (TyFun a6989586621679454874 Bool -> Type) (TyFun [a6989586621679454874] [a6989586621679454874] -> Type))
data FilterSym1 (l :: TyFun a6989586621679454874 Bool -> Type) (l :: TyFun [a6989586621679454874] [a6989586621679454874])
type FilterSym2 (t :: TyFun a6989586621679454874 Bool -> Type) (t :: [a6989586621679454874]) = Filter t t
data (:!!$) (l :: TyFun [a6989586621679454843] (TyFun Nat a6989586621679454843 -> Type))
data (l :: [a6989586621679454843]) :!!$$ (l :: TyFun Nat a6989586621679454843)
type (:!!$$$) (t :: [a6989586621679454843]) (t :: Nat) = (:!!) t t

Standard types, classes and related functions

Basic data types

type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ... #

Type-level If. If True a b ==> a; If False a b ==> b

Equations

If k True tru fls = tru
If k False tru fls = fls

type family Not (a :: Bool) :: Bool where ... Source #

Equations

Not False = TrueSym0
Not True = FalseSym0

type family (a :: Bool) :&& (a :: Bool) :: Bool where ... infixr 3 Source #

Equations

False :&& _z_6989586621679274680 = FalseSym0
True :&& x = x

type family (a :: Bool) :|| (a :: Bool) :: Bool where ... infixr 2 Source #

Equations

False :\|\| x = x
True :\|\| _z_6989586621679274668 = TrueSym0

type family Otherwise :: Bool where ... Source #

Equations

Otherwise = TrueSym0

maybe_ :: b -> (a -> b) -> Maybe a -> b Source #

type family Maybe_ (a :: b) (a :: TyFun a b -> Type) (a :: Maybe a) :: b where ... Source #

Equations

Maybe_ n _z_6989586621679423233 Nothing = n
Maybe_ _z_6989586621679423236 f (Just x) = Apply f x

either_ :: (a -> c) -> (b -> c) -> Either a b -> c Source #

type family Either_ (a :: TyFun a c -> Type) (a :: TyFun b c -> Type) (a :: Either a b) :: c where ... Source #

Equations

Either_ f _z_6989586621679433080 (Left x) = Apply f x
Either_ _z_6989586621679433084 g (Right y) = Apply g y

data Symbol :: * #

(Kind) This is the kind of type-level symbols. Declared here because class IP needs it

Instances

SingKind Symbol	Since: 4.9.0.0
Associated Types type DemoteRep Symbol :: * Methods fromSing :: Sing Symbol a -> DemoteRep Symbol
KnownSymbol a => SingI Symbol a	Since: 4.9.0.0
Methods sing :: Sing a a
SuppressUnusedWarnings (TyFun Symbol Constraint -> *) KnownSymbolSym0 Source #
Methods suppressUnusedWarnings :: Proxy KnownSymbolSym0 t -> () Source #
data Sing Symbol
data Sing Symbol where SSym :: Sing Symbol s
type DemoteRep Symbol
type DemoteRep Symbol = String
type Demote Symbol Source #
type Demote Symbol = Text
data Sing Symbol Source #
data Sing Symbol where SSym :: Sing Symbol n
type (==) Symbol a b
type (==) Symbol a b = EqSymbol a b
type (:==) Symbol a b Source #
type (:==) Symbol a b = (==) Symbol a b
type (:/=) Symbol x y Source #
type (:/=) Symbol x y = Not ((:==) Symbol x y)
type Compare Symbol a b Source #
type Compare Symbol a b = CmpSymbol a b
type (:<) Symbol arg1 arg2 Source #
type (:<) Symbol arg1 arg2
type (:<=) Symbol arg1 arg2 Source #
type (:<=) Symbol arg1 arg2
type (:>) Symbol arg1 arg2 Source #
type (:>) Symbol arg1 arg2
type (:>=) Symbol arg1 arg2 Source #
type (:>=) Symbol arg1 arg2
type Max Symbol arg1 arg2 Source #
type Max Symbol arg1 arg2
type Min Symbol arg1 arg2 Source #
type Min Symbol arg1 arg2
type Apply Symbol Constraint KnownSymbolSym0 l Source #
type Apply Symbol Constraint KnownSymbolSym0 l = KnownSymbol l

type family Fst (a :: (a, b)) :: a where ... Source #

Equations

Fst '(x, _z_6989586621679419328) = x

type family Snd (a :: (a, b)) :: b where ... Source #

Equations

Snd '(_z_6989586621679419319, y) = y

type family Curry (a :: TyFun (a, b) c -> Type) (a :: a) (a :: b) :: c where ... Source #

Equations

Curry f x y = Apply f (Apply (Apply Tuple2Sym0 x) y)

type family Uncurry (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: (a, b)) :: c where ... Source #

Equations

Uncurry f p = Apply (Apply f (Apply FstSym0 p)) (Apply SndSym0 p)

Error reporting

type family Error (str :: k0) :: k Source #

The promotion of error. This version is more poly-kinded for easier use.

data ErrorSym0 (l :: TyFun k06989586621679399311 k6989586621679399313) Source #

Instances

SuppressUnusedWarnings (TyFun k06989586621679399311 k6989586621679399313 -> *) (ErrorSym0 k06989586621679399311 k6989586621679399313) Source #
Methods suppressUnusedWarnings :: Proxy (ErrorSym0 k06989586621679399311 k6989586621679399313) t -> () Source #
type Apply k0 k2 (ErrorSym0 k0 k2) l Source #
type Apply k0 k2 (ErrorSym0 k0 k2) l = Error k0 k2 l

Promoted equality

module Data.Promotion.Prelude.Eq

Promoted comparisons

module Data.Promotion.Prelude.Ord

Promoted enumerations

As a matter of convenience, the promoted Prelude does not export promoted succ and pred, due to likely conflicts with unary numbers. Please import Enum directly if you want these.

module Data.Promotion.Prelude.Enum

Promoted numbers

module Data.Promotion.Prelude.Num

Miscellaneous functions

type family Id (a :: a) :: a where ... Source #

Equations

Id x = x

type family Const (a :: a) (a :: b) :: a where ... Source #

Equations

Const x _z_6989586621679278034 = x

type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ... infixr 9 Source #

Equations

(f :. g) a_6989586621679277997 = Apply (Apply (Apply (Apply Lambda_6989586621679278002Sym0 f) g) a_6989586621679277997) a_6989586621679277997

type family (f :: TyFun a b -> *) $ (x :: a) :: b infixr 0 Source #

Instances

type ($) k1 k f x Source #
type ($) k1 k f x = (@@) k1 k f x

type family (f :: TyFun a b -> *) $! (x :: a) :: b infixr 0 Source #

Instances

type ($!) k1 k f x Source #
type ($!) k1 k f x = (@@) k1 k f x

type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ... Source #

Equations

Flip f x y = Apply (Apply f y) x

type family AsTypeOf (a :: a) (a :: a) :: a where ... Source #

Equations

AsTypeOf a_6989586621679278037 a_6989586621679278039 = Apply (Apply ConstSym0 a_6989586621679278037) a_6989586621679278039

type family Until (a :: TyFun a Bool -> Type) (a :: TyFun a a -> Type) (a :: a) :: a where ... Source #

Equations

Until p f a_6989586621679442464 = Apply (Let6989586621679442469GoSym3 p f a_6989586621679442464) a_6989586621679442464

type family Seq (a :: a) (a :: b) :: b where ... infixr 0 Source #

Equations

Seq _z_6989586621679277960 x = x

List operations

type family Map (a :: TyFun a b -> Type) (a :: [a]) :: [b] where ... Source #

Equations

Map _z_6989586621679278079 '[] = '[]
Map f ((:) x xs) = Apply (Apply (:$) (Apply f x)) (Apply (Apply MapSym0 f) xs)

type family (a :: [a]) :++ (a :: [a]) :: [a] where ... infixr 5 Source #

Equations

'[] :++ ys = ys
((:) x xs) :++ ys = Apply (Apply (:$) x) (Apply (Apply (:++$) xs) ys)

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

Equations

Filter _p '[] = '[]
Filter p ((:) x xs) = Case_6989586621679456302 p x xs (Let6989586621679456289Scrutinee_6989586621679455465Sym3 p x xs)

type family Head (a :: [a]) :: a where ... Source #

Equations

Head ((:) a _z_6989586621679458907) = a
Head '[] = Apply ErrorSym0 "Data.Singletons.List.head: empty list"

type family Last (a :: [a]) :: a where ... Source #

Equations

Last '[] = Apply ErrorSym0 "Data.Singletons.List.last: empty list"
Last '[x] = x
Last ((:) _z_6989586621679458897 ((:) x xs)) = Apply LastSym0 (Apply (Apply (:$) x) xs)

type family Tail (a :: [a]) :: [a] where ... Source #

Equations

Tail ((:) _z_6989586621679458888 t) = t
Tail '[] = Apply ErrorSym0 "Data.Singletons.List.tail: empty list"

type family Init (a :: [a]) :: [a] where ... Source #

Equations

Init '[] = Apply ErrorSym0 "Data.Singletons.List.init: empty list"
Init ((:) x xs) = Apply (Apply (Let6989586621679458857Init'Sym2 x xs) x) xs

type family Null (a :: [a]) :: Bool where ... Source #

Equations

Null '[] = TrueSym0
Null ((:) _z_6989586621679458786 _z_6989586621679458789) = FalseSym0

type family Length (a :: [a]) :: Nat where ... Source #

Equations

Length '[] = FromInteger 0
Length ((:) _z_6989586621679455707 xs) = Apply (Apply (:+$) (FromInteger 1)) (Apply LengthSym0 xs)

type family (a :: [a]) :!! (a :: Nat) :: a where ... Source #

Equations

'[] :!! _z_6989586621679455659 = Apply ErrorSym0 "Data.Singletons.List.!!: index too large"
((:) x xs) :!! n = Case_6989586621679455678 x xs n (Let6989586621679455665Scrutinee_6989586621679455505Sym3 x xs n)

type family Reverse (a :: [a]) :: [a] where ... Source #

Equations

Reverse l = Apply (Apply (Let6989586621679458752RevSym1 l) l) '[]

Reducing lists (folds)

type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source #

Equations

Foldl f z0 xs0 = Apply (Apply (Let6989586621679240820LgoSym3 f z0 xs0) z0) xs0

type family Foldl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ... Source #

Equations

Foldl1 f ((:) x xs) = Apply (Apply (Apply FoldlSym0 f) x) xs
Foldl1 _z_6989586621679457996 '[] = Apply ErrorSym0 "Data.Singletons.List.foldl1: empty list"

type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source #

Equations

Foldr k z a_6989586621679278100 = Apply (Let6989586621679278105GoSym3 k z a_6989586621679278100) a_6989586621679278100

type family Foldr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ... Source #

Equations

Foldr1 _z_6989586621679457954 '[x] = x
Foldr1 f ((:) x ((:) wild_6989586621679455411 wild_6989586621679455413)) = Apply (Apply f x) (Apply (Apply Foldr1Sym0 f) (Let6989586621679457962XsSym4 f x wild_6989586621679455411 wild_6989586621679455413))
Foldr1 _z_6989586621679457981 '[] = Apply ErrorSym0 "Data.Singletons.List.foldr1: empty list"

Special folds

type family And (a :: [Bool]) :: Bool where ... Source #

Equations

And '[] = TrueSym0
And ((:) x xs) = Apply (Apply (:&&$) x) (Apply AndSym0 xs)

type family Or (a :: [Bool]) :: Bool where ... Source #

Equations

Or '[] = FalseSym0
Or ((:) x xs) = Apply (Apply (:\|\|$) x) (Apply OrSym0 xs)

any_ :: (a -> Bool) -> [a] -> Bool Source #

type family Any_ (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ... Source #

Equations

Any_ _z_6989586621679444741 '[] = FalseSym0
Any_ p ((:) x xs) = Apply (Apply (:\|\|$) (Apply p x)) (Apply (Apply Any_Sym0 p) xs)

type family All (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ... Source #

Equations

All _z_6989586621679457907 '[] = TrueSym0
All p ((:) x xs) = Apply (Apply (:&&$) (Apply p x)) (Apply (Apply AllSym0 p) xs)

type family Sum (a :: [a]) :: a where ... Source #

Equations

Sum l = Apply (Apply (Let6989586621679455740Sum'Sym1 l) l) (FromInteger 0)

type family Product (a :: [a]) :: a where ... Source #

Equations

Product l = Apply (Apply (Let6989586621679455716ProdSym1 l) l) (FromInteger 1)

type family Concat (a :: [[a]]) :: [a] where ... Source #

Equations

Concat a_6989586621679457938 = Apply (Apply (Apply FoldrSym0 (:++$)) '[]) a_6989586621679457938

type family ConcatMap (a :: TyFun a [b] -> Type) (a :: [a]) :: [b] where ... Source #

Equations

ConcatMap f a_6989586621679457934 = Apply (Apply (Apply FoldrSym0 (Apply (Apply (:.$) (:++$)) f)) '[]) a_6989586621679457934

type family Maximum (a :: [a]) :: a where ... Source #

Equations

Maximum '[] = Apply ErrorSym0 "Data.Singletons.List.maximum: empty list"
Maximum ((:) wild_6989586621679455491 wild_6989586621679455493) = Apply (Apply Foldl1Sym0 MaxSym0) (Let6989586621679458179XsSym2 wild_6989586621679455491 wild_6989586621679455493)

type family Minimum (a :: [a]) :: a where ... Source #

Equations

Minimum '[] = Apply ErrorSym0 "Data.Singletons.List.minimum: empty list"
Minimum ((:) wild_6989586621679455495 wild_6989586621679455497) = Apply (Apply Foldl1Sym0 MinSym0) (Let6989586621679458193XsSym2 wild_6989586621679455495 wild_6989586621679455497)

Building lists

Scans

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

Equations

Scanl f q ls = Apply (Apply (:$) q) (Case_6989586621679457878 f q ls ls)

type family Scanl1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ... Source #

Equations

Scanl1 f ((:) x xs) = Apply (Apply (Apply ScanlSym0 f) x) xs
Scanl1 _z_6989586621679457895 '[] = '[]

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

Equations

Scanr _z_6989586621679457828 q0 '[] = Apply (Apply (:$) q0) '[]
Scanr f q0 ((:) x xs) = Case_6989586621679457855 f q0 x xs (Let6989586621679457836Scrutinee_6989586621679455415Sym4 f q0 x xs)

type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ... Source #

Equations

Scanr1 _z_6989586621679457759 '[] = '[]
Scanr1 _z_6989586621679457762 '[x] = Apply (Apply (:$) x) '[]
Scanr1 f ((:) x ((:) wild_6989586621679455419 wild_6989586621679455421)) = Case_6989586621679457808 f x wild_6989586621679455419 wild_6989586621679455421 (Let6989586621679457789Scrutinee_6989586621679455417Sym4 f x wild_6989586621679455419 wild_6989586621679455421)

Infinite lists

type family Replicate (a :: Nat) (a :: a) :: [a] where ... Source #

Equations

Replicate n x = Case_6989586621679455700 n x (Let6989586621679455692Scrutinee_6989586621679455503Sym2 n x)

Sublists

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

Equations

Take _z_6989586621679455887 '[] = '[]
Take n ((:) x xs) = Case_6989586621679455906 n x xs (Let6989586621679455893Scrutinee_6989586621679455487Sym3 n x xs)

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

Equations

Drop _z_6989586621679455856 '[] = '[]
Drop n ((:) x xs) = Case_6989586621679455875 n x xs (Let6989586621679455862Scrutinee_6989586621679455489Sym3 n x xs)

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

Equations

SplitAt n xs = Apply (Apply Tuple2Sym0 (Apply (Apply TakeSym0 n) xs)) (Apply (Apply DropSym0 n) xs)

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

Equations

TakeWhile _z_6989586621679456254 '[] = '[]
TakeWhile p ((:) x xs) = Case_6989586621679456273 p x xs (Let6989586621679456260Scrutinee_6989586621679455477Sym3 p x xs)

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

Equations

DropWhile _z_6989586621679456210 '[] = '[]
DropWhile p ((:) x xs') = Case_6989586621679456242 p x xs' (Let6989586621679456229Scrutinee_6989586621679455479Sym3 p x xs')

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

Equations

Span _z_6989586621679456031 '[] = Apply (Apply Tuple2Sym0 Let6989586621679456034XsSym0) Let6989586621679456034XsSym0
Span p ((:) x xs') = Case_6989586621679456064 p x xs' (Let6989586621679456051Scrutinee_6989586621679455483Sym3 p x xs')

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

Equations

Break _z_6989586621679455929 '[] = Apply (Apply Tuple2Sym0 Let6989586621679455932XsSym0) Let6989586621679455932XsSym0
Break p ((:) x xs') = Case_6989586621679455962 p x xs' (Let6989586621679455949Scrutinee_6989586621679455485Sym3 p x xs')

Searching lists

type family Elem (a :: a) (a :: [a]) :: Bool where ... Source #

Equations

Elem _z_6989586621679457270 '[] = FalseSym0
Elem x ((:) y ys) = Apply (Apply (:\|\|$) (Apply (Apply (:==$) x) y)) (Apply (Apply ElemSym0 x) ys)

type family NotElem (a :: a) (a :: [a]) :: Bool where ... Source #

Equations

NotElem _z_6989586621679457255 '[] = TrueSym0
NotElem x ((:) y ys) = Apply (Apply (:&&$) (Apply (Apply (:/=$) x) y)) (Apply (Apply NotElemSym0 x) ys)

type family Lookup (a :: a) (a :: [(a, b)]) :: Maybe b where ... Source #

Equations

Lookup _key '[] = NothingSym0
Lookup key ((:) '(x, y) xys) = Case_6989586621679455844 key x y xys (Let6989586621679455825Scrutinee_6989586621679455499Sym4 key x y xys)

Zipping and unzipping lists

type family Zip (a :: [a]) (a :: [b]) :: [(a, b)] where ... Source #

Equations

Zip ((:) x xs) ((:) y ys) = Apply (Apply (:$) (Apply (Apply Tuple2Sym0 x) y)) (Apply (Apply ZipSym0 xs) ys)
Zip '[] '[] = '[]
Zip ((:) _z_6989586621679457132 _z_6989586621679457135) '[] = '[]
Zip '[] ((:) _z_6989586621679457138 _z_6989586621679457141) = '[]

type family Zip3 (a :: [a]) (a :: [b]) (a :: [c]) :: [(a, b, c)] where ... Source #

Equations

Zip3 ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:$) (Apply (Apply (Apply Tuple3Sym0 a) b) c)) (Apply (Apply (Apply Zip3Sym0 as) bs) cs)
Zip3 '[] '[] '[] = '[]
Zip3 '[] '[] ((:) _z_6989586621679457065 _z_6989586621679457068) = '[]
Zip3 '[] ((:) _z_6989586621679457071 _z_6989586621679457074) '[] = '[]
Zip3 '[] ((:) _z_6989586621679457077 _z_6989586621679457080) ((:) _z_6989586621679457083 _z_6989586621679457086) = '[]
Zip3 ((:) _z_6989586621679457089 _z_6989586621679457092) '[] '[] = '[]
Zip3 ((:) _z_6989586621679457095 _z_6989586621679457098) '[] ((:) _z_6989586621679457101 _z_6989586621679457104) = '[]
Zip3 ((:) _z_6989586621679457107 _z_6989586621679457110) ((:) _z_6989586621679457113 _z_6989586621679457116) '[] = '[]

type family ZipWith (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: [a]) (a :: [b]) :: [c] where ... Source #

Equations

ZipWith f ((:) x xs) ((:) y ys) = Apply (Apply (:$) (Apply (Apply f x) y)) (Apply (Apply (Apply ZipWithSym0 f) xs) ys)
ZipWith _z_6989586621679457023 '[] '[] = '[]
ZipWith _z_6989586621679457026 ((:) _z_6989586621679457029 _z_6989586621679457032) '[] = '[]
ZipWith _z_6989586621679457035 '[] ((:) _z_6989586621679457038 _z_6989586621679457041) = '[]

type family ZipWith3 (a :: TyFun a (TyFun b (TyFun c d -> Type) -> Type) -> Type) (a :: [a]) (a :: [b]) (a :: [c]) :: [d] where ... Source #

Equations

ZipWith3 z ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:$) (Apply (Apply (Apply z a) b) c)) (Apply (Apply (Apply (Apply ZipWith3Sym0 z) as) bs) cs)
ZipWith3 _z_6989586621679456928 '[] '[] '[] = '[]
ZipWith3 _z_6989586621679456931 '[] '[] ((:) _z_6989586621679456934 _z_6989586621679456937) = '[]
ZipWith3 _z_6989586621679456940 '[] ((:) _z_6989586621679456943 _z_6989586621679456946) '[] = '[]
ZipWith3 _z_6989586621679456949 '[] ((:) _z_6989586621679456952 _z_6989586621679456955) ((:) _z_6989586621679456958 _z_6989586621679456961) = '[]
ZipWith3 _z_6989586621679456964 ((:) _z_6989586621679456967 _z_6989586621679456970) '[] '[] = '[]
ZipWith3 _z_6989586621679456973 ((:) _z_6989586621679456976 _z_6989586621679456979) '[] ((:) _z_6989586621679456982 _z_6989586621679456985) = '[]
ZipWith3 _z_6989586621679456988 ((:) _z_6989586621679456991 _z_6989586621679456994) ((:) _z_6989586621679456997 _z_6989586621679457000) '[] = '[]

type family Unzip (a :: [(a, b)]) :: ([a], [b]) where ... Source #

Equations

Unzip xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_6989586621679456874Sym0 xs)) (Apply (Apply Tuple2Sym0 '[]) '[])) xs

type family Unzip3 (a :: [(a, b, c)]) :: ([a], [b], [c]) where ... Source #

Equations

Unzip3 xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_6989586621679456842Sym0 xs)) (Apply (Apply (Apply Tuple3Sym0 '[]) '[]) '[])) xs

Defunctionalization symbols

type FalseSym0 = False Source #

type TrueSym0 = True Source #

data NotSym0 (l :: TyFun Bool Bool) Source #

Instances

SuppressUnusedWarnings (TyFun Bool Bool -> *) NotSym0 Source #
Methods suppressUnusedWarnings :: Proxy NotSym0 t -> () Source #
type Apply Bool Bool NotSym0 l Source #
type Apply Bool Bool NotSym0 l = Not l

type NotSym1 (t :: Bool) = Not t Source #

data (:&&$) (l :: TyFun Bool (TyFun Bool Bool -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:&&$) Source #
Methods suppressUnusedWarnings :: Proxy (:&&$) t -> () Source #
type Apply Bool (TyFun Bool Bool -> Type) (:&&$) l Source #
type Apply Bool (TyFun Bool Bool -> Type) (:&&$) l = (:&&$$) l

data (l :: Bool) :&&$$ (l :: TyFun Bool Bool) Source #

Instances

SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:&&$$) Source #
Methods suppressUnusedWarnings :: Proxy (:&&$$) t -> () Source #
type Apply Bool Bool ((:&&$$) l1) l2 Source #
type Apply Bool Bool ((:&&$$) l1) l2 = (:&&) l1 l2

type (:&&$$$) (t :: Bool) (t :: Bool) = (:&&) t t Source #

data (:||$) (l :: TyFun Bool (TyFun Bool Bool -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:\|\|$) Source #
Methods suppressUnusedWarnings :: Proxy (:\|\|$) t -> () Source #
type Apply Bool (TyFun Bool Bool -> Type) (:\|\|$) l Source #
type Apply Bool (TyFun Bool Bool -> Type) (:\|\|$) l = (:\|\|$$) l

data (l :: Bool) :||$$ (l :: TyFun Bool Bool) Source #

Instances

SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:\|\|$$) Source #
Methods suppressUnusedWarnings :: Proxy (:\|\|$$) t -> () Source #
type Apply Bool Bool ((:\|\|$$) l1) l2 Source #
type Apply Bool Bool ((:\|\|$$) l1) l2 = (:\|\|) l1 l2

type (:||$$$) (t :: Bool) (t :: Bool) = (:||) t t Source #

type OtherwiseSym0 = Otherwise Source #

type NothingSym0 = Nothing Source #

data JustSym0 (l :: TyFun a3530822107858468865 (Maybe a3530822107858468865)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (Maybe a3530822107858468865) -> *) (JustSym0 a3530822107858468865) Source #
Methods suppressUnusedWarnings :: Proxy (JustSym0 a3530822107858468865) t -> () Source #
type Apply a (Maybe a) (JustSym0 a) l Source #
type Apply a (Maybe a) (JustSym0 a) l = Just a l

type JustSym1 (t :: a3530822107858468865) = Just t Source #

data Maybe_Sym0 (l :: TyFun b6989586621679423211 (TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun b6989586621679423211 (TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> Type) -> *) (Maybe_Sym0 a6989586621679423212 b6989586621679423211) Source #
Methods suppressUnusedWarnings :: Proxy (Maybe_Sym0 a6989586621679423212 b6989586621679423211) t -> () Source #
type Apply b6989586621679423211 (TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> Type) (Maybe_Sym0 a6989586621679423212 b6989586621679423211) l Source #
type Apply b6989586621679423211 (TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> Type) (Maybe_Sym0 a6989586621679423212 b6989586621679423211) l = Maybe_Sym1 a6989586621679423212 b6989586621679423211 l

data Maybe_Sym1 (l :: b6989586621679423211) (l :: TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type)) Source #

Instances

SuppressUnusedWarnings (b6989586621679423211 -> TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> *) (Maybe_Sym1 a6989586621679423212 b6989586621679423211) Source #
Methods suppressUnusedWarnings :: Proxy (Maybe_Sym1 a6989586621679423212 b6989586621679423211) t -> () Source #
type Apply (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) (Maybe_Sym1 a6989586621679423212 b6989586621679423211 l1) l2 Source #
type Apply (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) (Maybe_Sym1 a6989586621679423212 b6989586621679423211 l1) l2 = Maybe_Sym2 a6989586621679423212 b6989586621679423211 l1 l2

data Maybe_Sym2 (l :: b6989586621679423211) (l :: TyFun a6989586621679423212 b6989586621679423211 -> Type) (l :: TyFun (Maybe a6989586621679423212) b6989586621679423211) Source #

Instances

SuppressUnusedWarnings (b6989586621679423211 -> (TyFun a6989586621679423212 b6989586621679423211 -> Type) -> TyFun (Maybe a6989586621679423212) b6989586621679423211 -> *) (Maybe_Sym2 a6989586621679423212 b6989586621679423211) Source #
Methods suppressUnusedWarnings :: Proxy (Maybe_Sym2 a6989586621679423212 b6989586621679423211) t -> () Source #
type Apply (Maybe a) b (Maybe_Sym2 a b l1 l2) l3 Source #
type Apply (Maybe a) b (Maybe_Sym2 a b l1 l2) l3 = Maybe_ a b l1 l2 l3

type Maybe_Sym3 (t :: b6989586621679423211) (t :: TyFun a6989586621679423212 b6989586621679423211 -> Type) (t :: Maybe a6989586621679423212) = Maybe_ t t t Source #

data LeftSym0 (l :: TyFun a6989586621679072801 (Either a6989586621679072801 b6989586621679072802)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679072801 (Either a6989586621679072801 b6989586621679072802) -> *) (LeftSym0 a6989586621679072801 b6989586621679072802) Source #
Methods suppressUnusedWarnings :: Proxy (LeftSym0 a6989586621679072801 b6989586621679072802) t -> () Source #
type Apply a (Either a b6989586621679072802) (LeftSym0 a b6989586621679072802) l Source #
type Apply a (Either a b6989586621679072802) (LeftSym0 a b6989586621679072802) l = Left a b6989586621679072802 l

type LeftSym1 (t :: a6989586621679072801) = Left t Source #

data RightSym0 (l :: TyFun b6989586621679072802 (Either a6989586621679072801 b6989586621679072802)) Source #

Instances

SuppressUnusedWarnings (TyFun b6989586621679072802 (Either a6989586621679072801 b6989586621679072802) -> *) (RightSym0 a6989586621679072801 b6989586621679072802) Source #
Methods suppressUnusedWarnings :: Proxy (RightSym0 a6989586621679072801 b6989586621679072802) t -> () Source #
type Apply b (Either a6989586621679072801 b) (RightSym0 a6989586621679072801 b) l Source #
type Apply b (Either a6989586621679072801 b) (RightSym0 a6989586621679072801 b) l = Right a6989586621679072801 b l

type RightSym1 (t :: b6989586621679072802) = Right t Source #

data Either_Sym0 (l :: TyFun (TyFun a6989586621679433056 c6989586621679433057 -> Type) (TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679433056 c6989586621679433057 -> Type) (TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> Type) -> *) (Either_Sym0 a6989586621679433056 b6989586621679433058 c6989586621679433057) Source #
Methods suppressUnusedWarnings :: Proxy (Either_Sym0 a6989586621679433056 b6989586621679433058 c6989586621679433057) t -> () Source #
type Apply (TyFun a6989586621679433056 c6989586621679433057 -> Type) (TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> Type) (Either_Sym0 a6989586621679433056 b6989586621679433058 c6989586621679433057) l Source #
type Apply (TyFun a6989586621679433056 c6989586621679433057 -> Type) (TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> Type) (Either_Sym0 a6989586621679433056 b6989586621679433058 c6989586621679433057) l = Either_Sym1 a6989586621679433056 b6989586621679433058 c6989586621679433057 l

data Either_Sym1 (l :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (l :: TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679433056 c6989586621679433057 -> Type) -> TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> *) (Either_Sym1 a6989586621679433056 b6989586621679433058 c6989586621679433057) Source #
Methods suppressUnusedWarnings :: Proxy (Either_Sym1 a6989586621679433056 b6989586621679433058 c6989586621679433057) t -> () Source #
type Apply (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) (Either_Sym1 a6989586621679433056 b6989586621679433058 c6989586621679433057 l1) l2 Source #
type Apply (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) (Either_Sym1 a6989586621679433056 b6989586621679433058 c6989586621679433057 l1) l2 = Either_Sym2 a6989586621679433056 b6989586621679433058 c6989586621679433057 l1 l2

data Either_Sym2 (l :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (l :: TyFun b6989586621679433058 c6989586621679433057 -> Type) (l :: TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679433056 c6989586621679433057 -> Type) -> (TyFun b6989586621679433058 c6989586621679433057 -> Type) -> TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> *) (Either_Sym2 a6989586621679433056 b6989586621679433058 c6989586621679433057) Source #
Methods suppressUnusedWarnings :: Proxy (Either_Sym2 a6989586621679433056 b6989586621679433058 c6989586621679433057) t -> () Source #
type Apply (Either a b) c (Either_Sym2 a b c l1 l2) l3 Source #
type Apply (Either a b) c (Either_Sym2 a b c l1 l2) l3 = Either_ a b c l1 l2 l3

type Either_Sym3 (t :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (t :: TyFun b6989586621679433058 c6989586621679433057 -> Type) (t :: Either a6989586621679433056 b6989586621679433058) = Either_ t t t Source #

type Tuple0Sym0 = '() Source #

data Tuple2Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple2Sym0 a3530822107858468865 b3530822107858468866) t -> () Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) l Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) l = Tuple2Sym1 a3530822107858468865 b3530822107858468866 l

data Tuple2Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) (Tuple2Sym1 a3530822107858468865 b3530822107858468866) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple2Sym1 a3530822107858468865 b3530822107858468866) t -> () Source #
type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 Source #
type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 = (,) k2 k1 l1 l2

type Tuple2Sym2 (t :: a3530822107858468865) (t :: b3530822107858468866) = '(t, t) Source #

data Tuple3Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) t -> () Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) l Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) l = Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 l

data Tuple3Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867) t -> () Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 l1) l2 Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 l1) l2 = Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 l1 l2

data Tuple3Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) (Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867) t -> () Source #
type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 Source #
type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 = (,,) k2 k1 k3 l1 l2 l3

type Tuple3Sym3 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) = '(t, t, t) Source #

data Tuple4Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) t -> () Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) l Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) l = Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l

data Tuple4Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) t -> () Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1) l2 Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1) l2 = Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2

data Tuple4Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) t -> () Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2) l3 Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2) l3 = Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2 l3

data Tuple4Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) (Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) t -> () Source #
type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 Source #
type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 = (,,,) k2 k1 k3 k4 l1 l2 l3 l4

type Tuple4Sym4 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) = '(t, t, t, t) Source #

data Tuple5Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) l Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) l = Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l

data Tuple5Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1) l2 Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1) l2 = Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2

data Tuple5Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2) l3 Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2) l3 = Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3

data Tuple5Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #
type Apply d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3) l4 Source #
type Apply d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3) l4 = Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3 l4

data Tuple5Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) (Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #
type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 Source #
type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 = (,,,,) k2 k1 k3 k4 k5 l1 l2 l3 l4 l5

type Tuple5Sym5 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) = '(t, t, t, t, t) Source #

data Tuple6Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) l Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) l = Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l

data Tuple6Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1) l2 Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1) l2 = Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2

data Tuple6Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2) l3 Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2) l3 = Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3

data Tuple6Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #
type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3) l4 Source #
type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3) l4 = Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4

data Tuple6Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #
type Apply e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4) l5 Source #
type Apply e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4) l5 = Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4 l5

data Tuple6Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) (Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #
type Apply k6 (k2, k1, k3, k4, k5, k6) (Tuple6Sym5 k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5) l6 Source #
type Apply k6 (k2, k1, k3, k4, k5, k6) (Tuple6Sym5 k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5) l6 = (,,,,,) k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5 l6

type Tuple6Sym6 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) = '(t, t, t, t, t, t) Source #

data Tuple7Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) l Source #
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) l = Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l

data Tuple7Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1) l2 Source #
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1) l2 = Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2

data Tuple7Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2) l3 Source #
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2) l3 = Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3

data Tuple7Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3) l4 Source #
type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3) l4 = Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4

data Tuple7Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4) l5 Source #
type Apply e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4) l5 = Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4 l5

data Tuple7Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4 l5) l6 Source #
type Apply f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4 l5) l6 = Tuple7Sym6 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4 l5 l6

data Tuple7Sym6 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: f3530822107858468870) (l :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> f3530822107858468870 -> TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) (Tuple7Sym6 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym6 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #
type Apply k7 (k2, k1, k3, k4, k5, k6, k7) (Tuple7Sym6 k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6) l7 Source #
type Apply k7 (k2, k1, k3, k4, k5, k6, k7) (Tuple7Sym6 k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6) l7 = (,,,,,,) k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6 l7

type Tuple7Sym7 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) (t :: g3530822107858468871) = '(t, t, t, t, t, t, t) Source #

data FstSym0 (l :: TyFun (a6989586621679419275, b6989586621679419276) a6989586621679419275) Source #

Instances

SuppressUnusedWarnings (TyFun (a6989586621679419275, b6989586621679419276) a6989586621679419275 -> *) (FstSym0 b6989586621679419276 a6989586621679419275) Source #
Methods suppressUnusedWarnings :: Proxy (FstSym0 b6989586621679419276 a6989586621679419275) t -> () Source #
type Apply (a, b) a (FstSym0 b a) l Source #
type Apply (a, b) a (FstSym0 b a) l = Fst b a l

type FstSym1 (t :: (a6989586621679419275, b6989586621679419276)) = Fst t Source #

data SndSym0 (l :: TyFun (a6989586621679419273, b6989586621679419274) b6989586621679419274) Source #

Instances

SuppressUnusedWarnings (TyFun (a6989586621679419273, b6989586621679419274) b6989586621679419274 -> *) (SndSym0 a6989586621679419273 b6989586621679419274) Source #
Methods suppressUnusedWarnings :: Proxy (SndSym0 a6989586621679419273 b6989586621679419274) t -> () Source #
type Apply (a, b) b (SndSym0 a b) l Source #
type Apply (a, b) b (SndSym0 a b) l = Snd a b l

type SndSym1 (t :: (a6989586621679419273, b6989586621679419274)) = Snd t Source #

data CurrySym0 (l :: TyFun (TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> Type) -> *) (CurrySym0 a6989586621679419270 b6989586621679419271 c6989586621679419272) Source #
Methods suppressUnusedWarnings :: Proxy (CurrySym0 a6989586621679419270 b6989586621679419271 c6989586621679419272) t -> () Source #
type Apply (TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> Type) (CurrySym0 a6989586621679419270 b6989586621679419271 c6989586621679419272) l Source #
type Apply (TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> Type) (CurrySym0 a6989586621679419270 b6989586621679419271 c6989586621679419272) l = CurrySym1 a6989586621679419270 b6989586621679419271 c6989586621679419272 l

data CurrySym1 (l :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (l :: TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) -> TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> *) (CurrySym1 a6989586621679419270 b6989586621679419271 c6989586621679419272) Source #
Methods suppressUnusedWarnings :: Proxy (CurrySym1 a6989586621679419270 b6989586621679419271 c6989586621679419272) t -> () Source #
type Apply a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) (CurrySym1 a6989586621679419270 b6989586621679419271 c6989586621679419272 l1) l2 Source #
type Apply a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) (CurrySym1 a6989586621679419270 b6989586621679419271 c6989586621679419272 l1) l2 = CurrySym2 a6989586621679419270 b6989586621679419271 c6989586621679419272 l1 l2

data CurrySym2 (l :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (l :: a6989586621679419270) (l :: TyFun b6989586621679419271 c6989586621679419272) Source #

Instances

SuppressUnusedWarnings ((TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) -> a6989586621679419270 -> TyFun b6989586621679419271 c6989586621679419272 -> *) (CurrySym2 a6989586621679419270 b6989586621679419271 c6989586621679419272) Source #
Methods suppressUnusedWarnings :: Proxy (CurrySym2 a6989586621679419270 b6989586621679419271 c6989586621679419272) t -> () Source #
type Apply b c (CurrySym2 a b c l1 l2) l3 Source #
type Apply b c (CurrySym2 a b c l1 l2) l3 = Curry a b c l1 l2 l3

type CurrySym3 (t :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (t :: a6989586621679419270) (t :: b6989586621679419271) = Curry t t t Source #

data UncurrySym0 (l :: TyFun (TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> Type) -> *) (UncurrySym0 a6989586621679419267 b6989586621679419268 c6989586621679419269) Source #
Methods suppressUnusedWarnings :: Proxy (UncurrySym0 a6989586621679419267 b6989586621679419268 c6989586621679419269) t -> () Source #
type Apply (TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> Type) (UncurrySym0 a6989586621679419267 b6989586621679419268 c6989586621679419269) l Source #
type Apply (TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> Type) (UncurrySym0 a6989586621679419267 b6989586621679419268 c6989586621679419269) l = UncurrySym1 a6989586621679419267 b6989586621679419268 c6989586621679419269 l

data UncurrySym1 (l :: TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (l :: TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) -> TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> *) (UncurrySym1 a6989586621679419267 b6989586621679419268 c6989586621679419269) Source #
Methods suppressUnusedWarnings :: Proxy (UncurrySym1 a6989586621679419267 b6989586621679419268 c6989586621679419269) t -> () Source #
type Apply (a, b) c (UncurrySym1 a b c l1) l2 Source #
type Apply (a, b) c (UncurrySym1 a b c l1) l2 = Uncurry a b c l1 l2

type UncurrySym2 (t :: TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (t :: (a6989586621679419267, b6989586621679419268)) = Uncurry t t Source #

data (:^$) l Source #

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> ) -> ) (:^$) Source #
Methods suppressUnusedWarnings :: Proxy (:^$) t -> () Source #
type Apply Nat (TyFun Nat Nat -> *) (:^$) l Source #
type Apply Nat (TyFun Nat Nat -> *) (:^$) l = (:^$$) l

data (l :: Nat) :^$$ l Source #

Instances

SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:^$$) Source #
Methods suppressUnusedWarnings :: Proxy (:^$$) t -> () Source #
type Apply Nat Nat ((:^$$) l1) l2 Source #
type Apply Nat Nat ((:^$$) l1) l2 = (:^) l1 l2

data IdSym0 (l :: TyFun a6989586621679277915 a6989586621679277915) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679277915 a6989586621679277915 -> *) (IdSym0 a6989586621679277915) Source #
Methods suppressUnusedWarnings :: Proxy (IdSym0 a6989586621679277915) t -> () Source #
type Apply a a (IdSym0 a) l Source #
type Apply a a (IdSym0 a) l = Id a l

type IdSym1 (t :: a6989586621679277915) = Id t Source #

data ConstSym0 (l :: TyFun a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type) -> *) (ConstSym0 b6989586621679277914 a6989586621679277913) Source #
Methods suppressUnusedWarnings :: Proxy (ConstSym0 b6989586621679277914 a6989586621679277913) t -> () Source #
type Apply a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type) (ConstSym0 b6989586621679277914 a6989586621679277913) l Source #
type Apply a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type) (ConstSym0 b6989586621679277914 a6989586621679277913) l = ConstSym1 b6989586621679277914 a6989586621679277913 l

data ConstSym1 (l :: a6989586621679277913) (l :: TyFun b6989586621679277914 a6989586621679277913) Source #

Instances

SuppressUnusedWarnings (a6989586621679277913 -> TyFun b6989586621679277914 a6989586621679277913 -> *) (ConstSym1 b6989586621679277914 a6989586621679277913) Source #
Methods suppressUnusedWarnings :: Proxy (ConstSym1 b6989586621679277914 a6989586621679277913) t -> () Source #
type Apply b a (ConstSym1 b a l1) l2 Source #
type Apply b a (ConstSym1 b a l1) l2 = Const b a l1 l2

type ConstSym2 (t :: a6989586621679277913) (t :: b6989586621679277914) = Const t t Source #

data (:.$) (l :: TyFun (TyFun b6989586621679277910 c6989586621679277911 -> Type) (TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun b6989586621679277910 c6989586621679277911 -> Type) (TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> Type) -> *) ((:.$) b6989586621679277910 a6989586621679277912 c6989586621679277911) Source #
Methods suppressUnusedWarnings :: Proxy ((b6989586621679277910 :.$ a6989586621679277912) c6989586621679277911) t -> () Source #
type Apply (TyFun b6989586621679277910 c6989586621679277911 -> Type) (TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> Type) ((:.$) b6989586621679277910 a6989586621679277912 c6989586621679277911) l Source #
type Apply (TyFun b6989586621679277910 c6989586621679277911 -> Type) (TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> Type) ((:.$) b6989586621679277910 a6989586621679277912 c6989586621679277911) l = (:.$$) b6989586621679277910 a6989586621679277912 c6989586621679277911 l

data (l :: TyFun b6989586621679277910 c6989586621679277911 -> Type) :.$$ (l :: TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679277910 c6989586621679277911 -> Type) -> TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> *) ((:.$$) b6989586621679277910 a6989586621679277912 c6989586621679277911) Source #
Methods suppressUnusedWarnings :: Proxy ((b6989586621679277910 :.$$ a6989586621679277912) c6989586621679277911) t -> () Source #
type Apply (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) ((:.$$) b6989586621679277910 a6989586621679277912 c6989586621679277911 l1) l2 Source #
type Apply (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) ((:.$$) b6989586621679277910 a6989586621679277912 c6989586621679277911 l1) l2 = (:.$$$) b6989586621679277910 a6989586621679277912 c6989586621679277911 l1 l2

data ((l :: TyFun b6989586621679277910 c6989586621679277911 -> Type) :.$$$ (l :: TyFun a6989586621679277912 b6989586621679277910 -> Type)) (l :: TyFun a6989586621679277912 c6989586621679277911) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679277910 c6989586621679277911 -> Type) -> (TyFun a6989586621679277912 b6989586621679277910 -> Type) -> TyFun a6989586621679277912 c6989586621679277911 -> *) ((:.$$$) b6989586621679277910 a6989586621679277912 c6989586621679277911) Source #
Methods suppressUnusedWarnings :: Proxy ((b6989586621679277910 :.$$$ a6989586621679277912) c6989586621679277911) t -> () Source #
type Apply a c ((:.$$$) b a c l1 l2) l3 Source #
type Apply a c ((:.$$$) b a c l1 l2) l3 = (:.) b a c l1 l2 l3

data ($$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> * Source #

Instances

type Apply (TyFun a b -> ) (TyFun a b -> ) (($$) a b) arg Source #
type Apply (TyFun a b -> ) (TyFun a b -> ) (($$) a b) arg = ($$$) a b arg

data ($$$) :: (TyFun a b -> *) -> TyFun a b -> * Source #

Instances

type Apply a k (($$$) a k f) arg Source #
type Apply a k (($$$) a k f) arg = ($$$$) a k f arg

type ($$$$) a b = ($) a b Source #

data ($!$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> * Source #

Instances

type Apply (TyFun a b -> ) (TyFun a b -> ) (($!$) a b) arg Source #
type Apply (TyFun a b -> ) (TyFun a b -> ) (($!$) a b) arg = ($!$$) a b arg

data ($!$$) :: (TyFun a b -> *) -> TyFun a b -> * Source #

Instances

type Apply a k (($!$$) a k f) arg Source #
type Apply a k (($!$$) a k f) arg = ($!$$$) a k f arg

type ($!$$$) a b = ($!) a b Source #

data FlipSym0 (l :: TyFun (TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> Type) -> *) (FlipSym0 b6989586621679277908 a6989586621679277907 c6989586621679277909) Source #
Methods suppressUnusedWarnings :: Proxy (FlipSym0 b6989586621679277908 a6989586621679277907 c6989586621679277909) t -> () Source #
type Apply (TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> Type) (FlipSym0 b6989586621679277908 a6989586621679277907 c6989586621679277909) l Source #
type Apply (TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> Type) (FlipSym0 b6989586621679277908 a6989586621679277907 c6989586621679277909) l = FlipSym1 b6989586621679277908 a6989586621679277907 c6989586621679277909 l

data FlipSym1 (l :: TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (l :: TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) -> TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> *) (FlipSym1 b6989586621679277908 a6989586621679277907 c6989586621679277909) Source #
Methods suppressUnusedWarnings :: Proxy (FlipSym1 b6989586621679277908 a6989586621679277907 c6989586621679277909) t -> () Source #
type Apply b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) (FlipSym1 b6989586621679277908 a6989586621679277907 c6989586621679277909 l1) l2 Source #
type Apply b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) (FlipSym1 b6989586621679277908 a6989586621679277907 c6989586621679277909 l1) l2 = FlipSym2 b6989586621679277908 a6989586621679277907 c6989586621679277909 l1 l2

data FlipSym2 (l :: TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (l :: b6989586621679277908) (l :: TyFun a6989586621679277907 c6989586621679277909) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) -> b6989586621679277908 -> TyFun a6989586621679277907 c6989586621679277909 -> *) (FlipSym2 b6989586621679277908 a6989586621679277907 c6989586621679277909) Source #
Methods suppressUnusedWarnings :: Proxy (FlipSym2 b6989586621679277908 a6989586621679277907 c6989586621679277909) t -> () Source #
type Apply a c (FlipSym2 b a c l1 l2) l3 Source #
type Apply a c (FlipSym2 b a c l1 l2) l3 = Flip b a c l1 l2 l3

data AsTypeOfSym0 (l :: TyFun a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type) -> *) (AsTypeOfSym0 a6989586621679277906) Source #
Methods suppressUnusedWarnings :: Proxy (AsTypeOfSym0 a6989586621679277906) t -> () Source #
type Apply a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type) (AsTypeOfSym0 a6989586621679277906) l Source #
type Apply a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type) (AsTypeOfSym0 a6989586621679277906) l = AsTypeOfSym1 a6989586621679277906 l

data AsTypeOfSym1 (l :: a6989586621679277906) (l :: TyFun a6989586621679277906 a6989586621679277906) Source #

Instances

SuppressUnusedWarnings (a6989586621679277906 -> TyFun a6989586621679277906 a6989586621679277906 -> *) (AsTypeOfSym1 a6989586621679277906) Source #
Methods suppressUnusedWarnings :: Proxy (AsTypeOfSym1 a6989586621679277906) t -> () Source #
type Apply a a (AsTypeOfSym1 a l1) l2 Source #
type Apply a a (AsTypeOfSym1 a l1) l2 = AsTypeOf a l1 l2

type AsTypeOfSym2 (t :: a6989586621679277906) (t :: a6989586621679277906) = AsTypeOf t t Source #

data SeqSym0 (l :: TyFun a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type) -> *) (SeqSym0 a6989586621679277904 b6989586621679277905) Source #
Methods suppressUnusedWarnings :: Proxy (SeqSym0 a6989586621679277904 b6989586621679277905) t -> () Source #
type Apply a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type) (SeqSym0 a6989586621679277904 b6989586621679277905) l Source #
type Apply a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type) (SeqSym0 a6989586621679277904 b6989586621679277905) l = SeqSym1 a6989586621679277904 b6989586621679277905 l

data SeqSym1 (l :: a6989586621679277904) (l :: TyFun b6989586621679277905 b6989586621679277905) Source #

Instances

SuppressUnusedWarnings (a6989586621679277904 -> TyFun b6989586621679277905 b6989586621679277905 -> *) (SeqSym1 a6989586621679277904 b6989586621679277905) Source #
Methods suppressUnusedWarnings :: Proxy (SeqSym1 a6989586621679277904 b6989586621679277905) t -> () Source #
type Apply b b (SeqSym1 a b l1) l2 Source #
type Apply b b (SeqSym1 a b l1) l2 = Seq a b l1 l2

type SeqSym2 (t :: a6989586621679277904) (t :: b6989586621679277905) = Seq t t Source #

data (:$) (l :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) ((:$) a3530822107858468865) Source #
Methods suppressUnusedWarnings :: Proxy ((:$) a3530822107858468865) t -> () Source #
type Apply a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) ((:$) a3530822107858468865) l Source #
type Apply a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) ((:$) a3530822107858468865) l = (:$$) a3530822107858468865 l

data (l :: a3530822107858468865) :$$ (l :: TyFun [a3530822107858468865] [a3530822107858468865]) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun [a3530822107858468865] [a3530822107858468865] -> *) ((:$$) a3530822107858468865) Source #
Methods suppressUnusedWarnings :: Proxy ((:$$) a3530822107858468865) t -> () Source #
type Apply [a] [a] ((:$$) a l1) l2 Source #
type Apply [a] [a] ((:$$) a l1) l2 = (:) a l1 l2

type (:$$$) (t :: a3530822107858468865) (t :: [a3530822107858468865]) = (:) t t Source #

type NilSym0 = '[] Source #

data MapSym0 (l :: TyFun (TyFun a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type) -> *) (MapSym0 a6989586621679277917 b6989586621679277918) Source #
Methods suppressUnusedWarnings :: Proxy (MapSym0 a6989586621679277917 b6989586621679277918) t -> () Source #
type Apply (TyFun a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type) (MapSym0 a6989586621679277917 b6989586621679277918) l Source #
type Apply (TyFun a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type) (MapSym0 a6989586621679277917 b6989586621679277918) l = MapSym1 a6989586621679277917 b6989586621679277918 l

data MapSym1 (l :: TyFun a6989586621679277917 b6989586621679277918 -> Type) (l :: TyFun [a6989586621679277917] [b6989586621679277918]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679277917 b6989586621679277918 -> Type) -> TyFun [a6989586621679277917] [b6989586621679277918] -> *) (MapSym1 a6989586621679277917 b6989586621679277918) Source #
Methods suppressUnusedWarnings :: Proxy (MapSym1 a6989586621679277917 b6989586621679277918) t -> () Source #
type Apply [a] [b] (MapSym1 a b l1) l2 Source #
type Apply [a] [b] (MapSym1 a b l1) l2 = Map a b l1 l2

type MapSym2 (t :: TyFun a6989586621679277917 b6989586621679277918 -> Type) (t :: [a6989586621679277917]) = Map t t Source #

data ReverseSym0 (l :: TyFun [a6989586621679454958] [a6989586621679454958]) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679454958] [a6989586621679454958] -> *) (ReverseSym0 a6989586621679454958) Source #
Methods suppressUnusedWarnings :: Proxy (ReverseSym0 a6989586621679454958) t -> () Source #
type Apply [a] [a] (ReverseSym0 a) l Source #
type Apply [a] [a] (ReverseSym0 a) l = Reverse a l

type ReverseSym1 (t :: [a6989586621679454958]) = Reverse t Source #

data (l :: [a6989586621679277916]) :++$$ (l :: TyFun [a6989586621679277916] [a6989586621679277916]) Source #

Instances

SuppressUnusedWarnings ([a6989586621679277916] -> TyFun [a6989586621679277916] [a6989586621679277916] -> *) ((:++$$) a6989586621679277916) Source #
Methods suppressUnusedWarnings :: Proxy ((:++$$) a6989586621679277916) t -> () Source #
type Apply [a] [a] ((:++$$) a l1) l2 Source #
type Apply [a] [a] ((:++$$) a l1) l2 = (:++) a l1 l2

data (:++$) (l :: TyFun [a6989586621679277916] (TyFun [a6989586621679277916] [a6989586621679277916] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679277916] (TyFun [a6989586621679277916] [a6989586621679277916] -> Type) -> *) ((:++$) a6989586621679277916) Source #
Methods suppressUnusedWarnings :: Proxy ((:++$) a6989586621679277916) t -> () Source #
type Apply [a6989586621679277916] (TyFun [a6989586621679277916] [a6989586621679277916] -> Type) ((:++$) a6989586621679277916) l Source #
type Apply [a6989586621679277916] (TyFun [a6989586621679277916] [a6989586621679277916] -> Type) ((:++$) a6989586621679277916) l = (:++$$) a6989586621679277916 l

data HeadSym0 (l :: TyFun [a6989586621679454963] a6989586621679454963) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679454963] a6989586621679454963 -> *) (HeadSym0 a6989586621679454963) Source #
Methods suppressUnusedWarnings :: Proxy (HeadSym0 a6989586621679454963) t -> () Source #
type Apply [a] a (HeadSym0 a) l Source #
type Apply [a] a (HeadSym0 a) l = Head a l

type HeadSym1 (t :: [a6989586621679454963]) = Head t Source #

data LastSym0 (l :: TyFun [a6989586621679454962] a6989586621679454962) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679454962] a6989586621679454962 -> *) (LastSym0 a6989586621679454962) Source #
Methods suppressUnusedWarnings :: Proxy (LastSym0 a6989586621679454962) t -> () Source #
type Apply [a] a (LastSym0 a) l Source #
type Apply [a] a (LastSym0 a) l = Last a l

type LastSym1 (t :: [a6989586621679454962]) = Last t Source #

data TailSym0 (l :: TyFun [a6989586621679454961] [a6989586621679454961]) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679454961] [a6989586621679454961] -> *) (TailSym0 a6989586621679454961) Source #
Methods suppressUnusedWarnings :: Proxy (TailSym0 a6989586621679454961) t -> () Source #
type Apply [a] [a] (TailSym0 a) l Source #
type Apply [a] [a] (TailSym0 a) l = Tail a l

type TailSym1 (t :: [a6989586621679454961]) = Tail t Source #

data InitSym0 (l :: TyFun [a6989586621679454960] [a6989586621679454960]) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679454960] [a6989586621679454960] -> *) (InitSym0 a6989586621679454960) Source #
Methods suppressUnusedWarnings :: Proxy (InitSym0 a6989586621679454960) t -> () Source #
type Apply [a] [a] (InitSym0 a) l Source #
type Apply [a] [a] (InitSym0 a) l = Init a l

type InitSym1 (t :: [a6989586621679454960]) = Init t Source #

data NullSym0 (l :: TyFun [a6989586621679454959] Bool) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679454959] Bool -> *) (NullSym0 a6989586621679454959) Source #
Methods suppressUnusedWarnings :: Proxy (NullSym0 a6989586621679454959) t -> () Source #
type Apply [a] Bool (NullSym0 a) l Source #
type Apply [a] Bool (NullSym0 a) l = Null a l

type NullSym1 (t :: [a6989586621679454959]) = Null t Source #

data FoldlSym0 (l :: TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679240791 b6989586621679240792) Source #
Methods suppressUnusedWarnings :: Proxy (FoldlSym0 a6989586621679240791 b6989586621679240792) t -> () Source #
type Apply (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) (FoldlSym0 a6989586621679240791 b6989586621679240792) l Source #
type Apply (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) (FoldlSym0 a6989586621679240791 b6989586621679240792) l = FoldlSym1 a6989586621679240791 b6989586621679240792 l

data FoldlSym1 (l :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (l :: TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) -> TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> *) (FoldlSym1 a6989586621679240791 b6989586621679240792) Source #
Methods suppressUnusedWarnings :: Proxy (FoldlSym1 a6989586621679240791 b6989586621679240792) t -> () Source #
type Apply b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) (FoldlSym1 a6989586621679240791 b6989586621679240792 l1) l2 Source #
type Apply b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) (FoldlSym1 a6989586621679240791 b6989586621679240792 l1) l2 = FoldlSym2 a6989586621679240791 b6989586621679240792 l1 l2

data FoldlSym2 (l :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (l :: b6989586621679240792) (l :: TyFun [a6989586621679240791] b6989586621679240792) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) -> b6989586621679240792 -> TyFun [a6989586621679240791] b6989586621679240792 -> *) (FoldlSym2 a6989586621679240791 b6989586621679240792) Source #
Methods suppressUnusedWarnings :: Proxy (FoldlSym2 a6989586621679240791 b6989586621679240792) t -> () Source #
type Apply [a] b (FoldlSym2 a b l1 l2) l3 Source #
type Apply [a] b (FoldlSym2 a b l1 l2) l3 = Foldl a b l1 l2 l3

type FoldlSym3 (t :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (t :: b6989586621679240792) (t :: [a6989586621679240791]) = Foldl t t t Source #

data Foldl1Sym0 (l :: TyFun (TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (TyFun [a6989586621679454949] a6989586621679454949 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (TyFun [a6989586621679454949] a6989586621679454949 -> Type) -> *) (Foldl1Sym0 a6989586621679454949) Source #
Methods suppressUnusedWarnings :: Proxy (Foldl1Sym0 a6989586621679454949) t -> () Source #
type Apply (TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (TyFun [a6989586621679454949] a6989586621679454949 -> Type) (Foldl1Sym0 a6989586621679454949) l Source #
type Apply (TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (TyFun [a6989586621679454949] a6989586621679454949 -> Type) (Foldl1Sym0 a6989586621679454949) l = Foldl1Sym1 a6989586621679454949 l

data Foldl1Sym1 (l :: TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (l :: TyFun [a6989586621679454949] a6989586621679454949) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) -> TyFun [a6989586621679454949] a6989586621679454949 -> *) (Foldl1Sym1 a6989586621679454949) Source #
Methods suppressUnusedWarnings :: Proxy (Foldl1Sym1 a6989586621679454949) t -> () Source #
type Apply [a] a (Foldl1Sym1 a l1) l2 Source #
type Apply [a] a (Foldl1Sym1 a l1) l2 = Foldl1 a l1 l2

type Foldl1Sym2 (t :: TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (t :: [a6989586621679454949]) = Foldl1 t t Source #

data FoldrSym0 (l :: TyFun (TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679277919 b6989586621679277920) Source #
Methods suppressUnusedWarnings :: Proxy (FoldrSym0 a6989586621679277919 b6989586621679277920) t -> () Source #
type Apply (TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> Type) (FoldrSym0 a6989586621679277919 b6989586621679277920) l Source #
type Apply (TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> Type) (FoldrSym0 a6989586621679277919 b6989586621679277920) l = FoldrSym1 a6989586621679277919 b6989586621679277920 l

data FoldrSym1 (l :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (l :: TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) -> TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> *) (FoldrSym1 a6989586621679277919 b6989586621679277920) Source #
Methods suppressUnusedWarnings :: Proxy (FoldrSym1 a6989586621679277919 b6989586621679277920) t -> () Source #
type Apply b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) (FoldrSym1 a6989586621679277919 b6989586621679277920 l1) l2 Source #
type Apply b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) (FoldrSym1 a6989586621679277919 b6989586621679277920 l1) l2 = FoldrSym2 a6989586621679277919 b6989586621679277920 l1 l2

data FoldrSym2 (l :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (l :: b6989586621679277920) (l :: TyFun [a6989586621679277919] b6989586621679277920) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) -> b6989586621679277920 -> TyFun [a6989586621679277919] b6989586621679277920 -> *) (FoldrSym2 a6989586621679277919 b6989586621679277920) Source #
Methods suppressUnusedWarnings :: Proxy (FoldrSym2 a6989586621679277919 b6989586621679277920) t -> () Source #
type Apply [a] b (FoldrSym2 a b l1 l2) l3 Source #
type Apply [a] b (FoldrSym2 a b l1 l2) l3 = Foldr a b l1 l2 l3

type FoldrSym3 (t :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (t :: b6989586621679277920) (t :: [a6989586621679277919]) = Foldr t t t Source #

data Foldr1Sym0 (l :: TyFun (TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (TyFun [a6989586621679454947] a6989586621679454947 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (TyFun [a6989586621679454947] a6989586621679454947 -> Type) -> *) (Foldr1Sym0 a6989586621679454947) Source #
Methods suppressUnusedWarnings :: Proxy (Foldr1Sym0 a6989586621679454947) t -> () Source #
type Apply (TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (TyFun [a6989586621679454947] a6989586621679454947 -> Type) (Foldr1Sym0 a6989586621679454947) l Source #
type Apply (TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (TyFun [a6989586621679454947] a6989586621679454947 -> Type) (Foldr1Sym0 a6989586621679454947) l = Foldr1Sym1 a6989586621679454947 l

data Foldr1Sym1 (l :: TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (l :: TyFun [a6989586621679454947] a6989586621679454947) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) -> TyFun [a6989586621679454947] a6989586621679454947 -> *) (Foldr1Sym1 a6989586621679454947) Source #
Methods suppressUnusedWarnings :: Proxy (Foldr1Sym1 a6989586621679454947) t -> () Source #
type Apply [a] a (Foldr1Sym1 a l1) l2 Source #
type Apply [a] a (Foldr1Sym1 a l1) l2 = Foldr1 a l1 l2

type Foldr1Sym2 (t :: TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (t :: [a6989586621679454947]) = Foldr1 t t Source #

data ConcatSym0 (l :: TyFun [[a6989586621679454946]] [a6989586621679454946]) Source #

Instances

SuppressUnusedWarnings (TyFun [[a6989586621679454946]] [a6989586621679454946] -> *) (ConcatSym0 a6989586621679454946) Source #
Methods suppressUnusedWarnings :: Proxy (ConcatSym0 a6989586621679454946) t -> () Source #
type Apply [[a]] [a] (ConcatSym0 a) l Source #
type Apply [[a]] [a] (ConcatSym0 a) l = Concat a l

type ConcatSym1 (t :: [[a6989586621679454946]]) = Concat t Source #

data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type) -> *) (ConcatMapSym0 a6989586621679454944 b6989586621679454945) Source #
Methods suppressUnusedWarnings :: Proxy (ConcatMapSym0 a6989586621679454944 b6989586621679454945) t -> () Source #
type Apply (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type) (ConcatMapSym0 a6989586621679454944 b6989586621679454945) l Source #
type Apply (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type) (ConcatMapSym0 a6989586621679454944 b6989586621679454945) l = ConcatMapSym1 a6989586621679454944 b6989586621679454945 l

data ConcatMapSym1 (l :: TyFun a6989586621679454944 [b6989586621679454945] -> Type) (l :: TyFun [a6989586621679454944] [b6989586621679454945]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454944 [b6989586621679454945] -> Type) -> TyFun [a6989586621679454944] [b6989586621679454945] -> *) (ConcatMapSym1 a6989586621679454944 b6989586621679454945) Source #
Methods suppressUnusedWarnings :: Proxy (ConcatMapSym1 a6989586621679454944 b6989586621679454945) t -> () Source #
type Apply [a] [b] (ConcatMapSym1 a b l1) l2 Source #
type Apply [a] [b] (ConcatMapSym1 a b l1) l2 = ConcatMap a b l1 l2

type ConcatMapSym2 (t :: TyFun a6989586621679454944 [b6989586621679454945] -> Type) (t :: [a6989586621679454944]) = ConcatMap t t Source #

data MaximumBySym0 (l :: TyFun (TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (TyFun [a6989586621679454876] a6989586621679454876 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (TyFun [a6989586621679454876] a6989586621679454876 -> Type) -> *) (MaximumBySym0 a6989586621679454876) Source #
Methods suppressUnusedWarnings :: Proxy (MaximumBySym0 a6989586621679454876) t -> () Source #
type Apply (TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (TyFun [a6989586621679454876] a6989586621679454876 -> Type) (MaximumBySym0 a6989586621679454876) l Source #
type Apply (TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (TyFun [a6989586621679454876] a6989586621679454876 -> Type) (MaximumBySym0 a6989586621679454876) l = MaximumBySym1 a6989586621679454876 l

data MaximumBySym1 (l :: TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (l :: TyFun [a6989586621679454876] a6989586621679454876) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) -> TyFun [a6989586621679454876] a6989586621679454876 -> *) (MaximumBySym1 a6989586621679454876) Source #
Methods suppressUnusedWarnings :: Proxy (MaximumBySym1 a6989586621679454876) t -> () Source #
type Apply [a] a (MaximumBySym1 a l1) l2 Source #
type Apply [a] a (MaximumBySym1 a l1) l2 = MaximumBy a l1 l2

type MaximumBySym2 (t :: TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (t :: [a6989586621679454876]) = MaximumBy t t Source #

data MinimumBySym0 (l :: TyFun (TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (TyFun [a6989586621679454875] a6989586621679454875 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (TyFun [a6989586621679454875] a6989586621679454875 -> Type) -> *) (MinimumBySym0 a6989586621679454875) Source #
Methods suppressUnusedWarnings :: Proxy (MinimumBySym0 a6989586621679454875) t -> () Source #
type Apply (TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (TyFun [a6989586621679454875] a6989586621679454875 -> Type) (MinimumBySym0 a6989586621679454875) l Source #
type Apply (TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (TyFun [a6989586621679454875] a6989586621679454875 -> Type) (MinimumBySym0 a6989586621679454875) l = MinimumBySym1 a6989586621679454875 l

data MinimumBySym1 (l :: TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (l :: TyFun [a6989586621679454875] a6989586621679454875) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) -> TyFun [a6989586621679454875] a6989586621679454875 -> *) (MinimumBySym1 a6989586621679454875) Source #
Methods suppressUnusedWarnings :: Proxy (MinimumBySym1 a6989586621679454875) t -> () Source #
type Apply [a] a (MinimumBySym1 a l1) l2 Source #
type Apply [a] a (MinimumBySym1 a l1) l2 = MinimumBy a l1 l2

type MinimumBySym2 (t :: TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (t :: [a6989586621679454875]) = MinimumBy t t Source #

data AndSym0 (l :: TyFun [Bool] Bool) Source #

Instances

SuppressUnusedWarnings (TyFun [Bool] Bool -> *) AndSym0 Source #
Methods suppressUnusedWarnings :: Proxy AndSym0 t -> () Source #
type Apply [Bool] Bool AndSym0 l Source #
type Apply [Bool] Bool AndSym0 l = And l

type AndSym1 (t :: [Bool]) = And t Source #

data OrSym0 (l :: TyFun [Bool] Bool) Source #

Instances

SuppressUnusedWarnings (TyFun [Bool] Bool -> *) OrSym0 Source #
Methods suppressUnusedWarnings :: Proxy OrSym0 t -> () Source #
type Apply [Bool] Bool OrSym0 l Source #
type Apply [Bool] Bool OrSym0 l = Or l

type OrSym1 (t :: [Bool]) = Or t Source #

data Any_Sym0 (l :: TyFun (TyFun a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type) -> *) (Any_Sym0 a6989586621679444727) Source #
Methods suppressUnusedWarnings :: Proxy (Any_Sym0 a6989586621679444727) t -> () Source #
type Apply (TyFun a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type) (Any_Sym0 a6989586621679444727) l Source #
type Apply (TyFun a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type) (Any_Sym0 a6989586621679444727) l = Any_Sym1 a6989586621679444727 l

data Any_Sym1 (l :: TyFun a6989586621679444727 Bool -> Type) (l :: TyFun [a6989586621679444727] Bool) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679444727 Bool -> Type) -> TyFun [a6989586621679444727] Bool -> *) (Any_Sym1 a6989586621679444727) Source #
Methods suppressUnusedWarnings :: Proxy (Any_Sym1 a6989586621679444727) t -> () Source #
type Apply [a] Bool (Any_Sym1 a l1) l2 Source #
type Apply [a] Bool (Any_Sym1 a l1) l2 = Any_ a l1 l2

type Any_Sym2 (t :: TyFun a6989586621679444727 Bool -> Type) (t :: [a6989586621679444727]) = Any_ t t Source #

data AllSym0 (l :: TyFun (TyFun a6989586621679454943 Bool -> Type) (TyFun [a6989586621679454943] Bool -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454943 Bool -> Type) (TyFun [a6989586621679454943] Bool -> Type) -> *) (AllSym0 a6989586621679454943) Source #
Methods suppressUnusedWarnings :: Proxy (AllSym0 a6989586621679454943) t -> () Source #
type Apply (TyFun a6989586621679454943 Bool -> Type) (TyFun [a6989586621679454943] Bool -> Type) (AllSym0 a6989586621679454943) l Source #
type Apply (TyFun a6989586621679454943 Bool -> Type) (TyFun [a6989586621679454943] Bool -> Type) (AllSym0 a6989586621679454943) l = AllSym1 a6989586621679454943 l

data AllSym1 (l :: TyFun a6989586621679454943 Bool -> Type) (l :: TyFun [a6989586621679454943] Bool) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454943 Bool -> Type) -> TyFun [a6989586621679454943] Bool -> *) (AllSym1 a6989586621679454943) Source #
Methods suppressUnusedWarnings :: Proxy (AllSym1 a6989586621679454943) t -> () Source #
type Apply [a] Bool (AllSym1 a l1) l2 Source #
type Apply [a] Bool (AllSym1 a l1) l2 = All a l1 l2

type AllSym2 (t :: TyFun a6989586621679454943 Bool -> Type) (t :: [a6989586621679454943]) = All t t Source #

data ScanlSym0 (l :: TyFun (TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> Type) -> *) (ScanlSym0 a6989586621679454942 b6989586621679454941) Source #
Methods suppressUnusedWarnings :: Proxy (ScanlSym0 a6989586621679454942 b6989586621679454941) t -> () Source #
type Apply (TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> Type) (ScanlSym0 a6989586621679454942 b6989586621679454941) l Source #
type Apply (TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> Type) (ScanlSym0 a6989586621679454942 b6989586621679454941) l = ScanlSym1 a6989586621679454942 b6989586621679454941 l

data ScanlSym1 (l :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (l :: TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) -> TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> *) (ScanlSym1 a6989586621679454942 b6989586621679454941) Source #
Methods suppressUnusedWarnings :: Proxy (ScanlSym1 a6989586621679454942 b6989586621679454941) t -> () Source #
type Apply b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) (ScanlSym1 a6989586621679454942 b6989586621679454941 l1) l2 Source #
type Apply b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) (ScanlSym1 a6989586621679454942 b6989586621679454941 l1) l2 = ScanlSym2 a6989586621679454942 b6989586621679454941 l1 l2

data ScanlSym2 (l :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (l :: b6989586621679454941) (l :: TyFun [a6989586621679454942] [b6989586621679454941]) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) -> b6989586621679454941 -> TyFun [a6989586621679454942] [b6989586621679454941] -> *) (ScanlSym2 a6989586621679454942 b6989586621679454941) Source #
Methods suppressUnusedWarnings :: Proxy (ScanlSym2 a6989586621679454942 b6989586621679454941) t -> () Source #
type Apply [a] [b] (ScanlSym2 a b l1 l2) l3 Source #
type Apply [a] [b] (ScanlSym2 a b l1 l2) l3 = Scanl a b l1 l2 l3

type ScanlSym3 (t :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (t :: b6989586621679454941) (t :: [a6989586621679454942]) = Scanl t t t Source #

data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (TyFun [a6989586621679454940] [a6989586621679454940] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (TyFun [a6989586621679454940] [a6989586621679454940] -> Type) -> *) (Scanl1Sym0 a6989586621679454940) Source #
Methods suppressUnusedWarnings :: Proxy (Scanl1Sym0 a6989586621679454940) t -> () Source #
type Apply (TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (TyFun [a6989586621679454940] [a6989586621679454940] -> Type) (Scanl1Sym0 a6989586621679454940) l Source #
type Apply (TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (TyFun [a6989586621679454940] [a6989586621679454940] -> Type) (Scanl1Sym0 a6989586621679454940) l = Scanl1Sym1 a6989586621679454940 l

data Scanl1Sym1 (l :: TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (l :: TyFun [a6989586621679454940] [a6989586621679454940]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) -> TyFun [a6989586621679454940] [a6989586621679454940] -> *) (Scanl1Sym1 a6989586621679454940) Source #
Methods suppressUnusedWarnings :: Proxy (Scanl1Sym1 a6989586621679454940) t -> () Source #
type Apply [a] [a] (Scanl1Sym1 a l1) l2 Source #
type Apply [a] [a] (Scanl1Sym1 a l1) l2 = Scanl1 a l1 l2

type Scanl1Sym2 (t :: TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (t :: [a6989586621679454940]) = Scanl1 t t Source #

data ScanrSym0 (l :: TyFun (TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> Type) -> *) (ScanrSym0 a6989586621679454938 b6989586621679454939) Source #
Methods suppressUnusedWarnings :: Proxy (ScanrSym0 a6989586621679454938 b6989586621679454939) t -> () Source #
type Apply (TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> Type) (ScanrSym0 a6989586621679454938 b6989586621679454939) l Source #
type Apply (TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> Type) (ScanrSym0 a6989586621679454938 b6989586621679454939) l = ScanrSym1 a6989586621679454938 b6989586621679454939 l

data ScanrSym1 (l :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (l :: TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) -> TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> *) (ScanrSym1 a6989586621679454938 b6989586621679454939) Source #
Methods suppressUnusedWarnings :: Proxy (ScanrSym1 a6989586621679454938 b6989586621679454939) t -> () Source #
type Apply b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) (ScanrSym1 a6989586621679454938 b6989586621679454939 l1) l2 Source #
type Apply b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) (ScanrSym1 a6989586621679454938 b6989586621679454939 l1) l2 = ScanrSym2 a6989586621679454938 b6989586621679454939 l1 l2

data ScanrSym2 (l :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (l :: b6989586621679454939) (l :: TyFun [a6989586621679454938] [b6989586621679454939]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) -> b6989586621679454939 -> TyFun [a6989586621679454938] [b6989586621679454939] -> *) (ScanrSym2 a6989586621679454938 b6989586621679454939) Source #
Methods suppressUnusedWarnings :: Proxy (ScanrSym2 a6989586621679454938 b6989586621679454939) t -> () Source #
type Apply [a] [b] (ScanrSym2 a b l1 l2) l3 Source #
type Apply [a] [b] (ScanrSym2 a b l1 l2) l3 = Scanr a b l1 l2 l3

type ScanrSym3 (t :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (t :: b6989586621679454939) (t :: [a6989586621679454938]) = Scanr t t t Source #

data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (TyFun [a6989586621679454937] [a6989586621679454937] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (TyFun [a6989586621679454937] [a6989586621679454937] -> Type) -> *) (Scanr1Sym0 a6989586621679454937) Source #
Methods suppressUnusedWarnings :: Proxy (Scanr1Sym0 a6989586621679454937) t -> () Source #
type Apply (TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (TyFun [a6989586621679454937] [a6989586621679454937] -> Type) (Scanr1Sym0 a6989586621679454937) l Source #
type Apply (TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (TyFun [a6989586621679454937] [a6989586621679454937] -> Type) (Scanr1Sym0 a6989586621679454937) l = Scanr1Sym1 a6989586621679454937 l

data Scanr1Sym1 (l :: TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (l :: TyFun [a6989586621679454937] [a6989586621679454937]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) -> TyFun [a6989586621679454937] [a6989586621679454937] -> *) (Scanr1Sym1 a6989586621679454937) Source #
Methods suppressUnusedWarnings :: Proxy (Scanr1Sym1 a6989586621679454937) t -> () Source #
type Apply [a] [a] (Scanr1Sym1 a l1) l2 Source #
type Apply [a] [a] (Scanr1Sym1 a l1) l2 = Scanr1 a l1 l2

type Scanr1Sym2 (t :: TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (t :: [a6989586621679454937]) = Scanr1 t t Source #

data ElemSym0 (l :: TyFun a6989586621679454923 (TyFun [a6989586621679454923] Bool -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679454923 (TyFun [a6989586621679454923] Bool -> Type) -> *) (ElemSym0 a6989586621679454923) Source #
Methods suppressUnusedWarnings :: Proxy (ElemSym0 a6989586621679454923) t -> () Source #
type Apply a6989586621679454923 (TyFun [a6989586621679454923] Bool -> Type) (ElemSym0 a6989586621679454923) l Source #
type Apply a6989586621679454923 (TyFun [a6989586621679454923] Bool -> Type) (ElemSym0 a6989586621679454923) l = ElemSym1 a6989586621679454923 l

data ElemSym1 (l :: a6989586621679454923) (l :: TyFun [a6989586621679454923] Bool) Source #

Instances

SuppressUnusedWarnings (a6989586621679454923 -> TyFun [a6989586621679454923] Bool -> *) (ElemSym1 a6989586621679454923) Source #
Methods suppressUnusedWarnings :: Proxy (ElemSym1 a6989586621679454923) t -> () Source #
type Apply [a] Bool (ElemSym1 a l1) l2 Source #
type Apply [a] Bool (ElemSym1 a l1) l2 = Elem a l1 l2

type ElemSym2 (t :: a6989586621679454923) (t :: [a6989586621679454923]) = Elem t t Source #

data NotElemSym0 (l :: TyFun a6989586621679454922 (TyFun [a6989586621679454922] Bool -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679454922 (TyFun [a6989586621679454922] Bool -> Type) -> *) (NotElemSym0 a6989586621679454922) Source #
Methods suppressUnusedWarnings :: Proxy (NotElemSym0 a6989586621679454922) t -> () Source #
type Apply a6989586621679454922 (TyFun [a6989586621679454922] Bool -> Type) (NotElemSym0 a6989586621679454922) l Source #
type Apply a6989586621679454922 (TyFun [a6989586621679454922] Bool -> Type) (NotElemSym0 a6989586621679454922) l = NotElemSym1 a6989586621679454922 l

data NotElemSym1 (l :: a6989586621679454922) (l :: TyFun [a6989586621679454922] Bool) Source #

Instances

SuppressUnusedWarnings (a6989586621679454922 -> TyFun [a6989586621679454922] Bool -> *) (NotElemSym1 a6989586621679454922) Source #
Methods suppressUnusedWarnings :: Proxy (NotElemSym1 a6989586621679454922) t -> () Source #
type Apply [a] Bool (NotElemSym1 a l1) l2 Source #
type Apply [a] Bool (NotElemSym1 a l1) l2 = NotElem a l1 l2

type NotElemSym2 (t :: a6989586621679454922) (t :: [a6989586621679454922]) = NotElem t t Source #

data ZipSym0 (l :: TyFun [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type) -> *) (ZipSym0 a6989586621679454920 b6989586621679454921) Source #
Methods suppressUnusedWarnings :: Proxy (ZipSym0 a6989586621679454920 b6989586621679454921) t -> () Source #
type Apply [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type) (ZipSym0 a6989586621679454920 b6989586621679454921) l Source #
type Apply [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type) (ZipSym0 a6989586621679454920 b6989586621679454921) l = ZipSym1 a6989586621679454920 b6989586621679454921 l

data ZipSym1 (l :: [a6989586621679454920]) (l :: TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)]) Source #

Instances

SuppressUnusedWarnings ([a6989586621679454920] -> TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> *) (ZipSym1 a6989586621679454920 b6989586621679454921) Source #
Methods suppressUnusedWarnings :: Proxy (ZipSym1 a6989586621679454920 b6989586621679454921) t -> () Source #
type Apply [b] [(a, b)] (ZipSym1 a b l1) l2 Source #
type Apply [b] [(a, b)] (ZipSym1 a b l1) l2 = Zip a b l1 l2

type ZipSym2 (t :: [a6989586621679454920]) (t :: [b6989586621679454921]) = Zip t t Source #

data Zip3Sym0 (l :: TyFun [a6989586621679454917] (TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679454917] (TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> Type) -> *) (Zip3Sym0 a6989586621679454917 b6989586621679454918 c6989586621679454919) Source #
Methods suppressUnusedWarnings :: Proxy (Zip3Sym0 a6989586621679454917 b6989586621679454918 c6989586621679454919) t -> () Source #
type Apply [a6989586621679454917] (TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> Type) (Zip3Sym0 a6989586621679454917 b6989586621679454918 c6989586621679454919) l Source #
type Apply [a6989586621679454917] (TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> Type) (Zip3Sym0 a6989586621679454917 b6989586621679454918 c6989586621679454919) l = Zip3Sym1 a6989586621679454917 b6989586621679454918 c6989586621679454919 l

data Zip3Sym1 (l :: [a6989586621679454917]) (l :: TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type)) Source #

Instances

SuppressUnusedWarnings ([a6989586621679454917] -> TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> *) (Zip3Sym1 a6989586621679454917 b6989586621679454918 c6989586621679454919) Source #
Methods suppressUnusedWarnings :: Proxy (Zip3Sym1 a6989586621679454917 b6989586621679454918 c6989586621679454919) t -> () Source #
type Apply [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) (Zip3Sym1 a6989586621679454917 b6989586621679454918 c6989586621679454919 l1) l2 Source #
type Apply [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) (Zip3Sym1 a6989586621679454917 b6989586621679454918 c6989586621679454919 l1) l2 = Zip3Sym2 a6989586621679454917 b6989586621679454918 c6989586621679454919 l1 l2

data Zip3Sym2 (l :: [a6989586621679454917]) (l :: [b6989586621679454918]) (l :: TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)]) Source #

Instances

SuppressUnusedWarnings ([a6989586621679454917] -> [b6989586621679454918] -> TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> *) (Zip3Sym2 a6989586621679454917 b6989586621679454918 c6989586621679454919) Source #
Methods suppressUnusedWarnings :: Proxy (Zip3Sym2 a6989586621679454917 b6989586621679454918 c6989586621679454919) t -> () Source #
type Apply [c] [(a, b, c)] (Zip3Sym2 a b c l1 l2) l3 Source #
type Apply [c] [(a, b, c)] (Zip3Sym2 a b c l1 l2) l3 = Zip3 a b c l1 l2 l3

type Zip3Sym3 (t :: [a6989586621679454917]) (t :: [b6989586621679454918]) (t :: [c6989586621679454919]) = Zip3 t t t Source #

data ZipWithSym0 (l :: TyFun (TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679454914 b6989586621679454915 c6989586621679454916) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym0 a6989586621679454914 b6989586621679454915 c6989586621679454916) t -> () Source #
type Apply (TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> Type) (ZipWithSym0 a6989586621679454914 b6989586621679454915 c6989586621679454916) l Source #
type Apply (TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> Type) (ZipWithSym0 a6989586621679454914 b6989586621679454915 c6989586621679454916) l = ZipWithSym1 a6989586621679454914 b6989586621679454915 c6989586621679454916 l

data ZipWithSym1 (l :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (l :: TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) -> TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> *) (ZipWithSym1 a6989586621679454914 b6989586621679454915 c6989586621679454916) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym1 a6989586621679454914 b6989586621679454915 c6989586621679454916) t -> () Source #
type Apply [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) (ZipWithSym1 a6989586621679454914 b6989586621679454915 c6989586621679454916 l1) l2 Source #
type Apply [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) (ZipWithSym1 a6989586621679454914 b6989586621679454915 c6989586621679454916 l1) l2 = ZipWithSym2 a6989586621679454914 b6989586621679454915 c6989586621679454916 l1 l2

data ZipWithSym2 (l :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (l :: [a6989586621679454914]) (l :: TyFun [b6989586621679454915] [c6989586621679454916]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) -> [a6989586621679454914] -> TyFun [b6989586621679454915] [c6989586621679454916] -> *) (ZipWithSym2 a6989586621679454914 b6989586621679454915 c6989586621679454916) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym2 a6989586621679454914 b6989586621679454915 c6989586621679454916) t -> () Source #
type Apply [b] [c] (ZipWithSym2 a b c l1 l2) l3 Source #
type Apply [b] [c] (ZipWithSym2 a b c l1 l2) l3 = ZipWith a b c l1 l2 l3

type ZipWithSym3 (t :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (t :: [a6989586621679454914]) (t :: [b6989586621679454915]) = ZipWith t t t Source #

data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym0 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) t -> () Source #
type Apply (TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) -> Type) (ZipWith3Sym0 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) l Source #
type Apply (TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) -> Type) (ZipWith3Sym0 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) l = ZipWith3Sym1 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913 l

data ZipWith3Sym1 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) -> TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) -> *) (ZipWith3Sym1 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym1 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) t -> () Source #
type Apply [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) (ZipWith3Sym1 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913 l1) l2 Source #
type Apply [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) (ZipWith3Sym1 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913 l1) l2 = ZipWith3Sym2 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913 l1 l2

data ZipWith3Sym2 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: [a6989586621679454910]) (l :: TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) -> [a6989586621679454910] -> TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> *) (ZipWith3Sym2 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym2 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) t -> () Source #
type Apply [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) (ZipWith3Sym2 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913 l1 l2) l3 Source #
type Apply [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) (ZipWith3Sym2 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913 l1 l2) l3 = ZipWith3Sym3 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913 l1 l2 l3

data ZipWith3Sym3 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: [a6989586621679454910]) (l :: [b6989586621679454911]) (l :: TyFun [c6989586621679454912] [d6989586621679454913]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) -> [a6989586621679454910] -> [b6989586621679454911] -> TyFun [c6989586621679454912] [d6989586621679454913] -> *) (ZipWith3Sym3 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym3 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) t -> () Source #
type Apply [c] [d] (ZipWith3Sym3 a b c d l1 l2 l3) l4 Source #
type Apply [c] [d] (ZipWith3Sym3 a b c d l1 l2 l3) l4 = ZipWith3 a b c d l1 l2 l3 l4

data UnzipSym0 (l :: TyFun [(a6989586621679454908, b6989586621679454909)] ([a6989586621679454908], [b6989586621679454909])) Source #

Instances

SuppressUnusedWarnings (TyFun [(a6989586621679454908, b6989586621679454909)] ([a6989586621679454908], [b6989586621679454909]) -> *) (UnzipSym0 a6989586621679454908 b6989586621679454909) Source #
Methods suppressUnusedWarnings :: Proxy (UnzipSym0 a6989586621679454908 b6989586621679454909) t -> () Source #
type Apply [(a, b)] ([a], [b]) (UnzipSym0 a b) l Source #
type Apply [(a, b)] ([a], [b]) (UnzipSym0 a b) l = Unzip a b l

type UnzipSym1 (t :: [(a6989586621679454908, b6989586621679454909)]) = Unzip t Source #

data UntilSym0 (l :: TyFun (TyFun a6989586621679442441 Bool -> Type) (TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679442441 Bool -> Type) (TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> Type) -> *) (UntilSym0 a6989586621679442441) Source #
Methods suppressUnusedWarnings :: Proxy (UntilSym0 a6989586621679442441) t -> () Source #
type Apply (TyFun a6989586621679442441 Bool -> Type) (TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> Type) (UntilSym0 a6989586621679442441) l Source #
type Apply (TyFun a6989586621679442441 Bool -> Type) (TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> Type) (UntilSym0 a6989586621679442441) l = UntilSym1 a6989586621679442441 l

data UntilSym1 (l :: TyFun a6989586621679442441 Bool -> Type) (l :: TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679442441 Bool -> Type) -> TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> *) (UntilSym1 a6989586621679442441) Source #
Methods suppressUnusedWarnings :: Proxy (UntilSym1 a6989586621679442441) t -> () Source #
type Apply (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) (UntilSym1 a6989586621679442441 l1) l2 Source #
type Apply (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) (UntilSym1 a6989586621679442441 l1) l2 = UntilSym2 a6989586621679442441 l1 l2

data UntilSym2 (l :: TyFun a6989586621679442441 Bool -> Type) (l :: TyFun a6989586621679442441 a6989586621679442441 -> Type) (l :: TyFun a6989586621679442441 a6989586621679442441) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679442441 Bool -> Type) -> (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> TyFun a6989586621679442441 a6989586621679442441 -> *) (UntilSym2 a6989586621679442441) Source #
Methods suppressUnusedWarnings :: Proxy (UntilSym2 a6989586621679442441) t -> () Source #
type Apply a a (UntilSym2 a l1 l2) l3 Source #
type Apply a a (UntilSym2 a l1 l2) l3 = Until a l1 l2 l3

type UntilSym3 (t :: TyFun a6989586621679442441 Bool -> Type) (t :: TyFun a6989586621679442441 a6989586621679442441 -> Type) (t :: a6989586621679442441) = Until t t t Source #

data LengthSym0 (l :: TyFun [a6989586621679454846] Nat) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679454846] Nat -> *) (LengthSym0 a6989586621679454846) Source #
Methods suppressUnusedWarnings :: Proxy (LengthSym0 a6989586621679454846) t -> () Source #
type Apply [a] Nat (LengthSym0 a) l Source #
type Apply [a] Nat (LengthSym0 a) l = Length a l

type LengthSym1 (t :: [a6989586621679454846]) = Length t Source #

data SumSym0 (l :: TyFun [a6989586621679454848] a6989586621679454848) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679454848] a6989586621679454848 -> *) (SumSym0 a6989586621679454848) Source #
Methods suppressUnusedWarnings :: Proxy (SumSym0 a6989586621679454848) t -> () Source #
type Apply [a] a (SumSym0 a) l Source #
type Apply [a] a (SumSym0 a) l = Sum a l

type SumSym1 (t :: [a6989586621679454848]) = Sum t Source #

data ProductSym0 (l :: TyFun [a6989586621679454847] a6989586621679454847) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679454847] a6989586621679454847 -> *) (ProductSym0 a6989586621679454847) Source #
Methods suppressUnusedWarnings :: Proxy (ProductSym0 a6989586621679454847) t -> () Source #
type Apply [a] a (ProductSym0 a) l Source #
type Apply [a] a (ProductSym0 a) l = Product a l

type ProductSym1 (t :: [a6989586621679454847]) = Product t Source #

data ReplicateSym0 (l :: TyFun Nat (TyFun a6989586621679454845 [a6989586621679454845] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun a6989586621679454845 [a6989586621679454845] -> Type) -> *) (ReplicateSym0 a6989586621679454845) Source #
Methods suppressUnusedWarnings :: Proxy (ReplicateSym0 a6989586621679454845) t -> () Source #
type Apply Nat (TyFun a6989586621679454845 [a6989586621679454845] -> Type) (ReplicateSym0 a6989586621679454845) l Source #
type Apply Nat (TyFun a6989586621679454845 [a6989586621679454845] -> Type) (ReplicateSym0 a6989586621679454845) l = ReplicateSym1 a6989586621679454845 l

data ReplicateSym1 (l :: Nat) (l :: TyFun a6989586621679454845 [a6989586621679454845]) Source #

Instances

SuppressUnusedWarnings (Nat -> TyFun a6989586621679454845 [a6989586621679454845] -> *) (ReplicateSym1 a6989586621679454845) Source #
Methods suppressUnusedWarnings :: Proxy (ReplicateSym1 a6989586621679454845) t -> () Source #
type Apply a [a] (ReplicateSym1 a l1) l2 Source #
type Apply a [a] (ReplicateSym1 a l1) l2 = Replicate a l1 l2

type ReplicateSym2 (t :: Nat) (t :: a6989586621679454845) = Replicate t t Source #

data TakeSym0 (l :: TyFun Nat (TyFun [a6989586621679454861] [a6989586621679454861] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679454861] [a6989586621679454861] -> Type) -> *) (TakeSym0 a6989586621679454861) Source #
Methods suppressUnusedWarnings :: Proxy (TakeSym0 a6989586621679454861) t -> () Source #
type Apply Nat (TyFun [a6989586621679454861] [a6989586621679454861] -> Type) (TakeSym0 a6989586621679454861) l Source #
type Apply Nat (TyFun [a6989586621679454861] [a6989586621679454861] -> Type) (TakeSym0 a6989586621679454861) l = TakeSym1 a6989586621679454861 l

data TakeSym1 (l :: Nat) (l :: TyFun [a6989586621679454861] [a6989586621679454861]) Source #

Instances

SuppressUnusedWarnings (Nat -> TyFun [a6989586621679454861] [a6989586621679454861] -> *) (TakeSym1 a6989586621679454861) Source #
Methods suppressUnusedWarnings :: Proxy (TakeSym1 a6989586621679454861) t -> () Source #
type Apply [a] [a] (TakeSym1 a l1) l2 Source #
type Apply [a] [a] (TakeSym1 a l1) l2 = Take a l1 l2

type TakeSym2 (t :: Nat) (t :: [a6989586621679454861]) = Take t t Source #

data DropSym0 (l :: TyFun Nat (TyFun [a6989586621679454860] [a6989586621679454860] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679454860] [a6989586621679454860] -> Type) -> *) (DropSym0 a6989586621679454860) Source #
Methods suppressUnusedWarnings :: Proxy (DropSym0 a6989586621679454860) t -> () Source #
type Apply Nat (TyFun [a6989586621679454860] [a6989586621679454860] -> Type) (DropSym0 a6989586621679454860) l Source #
type Apply Nat (TyFun [a6989586621679454860] [a6989586621679454860] -> Type) (DropSym0 a6989586621679454860) l = DropSym1 a6989586621679454860 l

data DropSym1 (l :: Nat) (l :: TyFun [a6989586621679454860] [a6989586621679454860]) Source #

Instances

SuppressUnusedWarnings (Nat -> TyFun [a6989586621679454860] [a6989586621679454860] -> *) (DropSym1 a6989586621679454860) Source #
Methods suppressUnusedWarnings :: Proxy (DropSym1 a6989586621679454860) t -> () Source #
type Apply [a] [a] (DropSym1 a l1) l2 Source #
type Apply [a] [a] (DropSym1 a l1) l2 = Drop a l1 l2

type DropSym2 (t :: Nat) (t :: [a6989586621679454860]) = Drop t t Source #

data SplitAtSym0 (l :: TyFun Nat (TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> Type) -> *) (SplitAtSym0 a6989586621679454859) Source #
Methods suppressUnusedWarnings :: Proxy (SplitAtSym0 a6989586621679454859) t -> () Source #
type Apply Nat (TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> Type) (SplitAtSym0 a6989586621679454859) l Source #
type Apply Nat (TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> Type) (SplitAtSym0 a6989586621679454859) l = SplitAtSym1 a6989586621679454859 l

data SplitAtSym1 (l :: Nat) (l :: TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859])) Source #

Instances

SuppressUnusedWarnings (Nat -> TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> *) (SplitAtSym1 a6989586621679454859) Source #
Methods suppressUnusedWarnings :: Proxy (SplitAtSym1 a6989586621679454859) t -> () Source #
type Apply [a] ([a], [a]) (SplitAtSym1 a l1) l2 Source #
type Apply [a] ([a], [a]) (SplitAtSym1 a l1) l2 = SplitAt a l1 l2

type SplitAtSym2 (t :: Nat) (t :: [a6989586621679454859]) = SplitAt t t Source #

data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679454866 Bool -> Type) (TyFun [a6989586621679454866] [a6989586621679454866] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454866 Bool -> Type) (TyFun [a6989586621679454866] [a6989586621679454866] -> Type) -> *) (TakeWhileSym0 a6989586621679454866) Source #
Methods suppressUnusedWarnings :: Proxy (TakeWhileSym0 a6989586621679454866) t -> () Source #
type Apply (TyFun a6989586621679454866 Bool -> Type) (TyFun [a6989586621679454866] [a6989586621679454866] -> Type) (TakeWhileSym0 a6989586621679454866) l Source #
type Apply (TyFun a6989586621679454866 Bool -> Type) (TyFun [a6989586621679454866] [a6989586621679454866] -> Type) (TakeWhileSym0 a6989586621679454866) l = TakeWhileSym1 a6989586621679454866 l

data TakeWhileSym1 (l :: TyFun a6989586621679454866 Bool -> Type) (l :: TyFun [a6989586621679454866] [a6989586621679454866]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454866 Bool -> Type) -> TyFun [a6989586621679454866] [a6989586621679454866] -> *) (TakeWhileSym1 a6989586621679454866) Source #
Methods suppressUnusedWarnings :: Proxy (TakeWhileSym1 a6989586621679454866) t -> () Source #
type Apply [a] [a] (TakeWhileSym1 a l1) l2 Source #
type Apply [a] [a] (TakeWhileSym1 a l1) l2 = TakeWhile a l1 l2

type TakeWhileSym2 (t :: TyFun a6989586621679454866 Bool -> Type) (t :: [a6989586621679454866]) = TakeWhile t t Source #

data DropWhileSym0 (l :: TyFun (TyFun a6989586621679454865 Bool -> Type) (TyFun [a6989586621679454865] [a6989586621679454865] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454865 Bool -> Type) (TyFun [a6989586621679454865] [a6989586621679454865] -> Type) -> *) (DropWhileSym0 a6989586621679454865) Source #
Methods suppressUnusedWarnings :: Proxy (DropWhileSym0 a6989586621679454865) t -> () Source #
type Apply (TyFun a6989586621679454865 Bool -> Type) (TyFun [a6989586621679454865] [a6989586621679454865] -> Type) (DropWhileSym0 a6989586621679454865) l Source #
type Apply (TyFun a6989586621679454865 Bool -> Type) (TyFun [a6989586621679454865] [a6989586621679454865] -> Type) (DropWhileSym0 a6989586621679454865) l = DropWhileSym1 a6989586621679454865 l

data DropWhileSym1 (l :: TyFun a6989586621679454865 Bool -> Type) (l :: TyFun [a6989586621679454865] [a6989586621679454865]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454865 Bool -> Type) -> TyFun [a6989586621679454865] [a6989586621679454865] -> *) (DropWhileSym1 a6989586621679454865) Source #
Methods suppressUnusedWarnings :: Proxy (DropWhileSym1 a6989586621679454865) t -> () Source #
type Apply [a] [a] (DropWhileSym1 a l1) l2 Source #
type Apply [a] [a] (DropWhileSym1 a l1) l2 = DropWhile a l1 l2

type DropWhileSym2 (t :: TyFun a6989586621679454865 Bool -> Type) (t :: [a6989586621679454865]) = DropWhile t t Source #

data SpanSym0 (l :: TyFun (TyFun a6989586621679454863 Bool -> Type) (TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863]) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454863 Bool -> Type) (TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863]) -> Type) -> *) (SpanSym0 a6989586621679454863) Source #
Methods suppressUnusedWarnings :: Proxy (SpanSym0 a6989586621679454863) t -> () Source #
type Apply (TyFun a6989586621679454863 Bool -> Type) (TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863]) -> Type) (SpanSym0 a6989586621679454863) l Source #
type Apply (TyFun a6989586621679454863 Bool -> Type) (TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863]) -> Type) (SpanSym0 a6989586621679454863) l = SpanSym1 a6989586621679454863 l

data SpanSym1 (l :: TyFun a6989586621679454863 Bool -> Type) (l :: TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863])) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454863 Bool -> Type) -> TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863]) -> *) (SpanSym1 a6989586621679454863) Source #
Methods suppressUnusedWarnings :: Proxy (SpanSym1 a6989586621679454863) t -> () Source #
type Apply [a] ([a], [a]) (SpanSym1 a l1) l2 Source #
type Apply [a] ([a], [a]) (SpanSym1 a l1) l2 = Span a l1 l2

type SpanSym2 (t :: TyFun a6989586621679454863 Bool -> Type) (t :: [a6989586621679454863]) = Span t t Source #

data BreakSym0 (l :: TyFun (TyFun a6989586621679454862 Bool -> Type) (TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862]) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454862 Bool -> Type) (TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862]) -> Type) -> *) (BreakSym0 a6989586621679454862) Source #
Methods suppressUnusedWarnings :: Proxy (BreakSym0 a6989586621679454862) t -> () Source #
type Apply (TyFun a6989586621679454862 Bool -> Type) (TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862]) -> Type) (BreakSym0 a6989586621679454862) l Source #
type Apply (TyFun a6989586621679454862 Bool -> Type) (TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862]) -> Type) (BreakSym0 a6989586621679454862) l = BreakSym1 a6989586621679454862 l

data BreakSym1 (l :: TyFun a6989586621679454862 Bool -> Type) (l :: TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862])) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454862 Bool -> Type) -> TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862]) -> *) (BreakSym1 a6989586621679454862) Source #
Methods suppressUnusedWarnings :: Proxy (BreakSym1 a6989586621679454862) t -> () Source #
type Apply [a] ([a], [a]) (BreakSym1 a l1) l2 Source #
type Apply [a] ([a], [a]) (BreakSym1 a l1) l2 = Break a l1 l2

type BreakSym2 (t :: TyFun a6989586621679454862 Bool -> Type) (t :: [a6989586621679454862]) = Break t t Source #

data LookupSym0 (l :: TyFun a6989586621679454851 (TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679454851 (TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852) -> Type) -> *) (LookupSym0 a6989586621679454851 b6989586621679454852) Source #
Methods suppressUnusedWarnings :: Proxy (LookupSym0 a6989586621679454851 b6989586621679454852) t -> () Source #
type Apply a6989586621679454851 (TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852) -> Type) (LookupSym0 a6989586621679454851 b6989586621679454852) l Source #
type Apply a6989586621679454851 (TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852) -> Type) (LookupSym0 a6989586621679454851 b6989586621679454852) l = LookupSym1 a6989586621679454851 b6989586621679454852 l

data LookupSym1 (l :: a6989586621679454851) (l :: TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852)) Source #

Instances

SuppressUnusedWarnings (a6989586621679454851 -> TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852) -> *) (LookupSym1 a6989586621679454851 b6989586621679454852) Source #
Methods suppressUnusedWarnings :: Proxy (LookupSym1 a6989586621679454851 b6989586621679454852) t -> () Source #
type Apply [(a, b)] (Maybe b) (LookupSym1 a b l1) l2 Source #
type Apply [(a, b)] (Maybe b) (LookupSym1 a b l1) l2 = Lookup a b l1 l2

type LookupSym2 (t :: a6989586621679454851) (t :: [(a6989586621679454851, b6989586621679454852)]) = Lookup t t Source #

data FilterSym0 (l :: TyFun (TyFun a6989586621679454874 Bool -> Type) (TyFun [a6989586621679454874] [a6989586621679454874] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454874 Bool -> Type) (TyFun [a6989586621679454874] [a6989586621679454874] -> Type) -> *) (FilterSym0 a6989586621679454874) Source #
Methods suppressUnusedWarnings :: Proxy (FilterSym0 a6989586621679454874) t -> () Source #
type Apply (TyFun a6989586621679454874 Bool -> Type) (TyFun [a6989586621679454874] [a6989586621679454874] -> Type) (FilterSym0 a6989586621679454874) l Source #
type Apply (TyFun a6989586621679454874 Bool -> Type) (TyFun [a6989586621679454874] [a6989586621679454874] -> Type) (FilterSym0 a6989586621679454874) l = FilterSym1 a6989586621679454874 l

data FilterSym1 (l :: TyFun a6989586621679454874 Bool -> Type) (l :: TyFun [a6989586621679454874] [a6989586621679454874]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679454874 Bool -> Type) -> TyFun [a6989586621679454874] [a6989586621679454874] -> *) (FilterSym1 a6989586621679454874) Source #
Methods suppressUnusedWarnings :: Proxy (FilterSym1 a6989586621679454874) t -> () Source #
type Apply [a] [a] (FilterSym1 a l1) l2 Source #
type Apply [a] [a] (FilterSym1 a l1) l2 = Filter a l1 l2

type FilterSym2 (t :: TyFun a6989586621679454874 Bool -> Type) (t :: [a6989586621679454874]) = Filter t t Source #

data (:!!$) (l :: TyFun [a6989586621679454843] (TyFun Nat a6989586621679454843 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679454843] (TyFun Nat a6989586621679454843 -> Type) -> *) ((:!!$) a6989586621679454843) Source #
Methods suppressUnusedWarnings :: Proxy ((:!!$) a6989586621679454843) t -> () Source #
type Apply [a6989586621679454843] (TyFun Nat a6989586621679454843 -> Type) ((:!!$) a6989586621679454843) l Source #
type Apply [a6989586621679454843] (TyFun Nat a6989586621679454843 -> Type) ((:!!$) a6989586621679454843) l = (:!!$$) a6989586621679454843 l

data (l :: [a6989586621679454843]) :!!$$ (l :: TyFun Nat a6989586621679454843) Source #

Instances

SuppressUnusedWarnings ([a6989586621679454843] -> TyFun Nat a6989586621679454843 -> *) ((:!!$$) a6989586621679454843) Source #
Methods suppressUnusedWarnings :: Proxy ((:!!$$) a6989586621679454843) t -> () Source #
type Apply Nat a ((:!!$$) a l1) l2 Source #
type Apply Nat a ((:!!$$) a l1) l2 = (:!!) a l1 l2

type (:!!$$$) (t :: [a6989586621679454843]) (t :: Nat) = (:!!) t t Source #

SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:\|\|$) Source #
Methods suppressUnusedWarnings :: Proxy (:\|\|$) t -> () Source #
type Apply Bool (TyFun Bool Bool -> Type) (:\|\|$) l Source #
type Apply Bool (TyFun Bool Bool -> Type) (:\|\|$) l = (:\|\|$$) l

SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:\|\|$$) Source #
Methods suppressUnusedWarnings :: Proxy (:\|\|$$) t -> () Source #
type Apply Bool Bool ((:\|\|$$) l1) l2 Source #
type Apply Bool Bool ((:\|\|$$) l1) l2 = (:\|\|) l1 l2