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 |
Mimics the Haskell Prelude, but with promoted types.
- 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
type family Either_ (a :: TyFun a c -> Type) (a :: TyFun b c -> Type) (a :: Either a b) :: c where ... Source #
(Kind) This is the kind of type-level symbols. Declared here because class IP needs it
SingKind Symbol | Since: 4.9.0.0 |
KnownSymbol a => SingI Symbol a | Since: 4.9.0.0 |
SuppressUnusedWarnings (TyFun Symbol Constraint -> *) KnownSymbolSym0 Source # | |
data Sing Symbol | |
type DemoteRep Symbol | |
type Demote Symbol Source # | |
data Sing Symbol Source # | |
type (==) Symbol a b | |
type (:==) Symbol a b Source # | |
type (:/=) Symbol x y Source # | |
type Compare Symbol a b Source # | |
type (:<) Symbol arg1 arg2 Source # | |
type (:<=) Symbol arg1 arg2 Source # | |
type (:>) Symbol arg1 arg2 Source # | |
type (:>=) Symbol arg1 arg2 Source # | |
type Max Symbol arg1 arg2 Source # | |
type Min Symbol arg1 arg2 Source # | |
type Apply Symbol Constraint KnownSymbolSym0 l Source # | |
type family Curry (a :: TyFun (a, b) c -> Type) (a :: a) (a :: b) :: c where ... Source #
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 #
Error reporting
type family Error (str :: k0) :: k Source #
The promotion of error
. This version is more poly-kinded for
easier use.
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 ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ... infixr 9 Source #
type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ... Source #
type family Until (a :: TyFun a Bool -> Type) (a :: TyFun a a -> Type) (a :: a) :: a where ... Source #
List operations
type family Length (a :: [a]) :: Nat where ... Source #
Length '[] = FromInteger 0 | |
Length ((:) _z_6989586621679455707 xs) = Apply (Apply (:+$) (FromInteger 1)) (Apply LengthSym0 xs) |
Reducing lists (folds)
type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source #
type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source #
type family Foldr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ... Source #
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 Sum (a :: [a]) :: a where ... Source #
Sum l = Apply (Apply (Let6989586621679455740Sum'Sym1 l) l) (FromInteger 0) |
type family Product (a :: [a]) :: a where ... Source #
Product l = Apply (Apply (Let6989586621679455716ProdSym1 l) l) (FromInteger 1) |
Building lists
Scans
type family Scanl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ... Source #
type family Scanr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: [b] where ... Source #
type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ... Source #
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 #
Replicate n x = Case_6989586621679455700 n x (Let6989586621679455692Scrutinee_6989586621679455503Sym2 n x) |
Sublists
type family Span (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ... Source #
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 #
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 Lookup (a :: a) (a :: [(a, b)]) :: Maybe b where ... Source #
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 Zip3 (a :: [a]) (a :: [b]) (a :: [c]) :: [(a, b, c)] where ... Source #
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 #
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 #
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) '[] = '[] |
Defunctionalization symbols
type OtherwiseSym0 = Otherwise Source #
type NothingSym0 = Nothing Source #
data Maybe_Sym0 (l :: TyFun b6989586621679423211 (TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun b6989586621679423211 (TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> Type) -> *) (Maybe_Sym0 a6989586621679423212 b6989586621679423211) Source # | |
type Apply b6989586621679423211 (TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> Type) (Maybe_Sym0 a6989586621679423212 b6989586621679423211) l Source # | |
data Maybe_Sym1 (l :: b6989586621679423211) (l :: TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type)) Source #
SuppressUnusedWarnings (b6989586621679423211 -> TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> *) (Maybe_Sym1 a6989586621679423212 b6989586621679423211) Source # | |
type Apply (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) (Maybe_Sym1 a6989586621679423212 b6989586621679423211 l1) l2 Source # | |
data Maybe_Sym2 (l :: b6989586621679423211) (l :: TyFun a6989586621679423212 b6989586621679423211 -> Type) (l :: TyFun (Maybe a6989586621679423212) b6989586621679423211) Source #
SuppressUnusedWarnings (b6989586621679423211 -> (TyFun a6989586621679423212 b6989586621679423211 -> Type) -> TyFun (Maybe a6989586621679423212) b6989586621679423211 -> *) (Maybe_Sym2 a6989586621679423212 b6989586621679423211) Source # | |
type Apply (Maybe a) b (Maybe_Sym2 a b l1 l2) l3 Source # | |
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 #
data RightSym0 (l :: TyFun b6989586621679072802 (Either a6989586621679072801 b6989586621679072802)) Source #
data Either_Sym0 (l :: TyFun (TyFun a6989586621679433056 c6989586621679433057 -> Type) (TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679433056 c6989586621679433057 -> Type) (TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> Type) -> *) (Either_Sym0 a6989586621679433056 b6989586621679433058 c6989586621679433057) 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 # | |
data Either_Sym1 (l :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (l :: TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679433056 c6989586621679433057 -> Type) -> TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> *) (Either_Sym1 a6989586621679433056 b6989586621679433058 c6989586621679433057) Source # | |
type Apply (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) (Either_Sym1 a6989586621679433056 b6989586621679433058 c6989586621679433057 l1) l2 Source # | |
data Either_Sym2 (l :: TyFun a6989586621679433056 c6989586621679433057 -> Type) (l :: TyFun b6989586621679433058 c6989586621679433057 -> Type) (l :: TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057) Source #
SuppressUnusedWarnings ((TyFun a6989586621679433056 c6989586621679433057 -> Type) -> (TyFun b6989586621679433058 c6989586621679433057 -> Type) -> TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> *) (Either_Sym2 a6989586621679433056 b6989586621679433058 c6989586621679433057) Source # | |
type Apply (Either a b) c (Either_Sym2 a b c l1 l2) l3 Source # | |
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 #
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) Source # | |
type Apply a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) l Source # | |
data Tuple2Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) (Tuple2Sym1 a3530822107858468865 b3530822107858468866) Source # | |
type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 Source # | |
type Tuple2Sym2 (t :: a3530822107858468865) (t :: b3530822107858468866) = '(t, t) Source #
data Tuple3Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # | |
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) l Source # | |
data Tuple3Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # | |
type Apply b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 l1) l2 Source # | |
data Tuple3Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) (Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # | |
type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 Source # | |
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 #
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) l Source # | |
data Tuple4Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1) l2 Source # | |
data Tuple4Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
type Apply c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2) l3 Source # | |
data Tuple4Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) (Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 Source # | |
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 #
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 # | |
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 # | |
data Tuple5Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type)) Source #
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 # | |
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 # | |
data Tuple5Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) 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 # | |
data Tuple5Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
type Apply d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3) l4 Source # | |
data Tuple5Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) (Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 Source # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
data Tuple6Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type)) Source #
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 # | |
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 # | |
data Tuple6Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) 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 # | |
data Tuple6Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) Source #
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) (Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) 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 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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 # | |
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 #
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 # | |
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 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 #
data SndSym0 (l :: TyFun (a6989586621679419273, b6989586621679419274) b6989586621679419274) Source #
data CurrySym0 (l :: TyFun (TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> Type) -> *) (CurrySym0 a6989586621679419270 b6989586621679419271 c6989586621679419272) Source # | |
type Apply (TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> Type) (CurrySym0 a6989586621679419270 b6989586621679419271 c6989586621679419272) l Source # | |
data CurrySym1 (l :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (l :: TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type)) Source #
SuppressUnusedWarnings ((TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) -> TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> *) (CurrySym1 a6989586621679419270 b6989586621679419271 c6989586621679419272) Source # | |
type Apply a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) (CurrySym1 a6989586621679419270 b6989586621679419271 c6989586621679419272 l1) l2 Source # | |
data CurrySym2 (l :: TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (l :: a6989586621679419270) (l :: TyFun b6989586621679419271 c6989586621679419272) Source #
SuppressUnusedWarnings ((TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) -> a6989586621679419270 -> TyFun b6989586621679419271 c6989586621679419272 -> *) (CurrySym2 a6989586621679419270 b6989586621679419271 c6989586621679419272) Source # | |
type Apply b c (CurrySym2 a b c l1 l2) l3 Source # | |
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> Type) -> *) (UncurrySym0 a6989586621679419267 b6989586621679419268 c6989586621679419269) Source # | |
type Apply (TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> Type) (UncurrySym0 a6989586621679419267 b6989586621679419268 c6989586621679419269) l Source # | |
data UncurrySym1 (l :: TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (l :: TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269) Source #
SuppressUnusedWarnings ((TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) -> TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> *) (UncurrySym1 a6989586621679419267 b6989586621679419268 c6989586621679419269) Source # | |
type Apply (a, b) c (UncurrySym1 a b c l1) l2 Source # | |
type UncurrySym2 (t :: TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (t :: (a6989586621679419267, b6989586621679419268)) = Uncurry t t Source #
data ConstSym0 (l :: TyFun a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type)) Source #
SuppressUnusedWarnings (TyFun a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type) -> *) (ConstSym0 b6989586621679277914 a6989586621679277913) Source # | |
type Apply a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type) (ConstSym0 b6989586621679277914 a6989586621679277913) l Source # | |
data ConstSym1 (l :: a6989586621679277913) (l :: TyFun b6989586621679277914 a6989586621679277913) Source #
data (:.$) (l :: TyFun (TyFun b6989586621679277910 c6989586621679277911 -> Type) (TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun b6989586621679277910 c6989586621679277911 -> Type) (TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> Type) -> *) ((:.$) b6989586621679277910 a6989586621679277912 c6989586621679277911) Source # | |
type Apply (TyFun b6989586621679277910 c6989586621679277911 -> Type) (TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> Type) ((:.$) b6989586621679277910 a6989586621679277912 c6989586621679277911) l Source # | |
data (l :: TyFun b6989586621679277910 c6989586621679277911 -> Type) :.$$ (l :: TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type)) Source #
SuppressUnusedWarnings ((TyFun b6989586621679277910 c6989586621679277911 -> Type) -> TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> *) ((:.$$) b6989586621679277910 a6989586621679277912 c6989586621679277911) Source # | |
type Apply (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) ((:.$$) b6989586621679277910 a6989586621679277912 c6989586621679277911 l1) l2 Source # | |
data ((l :: TyFun b6989586621679277910 c6989586621679277911 -> Type) :.$$$ (l :: TyFun a6989586621679277912 b6989586621679277910 -> Type)) (l :: TyFun a6989586621679277912 c6989586621679277911) Source #
SuppressUnusedWarnings ((TyFun b6989586621679277910 c6989586621679277911 -> Type) -> (TyFun a6989586621679277912 b6989586621679277910 -> Type) -> TyFun a6989586621679277912 c6989586621679277911 -> *) ((:.$$$) b6989586621679277910 a6989586621679277912 c6989586621679277911) Source # | |
type Apply a c ((:.$$$) b a c l1 l2) l3 Source # | |
data FlipSym0 (l :: TyFun (TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> Type) -> *) (FlipSym0 b6989586621679277908 a6989586621679277907 c6989586621679277909) Source # | |
type Apply (TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> Type) (FlipSym0 b6989586621679277908 a6989586621679277907 c6989586621679277909) l Source # | |
data FlipSym1 (l :: TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (l :: TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) -> TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> *) (FlipSym1 b6989586621679277908 a6989586621679277907 c6989586621679277909) Source # | |
type Apply b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) (FlipSym1 b6989586621679277908 a6989586621679277907 c6989586621679277909 l1) l2 Source # | |
data FlipSym2 (l :: TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (l :: b6989586621679277908) (l :: TyFun a6989586621679277907 c6989586621679277909) Source #
SuppressUnusedWarnings ((TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) -> b6989586621679277908 -> TyFun a6989586621679277907 c6989586621679277909 -> *) (FlipSym2 b6989586621679277908 a6989586621679277907 c6989586621679277909) Source # | |
type Apply a c (FlipSym2 b a c l1 l2) l3 Source # | |
data AsTypeOfSym0 (l :: TyFun a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type)) Source #
SuppressUnusedWarnings (TyFun a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type) -> *) (AsTypeOfSym0 a6989586621679277906) Source # | |
type Apply a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type) (AsTypeOfSym0 a6989586621679277906) l Source # | |
data AsTypeOfSym1 (l :: a6989586621679277906) (l :: TyFun a6989586621679277906 a6989586621679277906) Source #
SuppressUnusedWarnings (a6989586621679277906 -> TyFun a6989586621679277906 a6989586621679277906 -> *) (AsTypeOfSym1 a6989586621679277906) Source # | |
type Apply a a (AsTypeOfSym1 a l1) l2 Source # | |
type AsTypeOfSym2 (t :: a6989586621679277906) (t :: a6989586621679277906) = AsTypeOf t t Source #
data SeqSym0 (l :: TyFun a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type)) Source #
SuppressUnusedWarnings (TyFun a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type) -> *) (SeqSym0 a6989586621679277904 b6989586621679277905) Source # | |
type Apply a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type) (SeqSym0 a6989586621679277904 b6989586621679277905) l Source # | |
data SeqSym1 (l :: a6989586621679277904) (l :: TyFun b6989586621679277905 b6989586621679277905) Source #
data (:$) (l :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type)) Source #
data (l :: a3530822107858468865) :$$ (l :: TyFun [a3530822107858468865] [a3530822107858468865]) Source #
data MapSym0 (l :: TyFun (TyFun a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type) -> *) (MapSym0 a6989586621679277917 b6989586621679277918) Source # | |
type Apply (TyFun a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type) (MapSym0 a6989586621679277917 b6989586621679277918) l Source # | |
data MapSym1 (l :: TyFun a6989586621679277917 b6989586621679277918 -> Type) (l :: TyFun [a6989586621679277917] [b6989586621679277918]) Source #
type MapSym2 (t :: TyFun a6989586621679277917 b6989586621679277918 -> Type) (t :: [a6989586621679277917]) = Map t t Source #
data ReverseSym0 (l :: TyFun [a6989586621679454958] [a6989586621679454958]) Source #
SuppressUnusedWarnings (TyFun [a6989586621679454958] [a6989586621679454958] -> *) (ReverseSym0 a6989586621679454958) Source # | |
type Apply [a] [a] (ReverseSym0 a) l Source # | |
type ReverseSym1 (t :: [a6989586621679454958]) = Reverse t Source #
data (l :: [a6989586621679277916]) :++$$ (l :: TyFun [a6989586621679277916] [a6989586621679277916]) Source #
data (:++$) (l :: TyFun [a6989586621679277916] (TyFun [a6989586621679277916] [a6989586621679277916] -> Type)) Source #
data FoldlSym0 (l :: TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679240791 b6989586621679240792) Source # | |
type Apply (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) (FoldlSym0 a6989586621679240791 b6989586621679240792) l Source # | |
data FoldlSym1 (l :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (l :: TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type)) Source #
SuppressUnusedWarnings ((TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) -> TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> *) (FoldlSym1 a6989586621679240791 b6989586621679240792) Source # | |
type Apply b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) (FoldlSym1 a6989586621679240791 b6989586621679240792 l1) l2 Source # | |
data FoldlSym2 (l :: TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (l :: b6989586621679240792) (l :: TyFun [a6989586621679240791] b6989586621679240792) Source #
SuppressUnusedWarnings ((TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) -> b6989586621679240792 -> TyFun [a6989586621679240791] b6989586621679240792 -> *) (FoldlSym2 a6989586621679240791 b6989586621679240792) Source # | |
type Apply [a] b (FoldlSym2 a b l1 l2) l3 Source # | |
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (TyFun [a6989586621679454949] a6989586621679454949 -> Type) -> *) (Foldl1Sym0 a6989586621679454949) Source # | |
type Apply (TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (TyFun [a6989586621679454949] a6989586621679454949 -> Type) (Foldl1Sym0 a6989586621679454949) l Source # | |
data Foldl1Sym1 (l :: TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (l :: TyFun [a6989586621679454949] a6989586621679454949) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) -> TyFun [a6989586621679454949] a6989586621679454949 -> *) (Foldl1Sym1 a6989586621679454949) Source # | |
type Apply [a] a (Foldl1Sym1 a l1) l2 Source # | |
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679277919 b6989586621679277920) Source # | |
type Apply (TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> Type) (FoldrSym0 a6989586621679277919 b6989586621679277920) l Source # | |
data FoldrSym1 (l :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (l :: TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) -> TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> *) (FoldrSym1 a6989586621679277919 b6989586621679277920) Source # | |
type Apply b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) (FoldrSym1 a6989586621679277919 b6989586621679277920 l1) l2 Source # | |
data FoldrSym2 (l :: TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (l :: b6989586621679277920) (l :: TyFun [a6989586621679277919] b6989586621679277920) Source #
SuppressUnusedWarnings ((TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) -> b6989586621679277920 -> TyFun [a6989586621679277919] b6989586621679277920 -> *) (FoldrSym2 a6989586621679277919 b6989586621679277920) Source # | |
type Apply [a] b (FoldrSym2 a b l1 l2) l3 Source # | |
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (TyFun [a6989586621679454947] a6989586621679454947 -> Type) -> *) (Foldr1Sym0 a6989586621679454947) Source # | |
type Apply (TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (TyFun [a6989586621679454947] a6989586621679454947 -> Type) (Foldr1Sym0 a6989586621679454947) l Source # | |
data Foldr1Sym1 (l :: TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (l :: TyFun [a6989586621679454947] a6989586621679454947) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) -> TyFun [a6989586621679454947] a6989586621679454947 -> *) (Foldr1Sym1 a6989586621679454947) Source # | |
type Apply [a] a (Foldr1Sym1 a l1) l2 Source # | |
type Foldr1Sym2 (t :: TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (t :: [a6989586621679454947]) = Foldr1 t t Source #
data ConcatSym0 (l :: TyFun [[a6989586621679454946]] [a6989586621679454946]) Source #
SuppressUnusedWarnings (TyFun [[a6989586621679454946]] [a6989586621679454946] -> *) (ConcatSym0 a6989586621679454946) Source # | |
type Apply [[a]] [a] (ConcatSym0 a) l Source # | |
type ConcatSym1 (t :: [[a6989586621679454946]]) = Concat t Source #
data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type) -> *) (ConcatMapSym0 a6989586621679454944 b6989586621679454945) Source # | |
type Apply (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type) (ConcatMapSym0 a6989586621679454944 b6989586621679454945) l Source # | |
data ConcatMapSym1 (l :: TyFun a6989586621679454944 [b6989586621679454945] -> Type) (l :: TyFun [a6989586621679454944] [b6989586621679454945]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454944 [b6989586621679454945] -> Type) -> TyFun [a6989586621679454944] [b6989586621679454945] -> *) (ConcatMapSym1 a6989586621679454944 b6989586621679454945) Source # | |
type Apply [a] [b] (ConcatMapSym1 a b l1) l2 Source # | |
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (TyFun [a6989586621679454876] a6989586621679454876 -> Type) -> *) (MaximumBySym0 a6989586621679454876) Source # | |
type Apply (TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (TyFun [a6989586621679454876] a6989586621679454876 -> Type) (MaximumBySym0 a6989586621679454876) l Source # | |
data MaximumBySym1 (l :: TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (l :: TyFun [a6989586621679454876] a6989586621679454876) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) -> TyFun [a6989586621679454876] a6989586621679454876 -> *) (MaximumBySym1 a6989586621679454876) Source # | |
type Apply [a] a (MaximumBySym1 a l1) l2 Source # | |
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (TyFun [a6989586621679454875] a6989586621679454875 -> Type) -> *) (MinimumBySym0 a6989586621679454875) Source # | |
type Apply (TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (TyFun [a6989586621679454875] a6989586621679454875 -> Type) (MinimumBySym0 a6989586621679454875) l Source # | |
data MinimumBySym1 (l :: TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (l :: TyFun [a6989586621679454875] a6989586621679454875) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) -> TyFun [a6989586621679454875] a6989586621679454875 -> *) (MinimumBySym1 a6989586621679454875) Source # | |
type Apply [a] a (MinimumBySym1 a l1) l2 Source # | |
type MinimumBySym2 (t :: TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (t :: [a6989586621679454875]) = MinimumBy t t Source #
data Any_Sym0 (l :: TyFun (TyFun a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type) -> *) (Any_Sym0 a6989586621679444727) Source # | |
type Apply (TyFun a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type) (Any_Sym0 a6989586621679444727) l Source # | |
data Any_Sym1 (l :: TyFun a6989586621679444727 Bool -> Type) (l :: TyFun [a6989586621679444727] Bool) Source #
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454943 Bool -> Type) (TyFun [a6989586621679454943] Bool -> Type) -> *) (AllSym0 a6989586621679454943) Source # | |
type Apply (TyFun a6989586621679454943 Bool -> Type) (TyFun [a6989586621679454943] Bool -> Type) (AllSym0 a6989586621679454943) l Source # | |
data AllSym1 (l :: TyFun a6989586621679454943 Bool -> Type) (l :: TyFun [a6989586621679454943] Bool) Source #
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 #
SuppressUnusedWarnings (TyFun (TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> Type) -> *) (ScanlSym0 a6989586621679454942 b6989586621679454941) Source # | |
type Apply (TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> Type) (ScanlSym0 a6989586621679454942 b6989586621679454941) l Source # | |
data ScanlSym1 (l :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (l :: TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type)) Source #
SuppressUnusedWarnings ((TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) -> TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> *) (ScanlSym1 a6989586621679454942 b6989586621679454941) Source # | |
type Apply b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) (ScanlSym1 a6989586621679454942 b6989586621679454941 l1) l2 Source # | |
data ScanlSym2 (l :: TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (l :: b6989586621679454941) (l :: TyFun [a6989586621679454942] [b6989586621679454941]) Source #
SuppressUnusedWarnings ((TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) -> b6989586621679454941 -> TyFun [a6989586621679454942] [b6989586621679454941] -> *) (ScanlSym2 a6989586621679454942 b6989586621679454941) Source # | |
type Apply [a] [b] (ScanlSym2 a b l1 l2) l3 Source # | |
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (TyFun [a6989586621679454940] [a6989586621679454940] -> Type) -> *) (Scanl1Sym0 a6989586621679454940) Source # | |
type Apply (TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (TyFun [a6989586621679454940] [a6989586621679454940] -> Type) (Scanl1Sym0 a6989586621679454940) l Source # | |
data Scanl1Sym1 (l :: TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (l :: TyFun [a6989586621679454940] [a6989586621679454940]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) -> TyFun [a6989586621679454940] [a6989586621679454940] -> *) (Scanl1Sym1 a6989586621679454940) Source # | |
type Apply [a] [a] (Scanl1Sym1 a l1) l2 Source # | |
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> Type) -> *) (ScanrSym0 a6989586621679454938 b6989586621679454939) Source # | |
type Apply (TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> Type) (ScanrSym0 a6989586621679454938 b6989586621679454939) l Source # | |
data ScanrSym1 (l :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (l :: TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) -> TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> *) (ScanrSym1 a6989586621679454938 b6989586621679454939) Source # | |
type Apply b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) (ScanrSym1 a6989586621679454938 b6989586621679454939 l1) l2 Source # | |
data ScanrSym2 (l :: TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (l :: b6989586621679454939) (l :: TyFun [a6989586621679454938] [b6989586621679454939]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) -> b6989586621679454939 -> TyFun [a6989586621679454938] [b6989586621679454939] -> *) (ScanrSym2 a6989586621679454938 b6989586621679454939) Source # | |
type Apply [a] [b] (ScanrSym2 a b l1 l2) l3 Source # | |
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (TyFun [a6989586621679454937] [a6989586621679454937] -> Type) -> *) (Scanr1Sym0 a6989586621679454937) Source # | |
type Apply (TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (TyFun [a6989586621679454937] [a6989586621679454937] -> Type) (Scanr1Sym0 a6989586621679454937) l Source # | |
data Scanr1Sym1 (l :: TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (l :: TyFun [a6989586621679454937] [a6989586621679454937]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) -> TyFun [a6989586621679454937] [a6989586621679454937] -> *) (Scanr1Sym1 a6989586621679454937) Source # | |
type Apply [a] [a] (Scanr1Sym1 a l1) l2 Source # | |
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 #
data NotElemSym0 (l :: TyFun a6989586621679454922 (TyFun [a6989586621679454922] Bool -> Type)) Source #
data NotElemSym1 (l :: a6989586621679454922) (l :: TyFun [a6989586621679454922] Bool) Source #
SuppressUnusedWarnings (a6989586621679454922 -> TyFun [a6989586621679454922] Bool -> *) (NotElemSym1 a6989586621679454922) Source # | |
type Apply [a] Bool (NotElemSym1 a l1) l2 Source # | |
type NotElemSym2 (t :: a6989586621679454922) (t :: [a6989586621679454922]) = NotElem t t Source #
data ZipSym0 (l :: TyFun [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type)) Source #
SuppressUnusedWarnings (TyFun [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type) -> *) (ZipSym0 a6989586621679454920 b6989586621679454921) Source # | |
type Apply [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type) (ZipSym0 a6989586621679454920 b6989586621679454921) l Source # | |
data ZipSym1 (l :: [a6989586621679454920]) (l :: TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)]) Source #
data Zip3Sym0 (l :: TyFun [a6989586621679454917] (TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun [a6989586621679454917] (TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> Type) -> *) (Zip3Sym0 a6989586621679454917 b6989586621679454918 c6989586621679454919) Source # | |
type Apply [a6989586621679454917] (TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> Type) (Zip3Sym0 a6989586621679454917 b6989586621679454918 c6989586621679454919) l Source # | |
data Zip3Sym1 (l :: [a6989586621679454917]) (l :: TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type)) Source #
SuppressUnusedWarnings ([a6989586621679454917] -> TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> *) (Zip3Sym1 a6989586621679454917 b6989586621679454918 c6989586621679454919) Source # | |
type Apply [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) (Zip3Sym1 a6989586621679454917 b6989586621679454918 c6989586621679454919 l1) l2 Source # | |
data Zip3Sym2 (l :: [a6989586621679454917]) (l :: [b6989586621679454918]) (l :: TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)]) Source #
SuppressUnusedWarnings ([a6989586621679454917] -> [b6989586621679454918] -> TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> *) (Zip3Sym2 a6989586621679454917 b6989586621679454918 c6989586621679454919) Source # | |
type Apply [c] [(a, b, c)] (Zip3Sym2 a b c l1 l2) l3 Source # | |
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679454914 b6989586621679454915 c6989586621679454916) Source # | |
type Apply (TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> Type) (ZipWithSym0 a6989586621679454914 b6989586621679454915 c6989586621679454916) l Source # | |
data ZipWithSym1 (l :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (l :: TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) -> TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> *) (ZipWithSym1 a6989586621679454914 b6989586621679454915 c6989586621679454916) Source # | |
type Apply [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) (ZipWithSym1 a6989586621679454914 b6989586621679454915 c6989586621679454916 l1) l2 Source # | |
data ZipWithSym2 (l :: TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (l :: [a6989586621679454914]) (l :: TyFun [b6989586621679454915] [c6989586621679454916]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) -> [a6989586621679454914] -> TyFun [b6989586621679454915] [c6989586621679454916] -> *) (ZipWithSym2 a6989586621679454914 b6989586621679454915 c6989586621679454916) Source # | |
type Apply [b] [c] (ZipWithSym2 a b c l1 l2) l3 Source # | |
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 #
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 # | |
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 # | |
data ZipWith3Sym1 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type)) Source #
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 # | |
type Apply [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) (ZipWith3Sym1 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913 l1) l2 Source # | |
data ZipWith3Sym2 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: [a6989586621679454910]) (l :: TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) -> [a6989586621679454910] -> TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> *) (ZipWith3Sym2 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source # | |
type Apply [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) (ZipWith3Sym2 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913 l1 l2) l3 Source # | |
data ZipWith3Sym3 (l :: TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (l :: [a6989586621679454910]) (l :: [b6989586621679454911]) (l :: TyFun [c6989586621679454912] [d6989586621679454913]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) -> [a6989586621679454910] -> [b6989586621679454911] -> TyFun [c6989586621679454912] [d6989586621679454913] -> *) (ZipWith3Sym3 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source # | |
type Apply [c] [d] (ZipWith3Sym3 a b c d l1 l2 l3) l4 Source # | |
data UnzipSym0 (l :: TyFun [(a6989586621679454908, b6989586621679454909)] ([a6989586621679454908], [b6989586621679454909])) Source #
data UntilSym0 (l :: TyFun (TyFun a6989586621679442441 Bool -> Type) (TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679442441 Bool -> Type) (TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> Type) -> *) (UntilSym0 a6989586621679442441) Source # | |
type Apply (TyFun a6989586621679442441 Bool -> Type) (TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> Type) (UntilSym0 a6989586621679442441) l Source # | |
data UntilSym1 (l :: TyFun a6989586621679442441 Bool -> Type) (l :: TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type)) Source #
SuppressUnusedWarnings ((TyFun a6989586621679442441 Bool -> Type) -> TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> *) (UntilSym1 a6989586621679442441) Source # | |
type Apply (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) (UntilSym1 a6989586621679442441 l1) l2 Source # | |
data UntilSym2 (l :: TyFun a6989586621679442441 Bool -> Type) (l :: TyFun a6989586621679442441 a6989586621679442441 -> Type) (l :: TyFun a6989586621679442441 a6989586621679442441) Source #
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 #
SuppressUnusedWarnings (TyFun [a6989586621679454846] Nat -> *) (LengthSym0 a6989586621679454846) Source # | |
type Apply [a] Nat (LengthSym0 a) l Source # | |
type LengthSym1 (t :: [a6989586621679454846]) = Length t Source #
data ProductSym0 (l :: TyFun [a6989586621679454847] a6989586621679454847) Source #
SuppressUnusedWarnings (TyFun [a6989586621679454847] a6989586621679454847 -> *) (ProductSym0 a6989586621679454847) Source # | |
type Apply [a] a (ProductSym0 a) l Source # | |
type ProductSym1 (t :: [a6989586621679454847]) = Product t Source #
data ReplicateSym0 (l :: TyFun Nat (TyFun a6989586621679454845 [a6989586621679454845] -> Type)) Source #
data ReplicateSym1 (l :: Nat) (l :: TyFun a6989586621679454845 [a6989586621679454845]) Source #
SuppressUnusedWarnings (Nat -> TyFun a6989586621679454845 [a6989586621679454845] -> *) (ReplicateSym1 a6989586621679454845) Source # | |
type Apply a [a] (ReplicateSym1 a l1) l2 Source # | |
type ReplicateSym2 (t :: Nat) (t :: a6989586621679454845) = Replicate t t Source #
data TakeSym0 (l :: TyFun Nat (TyFun [a6989586621679454861] [a6989586621679454861] -> Type)) Source #
data DropSym0 (l :: TyFun Nat (TyFun [a6989586621679454860] [a6989586621679454860] -> Type)) Source #
data SplitAtSym0 (l :: TyFun Nat (TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> Type)) Source #
SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> Type) -> *) (SplitAtSym0 a6989586621679454859) Source # | |
type Apply Nat (TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> Type) (SplitAtSym0 a6989586621679454859) l Source # | |
data SplitAtSym1 (l :: Nat) (l :: TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859])) Source #
SuppressUnusedWarnings (Nat -> TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> *) (SplitAtSym1 a6989586621679454859) Source # | |
type Apply [a] ([a], [a]) (SplitAtSym1 a l1) l2 Source # | |
type SplitAtSym2 (t :: Nat) (t :: [a6989586621679454859]) = SplitAt t t Source #
data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679454866 Bool -> Type) (TyFun [a6989586621679454866] [a6989586621679454866] -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454866 Bool -> Type) (TyFun [a6989586621679454866] [a6989586621679454866] -> Type) -> *) (TakeWhileSym0 a6989586621679454866) Source # | |
type Apply (TyFun a6989586621679454866 Bool -> Type) (TyFun [a6989586621679454866] [a6989586621679454866] -> Type) (TakeWhileSym0 a6989586621679454866) l Source # | |
data TakeWhileSym1 (l :: TyFun a6989586621679454866 Bool -> Type) (l :: TyFun [a6989586621679454866] [a6989586621679454866]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454866 Bool -> Type) -> TyFun [a6989586621679454866] [a6989586621679454866] -> *) (TakeWhileSym1 a6989586621679454866) Source # | |
type Apply [a] [a] (TakeWhileSym1 a l1) l2 Source # | |
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454865 Bool -> Type) (TyFun [a6989586621679454865] [a6989586621679454865] -> Type) -> *) (DropWhileSym0 a6989586621679454865) Source # | |
type Apply (TyFun a6989586621679454865 Bool -> Type) (TyFun [a6989586621679454865] [a6989586621679454865] -> Type) (DropWhileSym0 a6989586621679454865) l Source # | |
data DropWhileSym1 (l :: TyFun a6989586621679454865 Bool -> Type) (l :: TyFun [a6989586621679454865] [a6989586621679454865]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454865 Bool -> Type) -> TyFun [a6989586621679454865] [a6989586621679454865] -> *) (DropWhileSym1 a6989586621679454865) Source # | |
type Apply [a] [a] (DropWhileSym1 a l1) l2 Source # | |
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454863 Bool -> Type) (TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863]) -> Type) -> *) (SpanSym0 a6989586621679454863) Source # | |
type Apply (TyFun a6989586621679454863 Bool -> Type) (TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863]) -> Type) (SpanSym0 a6989586621679454863) l Source # | |
data SpanSym1 (l :: TyFun a6989586621679454863 Bool -> Type) (l :: TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863])) Source #
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 #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454862 Bool -> Type) (TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862]) -> Type) -> *) (BreakSym0 a6989586621679454862) Source # | |
type Apply (TyFun a6989586621679454862 Bool -> Type) (TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862]) -> Type) (BreakSym0 a6989586621679454862) l Source # | |
data BreakSym1 (l :: TyFun a6989586621679454862 Bool -> Type) (l :: TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862])) Source #
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 #
SuppressUnusedWarnings (TyFun a6989586621679454851 (TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852) -> Type) -> *) (LookupSym0 a6989586621679454851 b6989586621679454852) Source # | |
type Apply a6989586621679454851 (TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852) -> Type) (LookupSym0 a6989586621679454851 b6989586621679454852) l Source # | |
data LookupSym1 (l :: a6989586621679454851) (l :: TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852)) Source #
SuppressUnusedWarnings (a6989586621679454851 -> TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852) -> *) (LookupSym1 a6989586621679454851 b6989586621679454852) Source # | |
type Apply [(a, b)] (Maybe b) (LookupSym1 a b l1) l2 Source # | |
type LookupSym2 (t :: a6989586621679454851) (t :: [(a6989586621679454851, b6989586621679454852)]) = Lookup t t Source #
data FilterSym0 (l :: TyFun (TyFun a6989586621679454874 Bool -> Type) (TyFun [a6989586621679454874] [a6989586621679454874] -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454874 Bool -> Type) (TyFun [a6989586621679454874] [a6989586621679454874] -> Type) -> *) (FilterSym0 a6989586621679454874) Source # | |
type Apply (TyFun a6989586621679454874 Bool -> Type) (TyFun [a6989586621679454874] [a6989586621679454874] -> Type) (FilterSym0 a6989586621679454874) l Source # | |
data FilterSym1 (l :: TyFun a6989586621679454874 Bool -> Type) (l :: TyFun [a6989586621679454874] [a6989586621679454874]) Source #
SuppressUnusedWarnings ((TyFun a6989586621679454874 Bool -> Type) -> TyFun [a6989586621679454874] [a6989586621679454874] -> *) (FilterSym1 a6989586621679454874) Source # | |
type Apply [a] [a] (FilterSym1 a l1) l2 Source # | |
type FilterSym2 (t :: TyFun a6989586621679454874 Bool -> Type) (t :: [a6989586621679454874]) = Filter t t Source #