Copyright | (C) 2013 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Singletons.Prelude.Tuple
Description
Defines functions and datatypes relating to the singleton for tuples,
including a singletons version of all the definitions in Data.Tuple
.
Because many of these definitions are produced by Template Haskell,
it is not possible to create proper Haddock documentation. Please look
up the corresponding operation in Data.Tuple
. Also, please excuse
the apparent repeated variable names. This is due to an interaction
between Template Haskell and Haddock.
Synopsis
- type family Sing :: k -> Type
- data STuple0 :: () -> Type where
- data STuple2 :: forall a b. (a, b) -> Type where
- data STuple3 :: forall a b c. (a, b, c) -> Type where
- data STuple4 :: forall a b c d. (a, b, c, d) -> Type where
- data STuple5 :: forall a b c d e. (a, b, c, d, e) -> Type where
- data STuple6 :: forall a b c d e f. (a, b, c, d, e, f) -> Type where
- data STuple7 :: forall a b c d e f g. (a, b, c, d, e, f, g) -> Type where
- type family Fst (a :: (a, b)) :: a where ...
- sFst :: forall a b (t :: (a, b)). Sing t -> Sing (Apply FstSym0 t :: a)
- type family Snd (a :: (a, b)) :: b where ...
- sSnd :: forall a b (t :: (a, b)). Sing t -> Sing (Apply SndSym0 t :: b)
- type family Curry (a :: (~>) (a, b) c) (a :: a) (a :: b) :: c where ...
- sCurry :: forall a b c (t :: (~>) (a, b) c) (t :: a) (t :: b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CurrySym0 t) t) t :: c)
- type family Uncurry (a :: (~>) a ((~>) b c)) (a :: (a, b)) :: c where ...
- sUncurry :: forall a b c (t :: (~>) a ((~>) b c)) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply UncurrySym0 t) t :: c)
- type family Swap (a :: (a, b)) :: (b, a) where ...
- sSwap :: forall a b (t :: (a, b)). Sing t -> Sing (Apply SwapSym0 t :: (b, a))
- type Tuple0Sym0 = '()
- data Tuple2Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 (a3530822107858468865 :: Type, b3530822107858468866 :: Type))
- data Tuple2Sym1 (t6989586621679311021 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type). (~>) b3530822107858468866 (a3530822107858468865 :: Type, b3530822107858468866 :: Type)
- type Tuple2Sym2 (t6989586621679311021 :: a3530822107858468865) (t6989586621679311022 :: b3530822107858468866) = '(t6989586621679311021, t6989586621679311022)
- data Tuple3Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type)))
- data Tuple3Sym1 (t6989586621679311052 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type))
- data Tuple3Sym2 (t6989586621679311052 :: a3530822107858468865 :: Type) (t6989586621679311053 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type). (~>) c3530822107858468867 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type)
- type Tuple3Sym3 (t6989586621679311052 :: a3530822107858468865) (t6989586621679311053 :: b3530822107858468866) (t6989586621679311054 :: c3530822107858468867) = '(t6989586621679311052, t6989586621679311053, t6989586621679311054)
- data Tuple4Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type))))
- data Tuple4Sym1 (t6989586621679311099 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type)))
- data Tuple4Sym2 (t6989586621679311099 :: a3530822107858468865 :: Type) (t6989586621679311100 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type))
- data Tuple4Sym3 (t6989586621679311099 :: a3530822107858468865 :: Type) (t6989586621679311100 :: b3530822107858468866 :: Type) (t6989586621679311101 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type). (~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type)
- type Tuple4Sym4 (t6989586621679311099 :: a3530822107858468865) (t6989586621679311100 :: b3530822107858468866) (t6989586621679311101 :: c3530822107858468867) (t6989586621679311102 :: d3530822107858468868) = '(t6989586621679311099, t6989586621679311100, t6989586621679311101, t6989586621679311102)
- data Tuple5Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type)))))
- data Tuple5Sym1 (t6989586621679311164 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type))))
- data Tuple5Sym2 (t6989586621679311164 :: a3530822107858468865 :: Type) (t6989586621679311165 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type)))
- data Tuple5Sym3 (t6989586621679311164 :: a3530822107858468865 :: Type) (t6989586621679311165 :: b3530822107858468866 :: Type) (t6989586621679311166 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type))
- data Tuple5Sym4 (t6989586621679311164 :: a3530822107858468865 :: Type) (t6989586621679311165 :: b3530822107858468866 :: Type) (t6989586621679311166 :: c3530822107858468867 :: Type) (t6989586621679311167 :: d3530822107858468868 :: Type) :: forall (e3530822107858468869 :: Type). (~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type)
- type Tuple5Sym5 (t6989586621679311164 :: a3530822107858468865) (t6989586621679311165 :: b3530822107858468866) (t6989586621679311166 :: c3530822107858468867) (t6989586621679311167 :: d3530822107858468868) (t6989586621679311168 :: e3530822107858468869) = '(t6989586621679311164, t6989586621679311165, t6989586621679311166, t6989586621679311167, t6989586621679311168)
- data Tuple6Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type))))))
- data Tuple6Sym1 (t6989586621679311249 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type)))))
- data Tuple6Sym2 (t6989586621679311249 :: a3530822107858468865 :: Type) (t6989586621679311250 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type))))
- data Tuple6Sym3 (t6989586621679311249 :: a3530822107858468865 :: Type) (t6989586621679311250 :: b3530822107858468866 :: Type) (t6989586621679311251 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type)))
- data Tuple6Sym4 (t6989586621679311249 :: a3530822107858468865 :: Type) (t6989586621679311250 :: b3530822107858468866 :: Type) (t6989586621679311251 :: c3530822107858468867 :: Type) (t6989586621679311252 :: d3530822107858468868 :: Type) :: forall (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type))
- data Tuple6Sym5 (t6989586621679311249 :: a3530822107858468865 :: Type) (t6989586621679311250 :: b3530822107858468866 :: Type) (t6989586621679311251 :: c3530822107858468867 :: Type) (t6989586621679311252 :: d3530822107858468868 :: Type) (t6989586621679311253 :: e3530822107858468869 :: Type) :: forall (f3530822107858468870 :: Type). (~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type)
- type Tuple6Sym6 (t6989586621679311249 :: a3530822107858468865) (t6989586621679311250 :: b3530822107858468866) (t6989586621679311251 :: c3530822107858468867) (t6989586621679311252 :: d3530822107858468868) (t6989586621679311253 :: e3530822107858468869) (t6989586621679311254 :: f3530822107858468870) = '(t6989586621679311249, t6989586621679311250, t6989586621679311251, t6989586621679311252, t6989586621679311253, t6989586621679311254)
- data Tuple7Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)))))))
- data Tuple7Sym1 (t6989586621679311356 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type))))))
- data Tuple7Sym2 (t6989586621679311356 :: a3530822107858468865 :: Type) (t6989586621679311357 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)))))
- data Tuple7Sym3 (t6989586621679311356 :: a3530822107858468865 :: Type) (t6989586621679311357 :: b3530822107858468866 :: Type) (t6989586621679311358 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type))))
- data Tuple7Sym4 (t6989586621679311356 :: a3530822107858468865 :: Type) (t6989586621679311357 :: b3530822107858468866 :: Type) (t6989586621679311358 :: c3530822107858468867 :: Type) (t6989586621679311359 :: d3530822107858468868 :: Type) :: forall (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)))
- data Tuple7Sym5 (t6989586621679311356 :: a3530822107858468865 :: Type) (t6989586621679311357 :: b3530822107858468866 :: Type) (t6989586621679311358 :: c3530822107858468867 :: Type) (t6989586621679311359 :: d3530822107858468868 :: Type) (t6989586621679311360 :: e3530822107858468869 :: Type) :: forall (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type))
- data Tuple7Sym6 (t6989586621679311356 :: a3530822107858468865 :: Type) (t6989586621679311357 :: b3530822107858468866 :: Type) (t6989586621679311358 :: c3530822107858468867 :: Type) (t6989586621679311359 :: d3530822107858468868 :: Type) (t6989586621679311360 :: e3530822107858468869 :: Type) (t6989586621679311361 :: f3530822107858468870 :: Type) :: forall (g3530822107858468871 :: Type). (~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)
- type Tuple7Sym7 (t6989586621679311356 :: a3530822107858468865) (t6989586621679311357 :: b3530822107858468866) (t6989586621679311358 :: c3530822107858468867) (t6989586621679311359 :: d3530822107858468868) (t6989586621679311360 :: e3530822107858468869) (t6989586621679311361 :: f3530822107858468870) (t6989586621679311362 :: g3530822107858468871) = '(t6989586621679311356, t6989586621679311357, t6989586621679311358, t6989586621679311359, t6989586621679311360, t6989586621679311361, t6989586621679311362)
- data FstSym0 :: forall a6989586621679366086 b6989586621679366087. (~>) (a6989586621679366086, b6989586621679366087) a6989586621679366086
- type FstSym1 (a6989586621679366188 :: (a6989586621679366086, b6989586621679366087)) = Fst a6989586621679366188
- data SndSym0 :: forall a6989586621679366084 b6989586621679366085. (~>) (a6989586621679366084, b6989586621679366085) b6989586621679366085
- type SndSym1 (a6989586621679366185 :: (a6989586621679366084, b6989586621679366085)) = Snd a6989586621679366185
- data CurrySym0 :: forall a6989586621679366081 b6989586621679366082 c6989586621679366083. (~>) ((~>) (a6989586621679366081, b6989586621679366082) c6989586621679366083) ((~>) a6989586621679366081 ((~>) b6989586621679366082 c6989586621679366083))
- data CurrySym1 (a6989586621679366176 :: (~>) (a6989586621679366081, b6989586621679366082) c6989586621679366083) :: (~>) a6989586621679366081 ((~>) b6989586621679366082 c6989586621679366083)
- data CurrySym2 (a6989586621679366176 :: (~>) (a6989586621679366081, b6989586621679366082) c6989586621679366083) (a6989586621679366177 :: a6989586621679366081) :: (~>) b6989586621679366082 c6989586621679366083
- type CurrySym3 (a6989586621679366176 :: (~>) (a6989586621679366081, b6989586621679366082) c6989586621679366083) (a6989586621679366177 :: a6989586621679366081) (a6989586621679366178 :: b6989586621679366082) = Curry a6989586621679366176 a6989586621679366177 a6989586621679366178
- data UncurrySym0 :: forall a6989586621679366078 b6989586621679366079 c6989586621679366080. (~>) ((~>) a6989586621679366078 ((~>) b6989586621679366079 c6989586621679366080)) ((~>) (a6989586621679366078, b6989586621679366079) c6989586621679366080)
- data UncurrySym1 (a6989586621679366170 :: (~>) a6989586621679366078 ((~>) b6989586621679366079 c6989586621679366080)) :: (~>) (a6989586621679366078, b6989586621679366079) c6989586621679366080
- type UncurrySym2 (a6989586621679366170 :: (~>) a6989586621679366078 ((~>) b6989586621679366079 c6989586621679366080)) (a6989586621679366171 :: (a6989586621679366078, b6989586621679366079)) = Uncurry a6989586621679366170 a6989586621679366171
- data SwapSym0 :: forall a6989586621679366076 b6989586621679366077. (~>) (a6989586621679366076, b6989586621679366077) (b6989586621679366077, a6989586621679366076)
- type SwapSym1 (a6989586621679366166 :: (a6989586621679366076, b6989586621679366077)) = Swap a6989586621679366166
Singleton definitions
See Sing
for more info.
type family Sing :: k -> Type Source #
The singleton kind-indexed type family.
Instances
data STuple0 :: () -> Type where Source #
Instances
TestCoercion STuple0 Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a :: k) (b :: k). STuple0 a -> STuple0 b -> Maybe (Coercion a b) | |
TestEquality STuple0 Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a :: k) (b :: k). STuple0 a -> STuple0 b -> Maybe (a :~: b) | |
Show (STuple0 z) | |
data STuple2 :: forall a b. (a, b) -> Type where Source #
Constructors
STuple2 :: forall a b (n :: a) (n :: b). (Sing (n :: a)) -> (Sing (n :: b)) -> STuple2 '(n, n) |
Instances
(SDecide a, SDecide b) => TestCoercion (STuple2 :: (a, b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b0 :: k). STuple2 a0 -> STuple2 b0 -> Maybe (Coercion a0 b0) | |
(SDecide a, SDecide b) => TestEquality (STuple2 :: (a, b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b0 :: k). STuple2 a0 -> STuple2 b0 -> Maybe (a0 :~: b0) | |
(ShowSing a, ShowSing b) => Show (STuple2 z) | |
data STuple3 :: forall a b c. (a, b, c) -> Type where Source #
Constructors
STuple3 :: forall a b c (n :: a) (n :: b) (n :: c). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> STuple3 '(n, n, n) |
Instances
(SDecide a, SDecide b, SDecide c) => TestCoercion (STuple3 :: (a, b, c) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b0 :: k). STuple3 a0 -> STuple3 b0 -> Maybe (Coercion a0 b0) | |
(SDecide a, SDecide b, SDecide c) => TestEquality (STuple3 :: (a, b, c) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b0 :: k). STuple3 a0 -> STuple3 b0 -> Maybe (a0 :~: b0) | |
(ShowSing a, ShowSing b, ShowSing c) => Show (STuple3 z) | |
data STuple4 :: forall a b c d. (a, b, c, d) -> Type where Source #
Constructors
STuple4 :: forall a b c d (n :: a) (n :: b) (n :: c) (n :: d). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> (Sing (n :: d)) -> STuple4 '(n, n, n, n) |
Instances
(SDecide a, SDecide b, SDecide c, SDecide d) => TestCoercion (STuple4 :: (a, b, c, d) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b0 :: k). STuple4 a0 -> STuple4 b0 -> Maybe (Coercion a0 b0) | |
(SDecide a, SDecide b, SDecide c, SDecide d) => TestEquality (STuple4 :: (a, b, c, d) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b0 :: k). STuple4 a0 -> STuple4 b0 -> Maybe (a0 :~: b0) | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (STuple4 z) | |
data STuple5 :: forall a b c d e. (a, b, c, d, e) -> Type where Source #
Constructors
STuple5 :: forall a b c d e (n :: a) (n :: b) (n :: c) (n :: d) (n :: e). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> (Sing (n :: d)) -> (Sing (n :: e)) -> STuple5 '(n, n, n, n, n) |
Instances
(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e) => TestCoercion (STuple5 :: (a, b, c, d, e) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b0 :: k). STuple5 a0 -> STuple5 b0 -> Maybe (Coercion a0 b0) | |
(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e) => TestEquality (STuple5 :: (a, b, c, d, e) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b0 :: k). STuple5 a0 -> STuple5 b0 -> Maybe (a0 :~: b0) | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (STuple5 z) | |
data STuple6 :: forall a b c d e f. (a, b, c, d, e, f) -> Type where Source #
Constructors
STuple6 :: forall a b c d e f (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> (Sing (n :: d)) -> (Sing (n :: e)) -> (Sing (n :: f)) -> STuple6 '(n, n, n, n, n, n) |
Instances
(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e, SDecide f) => TestCoercion (STuple6 :: (a, b, c, d, e, f) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b0 :: k). STuple6 a0 -> STuple6 b0 -> Maybe (Coercion a0 b0) | |
(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e, SDecide f) => TestEquality (STuple6 :: (a, b, c, d, e, f) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b0 :: k). STuple6 a0 -> STuple6 b0 -> Maybe (a0 :~: b0) | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (STuple6 z) | |
data STuple7 :: forall a b c d e f g. (a, b, c, d, e, f, g) -> Type where Source #
Constructors
STuple7 :: forall a b c d e f g (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f) (n :: g). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> (Sing (n :: d)) -> (Sing (n :: e)) -> (Sing (n :: f)) -> (Sing (n :: g)) -> STuple7 '(n, n, n, n, n, n, n) |
Instances
(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e, SDecide f, SDecide g) => TestCoercion (STuple7 :: (a, b, c, d, e, f, g) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b0 :: k). STuple7 a0 -> STuple7 b0 -> Maybe (Coercion a0 b0) | |
(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e, SDecide f, SDecide g) => TestEquality (STuple7 :: (a, b, c, d, e, f, g) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b0 :: k). STuple7 a0 -> STuple7 b0 -> Maybe (a0 :~: b0) | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (STuple7 z) | |
Singletons from Data.Tuple
type family Curry (a :: (~>) (a, b) c) (a :: a) (a :: b) :: c where ... Source #
Equations
Curry f x y = Apply f (Apply (Apply Tuple2Sym0 x) y) |
sCurry :: forall a b c (t :: (~>) (a, b) c) (t :: a) (t :: b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CurrySym0 t) t) t :: c) Source #
sUncurry :: forall a b c (t :: (~>) a ((~>) b c)) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply UncurrySym0 t) t :: c) Source #
type family Swap (a :: (a, b)) :: (b, a) where ... Source #
Equations
Swap '(a, b) = Apply (Apply Tuple2Sym0 b) a |
Defunctionalization symbols
type Tuple0Sym0 = '() Source #
data Tuple2Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 (a3530822107858468865 :: Type, b3530822107858468866 :: Type)) Source #
Instances
SingI (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing Tuple2Sym0 Source # | |
SuppressUnusedWarnings (Tuple2Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (a3530822107858468865, b3530822107858468866)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (a3530822107858468865, b3530822107858468866)) -> Type) (t6989586621679311021 :: a3530822107858468865) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (a3530822107858468865, b3530822107858468866)) -> Type) (t6989586621679311021 :: a3530822107858468865) = Tuple2Sym1 t6989586621679311021 b3530822107858468866 :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type |
data Tuple2Sym1 (t6989586621679311021 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type). (~>) b3530822107858468866 (a3530822107858468865 :: Type, b3530822107858468866 :: Type) Source #
Instances
SingI d => SingI (Tuple2Sym1 d b :: TyFun b (a, b) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple2Sym1 d b) Source # | |
SuppressUnusedWarnings (Tuple2Sym1 t6989586621679311021 b3530822107858468866 :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple2Sym1 t6989586621679311021 k2 :: TyFun k2 (k1, k2) -> Type) (t6989586621679311022 :: k2) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple2Sym1 t6989586621679311021 k2 :: TyFun k2 (k1, k2) -> Type) (t6989586621679311022 :: k2) = '(t6989586621679311021, t6989586621679311022) |
type Tuple2Sym2 (t6989586621679311021 :: a3530822107858468865) (t6989586621679311022 :: b3530822107858468866) = '(t6989586621679311021, t6989586621679311022) Source #
data Tuple3Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type))) Source #
Instances
SingI (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing Tuple3Sym0 Source # | |
SuppressUnusedWarnings (Tuple3Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867))) -> Type) (t6989586621679311052 :: a3530822107858468865) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867))) -> Type) (t6989586621679311052 :: a3530822107858468865) = Tuple3Sym1 t6989586621679311052 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type |
data Tuple3Sym1 (t6989586621679311052 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type)) Source #
Instances
SingI d => SingI (Tuple3Sym1 d b c :: TyFun b (c ~> (a, b, c)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple3Sym1 d b c) Source # | |
SuppressUnusedWarnings (Tuple3Sym1 t6989586621679311052 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple3Sym1 t6989586621679311052 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type) (t6989586621679311053 :: b3530822107858468866) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym1 t6989586621679311052 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type) (t6989586621679311053 :: b3530822107858468866) = Tuple3Sym2 t6989586621679311052 t6989586621679311053 c3530822107858468867 :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type |
data Tuple3Sym2 (t6989586621679311052 :: a3530822107858468865 :: Type) (t6989586621679311053 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type). (~>) c3530822107858468867 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type) Source #
Instances
(SingI d1, SingI d2) => SingI (Tuple3Sym2 d1 d2 c :: TyFun c (a, b, c) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple3Sym2 d1 d2 c) Source # | |
SuppressUnusedWarnings (Tuple3Sym2 t6989586621679311053 t6989586621679311052 c3530822107858468867 :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple3Sym2 t6989586621679311053 t6989586621679311052 k3 :: TyFun k3 (k1, k2, k3) -> Type) (t6989586621679311054 :: k3) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym2 t6989586621679311053 t6989586621679311052 k3 :: TyFun k3 (k1, k2, k3) -> Type) (t6989586621679311054 :: k3) = '(t6989586621679311053, t6989586621679311052, t6989586621679311054) |
type Tuple3Sym3 (t6989586621679311052 :: a3530822107858468865) (t6989586621679311053 :: b3530822107858468866) (t6989586621679311054 :: c3530822107858468867) = '(t6989586621679311052, t6989586621679311053, t6989586621679311054) Source #
data Tuple4Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type)))) Source #
Instances
SingI (Tuple4Sym0 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing Tuple4Sym0 Source # | |
SuppressUnusedWarnings (Tuple4Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)))) -> Type) (t6989586621679311099 :: a3530822107858468865) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)))) -> Type) (t6989586621679311099 :: a3530822107858468865) = Tuple4Sym1 t6989586621679311099 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type |
data Tuple4Sym1 (t6989586621679311099 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type))) Source #
Instances
SingI d2 => SingI (Tuple4Sym1 d2 b c d1 :: TyFun b (c ~> (d1 ~> (a, b, c, d1))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple4Sym1 d2 b c d1) Source # | |
SuppressUnusedWarnings (Tuple4Sym1 t6989586621679311099 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple4Sym1 t6989586621679311099 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type) (t6989586621679311100 :: b3530822107858468866) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym1 t6989586621679311099 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type) (t6989586621679311100 :: b3530822107858468866) = Tuple4Sym2 t6989586621679311099 t6989586621679311100 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type |
data Tuple4Sym2 (t6989586621679311099 :: a3530822107858468865 :: Type) (t6989586621679311100 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type)) Source #
Instances
(SingI d2, SingI d3) => SingI (Tuple4Sym2 d2 d3 c d1 :: TyFun c (d1 ~> (a, b, c, d1)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple4Sym2 d2 d3 c d1) Source # | |
SuppressUnusedWarnings (Tuple4Sym2 t6989586621679311100 t6989586621679311099 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple4Sym2 t6989586621679311100 t6989586621679311099 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type) (t6989586621679311101 :: c3530822107858468867) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym2 t6989586621679311100 t6989586621679311099 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type) (t6989586621679311101 :: c3530822107858468867) = Tuple4Sym3 t6989586621679311100 t6989586621679311099 t6989586621679311101 d3530822107858468868 :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type |
data Tuple4Sym3 (t6989586621679311099 :: a3530822107858468865 :: Type) (t6989586621679311100 :: b3530822107858468866 :: Type) (t6989586621679311101 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type). (~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type) Source #
Instances
(SingI d2, SingI d3, SingI d4) => SingI (Tuple4Sym3 d2 d3 d4 d1 :: TyFun d1 (a, b, c, d1) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple4Sym3 d2 d3 d4 d1) Source # | |
SuppressUnusedWarnings (Tuple4Sym3 t6989586621679311101 t6989586621679311100 t6989586621679311099 d3530822107858468868 :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple4Sym3 t6989586621679311101 t6989586621679311100 t6989586621679311099 k4 :: TyFun k4 (k1, k2, k3, k4) -> Type) (t6989586621679311102 :: k4) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym3 t6989586621679311101 t6989586621679311100 t6989586621679311099 k4 :: TyFun k4 (k1, k2, k3, k4) -> Type) (t6989586621679311102 :: k4) = '(t6989586621679311101, t6989586621679311100, t6989586621679311099, t6989586621679311102) |
type Tuple4Sym4 (t6989586621679311099 :: a3530822107858468865) (t6989586621679311100 :: b3530822107858468866) (t6989586621679311101 :: c3530822107858468867) (t6989586621679311102 :: d3530822107858468868) = '(t6989586621679311099, t6989586621679311100, t6989586621679311101, t6989586621679311102) Source #
data Tuple5Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type))))) Source #
Instances
SingI (Tuple5Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing Tuple5Sym0 Source # | |
SuppressUnusedWarnings (Tuple5Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple5Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))))) -> Type) (t6989586621679311164 :: a3530822107858468865) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))))) -> Type) (t6989586621679311164 :: a3530822107858468865) = Tuple5Sym1 t6989586621679311164 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type |
data Tuple5Sym1 (t6989586621679311164 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type)))) Source #
Instances
SingI d2 => SingI (Tuple5Sym1 d2 b c d1 e :: TyFun b (c ~> (d1 ~> (e ~> (a, b, c, d1, e)))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple5Sym1 d2 b c d1 e) Source # | |
SuppressUnusedWarnings (Tuple5Sym1 t6989586621679311164 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple5Sym1 t6989586621679311164 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type) (t6989586621679311165 :: b3530822107858468866) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym1 t6989586621679311164 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type) (t6989586621679311165 :: b3530822107858468866) = Tuple5Sym2 t6989586621679311164 t6989586621679311165 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type |
data Tuple5Sym2 (t6989586621679311164 :: a3530822107858468865 :: Type) (t6989586621679311165 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type))) Source #
Instances
(SingI d2, SingI d3) => SingI (Tuple5Sym2 d2 d3 c d1 e :: TyFun c (d1 ~> (e ~> (a, b, c, d1, e))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple5Sym2 d2 d3 c d1 e) Source # | |
SuppressUnusedWarnings (Tuple5Sym2 t6989586621679311165 t6989586621679311164 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple5Sym2 t6989586621679311165 t6989586621679311164 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type) (t6989586621679311166 :: c3530822107858468867) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym2 t6989586621679311165 t6989586621679311164 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type) (t6989586621679311166 :: c3530822107858468867) = Tuple5Sym3 t6989586621679311165 t6989586621679311164 t6989586621679311166 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type |
data Tuple5Sym3 (t6989586621679311164 :: a3530822107858468865 :: Type) (t6989586621679311165 :: b3530822107858468866 :: Type) (t6989586621679311166 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type)) Source #
Instances
(SingI d2, SingI d3, SingI d4) => SingI (Tuple5Sym3 d2 d3 d4 d1 e :: TyFun d1 (e ~> (a, b, c, d1, e)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple5Sym3 d2 d3 d4 d1 e) Source # | |
SuppressUnusedWarnings (Tuple5Sym3 t6989586621679311166 t6989586621679311165 t6989586621679311164 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple5Sym3 t6989586621679311166 t6989586621679311165 t6989586621679311164 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type) (t6989586621679311167 :: d3530822107858468868) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym3 t6989586621679311166 t6989586621679311165 t6989586621679311164 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type) (t6989586621679311167 :: d3530822107858468868) = Tuple5Sym4 t6989586621679311166 t6989586621679311165 t6989586621679311164 t6989586621679311167 e3530822107858468869 :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type |
data Tuple5Sym4 (t6989586621679311164 :: a3530822107858468865 :: Type) (t6989586621679311165 :: b3530822107858468866 :: Type) (t6989586621679311166 :: c3530822107858468867 :: Type) (t6989586621679311167 :: d3530822107858468868 :: Type) :: forall (e3530822107858468869 :: Type). (~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type) Source #
Instances
(SingI d2, SingI d3, SingI d4, SingI d5) => SingI (Tuple5Sym4 d2 d3 d4 d5 e :: TyFun e (a, b, c, d1, e) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple5Sym4 d2 d3 d4 d5 e) Source # | |
SuppressUnusedWarnings (Tuple5Sym4 t6989586621679311167 t6989586621679311166 t6989586621679311165 t6989586621679311164 e3530822107858468869 :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple5Sym4 t6989586621679311167 t6989586621679311166 t6989586621679311165 t6989586621679311164 k5 :: TyFun k5 (k1, k2, k3, k4, k5) -> Type) (t6989586621679311168 :: k5) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym4 t6989586621679311167 t6989586621679311166 t6989586621679311165 t6989586621679311164 k5 :: TyFun k5 (k1, k2, k3, k4, k5) -> Type) (t6989586621679311168 :: k5) = '(t6989586621679311167, t6989586621679311166, t6989586621679311165, t6989586621679311164, t6989586621679311168) |
type Tuple5Sym5 (t6989586621679311164 :: a3530822107858468865) (t6989586621679311165 :: b3530822107858468866) (t6989586621679311166 :: c3530822107858468867) (t6989586621679311167 :: d3530822107858468868) (t6989586621679311168 :: e3530822107858468869) = '(t6989586621679311164, t6989586621679311165, t6989586621679311166, t6989586621679311167, t6989586621679311168) Source #
data Tuple6Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type)))))) Source #
Instances
SingI (Tuple6Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing Tuple6Sym0 Source # | |
SuppressUnusedWarnings (Tuple6Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple6Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))))) -> Type) (t6989586621679311249 :: a3530822107858468865) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))))) -> Type) (t6989586621679311249 :: a3530822107858468865) = Tuple6Sym1 t6989586621679311249 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type |
data Tuple6Sym1 (t6989586621679311249 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type))))) Source #
Instances
SingI d2 => SingI (Tuple6Sym1 d2 b c d1 e f :: TyFun b (c ~> (d1 ~> (e ~> (f ~> (a, b, c, d1, e, f))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym1 d2 b c d1 e f) Source # | |
SuppressUnusedWarnings (Tuple6Sym1 t6989586621679311249 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple6Sym1 t6989586621679311249 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type) (t6989586621679311250 :: b3530822107858468866) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym1 t6989586621679311249 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type) (t6989586621679311250 :: b3530822107858468866) = Tuple6Sym2 t6989586621679311249 t6989586621679311250 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type |
data Tuple6Sym2 (t6989586621679311249 :: a3530822107858468865 :: Type) (t6989586621679311250 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type)))) Source #
Instances
(SingI d2, SingI d3) => SingI (Tuple6Sym2 d2 d3 c d1 e f :: TyFun c (d1 ~> (e ~> (f ~> (a, b, c, d1, e, f)))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym2 d2 d3 c d1 e f) Source # | |
SuppressUnusedWarnings (Tuple6Sym2 t6989586621679311250 t6989586621679311249 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple6Sym2 t6989586621679311250 t6989586621679311249 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type) (t6989586621679311251 :: c3530822107858468867) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym2 t6989586621679311250 t6989586621679311249 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type) (t6989586621679311251 :: c3530822107858468867) = Tuple6Sym3 t6989586621679311250 t6989586621679311249 t6989586621679311251 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type |
data Tuple6Sym3 (t6989586621679311249 :: a3530822107858468865 :: Type) (t6989586621679311250 :: b3530822107858468866 :: Type) (t6989586621679311251 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type))) Source #
Instances
(SingI d2, SingI d3, SingI d4) => SingI (Tuple6Sym3 d2 d3 d4 d1 e f :: TyFun d1 (e ~> (f ~> (a, b, c, d1, e, f))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym3 d2 d3 d4 d1 e f) Source # | |
SuppressUnusedWarnings (Tuple6Sym3 t6989586621679311251 t6989586621679311250 t6989586621679311249 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple6Sym3 t6989586621679311251 t6989586621679311250 t6989586621679311249 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type) (t6989586621679311252 :: d3530822107858468868) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym3 t6989586621679311251 t6989586621679311250 t6989586621679311249 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type) (t6989586621679311252 :: d3530822107858468868) = Tuple6Sym4 t6989586621679311251 t6989586621679311250 t6989586621679311249 t6989586621679311252 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type |
data Tuple6Sym4 (t6989586621679311249 :: a3530822107858468865 :: Type) (t6989586621679311250 :: b3530822107858468866 :: Type) (t6989586621679311251 :: c3530822107858468867 :: Type) (t6989586621679311252 :: d3530822107858468868 :: Type) :: forall (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type)) Source #
Instances
(SingI d2, SingI d3, SingI d4, SingI d5) => SingI (Tuple6Sym4 d2 d3 d4 d5 e f :: TyFun e (f ~> (a, b, c, d1, e, f)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym4 d2 d3 d4 d5 e f) Source # | |
SuppressUnusedWarnings (Tuple6Sym4 t6989586621679311252 t6989586621679311251 t6989586621679311250 t6989586621679311249 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple6Sym4 t6989586621679311252 t6989586621679311251 t6989586621679311250 t6989586621679311249 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type) (t6989586621679311253 :: e3530822107858468869) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym4 t6989586621679311252 t6989586621679311251 t6989586621679311250 t6989586621679311249 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type) (t6989586621679311253 :: e3530822107858468869) = Tuple6Sym5 t6989586621679311252 t6989586621679311251 t6989586621679311250 t6989586621679311249 t6989586621679311253 f3530822107858468870 :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type |
data Tuple6Sym5 (t6989586621679311249 :: a3530822107858468865 :: Type) (t6989586621679311250 :: b3530822107858468866 :: Type) (t6989586621679311251 :: c3530822107858468867 :: Type) (t6989586621679311252 :: d3530822107858468868 :: Type) (t6989586621679311253 :: e3530822107858468869 :: Type) :: forall (f3530822107858468870 :: Type). (~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type) Source #
Instances
(SingI d2, SingI d3, SingI d4, SingI d5, SingI d6) => SingI (Tuple6Sym5 d2 d3 d4 d5 d6 f :: TyFun f (a, b, c, d1, e, f) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym5 d2 d3 d4 d5 d6 f) Source # | |
SuppressUnusedWarnings (Tuple6Sym5 t6989586621679311253 t6989586621679311252 t6989586621679311251 t6989586621679311250 t6989586621679311249 f3530822107858468870 :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple6Sym5 t6989586621679311253 t6989586621679311252 t6989586621679311251 t6989586621679311250 t6989586621679311249 k6 :: TyFun k6 (k1, k2, k3, k4, k5, k6) -> Type) (t6989586621679311254 :: k6) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym5 t6989586621679311253 t6989586621679311252 t6989586621679311251 t6989586621679311250 t6989586621679311249 k6 :: TyFun k6 (k1, k2, k3, k4, k5, k6) -> Type) (t6989586621679311254 :: k6) = '(t6989586621679311253, t6989586621679311252, t6989586621679311251, t6989586621679311250, t6989586621679311249, t6989586621679311254) |
type Tuple6Sym6 (t6989586621679311249 :: a3530822107858468865) (t6989586621679311250 :: b3530822107858468866) (t6989586621679311251 :: c3530822107858468867) (t6989586621679311252 :: d3530822107858468868) (t6989586621679311253 :: e3530822107858468869) (t6989586621679311254 :: f3530822107858468870) = '(t6989586621679311249, t6989586621679311250, t6989586621679311251, t6989586621679311252, t6989586621679311253, t6989586621679311254) Source #
data Tuple7Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type))))))) Source #
Instances
SingI (Tuple7Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing Tuple7Sym0 Source # | |
SuppressUnusedWarnings (Tuple7Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple7Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))))) -> Type) (t6989586621679311356 :: a3530822107858468865) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))))) -> Type) (t6989586621679311356 :: a3530822107858468865) = Tuple7Sym1 t6989586621679311356 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))))) -> Type |
data Tuple7Sym1 (t6989586621679311356 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)))))) Source #
Instances
SingI d2 => SingI (Tuple7Sym1 d2 b c d1 e f g :: TyFun b (c ~> (d1 ~> (e ~> (f ~> (g ~> (a, b, c, d1, e, f, g)))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym1 d2 b c d1 e f g) Source # | |
SuppressUnusedWarnings (Tuple7Sym1 t6989586621679311356 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple7Sym1 t6989586621679311356 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))))) -> Type) (t6989586621679311357 :: b3530822107858468866) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym1 t6989586621679311356 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))))) -> Type) (t6989586621679311357 :: b3530822107858468866) = Tuple7Sym2 t6989586621679311356 t6989586621679311357 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type |
data Tuple7Sym2 (t6989586621679311356 :: a3530822107858468865 :: Type) (t6989586621679311357 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type))))) Source #
Instances
(SingI d2, SingI d3) => SingI (Tuple7Sym2 d2 d3 c d1 e f g :: TyFun c (d1 ~> (e ~> (f ~> (g ~> (a, b, c, d1, e, f, g))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym2 d2 d3 c d1 e f g) Source # | |
SuppressUnusedWarnings (Tuple7Sym2 t6989586621679311357 t6989586621679311356 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple7Sym2 t6989586621679311357 t6989586621679311356 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type) (t6989586621679311358 :: c3530822107858468867) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym2 t6989586621679311357 t6989586621679311356 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type) (t6989586621679311358 :: c3530822107858468867) = Tuple7Sym3 t6989586621679311357 t6989586621679311356 t6989586621679311358 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type |
data Tuple7Sym3 (t6989586621679311356 :: a3530822107858468865 :: Type) (t6989586621679311357 :: b3530822107858468866 :: Type) (t6989586621679311358 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)))) Source #
Instances
(SingI d2, SingI d3, SingI d4) => SingI (Tuple7Sym3 d2 d3 d4 d1 e f g :: TyFun d1 (e ~> (f ~> (g ~> (a, b, c, d1, e, f, g)))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym3 d2 d3 d4 d1 e f g) Source # | |
SuppressUnusedWarnings (Tuple7Sym3 t6989586621679311358 t6989586621679311357 t6989586621679311356 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple7Sym3 t6989586621679311358 t6989586621679311357 t6989586621679311356 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type) (t6989586621679311359 :: d3530822107858468868) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym3 t6989586621679311358 t6989586621679311357 t6989586621679311356 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type) (t6989586621679311359 :: d3530822107858468868) = Tuple7Sym4 t6989586621679311358 t6989586621679311357 t6989586621679311356 t6989586621679311359 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type |
data Tuple7Sym4 (t6989586621679311356 :: a3530822107858468865 :: Type) (t6989586621679311357 :: b3530822107858468866 :: Type) (t6989586621679311358 :: c3530822107858468867 :: Type) (t6989586621679311359 :: d3530822107858468868 :: Type) :: forall (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type))) Source #
Instances
(SingI d2, SingI d3, SingI d4, SingI d5) => SingI (Tuple7Sym4 d2 d3 d4 d5 e f g :: TyFun e (f ~> (g ~> (a, b, c, d1, e, f, g))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym4 d2 d3 d4 d5 e f g) Source # | |
SuppressUnusedWarnings (Tuple7Sym4 t6989586621679311359 t6989586621679311358 t6989586621679311357 t6989586621679311356 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple7Sym4 t6989586621679311359 t6989586621679311358 t6989586621679311357 t6989586621679311356 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type) (t6989586621679311360 :: e3530822107858468869) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym4 t6989586621679311359 t6989586621679311358 t6989586621679311357 t6989586621679311356 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type) (t6989586621679311360 :: e3530822107858468869) = Tuple7Sym5 t6989586621679311359 t6989586621679311358 t6989586621679311357 t6989586621679311356 t6989586621679311360 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type |
data Tuple7Sym5 (t6989586621679311356 :: a3530822107858468865 :: Type) (t6989586621679311357 :: b3530822107858468866 :: Type) (t6989586621679311358 :: c3530822107858468867 :: Type) (t6989586621679311359 :: d3530822107858468868 :: Type) (t6989586621679311360 :: e3530822107858468869 :: Type) :: forall (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)) Source #
Instances
(SingI d2, SingI d3, SingI d4, SingI d5, SingI d6) => SingI (Tuple7Sym5 d2 d3 d4 d5 d6 f g :: TyFun f (g ~> (a, b, c, d1, e, f, g)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym5 d2 d3 d4 d5 d6 f g) Source # | |
SuppressUnusedWarnings (Tuple7Sym5 t6989586621679311360 t6989586621679311359 t6989586621679311358 t6989586621679311357 t6989586621679311356 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple7Sym5 t6989586621679311360 t6989586621679311359 t6989586621679311358 t6989586621679311357 t6989586621679311356 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type) (t6989586621679311361 :: f3530822107858468870) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym5 t6989586621679311360 t6989586621679311359 t6989586621679311358 t6989586621679311357 t6989586621679311356 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type) (t6989586621679311361 :: f3530822107858468870) = Tuple7Sym6 t6989586621679311360 t6989586621679311359 t6989586621679311358 t6989586621679311357 t6989586621679311356 t6989586621679311361 g3530822107858468871 :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type |
data Tuple7Sym6 (t6989586621679311356 :: a3530822107858468865 :: Type) (t6989586621679311357 :: b3530822107858468866 :: Type) (t6989586621679311358 :: c3530822107858468867 :: Type) (t6989586621679311359 :: d3530822107858468868 :: Type) (t6989586621679311360 :: e3530822107858468869 :: Type) (t6989586621679311361 :: f3530822107858468870 :: Type) :: forall (g3530822107858468871 :: Type). (~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type) Source #
Instances
(SingI d2, SingI d3, SingI d4, SingI d5, SingI d6, SingI d7) => SingI (Tuple7Sym6 d2 d3 d4 d5 d6 d7 g :: TyFun g (a, b, c, d1, e, f, g) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym6 d2 d3 d4 d5 d6 d7 g) Source # | |
SuppressUnusedWarnings (Tuple7Sym6 t6989586621679311361 t6989586621679311360 t6989586621679311359 t6989586621679311358 t6989586621679311357 t6989586621679311356 g3530822107858468871 :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source # | |
type Apply (Tuple7Sym6 t6989586621679311361 t6989586621679311360 t6989586621679311359 t6989586621679311358 t6989586621679311357 t6989586621679311356 k7 :: TyFun k7 (k1, k2, k3, k4, k5, k6, k7) -> Type) (t6989586621679311362 :: k7) Source # | |
Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym6 t6989586621679311361 t6989586621679311360 t6989586621679311359 t6989586621679311358 t6989586621679311357 t6989586621679311356 k7 :: TyFun k7 (k1, k2, k3, k4, k5, k6, k7) -> Type) (t6989586621679311362 :: k7) = '(t6989586621679311361, t6989586621679311360, t6989586621679311359, t6989586621679311358, t6989586621679311357, t6989586621679311356, t6989586621679311362) |
type Tuple7Sym7 (t6989586621679311356 :: a3530822107858468865) (t6989586621679311357 :: b3530822107858468866) (t6989586621679311358 :: c3530822107858468867) (t6989586621679311359 :: d3530822107858468868) (t6989586621679311360 :: e3530822107858468869) (t6989586621679311361 :: f3530822107858468870) (t6989586621679311362 :: g3530822107858468871) = '(t6989586621679311356, t6989586621679311357, t6989586621679311358, t6989586621679311359, t6989586621679311360, t6989586621679311361, t6989586621679311362) Source #
data FstSym0 :: forall a6989586621679366086 b6989586621679366087. (~>) (a6989586621679366086, b6989586621679366087) a6989586621679366086 Source #
Instances
SingI (FstSym0 :: TyFun (a, b) a -> Type) Source # | |
SuppressUnusedWarnings (FstSym0 :: TyFun (a6989586621679366086, b6989586621679366087) a6989586621679366086 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source # | |
type Apply (FstSym0 :: TyFun (a, b) a -> Type) (a6989586621679366188 :: (a, b)) Source # | |
Defined in Data.Singletons.Prelude.Tuple |
type FstSym1 (a6989586621679366188 :: (a6989586621679366086, b6989586621679366087)) = Fst a6989586621679366188 Source #
data SndSym0 :: forall a6989586621679366084 b6989586621679366085. (~>) (a6989586621679366084, b6989586621679366085) b6989586621679366085 Source #
Instances
SingI (SndSym0 :: TyFun (a, b) b -> Type) Source # | |
SuppressUnusedWarnings (SndSym0 :: TyFun (a6989586621679366084, b6989586621679366085) b6989586621679366085 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source # | |
type Apply (SndSym0 :: TyFun (a, b) b -> Type) (a6989586621679366185 :: (a, b)) Source # | |
Defined in Data.Singletons.Prelude.Tuple |
type SndSym1 (a6989586621679366185 :: (a6989586621679366084, b6989586621679366085)) = Snd a6989586621679366185 Source #
data CurrySym0 :: forall a6989586621679366081 b6989586621679366082 c6989586621679366083. (~>) ((~>) (a6989586621679366081, b6989586621679366082) c6989586621679366083) ((~>) a6989586621679366081 ((~>) b6989586621679366082 c6989586621679366083)) Source #
Instances
SingI (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type) Source # | |
SuppressUnusedWarnings (CurrySym0 :: TyFun ((a6989586621679366081, b6989586621679366082) ~> c6989586621679366083) (a6989586621679366081 ~> (b6989586621679366082 ~> c6989586621679366083)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source # | |
type Apply (CurrySym0 :: TyFun ((a6989586621679366081, b6989586621679366082) ~> c6989586621679366083) (a6989586621679366081 ~> (b6989586621679366082 ~> c6989586621679366083)) -> Type) (a6989586621679366176 :: (a6989586621679366081, b6989586621679366082) ~> c6989586621679366083) Source # | |
Defined in Data.Singletons.Prelude.Tuple type Apply (CurrySym0 :: TyFun ((a6989586621679366081, b6989586621679366082) ~> c6989586621679366083) (a6989586621679366081 ~> (b6989586621679366082 ~> c6989586621679366083)) -> Type) (a6989586621679366176 :: (a6989586621679366081, b6989586621679366082) ~> c6989586621679366083) = CurrySym1 a6989586621679366176 |
data CurrySym1 (a6989586621679366176 :: (~>) (a6989586621679366081, b6989586621679366082) c6989586621679366083) :: (~>) a6989586621679366081 ((~>) b6989586621679366082 c6989586621679366083) Source #
Instances
SingI d => SingI (CurrySym1 d :: TyFun a (b ~> c) -> Type) Source # | |
SuppressUnusedWarnings (CurrySym1 a6989586621679366176 :: TyFun a6989586621679366081 (b6989586621679366082 ~> c6989586621679366083) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source # | |
type Apply (CurrySym1 a6989586621679366176 :: TyFun a6989586621679366081 (b6989586621679366082 ~> c6989586621679366083) -> Type) (a6989586621679366177 :: a6989586621679366081) Source # | |
data CurrySym2 (a6989586621679366176 :: (~>) (a6989586621679366081, b6989586621679366082) c6989586621679366083) (a6989586621679366177 :: a6989586621679366081) :: (~>) b6989586621679366082 c6989586621679366083 Source #
Instances
(SingI d1, SingI d2) => SingI (CurrySym2 d1 d2 :: TyFun b c -> Type) Source # | |
SuppressUnusedWarnings (CurrySym2 a6989586621679366177 a6989586621679366176 :: TyFun b6989586621679366082 c6989586621679366083 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source # | |
type Apply (CurrySym2 a6989586621679366177 a6989586621679366176 :: TyFun b c -> Type) (a6989586621679366178 :: b) Source # | |
Defined in Data.Singletons.Prelude.Tuple |
type CurrySym3 (a6989586621679366176 :: (~>) (a6989586621679366081, b6989586621679366082) c6989586621679366083) (a6989586621679366177 :: a6989586621679366081) (a6989586621679366178 :: b6989586621679366082) = Curry a6989586621679366176 a6989586621679366177 a6989586621679366178 Source #
data UncurrySym0 :: forall a6989586621679366078 b6989586621679366079 c6989586621679366080. (~>) ((~>) a6989586621679366078 ((~>) b6989586621679366079 c6989586621679366080)) ((~>) (a6989586621679366078, b6989586621679366079) c6989586621679366080) Source #
Instances
SingI (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Tuple Methods sing :: Sing UncurrySym0 Source # | |
SuppressUnusedWarnings (UncurrySym0 :: TyFun (a6989586621679366078 ~> (b6989586621679366079 ~> c6989586621679366080)) ((a6989586621679366078, b6989586621679366079) ~> c6989586621679366080) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source # | |
type Apply (UncurrySym0 :: TyFun (a6989586621679366078 ~> (b6989586621679366079 ~> c6989586621679366080)) ((a6989586621679366078, b6989586621679366079) ~> c6989586621679366080) -> Type) (a6989586621679366170 :: a6989586621679366078 ~> (b6989586621679366079 ~> c6989586621679366080)) Source # | |
Defined in Data.Singletons.Prelude.Tuple type Apply (UncurrySym0 :: TyFun (a6989586621679366078 ~> (b6989586621679366079 ~> c6989586621679366080)) ((a6989586621679366078, b6989586621679366079) ~> c6989586621679366080) -> Type) (a6989586621679366170 :: a6989586621679366078 ~> (b6989586621679366079 ~> c6989586621679366080)) = UncurrySym1 a6989586621679366170 |
data UncurrySym1 (a6989586621679366170 :: (~>) a6989586621679366078 ((~>) b6989586621679366079 c6989586621679366080)) :: (~>) (a6989586621679366078, b6989586621679366079) c6989586621679366080 Source #
Instances
SingI d => SingI (UncurrySym1 d :: TyFun (a, b) c -> Type) Source # | |
Defined in Data.Singletons.Prelude.Tuple Methods sing :: Sing (UncurrySym1 d) Source # | |
SuppressUnusedWarnings (UncurrySym1 a6989586621679366170 :: TyFun (a6989586621679366078, b6989586621679366079) c6989586621679366080 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source # | |
type Apply (UncurrySym1 a6989586621679366170 :: TyFun (a, b) c -> Type) (a6989586621679366171 :: (a, b)) Source # | |
Defined in Data.Singletons.Prelude.Tuple type Apply (UncurrySym1 a6989586621679366170 :: TyFun (a, b) c -> Type) (a6989586621679366171 :: (a, b)) = Uncurry a6989586621679366170 a6989586621679366171 |
type UncurrySym2 (a6989586621679366170 :: (~>) a6989586621679366078 ((~>) b6989586621679366079 c6989586621679366080)) (a6989586621679366171 :: (a6989586621679366078, b6989586621679366079)) = Uncurry a6989586621679366170 a6989586621679366171 Source #
data SwapSym0 :: forall a6989586621679366076 b6989586621679366077. (~>) (a6989586621679366076, b6989586621679366077) (b6989586621679366077, a6989586621679366076) Source #
Instances
SingI (SwapSym0 :: TyFun (a, b) (b, a) -> Type) Source # | |
SuppressUnusedWarnings (SwapSym0 :: TyFun (a6989586621679366076, b6989586621679366077) (b6989586621679366077, a6989586621679366076) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source # | |
type Apply (SwapSym0 :: TyFun (a, b) (b, a) -> Type) (a6989586621679366166 :: (a, b)) Source # | |
Defined in Data.Singletons.Prelude.Tuple |