| Copyright | (C) 2014 Jan Stolarek |
|---|---|
| License | BSD-style (see LICENSE) |
| Maintainer | Jan Stolarek (jan.stolarek@p.lodz.pl) |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Promotion.Prelude
Contents
Description
Mimics the Haskell Prelude, but with promoted types.
Synopsis
- type family If (cond :: Bool) (tru :: k) (fls :: k) :: k where ...
- type family Not (a :: Bool) = (res :: Bool) | res -> a where ...
- type family (a :: Bool) && (b :: Bool) :: Bool where ...
- type family (a :: Bool) || (b :: 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 where ...
- type family Undefined :: k where ...
- module Data.Promotion.Prelude.Eq
- module Data.Promotion.Prelude.Ord
- class PBounded (a :: Type) where
- type MaxBoundSym0 = MaxBound
- type MinBoundSym0 = MinBound
- class PEnum (a :: Type) where
- type ToEnum (arg :: Nat) :: a
- type FromEnum (arg :: a) :: Nat
- type EnumFromTo (arg :: a) (arg :: a) :: [a]
- type EnumFromThenTo (arg :: a) (arg :: a) (arg :: a) :: [a]
- data EnumFromThenToSym0 (l :: TyFun a6989586621679868770 (TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> Type))
- data EnumFromThenToSym1 (l :: a6989586621679868770) (l :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type))
- data EnumFromThenToSym2 (l :: a6989586621679868770) (l :: a6989586621679868770) (l :: TyFun a6989586621679868770 [a6989586621679868770])
- type EnumFromThenToSym3 (t :: a6989586621679868770) (t :: a6989586621679868770) (t :: a6989586621679868770) = EnumFromThenTo t t t
- data EnumFromToSym0 (l :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type))
- data EnumFromToSym1 (l :: a6989586621679868770) (l :: TyFun a6989586621679868770 [a6989586621679868770])
- type EnumFromToSym2 (t :: a6989586621679868770) (t :: a6989586621679868770) = EnumFromTo t t
- data FromEnumSym0 (l :: TyFun a6989586621679868770 Nat)
- type FromEnumSym1 (t :: a6989586621679868770) = FromEnum t
- data ToEnumSym0 (l :: TyFun Nat a6989586621679868770)
- type ToEnumSym1 (t :: Nat) = ToEnum t
- module Data.Promotion.Prelude.Num
- type family (a :: Nat) ^ (b :: Nat) :: Nat where ...
- class PShow (a :: Type) where
- type ShowS = String -> String
- type SChar = Symbol
- show_ :: Show a => a -> String
- type (<>) a b = AppendSymbol a b
- type family Shows (a :: a) (a :: Symbol) :: Symbol where ...
- type family ShowChar (a :: Symbol) (a :: Symbol) :: Symbol where ...
- type family ShowString (a :: Symbol) (a :: Symbol) :: Symbol where ...
- type family ShowParen (a :: Bool) (a :: TyFun Symbol Symbol -> Type) (a :: Symbol) :: Symbol where ...
- 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 (a :: TyFun a b -> Type) $ (a :: a) :: b where ...
- type family (a :: TyFun a b -> Type) $! (a :: a) :: b where ...
- 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 ...
- 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 family Unlines (a :: [Symbol]) :: Symbol where ...
- type family Unwords (a :: [Symbol]) :: Symbol 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 b6989586621679418662 (TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> Type))
- data Maybe_Sym1 (l :: b6989586621679418662) (l :: TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type))
- data Maybe_Sym2 (l :: b6989586621679418662) (l :: TyFun a6989586621679418663 b6989586621679418662 -> Type) (l :: TyFun (Maybe a6989586621679418663) b6989586621679418662)
- type Maybe_Sym3 (t :: b6989586621679418662) (t :: TyFun a6989586621679418663 b6989586621679418662 -> Type) (t :: Maybe a6989586621679418663) = Maybe_ t t t
- data LeftSym0 (l :: TyFun a6989586621679083011 (Either a6989586621679083011 b6989586621679083012))
- type LeftSym1 (t :: a6989586621679083011) = Left t
- data RightSym0 (l :: TyFun b6989586621679083012 (Either a6989586621679083011 b6989586621679083012))
- type RightSym1 (t :: b6989586621679083012) = Right t
- data Either_Sym0 (l :: TyFun (TyFun a6989586621679939843 c6989586621679939844 -> Type) (TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> Type))
- data Either_Sym1 (l :: TyFun a6989586621679939843 c6989586621679939844 -> Type) (l :: TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type))
- data Either_Sym2 (l :: TyFun a6989586621679939843 c6989586621679939844 -> Type) (l :: TyFun b6989586621679939845 c6989586621679939844 -> Type) (l :: TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844)
- type Either_Sym3 (t :: TyFun a6989586621679939843 c6989586621679939844 -> Type) (t :: TyFun b6989586621679939845 c6989586621679939844 -> Type) (t :: Either a6989586621679939843 b6989586621679939845) = 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 (a6989586621679297391, b6989586621679297392) a6989586621679297391)
- type FstSym1 (t :: (a6989586621679297391, b6989586621679297392)) = Fst t
- data SndSym0 (l :: TyFun (a6989586621679297389, b6989586621679297390) b6989586621679297390)
- type SndSym1 (t :: (a6989586621679297389, b6989586621679297390)) = Snd t
- data CurrySym0 (l :: TyFun (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> Type))
- data CurrySym1 (l :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (l :: TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type))
- data CurrySym2 (l :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (l :: a6989586621679297386) (l :: TyFun b6989586621679297387 c6989586621679297388)
- type CurrySym3 (t :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (t :: a6989586621679297386) (t :: b6989586621679297387) = Curry t t t
- data UncurrySym0 (l :: TyFun (TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385 -> Type))
- data UncurrySym1 (l :: TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (l :: TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385)
- type UncurrySym2 (t :: TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (t :: (a6989586621679297383, b6989586621679297384)) = Uncurry t t
- data ErrorSym0 (l :: TyFun k06989586621679393131 k6989586621679393132)
- type ErrorSym1 (t :: k06989586621679393131) = Error t
- type UndefinedSym0 = Undefined
- data (^@#@$) (l :: TyFun Nat (TyFun Nat Nat -> Type))
- data (l :: Nat) ^@#@$$ (l :: TyFun Nat Nat)
- type (^@#@$$$) (t :: Nat) (t :: Nat) = (^) t t
- data ShowsPrecSym0 (l :: TyFun Nat (TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> Type))
- data ShowsPrecSym1 (l :: Nat) (l :: TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type))
- data ShowsPrecSym2 (l :: Nat) (l :: a6989586621679693692) (l :: TyFun Symbol Symbol)
- type ShowsPrecSym3 (t :: Nat) (t :: a6989586621679693692) (t :: Symbol) = ShowsPrec t t t
- data Show_Sym0 (l :: TyFun a6989586621679693692 Symbol)
- type Show_Sym1 (t :: a6989586621679693692) = Show_ t
- data ShowListSym0 (l :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type))
- data ShowListSym1 (l :: [a6989586621679693692]) (l :: TyFun Symbol Symbol)
- type ShowListSym2 (t :: [a6989586621679693692]) (t :: Symbol) = ShowList t t
- data (<>@#@$) l
- data (l :: Symbol) <>@#@$$ l
- type (<>@#@$$$) (t :: Symbol) (t :: Symbol) = (<>) t t
- data ShowsSym0 (l :: TyFun a6989586621679693677 (TyFun Symbol Symbol -> Type))
- data ShowsSym1 (l :: a6989586621679693677) (l :: TyFun Symbol Symbol)
- type ShowsSym2 (t :: a6989586621679693677) (t :: Symbol) = Shows t t
- data ShowCharSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type))
- data ShowCharSym1 (l :: Symbol) (l :: TyFun Symbol Symbol)
- type ShowCharSym2 (t :: Symbol) (t :: Symbol) = ShowChar t t
- data ShowStringSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type))
- data ShowStringSym1 (l :: Symbol) (l :: TyFun Symbol Symbol)
- type ShowStringSym2 (t :: Symbol) (t :: Symbol) = ShowString t t
- data ShowParenSym0 (l :: TyFun Bool (TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> Type))
- data ShowParenSym1 (l :: Bool) (l :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type))
- data ShowParenSym2 (l :: Bool) (l :: TyFun Symbol Symbol -> Type) (l :: TyFun Symbol Symbol)
- data IdSym0 (l :: TyFun a6989586621679435602 a6989586621679435602)
- type IdSym1 (t :: a6989586621679435602) = Id t
- data ConstSym0 (l :: TyFun a6989586621679435600 (TyFun b6989586621679435601 a6989586621679435600 -> Type))
- data ConstSym1 (l :: a6989586621679435600) (l :: TyFun b6989586621679435601 a6989586621679435600)
- type ConstSym2 (t :: a6989586621679435600) (t :: b6989586621679435601) = Const t t
- data (.@#@$) (l :: TyFun (TyFun b6989586621679435597 c6989586621679435598 -> Type) (TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> Type))
- data (l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type))
- data ((l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) .@#@$$$ (l :: TyFun a6989586621679435599 b6989586621679435597 -> Type)) (l :: TyFun a6989586621679435599 c6989586621679435598)
- data ($@#@$) (l :: TyFun (TyFun a6989586621679435591 b6989586621679435592 -> Type) (TyFun a6989586621679435591 b6989586621679435592 -> Type))
- data (l :: TyFun a6989586621679435591 b6989586621679435592 -> Type) $@#@$$ (l :: TyFun a6989586621679435591 b6989586621679435592)
- type ($@#@$$$) (t :: TyFun a6989586621679435591 b6989586621679435592 -> Type) (t :: a6989586621679435591) = ($) t t
- data ($!@#@$) (l :: TyFun (TyFun a6989586621679435589 b6989586621679435590 -> Type) (TyFun a6989586621679435589 b6989586621679435590 -> Type))
- data (l :: TyFun a6989586621679435589 b6989586621679435590 -> Type) $!@#@$$ (l :: TyFun a6989586621679435589 b6989586621679435590)
- type ($!@#@$$$) (t :: TyFun a6989586621679435589 b6989586621679435590 -> Type) (t :: a6989586621679435589) = ($!) t t
- data FlipSym0 (l :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type))
- data FlipSym1 (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (l :: TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type))
- data FlipSym2 (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (l :: b6989586621679435595) (l :: TyFun a6989586621679435594 c6989586621679435596)
- data AsTypeOfSym0 (l :: TyFun a6989586621679435593 (TyFun a6989586621679435593 a6989586621679435593 -> Type))
- data AsTypeOfSym1 (l :: a6989586621679435593) (l :: TyFun a6989586621679435593 a6989586621679435593)
- type AsTypeOfSym2 (t :: a6989586621679435593) (t :: a6989586621679435593) = AsTypeOf t t
- data SeqSym0 (l :: TyFun a6989586621679435587 (TyFun b6989586621679435588 b6989586621679435588 -> Type))
- data SeqSym1 (l :: a6989586621679435587) (l :: TyFun b6989586621679435588 b6989586621679435588)
- type SeqSym2 (t :: a6989586621679435587) (t :: b6989586621679435588) = 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 a6989586621679435604 b6989586621679435605 -> Type) (TyFun [a6989586621679435604] [b6989586621679435605] -> Type))
- data MapSym1 (l :: TyFun a6989586621679435604 b6989586621679435605 -> Type) (l :: TyFun [a6989586621679435604] [b6989586621679435605])
- type MapSym2 (t :: TyFun a6989586621679435604 b6989586621679435605 -> Type) (t :: [a6989586621679435604]) = Map t t
- data ReverseSym0 (l :: TyFun [a6989586621679458489] [a6989586621679458489])
- type ReverseSym1 (t :: [a6989586621679458489]) = Reverse t
- data (l :: [a6989586621679435603]) ++@#@$$ (l :: TyFun [a6989586621679435603] [a6989586621679435603])
- data (++@#@$) (l :: TyFun [a6989586621679435603] (TyFun [a6989586621679435603] [a6989586621679435603] -> Type))
- data HeadSym0 (l :: TyFun [a6989586621679458494] a6989586621679458494)
- type HeadSym1 (t :: [a6989586621679458494]) = Head t
- data LastSym0 (l :: TyFun [a6989586621679458493] a6989586621679458493)
- type LastSym1 (t :: [a6989586621679458493]) = Last t
- data TailSym0 (l :: TyFun [a6989586621679458492] [a6989586621679458492])
- type TailSym1 (t :: [a6989586621679458492]) = Tail t
- data InitSym0 (l :: TyFun [a6989586621679458491] [a6989586621679458491])
- type InitSym1 (t :: [a6989586621679458491]) = Init t
- data NullSym0 (l :: TyFun [a6989586621679458490] Bool)
- type NullSym1 (t :: [a6989586621679458490]) = Null t
- data FoldlSym0 (l :: TyFun (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> Type))
- data FoldlSym1 (l :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (l :: TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type))
- data FoldlSym2 (l :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (l :: b6989586621679269790) (l :: TyFun [a6989586621679269789] b6989586621679269790)
- type FoldlSym3 (t :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (t :: b6989586621679269790) (t :: [a6989586621679269789]) = Foldl t t t
- data Foldl1Sym0 (l :: TyFun (TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (TyFun [a6989586621679458480] a6989586621679458480 -> Type))
- data Foldl1Sym1 (l :: TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (l :: TyFun [a6989586621679458480] a6989586621679458480)
- type Foldl1Sym2 (t :: TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (t :: [a6989586621679458480]) = Foldl1 t t
- data FoldrSym0 (l :: TyFun (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> Type))
- data FoldrSym1 (l :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (l :: TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type))
- data FoldrSym2 (l :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (l :: b6989586621679435607) (l :: TyFun [a6989586621679435606] b6989586621679435607)
- type FoldrSym3 (t :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (t :: b6989586621679435607) (t :: [a6989586621679435606]) = Foldr t t t
- data Foldr1Sym0 (l :: TyFun (TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (TyFun [a6989586621679458478] a6989586621679458478 -> Type))
- data Foldr1Sym1 (l :: TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (l :: TyFun [a6989586621679458478] a6989586621679458478)
- type Foldr1Sym2 (t :: TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (t :: [a6989586621679458478]) = Foldr1 t t
- data ConcatSym0 (l :: TyFun [[a6989586621679458477]] [a6989586621679458477])
- type ConcatSym1 (t :: [[a6989586621679458477]]) = Concat t
- data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679458475 [b6989586621679458476] -> Type) (TyFun [a6989586621679458475] [b6989586621679458476] -> Type))
- data ConcatMapSym1 (l :: TyFun a6989586621679458475 [b6989586621679458476] -> Type) (l :: TyFun [a6989586621679458475] [b6989586621679458476])
- type ConcatMapSym2 (t :: TyFun a6989586621679458475 [b6989586621679458476] -> Type) (t :: [a6989586621679458475]) = ConcatMap t t
- data MaximumBySym0 (l :: TyFun (TyFun a6989586621679458406 (TyFun a6989586621679458406 Ordering -> Type) -> Type) (TyFun [a6989586621679458406] a6989586621679458406 -> Type))
- data MaximumBySym1 (l :: TyFun a6989586621679458406 (TyFun a6989586621679458406 Ordering -> Type) -> Type) (l :: TyFun [a6989586621679458406] a6989586621679458406)
- type MaximumBySym2 (t :: TyFun a6989586621679458406 (TyFun a6989586621679458406 Ordering -> Type) -> Type) (t :: [a6989586621679458406]) = MaximumBy t t
- data MinimumBySym0 (l :: TyFun (TyFun a6989586621679458405 (TyFun a6989586621679458405 Ordering -> Type) -> Type) (TyFun [a6989586621679458405] a6989586621679458405 -> Type))
- data MinimumBySym1 (l :: TyFun a6989586621679458405 (TyFun a6989586621679458405 Ordering -> Type) -> Type) (l :: TyFun [a6989586621679458405] a6989586621679458405)
- type MinimumBySym2 (t :: TyFun a6989586621679458405 (TyFun a6989586621679458405 Ordering -> Type) -> Type) (t :: [a6989586621679458405]) = 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 AnySym0 (l :: TyFun (TyFun a6989586621679458473 Bool -> Type) (TyFun [a6989586621679458473] Bool -> Type))
- data AnySym1 (l :: TyFun a6989586621679458473 Bool -> Type) (l :: TyFun [a6989586621679458473] Bool)
- type AnySym2 (t :: TyFun a6989586621679458473 Bool -> Type) (t :: [a6989586621679458473]) = Any t t
- data AllSym0 (l :: TyFun (TyFun a6989586621679458474 Bool -> Type) (TyFun [a6989586621679458474] Bool -> Type))
- data AllSym1 (l :: TyFun a6989586621679458474 Bool -> Type) (l :: TyFun [a6989586621679458474] Bool)
- type AllSym2 (t :: TyFun a6989586621679458474 Bool -> Type) (t :: [a6989586621679458474]) = All t t
- data ScanlSym0 (l :: TyFun (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> Type))
- data ScanlSym1 (l :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (l :: TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type))
- data ScanlSym2 (l :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (l :: b6989586621679458471) (l :: TyFun [a6989586621679458472] [b6989586621679458471])
- type ScanlSym3 (t :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (t :: b6989586621679458471) (t :: [a6989586621679458472]) = Scanl t t t
- data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (TyFun [a6989586621679458470] [a6989586621679458470] -> Type))
- data Scanl1Sym1 (l :: TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (l :: TyFun [a6989586621679458470] [a6989586621679458470])
- type Scanl1Sym2 (t :: TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (t :: [a6989586621679458470]) = Scanl1 t t
- data ScanrSym0 (l :: TyFun (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> Type))
- data ScanrSym1 (l :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (l :: TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type))
- data ScanrSym2 (l :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (l :: b6989586621679458469) (l :: TyFun [a6989586621679458468] [b6989586621679458469])
- type ScanrSym3 (t :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (t :: b6989586621679458469) (t :: [a6989586621679458468]) = Scanr t t t
- data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (TyFun [a6989586621679458467] [a6989586621679458467] -> Type))
- data Scanr1Sym1 (l :: TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (l :: TyFun [a6989586621679458467] [a6989586621679458467])
- type Scanr1Sym2 (t :: TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (t :: [a6989586621679458467]) = Scanr1 t t
- data ElemSym0 (l :: TyFun a6989586621679458453 (TyFun [a6989586621679458453] Bool -> Type))
- data ElemSym1 (l :: a6989586621679458453) (l :: TyFun [a6989586621679458453] Bool)
- type ElemSym2 (t :: a6989586621679458453) (t :: [a6989586621679458453]) = Elem t t
- data NotElemSym0 (l :: TyFun a6989586621679458452 (TyFun [a6989586621679458452] Bool -> Type))
- data NotElemSym1 (l :: a6989586621679458452) (l :: TyFun [a6989586621679458452] Bool)
- type NotElemSym2 (t :: a6989586621679458452) (t :: [a6989586621679458452]) = NotElem t t
- data ZipSym0 (l :: TyFun [a6989586621679458450] (TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)] -> Type))
- data ZipSym1 (l :: [a6989586621679458450]) (l :: TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)])
- type ZipSym2 (t :: [a6989586621679458450]) (t :: [b6989586621679458451]) = Zip t t
- data Zip3Sym0 (l :: TyFun [a6989586621679458447] (TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> Type))
- data Zip3Sym1 (l :: [a6989586621679458447]) (l :: TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type))
- data Zip3Sym2 (l :: [a6989586621679458447]) (l :: [b6989586621679458448]) (l :: TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)])
- type Zip3Sym3 (t :: [a6989586621679458447]) (t :: [b6989586621679458448]) (t :: [c6989586621679458449]) = Zip3 t t t
- data ZipWithSym0 (l :: TyFun (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> Type))
- data ZipWithSym1 (l :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (l :: TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type))
- data ZipWithSym2 (l :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (l :: [a6989586621679458444]) (l :: TyFun [b6989586621679458445] [c6989586621679458446])
- type ZipWithSym3 (t :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (t :: [a6989586621679458444]) (t :: [b6989586621679458445]) = ZipWith t t t
- data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> Type))
- data ZipWith3Sym1 (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type))
- data ZipWith3Sym2 (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (l :: [a6989586621679458440]) (l :: TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type))
- data ZipWith3Sym3 (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (l :: [a6989586621679458440]) (l :: [b6989586621679458441]) (l :: TyFun [c6989586621679458442] [d6989586621679458443])
- data UnzipSym0 (l :: TyFun [(a6989586621679458438, b6989586621679458439)] ([a6989586621679458438], [b6989586621679458439]))
- type UnzipSym1 (t :: [(a6989586621679458438, b6989586621679458439)]) = Unzip t
- data UnlinesSym0 (l :: TyFun [Symbol] Symbol)
- type UnlinesSym1 (t :: [Symbol]) = Unlines t
- data UnwordsSym0 (l :: TyFun [Symbol] Symbol)
- type UnwordsSym1 (t :: [Symbol]) = Unwords t
- data UntilSym0 (l :: TyFun (TyFun a6989586621679987157 Bool -> Type) (TyFun (TyFun a6989586621679987157 a6989586621679987157 -> Type) (TyFun a6989586621679987157 a6989586621679987157 -> Type) -> Type))
- data UntilSym1 (l :: TyFun a6989586621679987157 Bool -> Type) (l :: TyFun (TyFun a6989586621679987157 a6989586621679987157 -> Type) (TyFun a6989586621679987157 a6989586621679987157 -> Type))
- data UntilSym2 (l :: TyFun a6989586621679987157 Bool -> Type) (l :: TyFun a6989586621679987157 a6989586621679987157 -> Type) (l :: TyFun a6989586621679987157 a6989586621679987157)
- type UntilSym3 (t :: TyFun a6989586621679987157 Bool -> Type) (t :: TyFun a6989586621679987157 a6989586621679987157 -> Type) (t :: a6989586621679987157) = Until t t t
- data LengthSym0 (l :: TyFun [a6989586621679458376] Nat)
- type LengthSym1 (t :: [a6989586621679458376]) = Length t
- data SumSym0 (l :: TyFun [a6989586621679458378] a6989586621679458378)
- type SumSym1 (t :: [a6989586621679458378]) = Sum t
- data ProductSym0 (l :: TyFun [a6989586621679458377] a6989586621679458377)
- type ProductSym1 (t :: [a6989586621679458377]) = Product t
- data ReplicateSym0 (l :: TyFun Nat (TyFun a6989586621679458375 [a6989586621679458375] -> Type))
- data ReplicateSym1 (l :: Nat) (l :: TyFun a6989586621679458375 [a6989586621679458375])
- type ReplicateSym2 (t :: Nat) (t :: a6989586621679458375) = Replicate t t
- data TakeSym0 (l :: TyFun Nat (TyFun [a6989586621679458391] [a6989586621679458391] -> Type))
- data TakeSym1 (l :: Nat) (l :: TyFun [a6989586621679458391] [a6989586621679458391])
- type TakeSym2 (t :: Nat) (t :: [a6989586621679458391]) = Take t t
- data DropSym0 (l :: TyFun Nat (TyFun [a6989586621679458390] [a6989586621679458390] -> Type))
- data DropSym1 (l :: Nat) (l :: TyFun [a6989586621679458390] [a6989586621679458390])
- type DropSym2 (t :: Nat) (t :: [a6989586621679458390]) = Drop t t
- data SplitAtSym0 (l :: TyFun Nat (TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389]) -> Type))
- data SplitAtSym1 (l :: Nat) (l :: TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389]))
- type SplitAtSym2 (t :: Nat) (t :: [a6989586621679458389]) = SplitAt t t
- data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679458396 Bool -> Type) (TyFun [a6989586621679458396] [a6989586621679458396] -> Type))
- data TakeWhileSym1 (l :: TyFun a6989586621679458396 Bool -> Type) (l :: TyFun [a6989586621679458396] [a6989586621679458396])
- type TakeWhileSym2 (t :: TyFun a6989586621679458396 Bool -> Type) (t :: [a6989586621679458396]) = TakeWhile t t
- data DropWhileSym0 (l :: TyFun (TyFun a6989586621679458395 Bool -> Type) (TyFun [a6989586621679458395] [a6989586621679458395] -> Type))
- data DropWhileSym1 (l :: TyFun a6989586621679458395 Bool -> Type) (l :: TyFun [a6989586621679458395] [a6989586621679458395])
- type DropWhileSym2 (t :: TyFun a6989586621679458395 Bool -> Type) (t :: [a6989586621679458395]) = DropWhile t t
- data SpanSym0 (l :: TyFun (TyFun a6989586621679458393 Bool -> Type) (TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393]) -> Type))
- data SpanSym1 (l :: TyFun a6989586621679458393 Bool -> Type) (l :: TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393]))
- type SpanSym2 (t :: TyFun a6989586621679458393 Bool -> Type) (t :: [a6989586621679458393]) = Span t t
- data BreakSym0 (l :: TyFun (TyFun a6989586621679458392 Bool -> Type) (TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392]) -> Type))
- data BreakSym1 (l :: TyFun a6989586621679458392 Bool -> Type) (l :: TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392]))
- type BreakSym2 (t :: TyFun a6989586621679458392 Bool -> Type) (t :: [a6989586621679458392]) = Break t t
- data LookupSym0 (l :: TyFun a6989586621679458381 (TyFun [(a6989586621679458381, b6989586621679458382)] (Maybe b6989586621679458382) -> Type))
- data LookupSym1 (l :: a6989586621679458381) (l :: TyFun [(a6989586621679458381, b6989586621679458382)] (Maybe b6989586621679458382))
- type LookupSym2 (t :: a6989586621679458381) (t :: [(a6989586621679458381, b6989586621679458382)]) = Lookup t t
- data FilterSym0 (l :: TyFun (TyFun a6989586621679458404 Bool -> Type) (TyFun [a6989586621679458404] [a6989586621679458404] -> Type))
- data FilterSym1 (l :: TyFun a6989586621679458404 Bool -> Type) (l :: TyFun [a6989586621679458404] [a6989586621679458404])
- type FilterSym2 (t :: TyFun a6989586621679458404 Bool -> Type) (t :: [a6989586621679458404]) = Filter t t
- data (!!@#@$) (l :: TyFun [a6989586621679458373] (TyFun Nat a6989586621679458373 -> Type))
- data (l :: [a6989586621679458373]) !!@#@$$ (l :: TyFun Nat a6989586621679458373)
- type (!!@#@$$$) (t :: [a6989586621679458373]) (t :: Nat) = (!!) t t
Standard types, classes and related functions
Basic data types
type family If (cond :: Bool) (tru :: k) (fls :: k) :: k where ... #
Type-level If. If True a b ==> a; If False a b ==> b
type family Not (a :: Bool) = (res :: Bool) | res -> a where ... #
Type-level "not". An injective type family since 4.10.0.0.
Since: base-4.7.0.0
type family Either_ (a :: TyFun a c -> Type) (a :: TyFun b c -> Type) (a :: Either a b) :: c where ... #
(Kind) This is the kind of type-level symbols. Declared here because class IP needs it
Instances
type family Curry (a :: TyFun (a, b) c -> Type) (a :: a) (a :: b) :: c where ... #
Equations
| Curry f x y = Apply f (Apply (Apply Tuple2Sym0 x) y) |
Error reporting
type family Error (str :: k0) :: k where ... #
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.
Instances
| PBounded Bool # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded Ordering # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded () # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded (a, b) # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded (a, b, c) # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded (a, b, c, d) # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded (a, b, c, d, e) # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded (a, b, c, d, e, f) # | |
Defined in Data.Singletons.Prelude.Enum | |
| PBounded (a, b, c, d, e, f, g) # | |
Defined in Data.Singletons.Prelude.Enum | |
type MaxBoundSym0 = MaxBound #
type MinBoundSym0 = MinBound #
Associated Types
type ToEnum (arg :: Nat) :: a #
type FromEnum (arg :: a) :: Nat #
type EnumFromTo (arg :: a) (arg :: a) :: [a] #
type EnumFromThenTo (arg :: a) (arg :: a) (arg :: a) :: [a] #
Instances
| PEnum Bool # | |
Defined in Data.Singletons.Prelude.Enum | |
| PEnum Ordering # | |
Defined in Data.Singletons.Prelude.Enum | |
| PEnum Nat # | |
Defined in Data.Singletons.Prelude.Enum | |
| PEnum () # | |
Defined in Data.Singletons.Prelude.Enum | |
data EnumFromThenToSym0 (l :: TyFun a6989586621679868770 (TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (EnumFromThenToSym0 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (EnumFromThenToSym0 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> Type) -> *) (l :: a6989586621679868770) # | |
Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromThenToSym0 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> Type) -> *) (l :: a6989586621679868770) = EnumFromThenToSym1 l | |
data EnumFromThenToSym1 (l :: a6989586621679868770) (l :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type)) #
Instances
| SuppressUnusedWarnings (EnumFromThenToSym1 :: a6989586621679868770 -> TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (EnumFromThenToSym1 l1 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> *) (l2 :: a6989586621679868770) # | |
Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromThenToSym1 l1 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> *) (l2 :: a6989586621679868770) = EnumFromThenToSym2 l1 l2 | |
data EnumFromThenToSym2 (l :: a6989586621679868770) (l :: a6989586621679868770) (l :: TyFun a6989586621679868770 [a6989586621679868770]) #
Instances
| SuppressUnusedWarnings (EnumFromThenToSym2 :: a6989586621679868770 -> a6989586621679868770 -> TyFun a6989586621679868770 [a6989586621679868770] -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (EnumFromThenToSym2 l1 l2 :: TyFun a [a] -> *) (l3 :: a) # | |
Defined in Data.Singletons.Prelude.Enum | |
type EnumFromThenToSym3 (t :: a6989586621679868770) (t :: a6989586621679868770) (t :: a6989586621679868770) = EnumFromThenTo t t t #
data EnumFromToSym0 (l :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type)) #
Instances
| SuppressUnusedWarnings (EnumFromToSym0 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (EnumFromToSym0 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> *) (l :: a6989586621679868770) # | |
Defined in Data.Singletons.Prelude.Enum type Apply (EnumFromToSym0 :: TyFun a6989586621679868770 (TyFun a6989586621679868770 [a6989586621679868770] -> Type) -> *) (l :: a6989586621679868770) = EnumFromToSym1 l | |
data EnumFromToSym1 (l :: a6989586621679868770) (l :: TyFun a6989586621679868770 [a6989586621679868770]) #
Instances
| SuppressUnusedWarnings (EnumFromToSym1 :: a6989586621679868770 -> TyFun a6989586621679868770 [a6989586621679868770] -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (EnumFromToSym1 l1 :: TyFun a [a] -> *) (l2 :: a) # | |
Defined in Data.Singletons.Prelude.Enum | |
type EnumFromToSym2 (t :: a6989586621679868770) (t :: a6989586621679868770) = EnumFromTo t t #
data FromEnumSym0 (l :: TyFun a6989586621679868770 Nat) #
Instances
| SuppressUnusedWarnings (FromEnumSym0 :: TyFun a6989586621679868770 Nat -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (FromEnumSym0 :: TyFun a Nat -> *) (l :: a) # | |
Defined in Data.Singletons.Prelude.Enum | |
type FromEnumSym1 (t :: a6989586621679868770) = FromEnum t #
data ToEnumSym0 (l :: TyFun Nat a6989586621679868770) #
Instances
| SuppressUnusedWarnings (ToEnumSym0 :: TyFun Nat a6989586621679868770 -> *) # | |
Defined in Data.Singletons.Prelude.Enum Methods suppressUnusedWarnings :: () # | |
| type Apply (ToEnumSym0 :: TyFun Nat k2 -> *) (l :: Nat) # | |
Defined in Data.Singletons.Prelude.Enum | |
type ToEnumSym1 (t :: Nat) = ToEnum t #
Promoted numbers
module Data.Promotion.Prelude.Num
type family (a :: Nat) ^ (b :: Nat) :: Nat where ... infixr 8 #
Exponentiation of type-level naturals.
Since: base-4.7.0.0
Promoted Show
Associated Types
type ShowsPrec (arg :: Nat) (arg :: a) (arg :: Symbol) :: Symbol #
Instances
| PShow Bool # | |
| PShow Ordering # | |
| PShow Nat # | Note that this instance is really, really slow, since it uses an inefficient, inductive definition of division behind the hood. |
| PShow Symbol # | |
| PShow () # | |
| PShow Void # | |
| PShow [a] # | |
| PShow (Maybe a) # | |
| PShow (NonEmpty a) # | |
| PShow (Either a b) # | |
| PShow (a, b) # | |
| PShow (a, b, c) # | |
| PShow (a, b, c, d) # | |
| PShow (a, b, c, d, e) # | |
| PShow (a, b, c, d, e, f) # | |
| PShow (a, b, c, d, e, f, g) # | |
type (<>) a b = AppendSymbol a b infixr 6 #
The promoted analogue of '(<>)' for Symbols. This uses the special
AppendSymbol type family from GHC.TypeLits.
type family Shows (a :: a) (a :: Symbol) :: Symbol where ... #
Equations
| Shows s a_6989586621679695712 = Apply (Apply (Apply ShowsPrecSym0 (FromInteger 0)) s) a_6989586621679695712 |
type family ShowString (a :: Symbol) (a :: Symbol) :: Symbol where ... #
Equations
| ShowString a_6989586621679695557 a_6989586621679695559 = Apply (Apply (<>@#@$) a_6989586621679695557) a_6989586621679695559 |
type family ShowParen (a :: Bool) (a :: TyFun Symbol Symbol -> Type) (a :: Symbol) :: Symbol where ... #
Miscellaneous functions
List operations
type family Length (a :: [a]) :: Nat where ... #
Equations
| Length '[] = FromInteger 0 | |
| Length ((:) _ xs) = Apply (Apply (+@#@$) (FromInteger 1)) (Apply LengthSym0 xs) |
Reducing lists (folds)
type family Foldr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ... #
Equations
| Foldr1 _ '[x] = x | |
| Foldr1 f ((:) x ((:) wild_6989586621679458955 wild_6989586621679458957)) = Apply (Apply f x) (Apply (Apply Foldr1Sym0 f) (Let6989586621679469753XsSym4 f x wild_6989586621679458955 wild_6989586621679458957)) | |
| Foldr1 _ '[] = Apply ErrorSym0 "Data.Singletons.List.foldr1: empty list" |
Special folds
type family Sum (a :: [a]) :: a where ... #
Equations
| Sum l = Apply (Apply (Let6989586621679467803Sum'Sym1 l) l) (FromInteger 0) |
type family Product (a :: [a]) :: a where ... #
Equations
| Product l = Apply (Apply (Let6989586621679467779ProdSym1 l) l) (FromInteger 1) |
Building lists
Scans
type family Scanr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: [a] where ... #
Equations
| Scanr1 _ '[] = '[] | |
| Scanr1 _ '[x] = Apply (Apply (:@#@$) x) '[] | |
| Scanr1 f ((:) x ((:) wild_6989586621679458975 wild_6989586621679458977)) = Case_6989586621679469465 f x wild_6989586621679458975 wild_6989586621679458977 (Let6989586621679469446Scrutinee_6989586621679458969Sym4 f x wild_6989586621679458975 wild_6989586621679458977) |
Infinite lists
type family Replicate (a :: Nat) (a :: a) :: [a] where ... #
Equations
| Replicate n x = Case_6989586621679467766 n x (Let6989586621679467758Scrutinee_6989586621679459071Sym2 n x) |
Sublists
type family Span (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ... #
Equations
| Span _ '[] = Apply (Apply Tuple2Sym0 Let6989586621679468079XsSym0) Let6989586621679468079XsSym0 | |
| Span p ((:) x xs') = Case_6989586621679468109 p x xs' (Let6989586621679468096Scrutinee_6989586621679459051Sym3 p x xs') |
type family Break (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ... #
Equations
| Break _ '[] = Apply (Apply Tuple2Sym0 Let6989586621679467986XsSym0) Let6989586621679467986XsSym0 | |
| Break p ((:) x xs') = Case_6989586621679468016 p x xs' (Let6989586621679468003Scrutinee_6989586621679459053Sym3 p x xs') |
Searching lists
type family Lookup (a :: a) (a :: [(a, b)]) :: Maybe b where ... #
Equations
| Lookup _key '[] = NothingSym0 | |
| Lookup key ((:) '(x, y) xys) = Case_6989586621679467907 key x y xys (Let6989586621679467888Scrutinee_6989586621679459067Sym4 key x y xys) |
Zipping and unzipping lists
type family Zip3 (a :: [a]) (a :: [b]) (a :: [c]) :: [(a, b, c)] where ... #
Equations
| Zip3 ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:@#@$) (Apply (Apply (Apply Tuple3Sym0 a) b) c)) (Apply (Apply (Apply Zip3Sym0 as) bs) cs) | |
| Zip3 '[] '[] '[] = '[] | |
| Zip3 '[] '[] ((:) _ _) = '[] | |
| Zip3 '[] ((:) _ _) '[] = '[] | |
| Zip3 '[] ((:) _ _) ((:) _ _) = '[] | |
| Zip3 ((:) _ _) '[] '[] = '[] | |
| Zip3 ((:) _ _) '[] ((:) _ _) = '[] | |
| Zip3 ((:) _ _) ((:) _ _) '[] = '[] |
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 ... #
Equations
| ZipWith3 z ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:@#@$) (Apply (Apply (Apply z a) b) c)) (Apply (Apply (Apply (Apply ZipWith3Sym0 z) as) bs) cs) | |
| ZipWith3 _ '[] '[] '[] = '[] | |
| ZipWith3 _ '[] '[] ((:) _ _) = '[] | |
| ZipWith3 _ '[] ((:) _ _) '[] = '[] | |
| ZipWith3 _ '[] ((:) _ _) ((:) _ _) = '[] | |
| ZipWith3 _ ((:) _ _) '[] '[] = '[] | |
| ZipWith3 _ ((:) _ _) '[] ((:) _ _) = '[] | |
| ZipWith3 _ ((:) _ _) ((:) _ _) '[] = '[] |
Functions on Symbols
Defunctionalization symbols
data NotSym0 (l :: TyFun Bool Bool) #
Instances
| SuppressUnusedWarnings NotSym0 # | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
| type Apply NotSym0 (l :: Bool) # | |
Defined in Data.Singletons.Prelude.Bool | |
data (&&@#@$) (l :: TyFun Bool (TyFun Bool Bool -> Type)) #
Instances
| SuppressUnusedWarnings (&&@#@$) # | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
| type Apply (&&@#@$) (l :: Bool) # | |
Defined in Data.Singletons.Prelude.Bool | |
data (l :: Bool) &&@#@$$ (l :: TyFun Bool Bool) #
Instances
| SuppressUnusedWarnings (&&@#@$$) # | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
| type Apply ((&&@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) # | |
type (&&@#@$$$) (t :: Bool) (t :: Bool) = (&&) t t #
data (||@#@$) (l :: TyFun Bool (TyFun Bool Bool -> Type)) #
Instances
| SuppressUnusedWarnings (||@#@$) # | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
| type Apply (||@#@$) (l :: Bool) # | |
Defined in Data.Singletons.Prelude.Bool | |
data (l :: Bool) ||@#@$$ (l :: TyFun Bool Bool) #
Instances
| SuppressUnusedWarnings (||@#@$$) # | |
Defined in Data.Singletons.Prelude.Bool Methods suppressUnusedWarnings :: () # | |
| type Apply ((||@#@$$) l1 :: TyFun Bool Bool -> *) (l2 :: Bool) # | |
type (||@#@$$$) (t :: Bool) (t :: Bool) = (||) t t #
type OtherwiseSym0 = Otherwise #
type NothingSym0 = Nothing #
data JustSym0 (l :: TyFun a3530822107858468865 (Maybe a3530822107858468865)) #
Instances
| SuppressUnusedWarnings (JustSym0 :: TyFun a3530822107858468865 (Maybe a3530822107858468865) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (JustSym0 :: TyFun a (Maybe a) -> *) (l :: a) # | |
data Maybe_Sym0 (l :: TyFun b6989586621679418662 (TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b6989586621679418662 (TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
| type Apply (Maybe_Sym0 :: TyFun b6989586621679418662 (TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> Type) -> *) (l :: b6989586621679418662) # | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Maybe_Sym0 :: TyFun b6989586621679418662 (TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> Type) -> *) (l :: b6989586621679418662) = (Maybe_Sym1 l :: TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> *) | |
data Maybe_Sym1 (l :: b6989586621679418662) (l :: TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type)) #
Instances
| SuppressUnusedWarnings (Maybe_Sym1 :: b6989586621679418662 -> TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
| type Apply (Maybe_Sym1 l1 :: TyFun (TyFun a6989586621679418663 b6989586621679418662 -> Type) (TyFun (Maybe a6989586621679418663) b6989586621679418662 -> Type) -> *) (l2 :: TyFun a6989586621679418663 b6989586621679418662 -> Type) # | |
Defined in Data.Singletons.Prelude.Maybe | |
data Maybe_Sym2 (l :: b6989586621679418662) (l :: TyFun a6989586621679418663 b6989586621679418662 -> Type) (l :: TyFun (Maybe a6989586621679418663) b6989586621679418662) #
Instances
| SuppressUnusedWarnings (Maybe_Sym2 :: b6989586621679418662 -> (TyFun a6989586621679418663 b6989586621679418662 -> Type) -> TyFun (Maybe a6989586621679418663) b6989586621679418662 -> *) # | |
Defined in Data.Singletons.Prelude.Maybe Methods suppressUnusedWarnings :: () # | |
| type Apply (Maybe_Sym2 l1 l2 :: TyFun (Maybe a) b -> *) (l3 :: Maybe a) # | |
Defined in Data.Singletons.Prelude.Maybe | |
type Maybe_Sym3 (t :: b6989586621679418662) (t :: TyFun a6989586621679418663 b6989586621679418662 -> Type) (t :: Maybe a6989586621679418663) = Maybe_ t t t #
data LeftSym0 (l :: TyFun a6989586621679083011 (Either a6989586621679083011 b6989586621679083012)) #
Instances
| SuppressUnusedWarnings (LeftSym0 :: TyFun a6989586621679083011 (Either a6989586621679083011 b6989586621679083012) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (LeftSym0 :: TyFun a (Either a b6989586621679083012) -> *) (l :: a) # | |
data RightSym0 (l :: TyFun b6989586621679083012 (Either a6989586621679083011 b6989586621679083012)) #
Instances
| SuppressUnusedWarnings (RightSym0 :: TyFun b6989586621679083012 (Either a6989586621679083011 b6989586621679083012) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (RightSym0 :: TyFun b (Either a6989586621679083011 b) -> *) (l :: b) # | |
data Either_Sym0 (l :: TyFun (TyFun a6989586621679939843 c6989586621679939844 -> Type) (TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Either_Sym0 :: TyFun (TyFun a6989586621679939843 c6989586621679939844 -> Type) (TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () # | |
| type Apply (Either_Sym0 :: TyFun (TyFun a6989586621679939843 c6989586621679939844 -> Type) (TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> Type) -> *) (l :: TyFun a6989586621679939843 c6989586621679939844 -> Type) # | |
Defined in Data.Singletons.Prelude.Either type Apply (Either_Sym0 :: TyFun (TyFun a6989586621679939843 c6989586621679939844 -> Type) (TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> Type) -> *) (l :: TyFun a6989586621679939843 c6989586621679939844 -> Type) = (Either_Sym1 l :: TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> *) | |
data Either_Sym1 (l :: TyFun a6989586621679939843 c6989586621679939844 -> Type) (l :: TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type)) #
Instances
| SuppressUnusedWarnings (Either_Sym1 :: (TyFun a6989586621679939843 c6989586621679939844 -> Type) -> TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () # | |
| type Apply (Either_Sym1 l1 :: TyFun (TyFun b6989586621679939845 c6989586621679939844 -> Type) (TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> Type) -> *) (l2 :: TyFun b6989586621679939845 c6989586621679939844 -> Type) # | |
Defined in Data.Singletons.Prelude.Either | |
data Either_Sym2 (l :: TyFun a6989586621679939843 c6989586621679939844 -> Type) (l :: TyFun b6989586621679939845 c6989586621679939844 -> Type) (l :: TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844) #
Instances
| SuppressUnusedWarnings (Either_Sym2 :: (TyFun a6989586621679939843 c6989586621679939844 -> Type) -> (TyFun b6989586621679939845 c6989586621679939844 -> Type) -> TyFun (Either a6989586621679939843 b6989586621679939845) c6989586621679939844 -> *) # | |
Defined in Data.Singletons.Prelude.Either Methods suppressUnusedWarnings :: () # | |
| type Apply (Either_Sym2 l1 l2 :: TyFun (Either a b) c -> *) (l3 :: Either a b) # | |
Defined in Data.Singletons.Prelude.Either | |
type Either_Sym3 (t :: TyFun a6989586621679939843 c6989586621679939844 -> Type) (t :: TyFun b6989586621679939845 c6989586621679939844 -> Type) (t :: Either a6989586621679939843 b6989586621679939845) = Either_ t t t #
type Tuple0Sym0 = '() #
data Tuple2Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (l :: a3530822107858468865) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (l :: a3530822107858468865) = (Tuple2Sym1 l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) | |
data Tuple2Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866)) #
Instances
| SuppressUnusedWarnings (Tuple2Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple2Sym1 l1 :: TyFun k1 (k2, k1) -> *) (l2 :: k1) # | |
Defined in Data.Singletons.Prelude.Instances | |
type Tuple2Sym2 (t :: a3530822107858468865) (t :: b3530822107858468866) = '(t, t) #
data Tuple3Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (l :: a3530822107858468865) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple3Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) | |
data Tuple3Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple3Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple3Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (l2 :: b3530822107858468866) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple3Sym2 l1 l2 :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) | |
data Tuple3Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867)) #
Instances
| SuppressUnusedWarnings (Tuple3Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple3Sym2 l1 l2 :: TyFun k3 (k2, k1, k3) -> *) (l3 :: k3) # | |
Defined in Data.Singletons.Prelude.Instances | |
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)) #
Instances
| SuppressUnusedWarnings (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple4Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) | |
data Tuple4Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple4Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple4Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) | |
data Tuple4Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple4Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (l3 :: c3530822107858468867) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple4Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) | |
data Tuple4Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) #
Instances
| SuppressUnusedWarnings (Tuple4Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple4Sym3 l1 l2 l3 :: TyFun k4 (k2, k1, k3, k4) -> *) (l4 :: k4) # | |
Defined in Data.Singletons.Prelude.Instances | |
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)) #
Instances
| SuppressUnusedWarnings (Tuple5Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple5Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple5Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) | |
data Tuple5Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple5Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple5Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) | |
data Tuple5Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple5Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) | |
data Tuple5Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple5Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (l4 :: d3530822107858468868) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (l4 :: d3530822107858468868) = (Tuple5Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) | |
data Tuple5Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) #
Instances
| SuppressUnusedWarnings (Tuple5Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple5Sym4 l1 l2 l3 l4 :: TyFun k5 (k2, k1, k3, k4, k5) -> *) (l5 :: k5) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym4 l1 l2 l3 l4 :: TyFun k5 (k2, k1, k3, k4, k5) -> *) (l5 :: k5) = (,,,,) l1 l2 l3 l4 l5 | |
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)) #
Instances
| SuppressUnusedWarnings (Tuple6Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple6Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym0 :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l :: a3530822107858468865) = (Tuple6Sym1 l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> 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)) #
Instances
| SuppressUnusedWarnings (Tuple6Sym1 :: a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple6Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple6Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> 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)) #
Instances
| SuppressUnusedWarnings (Tuple6Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple6Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> 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)) #
Instances
| SuppressUnusedWarnings (Tuple6Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) = (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) | |
data Tuple6Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type)) #
Instances
| SuppressUnusedWarnings (Tuple6Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (l5 :: e3530822107858468869) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (l5 :: e3530822107858468869) = (Tuple6Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) | |
data Tuple6Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) #
Instances
| SuppressUnusedWarnings (Tuple6Sym5 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple6Sym5 l1 l2 l3 l4 l5 :: TyFun k6 (k2, k1, k3, k4, k5, k6) -> *) (l6 :: k6) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym5 l1 l2 l3 l4 l5 :: TyFun k6 (k2, k1, k3, k4, k5, k6) -> *) (l6 :: k6) = (,,,,,) l1 l2 l3 l4 l5 l6 | |
type Tuple6Sym6 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) = '(t, t, t, t, t, t) #
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)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym0 :: 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) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple7Sym0 :: 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) -> *) (l :: a3530822107858468865) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym0 :: 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) -> *) (l :: a3530822107858468865) = (Tuple7Sym1 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 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)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym1 :: 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) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple7Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym1 l1 :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (l2 :: b3530822107858468866) = (Tuple7Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> 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)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym2 :: a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple7Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym2 l1 l2 :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (l3 :: c3530822107858468867) = (Tuple7Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> 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)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym3 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple7Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym3 l1 l2 l3 :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) (l4 :: d3530822107858468868) = (Tuple7Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> 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)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym4 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple7Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (l5 :: e3530822107858468869) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym4 l1 l2 l3 l4 :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (l5 :: e3530822107858468869) = (Tuple7Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> 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)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym5 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple7Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (l6 :: f3530822107858468870) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym5 l1 l2 l3 l4 l5 :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (l6 :: f3530822107858468870) = (Tuple7Sym6 l1 l2 l3 l4 l5 l6 :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) | |
data Tuple7Sym6 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: f3530822107858468870) (l :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) #
Instances
| SuppressUnusedWarnings (Tuple7Sym6 :: a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> f3530822107858468870 -> TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (Tuple7Sym6 l1 l2 l3 l4 l5 l6 :: TyFun k7 (k2, k1, k3, k4, k5, k6, k7) -> *) (l7 :: k7) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym6 l1 l2 l3 l4 l5 l6 :: TyFun k7 (k2, k1, k3, k4, k5, k6, k7) -> *) (l7 :: k7) = (,,,,,,) l1 l2 l3 l4 l5 l6 l7 | |
type Tuple7Sym7 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) (t :: g3530822107858468871) = '(t, t, t, t, t, t, t) #
data FstSym0 (l :: TyFun (a6989586621679297391, b6989586621679297392) a6989586621679297391) #
Instances
| SuppressUnusedWarnings (FstSym0 :: TyFun (a6989586621679297391, b6989586621679297392) a6989586621679297391 -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (FstSym0 :: TyFun (a, b) a -> *) (l :: (a, b)) # | |
data SndSym0 (l :: TyFun (a6989586621679297389, b6989586621679297390) b6989586621679297390) #
Instances
| SuppressUnusedWarnings (SndSym0 :: TyFun (a6989586621679297389, b6989586621679297390) b6989586621679297390 -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (SndSym0 :: TyFun (a, b) b -> *) (l :: (a, b)) # | |
data CurrySym0 (l :: TyFun (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (CurrySym0 :: TyFun (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (CurrySym0 :: TyFun (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> Type) -> *) (l :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) # | |
Defined in Data.Singletons.Prelude.Tuple type Apply (CurrySym0 :: TyFun (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> Type) -> *) (l :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) = CurrySym1 l | |
data CurrySym1 (l :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (l :: TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type)) #
Instances
| SuppressUnusedWarnings (CurrySym1 :: (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) -> TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (CurrySym1 l1 :: TyFun a6989586621679297386 (TyFun b6989586621679297387 c6989586621679297388 -> Type) -> *) (l2 :: a6989586621679297386) # | |
data CurrySym2 (l :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (l :: a6989586621679297386) (l :: TyFun b6989586621679297387 c6989586621679297388) #
Instances
| SuppressUnusedWarnings (CurrySym2 :: (TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) -> a6989586621679297386 -> TyFun b6989586621679297387 c6989586621679297388 -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (CurrySym2 l1 l2 :: TyFun b c -> *) (l3 :: b) # | |
type CurrySym3 (t :: TyFun (a6989586621679297386, b6989586621679297387) c6989586621679297388 -> Type) (t :: a6989586621679297386) (t :: b6989586621679297387) = Curry t t t #
data UncurrySym0 (l :: TyFun (TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385 -> Type)) #
Instances
| SuppressUnusedWarnings (UncurrySym0 :: TyFun (TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (UncurrySym0 :: TyFun (TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385 -> Type) -> *) (l :: TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.Tuple type Apply (UncurrySym0 :: TyFun (TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385 -> Type) -> *) (l :: TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) = UncurrySym1 l | |
data UncurrySym1 (l :: TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (l :: TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385) #
Instances
| SuppressUnusedWarnings (UncurrySym1 :: (TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) -> TyFun (a6989586621679297383, b6989586621679297384) c6989586621679297385 -> *) # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () # | |
| type Apply (UncurrySym1 l1 :: TyFun (a, b) c -> *) (l2 :: (a, b)) # | |
Defined in Data.Singletons.Prelude.Tuple | |
type UncurrySym2 (t :: TyFun a6989586621679297383 (TyFun b6989586621679297384 c6989586621679297385 -> Type) -> Type) (t :: (a6989586621679297383, b6989586621679297384)) = Uncurry t t #
data ErrorSym0 (l :: TyFun k06989586621679393131 k6989586621679393132) #
Instances
| SuppressUnusedWarnings (ErrorSym0 :: TyFun k06989586621679393131 k6989586621679393132 -> *) # | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
| type Apply (ErrorSym0 :: TyFun k0 k2 -> *) (l :: k0) # | |
type UndefinedSym0 = Undefined #
data (^@#@$) (l :: TyFun Nat (TyFun Nat Nat -> Type)) #
Instances
| SuppressUnusedWarnings (^@#@$) # | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
| type Apply (^@#@$) (l :: Nat) # | |
Defined in Data.Singletons.TypeLits.Internal | |
data (l :: Nat) ^@#@$$ (l :: TyFun Nat Nat) #
Instances
| SuppressUnusedWarnings (^@#@$$) # | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
| type Apply ((^@#@$$) l1 :: TyFun Nat Nat -> *) (l2 :: Nat) # | |
data ShowsPrecSym0 (l :: TyFun Nat (TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowsPrecSym0 :: TyFun Nat (TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> Type) -> *) (l :: Nat) # | |
data ShowsPrecSym1 (l :: Nat) (l :: TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type)) #
Instances
| SuppressUnusedWarnings (ShowsPrecSym1 :: Nat -> TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679693692) # | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowsPrecSym1 l1 :: TyFun a6989586621679693692 (TyFun Symbol Symbol -> Type) -> *) (l2 :: a6989586621679693692) = ShowsPrecSym2 l1 l2 | |
data ShowsPrecSym2 (l :: Nat) (l :: a6989586621679693692) (l :: TyFun Symbol Symbol) #
Instances
| SuppressUnusedWarnings (ShowsPrecSym2 :: Nat -> a6989586621679693692 -> TyFun Symbol Symbol -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowsPrecSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
type ShowsPrecSym3 (t :: Nat) (t :: a6989586621679693692) (t :: Symbol) = ShowsPrec t t t #
data Show_Sym0 (l :: TyFun a6989586621679693692 Symbol) #
Instances
| SuppressUnusedWarnings (Show_Sym0 :: TyFun a6989586621679693692 Symbol -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (Show_Sym0 :: TyFun a Symbol -> *) (l :: a) # | |
data ShowListSym0 (l :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type)) #
Instances
| SuppressUnusedWarnings (ShowListSym0 :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowListSym0 :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679693692]) # | |
Defined in Data.Singletons.Prelude.Show type Apply (ShowListSym0 :: TyFun [a6989586621679693692] (TyFun Symbol Symbol -> Type) -> *) (l :: [a6989586621679693692]) = ShowListSym1 l | |
data ShowListSym1 (l :: [a6989586621679693692]) (l :: TyFun Symbol Symbol) #
Instances
| SuppressUnusedWarnings (ShowListSym1 :: [a6989586621679693692] -> TyFun Symbol Symbol -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowListSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
type ShowListSym2 (t :: [a6989586621679693692]) (t :: Symbol) = ShowList t t #
Instances
| SuppressUnusedWarnings (<>@#@$) # | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
| type Apply (<>@#@$) (l :: Symbol) # | |
Defined in Data.Singletons.TypeLits.Internal | |
data (l :: Symbol) <>@#@$$ l #
Instances
| SuppressUnusedWarnings (<>@#@$$) # | |
Defined in Data.Singletons.TypeLits.Internal Methods suppressUnusedWarnings :: () # | |
| type Apply ((<>@#@$$) l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # | |
type (<>@#@$$$) (t :: Symbol) (t :: Symbol) = (<>) t t #
data ShowsSym0 (l :: TyFun a6989586621679693677 (TyFun Symbol Symbol -> Type)) #
Instances
| SuppressUnusedWarnings (ShowsSym0 :: TyFun a6989586621679693677 (TyFun Symbol Symbol -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowsSym0 :: TyFun a6989586621679693677 (TyFun Symbol Symbol -> Type) -> *) (l :: a6989586621679693677) # | |
data ShowsSym1 (l :: a6989586621679693677) (l :: TyFun Symbol Symbol) #
data ShowCharSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type)) #
Instances
| SuppressUnusedWarnings ShowCharSym0 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply ShowCharSym0 (l :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
data ShowCharSym1 (l :: Symbol) (l :: TyFun Symbol Symbol) #
Instances
| SuppressUnusedWarnings ShowCharSym1 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowCharSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
type ShowCharSym2 (t :: Symbol) (t :: Symbol) = ShowChar t t #
data ShowStringSym0 (l :: TyFun Symbol (TyFun Symbol Symbol -> Type)) #
Instances
| SuppressUnusedWarnings ShowStringSym0 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply ShowStringSym0 (l :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
data ShowStringSym1 (l :: Symbol) (l :: TyFun Symbol Symbol) #
Instances
| SuppressUnusedWarnings ShowStringSym1 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowStringSym1 l1 :: TyFun Symbol Symbol -> *) (l2 :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
type ShowStringSym2 (t :: Symbol) (t :: Symbol) = ShowString t t #
data ShowParenSym0 (l :: TyFun Bool (TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings ShowParenSym0 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply ShowParenSym0 (l :: Bool) # | |
Defined in Data.Singletons.Prelude.Show | |
data ShowParenSym1 (l :: Bool) (l :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type)) #
Instances
| SuppressUnusedWarnings ShowParenSym1 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowParenSym1 l1 :: TyFun (TyFun Symbol Symbol -> Type) (TyFun Symbol Symbol -> Type) -> *) (l2 :: TyFun Symbol Symbol -> Type) # | |
data ShowParenSym2 (l :: Bool) (l :: TyFun Symbol Symbol -> Type) (l :: TyFun Symbol Symbol) #
Instances
| SuppressUnusedWarnings ShowParenSym2 # | |
Defined in Data.Singletons.Prelude.Show Methods suppressUnusedWarnings :: () # | |
| type Apply (ShowParenSym2 l1 l2 :: TyFun Symbol Symbol -> *) (l3 :: Symbol) # | |
Defined in Data.Singletons.Prelude.Show | |
data IdSym0 (l :: TyFun a6989586621679435602 a6989586621679435602) #
Instances
| SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679435602 a6989586621679435602 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (IdSym0 :: TyFun a a -> *) (l :: a) # | |
data ConstSym0 (l :: TyFun a6989586621679435600 (TyFun b6989586621679435601 a6989586621679435600 -> Type)) #
Instances
| SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679435600 (TyFun b6989586621679435601 a6989586621679435600 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (ConstSym0 :: TyFun a6989586621679435600 (TyFun b6989586621679435601 a6989586621679435600 -> Type) -> *) (l :: a6989586621679435600) # | |
data ConstSym1 (l :: a6989586621679435600) (l :: TyFun b6989586621679435601 a6989586621679435600) #
Instances
| SuppressUnusedWarnings (ConstSym1 :: a6989586621679435600 -> TyFun b6989586621679435601 a6989586621679435600 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (ConstSym1 l1 :: TyFun b a -> *) (l2 :: b) # | |
data (.@#@$) (l :: TyFun (TyFun b6989586621679435597 c6989586621679435598 -> Type) (TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings ((.@#@$) :: TyFun (TyFun b6989586621679435597 c6989586621679435598 -> Type) (TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply ((.@#@$) :: TyFun (TyFun b6989586621679435597 c6989586621679435598 -> Type) (TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> Type) -> *) (l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) # | |
Defined in Data.Singletons.Prelude.Base type Apply ((.@#@$) :: TyFun (TyFun b6989586621679435597 c6989586621679435598 -> Type) (TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> Type) -> *) (l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) = ((.@#@$$) l :: TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> *) | |
data (l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type)) #
Instances
| SuppressUnusedWarnings ((.@#@$$) :: (TyFun b6989586621679435597 c6989586621679435598 -> Type) -> TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> *) (l2 :: TyFun a6989586621679435599 b6989586621679435597 -> Type) # | |
data ((l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) .@#@$$$ (l :: TyFun a6989586621679435599 b6989586621679435597 -> Type)) (l :: TyFun a6989586621679435599 c6989586621679435598) #
Instances
| SuppressUnusedWarnings ((.@#@$$$) :: (TyFun b6989586621679435597 c6989586621679435598 -> Type) -> (TyFun a6989586621679435599 b6989586621679435597 -> Type) -> TyFun a6989586621679435599 c6989586621679435598 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (l1 .@#@$$$ l2 :: TyFun a c -> *) (l3 :: a) # | |
data ($@#@$) (l :: TyFun (TyFun a6989586621679435591 b6989586621679435592 -> Type) (TyFun a6989586621679435591 b6989586621679435592 -> Type)) #
Instances
| SuppressUnusedWarnings (($@#@$) :: TyFun (TyFun a6989586621679435591 b6989586621679435592 -> Type) (TyFun a6989586621679435591 b6989586621679435592 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (($@#@$) :: TyFun (TyFun a6989586621679435591 b6989586621679435592 -> Type) (TyFun a6989586621679435591 b6989586621679435592 -> Type) -> *) (l :: TyFun a6989586621679435591 b6989586621679435592 -> Type) # | |
data (l :: TyFun a6989586621679435591 b6989586621679435592 -> Type) $@#@$$ (l :: TyFun a6989586621679435591 b6989586621679435592) #
Instances
| SuppressUnusedWarnings (($@#@$$) :: (TyFun a6989586621679435591 b6989586621679435592 -> Type) -> TyFun a6989586621679435591 b6989586621679435592 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (($@#@$$) l1 :: TyFun a b -> *) (l2 :: a) # | |
type ($@#@$$$) (t :: TyFun a6989586621679435591 b6989586621679435592 -> Type) (t :: a6989586621679435591) = ($) t t #
data ($!@#@$) (l :: TyFun (TyFun a6989586621679435589 b6989586621679435590 -> Type) (TyFun a6989586621679435589 b6989586621679435590 -> Type)) #
Instances
| SuppressUnusedWarnings (($!@#@$) :: TyFun (TyFun a6989586621679435589 b6989586621679435590 -> Type) (TyFun a6989586621679435589 b6989586621679435590 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (($!@#@$) :: TyFun (TyFun a6989586621679435589 b6989586621679435590 -> Type) (TyFun a6989586621679435589 b6989586621679435590 -> Type) -> *) (l :: TyFun a6989586621679435589 b6989586621679435590 -> Type) # | |
data (l :: TyFun a6989586621679435589 b6989586621679435590 -> Type) $!@#@$$ (l :: TyFun a6989586621679435589 b6989586621679435590) #
Instances
| SuppressUnusedWarnings (($!@#@$$) :: (TyFun a6989586621679435589 b6989586621679435590 -> Type) -> TyFun a6989586621679435589 b6989586621679435590 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (($!@#@$$) l1 :: TyFun a b -> *) (l2 :: a) # | |
type ($!@#@$$$) (t :: TyFun a6989586621679435589 b6989586621679435590 -> Type) (t :: a6989586621679435589) = ($!) t t #
data FlipSym0 (l :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (FlipSym0 :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (FlipSym0 :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type) -> *) (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.Base type Apply (FlipSym0 :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type) -> *) (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) = FlipSym1 l | |
data FlipSym1 (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (l :: TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type)) #
Instances
| SuppressUnusedWarnings (FlipSym1 :: (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) -> TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (FlipSym1 l1 :: TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> *) (l2 :: b6989586621679435595) # | |
data FlipSym2 (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (l :: b6989586621679435595) (l :: TyFun a6989586621679435594 c6989586621679435596) #
Instances
| SuppressUnusedWarnings (FlipSym2 :: (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) -> b6989586621679435595 -> TyFun a6989586621679435594 c6989586621679435596 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) # | |
data AsTypeOfSym0 (l :: TyFun a6989586621679435593 (TyFun a6989586621679435593 a6989586621679435593 -> Type)) #
Instances
| SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679435593 (TyFun a6989586621679435593 a6989586621679435593 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (AsTypeOfSym0 :: TyFun a6989586621679435593 (TyFun a6989586621679435593 a6989586621679435593 -> Type) -> *) (l :: a6989586621679435593) # | |
Defined in Data.Singletons.Prelude.Base type Apply (AsTypeOfSym0 :: TyFun a6989586621679435593 (TyFun a6989586621679435593 a6989586621679435593 -> Type) -> *) (l :: a6989586621679435593) = AsTypeOfSym1 l | |
data AsTypeOfSym1 (l :: a6989586621679435593) (l :: TyFun a6989586621679435593 a6989586621679435593) #
Instances
| SuppressUnusedWarnings (AsTypeOfSym1 :: a6989586621679435593 -> TyFun a6989586621679435593 a6989586621679435593 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (AsTypeOfSym1 l1 :: TyFun a a -> *) (l2 :: a) # | |
Defined in Data.Singletons.Prelude.Base | |
type AsTypeOfSym2 (t :: a6989586621679435593) (t :: a6989586621679435593) = AsTypeOf t t #
data SeqSym0 (l :: TyFun a6989586621679435587 (TyFun b6989586621679435588 b6989586621679435588 -> Type)) #
Instances
| SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679435587 (TyFun b6989586621679435588 b6989586621679435588 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (SeqSym0 :: TyFun a6989586621679435587 (TyFun b6989586621679435588 b6989586621679435588 -> Type) -> *) (l :: a6989586621679435587) # | |
data SeqSym1 (l :: a6989586621679435587) (l :: TyFun b6989586621679435588 b6989586621679435588) #
Instances
| SuppressUnusedWarnings (SeqSym1 :: a6989586621679435587 -> TyFun b6989586621679435588 b6989586621679435588 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (SeqSym1 l1 :: TyFun b b -> *) (l2 :: b) # | |
data (:@#@$) (l :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type)) #
Instances
| SuppressUnusedWarnings ((:@#@$) :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply ((:@#@$) :: TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) (l :: a3530822107858468865) # | |
data (l :: a3530822107858468865) :@#@$$ (l :: TyFun [a3530822107858468865] [a3530822107858468865]) #
Instances
| SuppressUnusedWarnings ((:@#@$$) :: a3530822107858468865 -> TyFun [a3530822107858468865] [a3530822107858468865] -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply ((:@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.Instances | |
data MapSym0 (l :: TyFun (TyFun a6989586621679435604 b6989586621679435605 -> Type) (TyFun [a6989586621679435604] [b6989586621679435605] -> Type)) #
Instances
| SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679435604 b6989586621679435605 -> Type) (TyFun [a6989586621679435604] [b6989586621679435605] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (MapSym0 :: TyFun (TyFun a6989586621679435604 b6989586621679435605 -> Type) (TyFun [a6989586621679435604] [b6989586621679435605] -> Type) -> *) (l :: TyFun a6989586621679435604 b6989586621679435605 -> Type) # | |
data MapSym1 (l :: TyFun a6989586621679435604 b6989586621679435605 -> Type) (l :: TyFun [a6989586621679435604] [b6989586621679435605]) #
Instances
| SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679435604 b6989586621679435605 -> Type) -> TyFun [a6989586621679435604] [b6989586621679435605] -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (MapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) # | |
type MapSym2 (t :: TyFun a6989586621679435604 b6989586621679435605 -> Type) (t :: [a6989586621679435604]) = Map t t #
data ReverseSym0 (l :: TyFun [a6989586621679458489] [a6989586621679458489]) #
Instances
| SuppressUnusedWarnings (ReverseSym0 :: TyFun [a6989586621679458489] [a6989586621679458489] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ReverseSym0 :: TyFun [a] [a] -> *) (l :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type ReverseSym1 (t :: [a6989586621679458489]) = Reverse t #
data (l :: [a6989586621679435603]) ++@#@$$ (l :: TyFun [a6989586621679435603] [a6989586621679435603]) #
Instances
| SuppressUnusedWarnings ((++@#@$$) :: [a6989586621679435603] -> TyFun [a6989586621679435603] [a6989586621679435603] -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply ((++@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
data (++@#@$) (l :: TyFun [a6989586621679435603] (TyFun [a6989586621679435603] [a6989586621679435603] -> Type)) #
Instances
| SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679435603] (TyFun [a6989586621679435603] [a6989586621679435603] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply ((++@#@$) :: TyFun [a6989586621679435603] (TyFun [a6989586621679435603] [a6989586621679435603] -> Type) -> *) (l :: [a6989586621679435603]) # | |
data HeadSym0 (l :: TyFun [a6989586621679458494] a6989586621679458494) #
Instances
| SuppressUnusedWarnings (HeadSym0 :: TyFun [a6989586621679458494] a6989586621679458494 -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (HeadSym0 :: TyFun [a] a -> *) (l :: [a]) # | |
data LastSym0 (l :: TyFun [a6989586621679458493] a6989586621679458493) #
Instances
| SuppressUnusedWarnings (LastSym0 :: TyFun [a6989586621679458493] a6989586621679458493 -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (LastSym0 :: TyFun [a] a -> *) (l :: [a]) # | |
data TailSym0 (l :: TyFun [a6989586621679458492] [a6989586621679458492]) #
Instances
| SuppressUnusedWarnings (TailSym0 :: TyFun [a6989586621679458492] [a6989586621679458492] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (TailSym0 :: TyFun [a] [a] -> *) (l :: [a]) # | |
data InitSym0 (l :: TyFun [a6989586621679458491] [a6989586621679458491]) #
Instances
| SuppressUnusedWarnings (InitSym0 :: TyFun [a6989586621679458491] [a6989586621679458491] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (InitSym0 :: TyFun [a] [a] -> *) (l :: [a]) # | |
data NullSym0 (l :: TyFun [a6989586621679458490] Bool) #
Instances
| SuppressUnusedWarnings (NullSym0 :: TyFun [a6989586621679458490] Bool -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (NullSym0 :: TyFun [a] Bool -> *) (l :: [a]) # | |
data FoldlSym0 (l :: TyFun (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (FoldlSym0 :: TyFun (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (FoldlSym0 :: TyFun (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> Type) -> *) (l :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.Instances type Apply (FoldlSym0 :: TyFun (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> Type) -> *) (l :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) = FoldlSym1 l | |
data FoldlSym1 (l :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (l :: TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type)) #
Instances
| SuppressUnusedWarnings (FoldlSym1 :: (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) -> TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (FoldlSym1 l1 :: TyFun b6989586621679269790 (TyFun [a6989586621679269789] b6989586621679269790 -> Type) -> *) (l2 :: b6989586621679269790) # | |
data FoldlSym2 (l :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (l :: b6989586621679269790) (l :: TyFun [a6989586621679269789] b6989586621679269790) #
Instances
| SuppressUnusedWarnings (FoldlSym2 :: (TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) -> b6989586621679269790 -> TyFun [a6989586621679269789] b6989586621679269790 -> *) # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () # | |
| type Apply (FoldlSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) # | |
type FoldlSym3 (t :: TyFun b6989586621679269790 (TyFun a6989586621679269789 b6989586621679269790 -> Type) -> Type) (t :: b6989586621679269790) (t :: [a6989586621679269789]) = Foldl t t t #
data Foldl1Sym0 (l :: TyFun (TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (TyFun [a6989586621679458480] a6989586621679458480 -> Type)) #
Instances
| SuppressUnusedWarnings (Foldl1Sym0 :: TyFun (TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (TyFun [a6989586621679458480] a6989586621679458480 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Foldl1Sym0 :: TyFun (TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (TyFun [a6989586621679458480] a6989586621679458480 -> Type) -> *) (l :: TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (Foldl1Sym0 :: TyFun (TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (TyFun [a6989586621679458480] a6989586621679458480 -> Type) -> *) (l :: TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) = Foldl1Sym1 l | |
data Foldl1Sym1 (l :: TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (l :: TyFun [a6989586621679458480] a6989586621679458480) #
Instances
| SuppressUnusedWarnings (Foldl1Sym1 :: (TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) -> TyFun [a6989586621679458480] a6989586621679458480 -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Foldl1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type Foldl1Sym2 (t :: TyFun a6989586621679458480 (TyFun a6989586621679458480 a6989586621679458480 -> Type) -> Type) (t :: [a6989586621679458480]) = Foldl1 t t #
data FoldrSym0 (l :: TyFun (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (FoldrSym0 :: TyFun (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> Type) -> *) (l :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> Type) -> *) (l :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) = FoldrSym1 l | |
data FoldrSym1 (l :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (l :: TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type)) #
Instances
| SuppressUnusedWarnings (FoldrSym1 :: (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) -> TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (FoldrSym1 l1 :: TyFun b6989586621679435607 (TyFun [a6989586621679435606] b6989586621679435607 -> Type) -> *) (l2 :: b6989586621679435607) # | |
data FoldrSym2 (l :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (l :: b6989586621679435607) (l :: TyFun [a6989586621679435606] b6989586621679435607) #
Instances
| SuppressUnusedWarnings (FoldrSym2 :: (TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) -> b6989586621679435607 -> TyFun [a6989586621679435606] b6989586621679435607 -> *) # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (FoldrSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) # | |
type FoldrSym3 (t :: TyFun a6989586621679435606 (TyFun b6989586621679435607 b6989586621679435607 -> Type) -> Type) (t :: b6989586621679435607) (t :: [a6989586621679435606]) = Foldr t t t #
data Foldr1Sym0 (l :: TyFun (TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (TyFun [a6989586621679458478] a6989586621679458478 -> Type)) #
Instances
| SuppressUnusedWarnings (Foldr1Sym0 :: TyFun (TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (TyFun [a6989586621679458478] a6989586621679458478 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Foldr1Sym0 :: TyFun (TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (TyFun [a6989586621679458478] a6989586621679458478 -> Type) -> *) (l :: TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (Foldr1Sym0 :: TyFun (TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (TyFun [a6989586621679458478] a6989586621679458478 -> Type) -> *) (l :: TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) = Foldr1Sym1 l | |
data Foldr1Sym1 (l :: TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (l :: TyFun [a6989586621679458478] a6989586621679458478) #
Instances
| SuppressUnusedWarnings (Foldr1Sym1 :: (TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) -> TyFun [a6989586621679458478] a6989586621679458478 -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Foldr1Sym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type Foldr1Sym2 (t :: TyFun a6989586621679458478 (TyFun a6989586621679458478 a6989586621679458478 -> Type) -> Type) (t :: [a6989586621679458478]) = Foldr1 t t #
data ConcatSym0 (l :: TyFun [[a6989586621679458477]] [a6989586621679458477]) #
Instances
| SuppressUnusedWarnings (ConcatSym0 :: TyFun [[a6989586621679458477]] [a6989586621679458477] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ConcatSym0 :: TyFun [[a]] [a] -> *) (l :: [[a]]) # | |
Defined in Data.Singletons.Prelude.List | |
type ConcatSym1 (t :: [[a6989586621679458477]]) = Concat t #
data ConcatMapSym0 (l :: TyFun (TyFun a6989586621679458475 [b6989586621679458476] -> Type) (TyFun [a6989586621679458475] [b6989586621679458476] -> Type)) #
Instances
| SuppressUnusedWarnings (ConcatMapSym0 :: TyFun (TyFun a6989586621679458475 [b6989586621679458476] -> Type) (TyFun [a6989586621679458475] [b6989586621679458476] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ConcatMapSym0 :: TyFun (TyFun a6989586621679458475 [b6989586621679458476] -> Type) (TyFun [a6989586621679458475] [b6989586621679458476] -> Type) -> *) (l :: TyFun a6989586621679458475 [b6989586621679458476] -> Type) # | |
Defined in Data.Singletons.Prelude.List | |
data ConcatMapSym1 (l :: TyFun a6989586621679458475 [b6989586621679458476] -> Type) (l :: TyFun [a6989586621679458475] [b6989586621679458476]) #
Instances
| SuppressUnusedWarnings (ConcatMapSym1 :: (TyFun a6989586621679458475 [b6989586621679458476] -> Type) -> TyFun [a6989586621679458475] [b6989586621679458476] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ConcatMapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type ConcatMapSym2 (t :: TyFun a6989586621679458475 [b6989586621679458476] -> Type) (t :: [a6989586621679458475]) = ConcatMap t t #
data MaximumBySym0 (l :: TyFun (TyFun a6989586621679458406 (TyFun a6989586621679458406 Ordering -> Type) -> Type) (TyFun [a6989586621679458406] a6989586621679458406 -> Type)) #
Instances
| SuppressUnusedWarnings (MaximumBySym0 :: TyFun (TyFun a6989586621679458406 (TyFun a6989586621679458406 Ordering -> Type) -> Type) (TyFun [a6989586621679458406] a6989586621679458406 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (MaximumBySym0 :: TyFun (TyFun a6989586621679458406 (TyFun a6989586621679458406 Ordering -> Type) -> Type) (TyFun [a6989586621679458406] a6989586621679458406 -> Type) -> *) (l :: TyFun a6989586621679458406 (TyFun a6989586621679458406 Ordering -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List | |
data MaximumBySym1 (l :: TyFun a6989586621679458406 (TyFun a6989586621679458406 Ordering -> Type) -> Type) (l :: TyFun [a6989586621679458406] a6989586621679458406) #
Instances
| SuppressUnusedWarnings (MaximumBySym1 :: (TyFun a6989586621679458406 (TyFun a6989586621679458406 Ordering -> Type) -> Type) -> TyFun [a6989586621679458406] a6989586621679458406 -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (MaximumBySym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type MaximumBySym2 (t :: TyFun a6989586621679458406 (TyFun a6989586621679458406 Ordering -> Type) -> Type) (t :: [a6989586621679458406]) = MaximumBy t t #
data MinimumBySym0 (l :: TyFun (TyFun a6989586621679458405 (TyFun a6989586621679458405 Ordering -> Type) -> Type) (TyFun [a6989586621679458405] a6989586621679458405 -> Type)) #
Instances
| SuppressUnusedWarnings (MinimumBySym0 :: TyFun (TyFun a6989586621679458405 (TyFun a6989586621679458405 Ordering -> Type) -> Type) (TyFun [a6989586621679458405] a6989586621679458405 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (MinimumBySym0 :: TyFun (TyFun a6989586621679458405 (TyFun a6989586621679458405 Ordering -> Type) -> Type) (TyFun [a6989586621679458405] a6989586621679458405 -> Type) -> *) (l :: TyFun a6989586621679458405 (TyFun a6989586621679458405 Ordering -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List | |
data MinimumBySym1 (l :: TyFun a6989586621679458405 (TyFun a6989586621679458405 Ordering -> Type) -> Type) (l :: TyFun [a6989586621679458405] a6989586621679458405) #
Instances
| SuppressUnusedWarnings (MinimumBySym1 :: (TyFun a6989586621679458405 (TyFun a6989586621679458405 Ordering -> Type) -> Type) -> TyFun [a6989586621679458405] a6989586621679458405 -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (MinimumBySym1 l1 :: TyFun [a] a -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type MinimumBySym2 (t :: TyFun a6989586621679458405 (TyFun a6989586621679458405 Ordering -> Type) -> Type) (t :: [a6989586621679458405]) = MinimumBy t t #
data AndSym0 (l :: TyFun [Bool] Bool) #
Instances
| SuppressUnusedWarnings AndSym0 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply AndSym0 (l :: [Bool]) # | |
Defined in Data.Singletons.Prelude.List | |
data OrSym0 (l :: TyFun [Bool] Bool) #
Instances
| SuppressUnusedWarnings OrSym0 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply OrSym0 (l :: [Bool]) # | |
Defined in Data.Singletons.Prelude.List | |
data AnySym0 (l :: TyFun (TyFun a6989586621679458473 Bool -> Type) (TyFun [a6989586621679458473] Bool -> Type)) #
Instances
| SuppressUnusedWarnings (AnySym0 :: TyFun (TyFun a6989586621679458473 Bool -> Type) (TyFun [a6989586621679458473] Bool -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (AnySym0 :: TyFun (TyFun a6989586621679458473 Bool -> Type) (TyFun [a6989586621679458473] Bool -> Type) -> *) (l :: TyFun a6989586621679458473 Bool -> Type) # | |
data AnySym1 (l :: TyFun a6989586621679458473 Bool -> Type) (l :: TyFun [a6989586621679458473] Bool) #
type AnySym2 (t :: TyFun a6989586621679458473 Bool -> Type) (t :: [a6989586621679458473]) = Any t t #
data AllSym0 (l :: TyFun (TyFun a6989586621679458474 Bool -> Type) (TyFun [a6989586621679458474] Bool -> Type)) #
Instances
| SuppressUnusedWarnings (AllSym0 :: TyFun (TyFun a6989586621679458474 Bool -> Type) (TyFun [a6989586621679458474] Bool -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (AllSym0 :: TyFun (TyFun a6989586621679458474 Bool -> Type) (TyFun [a6989586621679458474] Bool -> Type) -> *) (l :: TyFun a6989586621679458474 Bool -> Type) # | |
data AllSym1 (l :: TyFun a6989586621679458474 Bool -> Type) (l :: TyFun [a6989586621679458474] Bool) #
type AllSym2 (t :: TyFun a6989586621679458474 Bool -> Type) (t :: [a6989586621679458474]) = All t t #
data ScanlSym0 (l :: TyFun (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (ScanlSym0 :: TyFun (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> Type) -> *) (l :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (ScanlSym0 :: TyFun (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> Type) -> *) (l :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) = ScanlSym1 l | |
data ScanlSym1 (l :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (l :: TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type)) #
Instances
| SuppressUnusedWarnings (ScanlSym1 :: (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) -> TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ScanlSym1 l1 :: TyFun b6989586621679458471 (TyFun [a6989586621679458472] [b6989586621679458471] -> Type) -> *) (l2 :: b6989586621679458471) # | |
data ScanlSym2 (l :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (l :: b6989586621679458471) (l :: TyFun [a6989586621679458472] [b6989586621679458471]) #
Instances
| SuppressUnusedWarnings (ScanlSym2 :: (TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) -> b6989586621679458471 -> TyFun [a6989586621679458472] [b6989586621679458471] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ScanlSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) # | |
type ScanlSym3 (t :: TyFun b6989586621679458471 (TyFun a6989586621679458472 b6989586621679458471 -> Type) -> Type) (t :: b6989586621679458471) (t :: [a6989586621679458472]) = Scanl t t t #
data Scanl1Sym0 (l :: TyFun (TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (TyFun [a6989586621679458470] [a6989586621679458470] -> Type)) #
Instances
| SuppressUnusedWarnings (Scanl1Sym0 :: TyFun (TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (TyFun [a6989586621679458470] [a6989586621679458470] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (TyFun [a6989586621679458470] [a6989586621679458470] -> Type) -> *) (l :: TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (Scanl1Sym0 :: TyFun (TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (TyFun [a6989586621679458470] [a6989586621679458470] -> Type) -> *) (l :: TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) = Scanl1Sym1 l | |
data Scanl1Sym1 (l :: TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (l :: TyFun [a6989586621679458470] [a6989586621679458470]) #
Instances
| SuppressUnusedWarnings (Scanl1Sym1 :: (TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) -> TyFun [a6989586621679458470] [a6989586621679458470] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Scanl1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type Scanl1Sym2 (t :: TyFun a6989586621679458470 (TyFun a6989586621679458470 a6989586621679458470 -> Type) -> Type) (t :: [a6989586621679458470]) = Scanl1 t t #
data ScanrSym0 (l :: TyFun (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (ScanrSym0 :: TyFun (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> Type) -> *) (l :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (ScanrSym0 :: TyFun (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> Type) -> *) (l :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) = ScanrSym1 l | |
data ScanrSym1 (l :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (l :: TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type)) #
Instances
| SuppressUnusedWarnings (ScanrSym1 :: (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) -> TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ScanrSym1 l1 :: TyFun b6989586621679458469 (TyFun [a6989586621679458468] [b6989586621679458469] -> Type) -> *) (l2 :: b6989586621679458469) # | |
data ScanrSym2 (l :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (l :: b6989586621679458469) (l :: TyFun [a6989586621679458468] [b6989586621679458469]) #
Instances
| SuppressUnusedWarnings (ScanrSym2 :: (TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) -> b6989586621679458469 -> TyFun [a6989586621679458468] [b6989586621679458469] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ScanrSym2 l1 l2 :: TyFun [a] [b] -> *) (l3 :: [a]) # | |
type ScanrSym3 (t :: TyFun a6989586621679458468 (TyFun b6989586621679458469 b6989586621679458469 -> Type) -> Type) (t :: b6989586621679458469) (t :: [a6989586621679458468]) = Scanr t t t #
data Scanr1Sym0 (l :: TyFun (TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (TyFun [a6989586621679458467] [a6989586621679458467] -> Type)) #
Instances
| SuppressUnusedWarnings (Scanr1Sym0 :: TyFun (TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (TyFun [a6989586621679458467] [a6989586621679458467] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (TyFun [a6989586621679458467] [a6989586621679458467] -> Type) -> *) (l :: TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (Scanr1Sym0 :: TyFun (TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (TyFun [a6989586621679458467] [a6989586621679458467] -> Type) -> *) (l :: TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) = Scanr1Sym1 l | |
data Scanr1Sym1 (l :: TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (l :: TyFun [a6989586621679458467] [a6989586621679458467]) #
Instances
| SuppressUnusedWarnings (Scanr1Sym1 :: (TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) -> TyFun [a6989586621679458467] [a6989586621679458467] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Scanr1Sym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type Scanr1Sym2 (t :: TyFun a6989586621679458467 (TyFun a6989586621679458467 a6989586621679458467 -> Type) -> Type) (t :: [a6989586621679458467]) = Scanr1 t t #
data ElemSym0 (l :: TyFun a6989586621679458453 (TyFun [a6989586621679458453] Bool -> Type)) #
Instances
| SuppressUnusedWarnings (ElemSym0 :: TyFun a6989586621679458453 (TyFun [a6989586621679458453] Bool -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ElemSym0 :: TyFun a6989586621679458453 (TyFun [a6989586621679458453] Bool -> Type) -> *) (l :: a6989586621679458453) # | |
data ElemSym1 (l :: a6989586621679458453) (l :: TyFun [a6989586621679458453] Bool) #
Instances
| SuppressUnusedWarnings (ElemSym1 :: a6989586621679458453 -> TyFun [a6989586621679458453] Bool -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) # | |
data NotElemSym0 (l :: TyFun a6989586621679458452 (TyFun [a6989586621679458452] Bool -> Type)) #
Instances
| SuppressUnusedWarnings (NotElemSym0 :: TyFun a6989586621679458452 (TyFun [a6989586621679458452] Bool -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (NotElemSym0 :: TyFun a6989586621679458452 (TyFun [a6989586621679458452] Bool -> Type) -> *) (l :: a6989586621679458452) # | |
Defined in Data.Singletons.Prelude.List type Apply (NotElemSym0 :: TyFun a6989586621679458452 (TyFun [a6989586621679458452] Bool -> Type) -> *) (l :: a6989586621679458452) = NotElemSym1 l | |
data NotElemSym1 (l :: a6989586621679458452) (l :: TyFun [a6989586621679458452] Bool) #
Instances
| SuppressUnusedWarnings (NotElemSym1 :: a6989586621679458452 -> TyFun [a6989586621679458452] Bool -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (NotElemSym1 l1 :: TyFun [a] Bool -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type NotElemSym2 (t :: a6989586621679458452) (t :: [a6989586621679458452]) = NotElem t t #
data ZipSym0 (l :: TyFun [a6989586621679458450] (TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)] -> Type)) #
Instances
| SuppressUnusedWarnings (ZipSym0 :: TyFun [a6989586621679458450] (TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipSym0 :: TyFun [a6989586621679458450] (TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)] -> Type) -> *) (l :: [a6989586621679458450]) # | |
Defined in Data.Singletons.Prelude.List | |
data ZipSym1 (l :: [a6989586621679458450]) (l :: TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)]) #
Instances
| SuppressUnusedWarnings (ZipSym1 :: [a6989586621679458450] -> TyFun [b6989586621679458451] [(a6989586621679458450, b6989586621679458451)] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipSym1 l1 :: TyFun [b] [(a, b)] -> *) (l2 :: [b]) # | |
data Zip3Sym0 (l :: TyFun [a6989586621679458447] (TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (Zip3Sym0 :: TyFun [a6989586621679458447] (TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Zip3Sym0 :: TyFun [a6989586621679458447] (TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> Type) -> *) (l :: [a6989586621679458447]) # | |
Defined in Data.Singletons.Prelude.List type Apply (Zip3Sym0 :: TyFun [a6989586621679458447] (TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> Type) -> *) (l :: [a6989586621679458447]) = (Zip3Sym1 l :: TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> *) | |
data Zip3Sym1 (l :: [a6989586621679458447]) (l :: TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type)) #
Instances
| SuppressUnusedWarnings (Zip3Sym1 :: [a6989586621679458447] -> TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Zip3Sym1 l1 :: TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> *) (l2 :: [b6989586621679458448]) # | |
Defined in Data.Singletons.Prelude.List type Apply (Zip3Sym1 l1 :: TyFun [b6989586621679458448] (TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> Type) -> *) (l2 :: [b6989586621679458448]) = (Zip3Sym2 l1 l2 :: TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> *) | |
data Zip3Sym2 (l :: [a6989586621679458447]) (l :: [b6989586621679458448]) (l :: TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)]) #
Instances
| SuppressUnusedWarnings (Zip3Sym2 :: [a6989586621679458447] -> [b6989586621679458448] -> TyFun [c6989586621679458449] [(a6989586621679458447, b6989586621679458448, c6989586621679458449)] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (Zip3Sym2 l1 l2 :: TyFun [c] [(a, b, c)] -> *) (l3 :: [c]) # | |
type Zip3Sym3 (t :: [a6989586621679458447]) (t :: [b6989586621679458448]) (t :: [c6989586621679458449]) = Zip3 t t t #
data ZipWithSym0 (l :: TyFun (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (ZipWithSym0 :: TyFun (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> Type) -> *) (l :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (ZipWithSym0 :: TyFun (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> Type) -> *) (l :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) = ZipWithSym1 l | |
data ZipWithSym1 (l :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (l :: TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type)) #
Instances
| SuppressUnusedWarnings (ZipWithSym1 :: (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) -> TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWithSym1 l1 :: TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> *) (l2 :: [a6989586621679458444]) # | |
Defined in Data.Singletons.Prelude.List type Apply (ZipWithSym1 l1 :: TyFun [a6989586621679458444] (TyFun [b6989586621679458445] [c6989586621679458446] -> Type) -> *) (l2 :: [a6989586621679458444]) = ZipWithSym2 l1 l2 | |
data ZipWithSym2 (l :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (l :: [a6989586621679458444]) (l :: TyFun [b6989586621679458445] [c6989586621679458446]) #
Instances
| SuppressUnusedWarnings (ZipWithSym2 :: (TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) -> [a6989586621679458444] -> TyFun [b6989586621679458445] [c6989586621679458446] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWithSym2 l1 l2 :: TyFun [b] [c] -> *) (l3 :: [b]) # | |
Defined in Data.Singletons.Prelude.List | |
type ZipWithSym3 (t :: TyFun a6989586621679458444 (TyFun b6989586621679458445 c6989586621679458446 -> Type) -> Type) (t :: [a6989586621679458444]) (t :: [b6989586621679458445]) = ZipWith t t t #
data ZipWith3Sym0 (l :: TyFun (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (ZipWith3Sym0 :: TyFun (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWith3Sym0 :: TyFun (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> Type) -> *) (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) # | |
Defined in Data.Singletons.Prelude.List type Apply (ZipWith3Sym0 :: TyFun (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> Type) -> *) (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) = ZipWith3Sym1 l | |
data ZipWith3Sym1 (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (l :: TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (ZipWith3Sym1 :: (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) -> TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWith3Sym1 l1 :: TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> *) (l2 :: [a6989586621679458440]) # | |
Defined in Data.Singletons.Prelude.List type Apply (ZipWith3Sym1 l1 :: TyFun [a6989586621679458440] (TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> Type) -> *) (l2 :: [a6989586621679458440]) = ZipWith3Sym2 l1 l2 | |
data ZipWith3Sym2 (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (l :: [a6989586621679458440]) (l :: TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type)) #
Instances
| SuppressUnusedWarnings (ZipWith3Sym2 :: (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) -> [a6989586621679458440] -> TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWith3Sym2 l1 l2 :: TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> *) (l3 :: [b6989586621679458441]) # | |
Defined in Data.Singletons.Prelude.List type Apply (ZipWith3Sym2 l1 l2 :: TyFun [b6989586621679458441] (TyFun [c6989586621679458442] [d6989586621679458443] -> Type) -> *) (l3 :: [b6989586621679458441]) = ZipWith3Sym3 l1 l2 l3 | |
data ZipWith3Sym3 (l :: TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) (l :: [a6989586621679458440]) (l :: [b6989586621679458441]) (l :: TyFun [c6989586621679458442] [d6989586621679458443]) #
Instances
| SuppressUnusedWarnings (ZipWith3Sym3 :: (TyFun a6989586621679458440 (TyFun b6989586621679458441 (TyFun c6989586621679458442 d6989586621679458443 -> Type) -> Type) -> Type) -> [a6989586621679458440] -> [b6989586621679458441] -> TyFun [c6989586621679458442] [d6989586621679458443] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ZipWith3Sym3 l1 l2 l3 :: TyFun [c] [d] -> *) (l4 :: [c]) # | |
Defined in Data.Singletons.Prelude.List | |
data UnzipSym0 (l :: TyFun [(a6989586621679458438, b6989586621679458439)] ([a6989586621679458438], [b6989586621679458439])) #
Instances
| SuppressUnusedWarnings (UnzipSym0 :: TyFun [(a6989586621679458438, b6989586621679458439)] ([a6989586621679458438], [b6989586621679458439]) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (UnzipSym0 :: TyFun [(a, b)] ([a], [b]) -> *) (l :: [(a, b)]) # | |
data UnlinesSym0 (l :: TyFun [Symbol] Symbol) #
Instances
| SuppressUnusedWarnings UnlinesSym0 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply UnlinesSym0 (l :: [Symbol]) # | |
Defined in Data.Singletons.Prelude.List | |
type UnlinesSym1 (t :: [Symbol]) = Unlines t #
data UnwordsSym0 (l :: TyFun [Symbol] Symbol) #
Instances
| SuppressUnusedWarnings UnwordsSym0 # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply UnwordsSym0 (l :: [Symbol]) # | |
Defined in Data.Singletons.Prelude.List | |
type UnwordsSym1 (t :: [Symbol]) = Unwords t #
data UntilSym0 (l :: TyFun (TyFun a6989586621679987157 Bool -> Type) (TyFun (TyFun a6989586621679987157 a6989586621679987157 -> Type) (TyFun a6989586621679987157 a6989586621679987157 -> Type) -> Type)) #
Instances
| SuppressUnusedWarnings (UntilSym0 :: TyFun (TyFun a6989586621679987157 Bool -> Type) (TyFun (TyFun a6989586621679987157 a6989586621679987157 -> Type) (TyFun a6989586621679987157 a6989586621679987157 -> Type) -> Type) -> *) # | |
Defined in Data.Promotion.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (UntilSym0 :: TyFun (TyFun a6989586621679987157 Bool -> Type) (TyFun (TyFun a6989586621679987157 a6989586621679987157 -> Type) (TyFun a6989586621679987157 a6989586621679987157 -> Type) -> Type) -> *) (l :: TyFun a6989586621679987157 Bool -> Type) # | |
Defined in Data.Promotion.Prelude.Base | |
data UntilSym1 (l :: TyFun a6989586621679987157 Bool -> Type) (l :: TyFun (TyFun a6989586621679987157 a6989586621679987157 -> Type) (TyFun a6989586621679987157 a6989586621679987157 -> Type)) #
Instances
| SuppressUnusedWarnings (UntilSym1 :: (TyFun a6989586621679987157 Bool -> Type) -> TyFun (TyFun a6989586621679987157 a6989586621679987157 -> Type) (TyFun a6989586621679987157 a6989586621679987157 -> Type) -> *) # | |
Defined in Data.Promotion.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (UntilSym1 l1 :: TyFun (TyFun a6989586621679987157 a6989586621679987157 -> Type) (TyFun a6989586621679987157 a6989586621679987157 -> Type) -> *) (l2 :: TyFun a6989586621679987157 a6989586621679987157 -> Type) # | |
data UntilSym2 (l :: TyFun a6989586621679987157 Bool -> Type) (l :: TyFun a6989586621679987157 a6989586621679987157 -> Type) (l :: TyFun a6989586621679987157 a6989586621679987157) #
Instances
| SuppressUnusedWarnings (UntilSym2 :: (TyFun a6989586621679987157 Bool -> Type) -> (TyFun a6989586621679987157 a6989586621679987157 -> Type) -> TyFun a6989586621679987157 a6989586621679987157 -> *) # | |
Defined in Data.Promotion.Prelude.Base Methods suppressUnusedWarnings :: () # | |
| type Apply (UntilSym2 l1 l2 :: TyFun a a -> *) (l3 :: a) # | |
type UntilSym3 (t :: TyFun a6989586621679987157 Bool -> Type) (t :: TyFun a6989586621679987157 a6989586621679987157 -> Type) (t :: a6989586621679987157) = Until t t t #
data LengthSym0 (l :: TyFun [a6989586621679458376] Nat) #
Instances
| SuppressUnusedWarnings (LengthSym0 :: TyFun [a6989586621679458376] Nat -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (LengthSym0 :: TyFun [a] Nat -> *) (l :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type LengthSym1 (t :: [a6989586621679458376]) = Length t #
data SumSym0 (l :: TyFun [a6989586621679458378] a6989586621679458378) #
Instances
| SuppressUnusedWarnings (SumSym0 :: TyFun [a6989586621679458378] a6989586621679458378 -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (SumSym0 :: TyFun [a] a -> *) (l :: [a]) # | |
data ProductSym0 (l :: TyFun [a6989586621679458377] a6989586621679458377) #
Instances
| SuppressUnusedWarnings (ProductSym0 :: TyFun [a6989586621679458377] a6989586621679458377 -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ProductSym0 :: TyFun [a] a -> *) (l :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type ProductSym1 (t :: [a6989586621679458377]) = Product t #
data ReplicateSym0 (l :: TyFun Nat (TyFun a6989586621679458375 [a6989586621679458375] -> Type)) #
Instances
| SuppressUnusedWarnings (ReplicateSym0 :: TyFun Nat (TyFun a6989586621679458375 [a6989586621679458375] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ReplicateSym0 :: TyFun Nat (TyFun a6989586621679458375 [a6989586621679458375] -> Type) -> *) (l :: Nat) # | |
Defined in Data.Singletons.Prelude.List | |
data ReplicateSym1 (l :: Nat) (l :: TyFun a6989586621679458375 [a6989586621679458375]) #
Instances
| SuppressUnusedWarnings (ReplicateSym1 :: Nat -> TyFun a6989586621679458375 [a6989586621679458375] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (ReplicateSym1 l1 :: TyFun a [a] -> *) (l2 :: a) # | |
Defined in Data.Singletons.Prelude.List | |
type ReplicateSym2 (t :: Nat) (t :: a6989586621679458375) = Replicate t t #
data TakeSym0 (l :: TyFun Nat (TyFun [a6989586621679458391] [a6989586621679458391] -> Type)) #
Instances
| SuppressUnusedWarnings (TakeSym0 :: TyFun Nat (TyFun [a6989586621679458391] [a6989586621679458391] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (TakeSym0 :: TyFun Nat (TyFun [a6989586621679458391] [a6989586621679458391] -> Type) -> *) (l :: Nat) # | |
data TakeSym1 (l :: Nat) (l :: TyFun [a6989586621679458391] [a6989586621679458391]) #
Instances
| SuppressUnusedWarnings (TakeSym1 :: Nat -> TyFun [a6989586621679458391] [a6989586621679458391] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (TakeSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
data DropSym0 (l :: TyFun Nat (TyFun [a6989586621679458390] [a6989586621679458390] -> Type)) #
Instances
| SuppressUnusedWarnings (DropSym0 :: TyFun Nat (TyFun [a6989586621679458390] [a6989586621679458390] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (DropSym0 :: TyFun Nat (TyFun [a6989586621679458390] [a6989586621679458390] -> Type) -> *) (l :: Nat) # | |
data DropSym1 (l :: Nat) (l :: TyFun [a6989586621679458390] [a6989586621679458390]) #
Instances
| SuppressUnusedWarnings (DropSym1 :: Nat -> TyFun [a6989586621679458390] [a6989586621679458390] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (DropSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
data SplitAtSym0 (l :: TyFun Nat (TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389]) -> Type)) #
Instances
| SuppressUnusedWarnings (SplitAtSym0 :: TyFun Nat (TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389]) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (SplitAtSym0 :: TyFun Nat (TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389]) -> Type) -> *) (l :: Nat) # | |
Defined in Data.Singletons.Prelude.List | |
data SplitAtSym1 (l :: Nat) (l :: TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389])) #
Instances
| SuppressUnusedWarnings (SplitAtSym1 :: Nat -> TyFun [a6989586621679458389] ([a6989586621679458389], [a6989586621679458389]) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (SplitAtSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type SplitAtSym2 (t :: Nat) (t :: [a6989586621679458389]) = SplitAt t t #
data TakeWhileSym0 (l :: TyFun (TyFun a6989586621679458396 Bool -> Type) (TyFun [a6989586621679458396] [a6989586621679458396] -> Type)) #
Instances
| SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (TyFun a6989586621679458396 Bool -> Type) (TyFun [a6989586621679458396] [a6989586621679458396] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (TakeWhileSym0 :: TyFun (TyFun a6989586621679458396 Bool -> Type) (TyFun [a6989586621679458396] [a6989586621679458396] -> Type) -> *) (l :: TyFun a6989586621679458396 Bool -> Type) # | |
Defined in Data.Singletons.Prelude.List | |
data TakeWhileSym1 (l :: TyFun a6989586621679458396 Bool -> Type) (l :: TyFun [a6989586621679458396] [a6989586621679458396]) #
Instances
| SuppressUnusedWarnings (TakeWhileSym1 :: (TyFun a6989586621679458396 Bool -> Type) -> TyFun [a6989586621679458396] [a6989586621679458396] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (TakeWhileSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type TakeWhileSym2 (t :: TyFun a6989586621679458396 Bool -> Type) (t :: [a6989586621679458396]) = TakeWhile t t #
data DropWhileSym0 (l :: TyFun (TyFun a6989586621679458395 Bool -> Type) (TyFun [a6989586621679458395] [a6989586621679458395] -> Type)) #
Instances
| SuppressUnusedWarnings (DropWhileSym0 :: TyFun (TyFun a6989586621679458395 Bool -> Type) (TyFun [a6989586621679458395] [a6989586621679458395] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (DropWhileSym0 :: TyFun (TyFun a6989586621679458395 Bool -> Type) (TyFun [a6989586621679458395] [a6989586621679458395] -> Type) -> *) (l :: TyFun a6989586621679458395 Bool -> Type) # | |
Defined in Data.Singletons.Prelude.List | |
data DropWhileSym1 (l :: TyFun a6989586621679458395 Bool -> Type) (l :: TyFun [a6989586621679458395] [a6989586621679458395]) #
Instances
| SuppressUnusedWarnings (DropWhileSym1 :: (TyFun a6989586621679458395 Bool -> Type) -> TyFun [a6989586621679458395] [a6989586621679458395] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (DropWhileSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type DropWhileSym2 (t :: TyFun a6989586621679458395 Bool -> Type) (t :: [a6989586621679458395]) = DropWhile t t #
data SpanSym0 (l :: TyFun (TyFun a6989586621679458393 Bool -> Type) (TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393]) -> Type)) #
Instances
| SuppressUnusedWarnings (SpanSym0 :: TyFun (TyFun a6989586621679458393 Bool -> Type) (TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393]) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (SpanSym0 :: TyFun (TyFun a6989586621679458393 Bool -> Type) (TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393]) -> Type) -> *) (l :: TyFun a6989586621679458393 Bool -> Type) # | |
data SpanSym1 (l :: TyFun a6989586621679458393 Bool -> Type) (l :: TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393])) #
Instances
| SuppressUnusedWarnings (SpanSym1 :: (TyFun a6989586621679458393 Bool -> Type) -> TyFun [a6989586621679458393] ([a6989586621679458393], [a6989586621679458393]) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (SpanSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) # | |
type SpanSym2 (t :: TyFun a6989586621679458393 Bool -> Type) (t :: [a6989586621679458393]) = Span t t #
data BreakSym0 (l :: TyFun (TyFun a6989586621679458392 Bool -> Type) (TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392]) -> Type)) #
Instances
| SuppressUnusedWarnings (BreakSym0 :: TyFun (TyFun a6989586621679458392 Bool -> Type) (TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392]) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (BreakSym0 :: TyFun (TyFun a6989586621679458392 Bool -> Type) (TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392]) -> Type) -> *) (l :: TyFun a6989586621679458392 Bool -> Type) # | |
data BreakSym1 (l :: TyFun a6989586621679458392 Bool -> Type) (l :: TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392])) #
Instances
| SuppressUnusedWarnings (BreakSym1 :: (TyFun a6989586621679458392 Bool -> Type) -> TyFun [a6989586621679458392] ([a6989586621679458392], [a6989586621679458392]) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (BreakSym1 l1 :: TyFun [a] ([a], [a]) -> *) (l2 :: [a]) # | |
type BreakSym2 (t :: TyFun a6989586621679458392 Bool -> Type) (t :: [a6989586621679458392]) = Break t t #
data LookupSym0 (l :: TyFun a6989586621679458381 (TyFun [(a6989586621679458381, b6989586621679458382)] (Maybe b6989586621679458382) -> Type)) #
Instances
| SuppressUnusedWarnings (LookupSym0 :: TyFun a6989586621679458381 (TyFun [(a6989586621679458381, b6989586621679458382)] (Maybe b6989586621679458382) -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (LookupSym0 :: TyFun a6989586621679458381 (TyFun [(a6989586621679458381, b6989586621679458382)] (Maybe b6989586621679458382) -> Type) -> *) (l :: a6989586621679458381) # | |
Defined in Data.Singletons.Prelude.List | |
data LookupSym1 (l :: a6989586621679458381) (l :: TyFun [(a6989586621679458381, b6989586621679458382)] (Maybe b6989586621679458382)) #
Instances
| SuppressUnusedWarnings (LookupSym1 :: a6989586621679458381 -> TyFun [(a6989586621679458381, b6989586621679458382)] (Maybe b6989586621679458382) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (LookupSym1 l1 :: TyFun [(a, b)] (Maybe b) -> *) (l2 :: [(a, b)]) # | |
Defined in Data.Singletons.Prelude.List | |
type LookupSym2 (t :: a6989586621679458381) (t :: [(a6989586621679458381, b6989586621679458382)]) = Lookup t t #
data FilterSym0 (l :: TyFun (TyFun a6989586621679458404 Bool -> Type) (TyFun [a6989586621679458404] [a6989586621679458404] -> Type)) #
Instances
| SuppressUnusedWarnings (FilterSym0 :: TyFun (TyFun a6989586621679458404 Bool -> Type) (TyFun [a6989586621679458404] [a6989586621679458404] -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (FilterSym0 :: TyFun (TyFun a6989586621679458404 Bool -> Type) (TyFun [a6989586621679458404] [a6989586621679458404] -> Type) -> *) (l :: TyFun a6989586621679458404 Bool -> Type) # | |
Defined in Data.Singletons.Prelude.List | |
data FilterSym1 (l :: TyFun a6989586621679458404 Bool -> Type) (l :: TyFun [a6989586621679458404] [a6989586621679458404]) #
Instances
| SuppressUnusedWarnings (FilterSym1 :: (TyFun a6989586621679458404 Bool -> Type) -> TyFun [a6989586621679458404] [a6989586621679458404] -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply (FilterSym1 l1 :: TyFun [a] [a] -> *) (l2 :: [a]) # | |
Defined in Data.Singletons.Prelude.List | |
type FilterSym2 (t :: TyFun a6989586621679458404 Bool -> Type) (t :: [a6989586621679458404]) = Filter t t #
data (!!@#@$) (l :: TyFun [a6989586621679458373] (TyFun Nat a6989586621679458373 -> Type)) #
Instances
| SuppressUnusedWarnings ((!!@#@$) :: TyFun [a6989586621679458373] (TyFun Nat a6989586621679458373 -> Type) -> *) # | |
Defined in Data.Singletons.Prelude.List Methods suppressUnusedWarnings :: () # | |
| type Apply ((!!@#@$) :: TyFun [a6989586621679458373] (TyFun Nat a6989586621679458373 -> Type) -> *) (l :: [a6989586621679458373]) # | |
data (l :: [a6989586621679458373]) !!@#@$$ (l :: TyFun Nat a6989586621679458373) #
type (!!@#@$$$) (t :: [a6989586621679458373]) (t :: Nat) = (!!) t t #