Copyright | (C) 2013 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | GHC2021 |
Defines functions and datatypes relating to the singleton for tuples,
including singled versions 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 (a :: ()) where
- data STuple2 (a1 :: (a, b)) where
- data STuple3 (a1 :: (a, b, c)) where
- data STuple4 (a1 :: (a, b, c, d)) where
- data STuple5 (a1 :: (a, b, c, d, e)) where
- data STuple6 (a1 :: (a, b, c, d, e, f)) where
- data STuple7 (a1 :: (a, b, c, d, e, f, g)) where
- type family Fst (a1 :: (a, b)) :: a where ...
- sFst :: forall a b (t :: (a, b)). Sing t -> Sing (Apply (FstSym0 :: TyFun (a, b) a -> Type) t)
- type family Snd (a1 :: (a, b)) :: b where ...
- sSnd :: forall a b (t :: (a, b)). Sing t -> Sing (Apply (SndSym0 :: TyFun (a, b) b -> Type) t)
- type family Curry (a1 :: (a, b) ~> c) (a2 :: a) (a3 :: b) :: c where ...
- sCurry :: forall a b c (t1 :: (a, b) ~> c) (t2 :: a) (t3 :: b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type) t1) t2) t3)
- type family Uncurry (a1 :: a ~> (b ~> c)) (a2 :: (a, b)) :: c where ...
- sUncurry :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: (a, b)). Sing t1 -> Sing t2 -> Sing (Apply (Apply (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) t1) t2)
- type family Swap (a1 :: (a, b)) :: (b, a) where ...
- sSwap :: forall a b (t :: (a, b)). Sing t -> Sing (Apply (SwapSym0 :: TyFun (a, b) (b, a) -> Type) t)
- type family Tuple0Sym0 :: () where ...
- data Tuple2Sym0 (a1 :: TyFun a (b ~> (a, b)))
- data Tuple2Sym1 (a6989586621679046729 :: a) (b1 :: TyFun b (a, b))
- type family Tuple2Sym2 (a6989586621679046729 :: a) (a6989586621679046730 :: b) :: (a, b) where ...
- data Tuple3Sym0 (a1 :: TyFun a (b ~> (c ~> (a, b, c))))
- data Tuple3Sym1 (a6989586621679046760 :: a) (b1 :: TyFun b (c ~> (a, b, c)))
- data Tuple3Sym2 (a6989586621679046760 :: a) (a6989586621679046761 :: b) (c1 :: TyFun c (a, b, c))
- type family Tuple3Sym3 (a6989586621679046760 :: a) (a6989586621679046761 :: b) (a6989586621679046762 :: c) :: (a, b, c) where ...
- data Tuple4Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))))
- data Tuple4Sym1 (a6989586621679046809 :: a) (b1 :: TyFun b (c ~> (d ~> (a, b, c, d))))
- data Tuple4Sym2 (a6989586621679046809 :: a) (a6989586621679046810 :: b) (c1 :: TyFun c (d ~> (a, b, c, d)))
- data Tuple4Sym3 (a6989586621679046809 :: a) (a6989586621679046810 :: b) (a6989586621679046811 :: c) (d1 :: TyFun d (a, b, c, d))
- type family Tuple4Sym4 (a6989586621679046809 :: a) (a6989586621679046810 :: b) (a6989586621679046811 :: c) (a6989586621679046812 :: d) :: (a, b, c, d) where ...
- data Tuple5Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))))
- data Tuple5Sym1 (a6989586621679046878 :: a) (b1 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))))
- data Tuple5Sym2 (a6989586621679046878 :: a) (a6989586621679046879 :: b) (c1 :: TyFun c (d ~> (e ~> (a, b, c, d, e))))
- data Tuple5Sym3 (a6989586621679046878 :: a) (a6989586621679046879 :: b) (a6989586621679046880 :: c) (d1 :: TyFun d (e ~> (a, b, c, d, e)))
- data Tuple5Sym4 (a6989586621679046878 :: a) (a6989586621679046879 :: b) (a6989586621679046880 :: c) (a6989586621679046881 :: d) (e1 :: TyFun e (a, b, c, d, e))
- type family Tuple5Sym5 (a6989586621679046878 :: a) (a6989586621679046879 :: b) (a6989586621679046880 :: c) (a6989586621679046881 :: d) (a6989586621679046882 :: e) :: (a, b, c, d, e) where ...
- data Tuple6Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))))
- data Tuple6Sym1 (a6989586621679046969 :: a) (b1 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))))
- data Tuple6Sym2 (a6989586621679046969 :: a) (a6989586621679046970 :: b) (c1 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))
- data Tuple6Sym3 (a6989586621679046969 :: a) (a6989586621679046970 :: b) (a6989586621679046971 :: c) (d1 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))))
- data Tuple6Sym4 (a6989586621679046969 :: a) (a6989586621679046970 :: b) (a6989586621679046971 :: c) (a6989586621679046972 :: d) (e1 :: TyFun e (f ~> (a, b, c, d, e, f)))
- data Tuple6Sym5 (a6989586621679046969 :: a) (a6989586621679046970 :: b) (a6989586621679046971 :: c) (a6989586621679046972 :: d) (a6989586621679046973 :: e) (f1 :: TyFun f (a, b, c, d, e, f))
- type family Tuple6Sym6 (a6989586621679046969 :: a) (a6989586621679046970 :: b) (a6989586621679046971 :: c) (a6989586621679046972 :: d) (a6989586621679046973 :: e) (a6989586621679046974 :: f) :: (a, b, c, d, e, f) where ...
- data Tuple7Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))))
- data Tuple7Sym1 (a6989586621679047084 :: a) (b1 :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))))
- data Tuple7Sym2 (a6989586621679047084 :: a) (a6989586621679047085 :: b) (c1 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))
- data Tuple7Sym3 (a6989586621679047084 :: a) (a6989586621679047085 :: b) (a6989586621679047086 :: c) (d1 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))
- data Tuple7Sym4 (a6989586621679047084 :: a) (a6989586621679047085 :: b) (a6989586621679047086 :: c) (a6989586621679047087 :: d) (e1 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))))
- data Tuple7Sym5 (a6989586621679047084 :: a) (a6989586621679047085 :: b) (a6989586621679047086 :: c) (a6989586621679047087 :: d) (a6989586621679047088 :: e) (f1 :: TyFun f (g ~> (a, b, c, d, e, f, g)))
- data Tuple7Sym6 (a6989586621679047084 :: a) (a6989586621679047085 :: b) (a6989586621679047086 :: c) (a6989586621679047087 :: d) (a6989586621679047088 :: e) (a6989586621679047089 :: f) (g1 :: TyFun g (a, b, c, d, e, f, g))
- type family Tuple7Sym7 (a6989586621679047084 :: a) (a6989586621679047085 :: b) (a6989586621679047086 :: c) (a6989586621679047087 :: d) (a6989586621679047088 :: e) (a6989586621679047089 :: f) (a6989586621679047090 :: g) :: (a, b, c, d, e, f, g) where ...
- data FstSym0 (a1 :: TyFun (a, b) a)
- type family FstSym1 (a6989586621679172905 :: (a, b)) :: a where ...
- data SndSym0 (a1 :: TyFun (a, b) b)
- type family SndSym1 (a6989586621679172901 :: (a, b)) :: b where ...
- data CurrySym0 (a1 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)))
- data CurrySym1 (a6989586621679172893 :: (a, b) ~> c) (b1 :: TyFun a (b ~> c))
- data CurrySym2 (a6989586621679172893 :: (a, b) ~> c) (a6989586621679172894 :: a) (c1 :: TyFun b c)
- type family CurrySym3 (a6989586621679172893 :: (a, b) ~> c) (a6989586621679172894 :: a) (a6989586621679172895 :: b) :: c where ...
- data UncurrySym0 (a1 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c))
- data UncurrySym1 (a6989586621679172885 :: a ~> (b ~> c)) (b1 :: TyFun (a, b) c)
- type family UncurrySym2 (a6989586621679172885 :: a ~> (b ~> c)) (a6989586621679172886 :: (a, b)) :: c where ...
- data SwapSym0 (a1 :: TyFun (a, b) (b, a))
- type family SwapSym1 (a6989586621679172879 :: (a, b)) :: (b, a) where ...
Singleton definitions
See Sing
for more info.
type family Sing :: k -> Type #
Instances
data STuple0 (a :: ()) where Source #
Instances
TestCoercion STuple0 Source # | |
Defined in Data.Singletons.Base.Instances | |
TestEquality STuple0 Source # | |
Defined in Data.Singletons.Base.Instances | |
Show (STuple0 z) Source # | |
Eq (STuple0 z) Source # | |
data STuple2 (a1 :: (a, b)) where Source #
Instances
(SDecide a, SDecide b) => TestCoercion (STuple2 :: (a, b) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SDecide a, SDecide b) => TestEquality (STuple2 :: (a, b) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(ShowSing a, ShowSing b) => Show (STuple2 z) Source # | |
Eq (STuple2 z) Source # | |
data STuple3 (a1 :: (a, b, c)) where Source #
STuple3 :: forall a b c (n1 :: a) (n2 :: b) (n3 :: c). Sing n1 -> Sing n2 -> Sing n3 -> STuple3 '(n1, n2, n3) |
Instances
(SDecide a, SDecide b, SDecide c) => TestCoercion (STuple3 :: (a, b, c) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SDecide a, SDecide b, SDecide c) => TestEquality (STuple3 :: (a, b, c) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(ShowSing a, ShowSing b, ShowSing c) => Show (STuple3 z) Source # | |
Eq (STuple3 z) Source # | |
data STuple4 (a1 :: (a, b, c, d)) where Source #
STuple4 :: forall a b c d (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> STuple4 '(n1, n2, n3, n4) |
Instances
(SDecide a, SDecide b, SDecide c, SDecide d) => TestCoercion (STuple4 :: (a, b, c, d) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SDecide a, SDecide b, SDecide c, SDecide d) => TestEquality (STuple4 :: (a, b, c, d) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (STuple4 z) Source # | |
Eq (STuple4 z) Source # | |
data STuple5 (a1 :: (a, b, c, d, e)) where Source #
STuple5 :: forall a b c d e (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d) (n5 :: e). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> Sing n5 -> STuple5 '(n1, n2, n3, n4, n5) |
Instances
(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e) => TestCoercion (STuple5 :: (a, b, c, d, e) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e) => TestEquality (STuple5 :: (a, b, c, d, e) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (STuple5 z) Source # | |
Eq (STuple5 z) Source # | |
data STuple6 (a1 :: (a, b, c, d, e, f)) where Source #
STuple6 :: forall a b c d e f (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d) (n5 :: e) (n6 :: f). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> Sing n5 -> Sing n6 -> STuple6 '(n1, n2, n3, n4, n5, n6) |
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.Base.Instances | |
(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.Base.Instances | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (STuple6 z) Source # | |
Eq (STuple6 z) Source # | |
data STuple7 (a1 :: (a, b, c, d, e, f, g)) where Source #
STuple7 :: forall a b c d e f g (n1 :: a) (n2 :: b) (n3 :: c) (n4 :: d) (n5 :: e) (n6 :: f) (n7 :: g). Sing n1 -> Sing n2 -> Sing n3 -> Sing n4 -> Sing n5 -> Sing n6 -> Sing n7 -> STuple7 '(n1, n2, n3, n4, n5, n6, n7) |
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.Base.Instances | |
(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.Base.Instances | |
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (STuple7 z) Source # | |
Eq (STuple7 z) Source # | |
Singletons from Data.Tuple
sFst :: forall a b (t :: (a, b)). Sing t -> Sing (Apply (FstSym0 :: TyFun (a, b) a -> Type) t) Source #
sSnd :: forall a b (t :: (a, b)). Sing t -> Sing (Apply (SndSym0 :: TyFun (a, b) b -> Type) t) Source #
sCurry :: forall a b c (t1 :: (a, b) ~> c) (t2 :: a) (t3 :: b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type) t1) t2) t3) Source #
sUncurry :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: (a, b)). Sing t1 -> Sing t2 -> Sing (Apply (Apply (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) t1) t2) Source #
sSwap :: forall a b (t :: (a, b)). Sing t -> Sing (Apply (SwapSym0 :: TyFun (a, b) (b, a) -> Type) t) Source #
Defunctionalization symbols
type family Tuple0Sym0 :: () where ... Source #
Tuple0Sym0 = '() |
data Tuple2Sym0 (a1 :: TyFun a (b ~> (a, b))) Source #
Instances
SingI (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type) (a6989586621679046729 :: a) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type) (a6989586621679046729 :: a) = Tuple2Sym1 a6989586621679046729 :: TyFun b (a, b) -> Type |
data Tuple2Sym1 (a6989586621679046729 :: a) (b1 :: TyFun b (a, b)) Source #
Instances
SingI1 (Tuple2Sym1 :: a -> TyFun b (a, b) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SingI d => SingI (Tuple2Sym1 d :: TyFun b (a, b) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple2Sym1 a6989586621679046729 :: TyFun b (a, b) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple2Sym1 a6989586621679046729 :: TyFun k2 (k1, k2) -> Type) (a6989586621679046730 :: k2) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple2Sym1 a6989586621679046729 :: TyFun k2 (k1, k2) -> Type) (a6989586621679046730 :: k2) = '(a6989586621679046729, a6989586621679046730) |
type family Tuple2Sym2 (a6989586621679046729 :: a) (a6989586621679046730 :: b) :: (a, b) where ... Source #
Tuple2Sym2 (a6989586621679046729 :: k1) (a6989586621679046730 :: k2) = '(a6989586621679046729, a6989586621679046730) |
data Tuple3Sym0 (a1 :: TyFun a (b ~> (c ~> (a, b, c)))) Source #
Instances
SingI (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type) (a6989586621679046760 :: a) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type) (a6989586621679046760 :: a) = Tuple3Sym1 a6989586621679046760 :: TyFun b (c ~> (a, b, c)) -> Type |
data Tuple3Sym1 (a6989586621679046760 :: a) (b1 :: TyFun b (c ~> (a, b, c))) Source #
Instances
SingI1 (Tuple3Sym1 :: a -> TyFun b (c ~> (a, b, c)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SingI d => SingI (Tuple3Sym1 d :: TyFun b (c ~> (a, b, c)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple3Sym1 a6989586621679046760 :: TyFun b (c ~> (a, b, c)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple3Sym1 a6989586621679046760 :: TyFun b (c ~> (a, b, c)) -> Type) (a6989586621679046761 :: b) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple3Sym1 a6989586621679046760 :: TyFun b (c ~> (a, b, c)) -> Type) (a6989586621679046761 :: b) = Tuple3Sym2 a6989586621679046760 a6989586621679046761 :: TyFun c (a, b, c) -> Type |
data Tuple3Sym2 (a6989586621679046760 :: a) (a6989586621679046761 :: b) (c1 :: TyFun c (a, b, c)) Source #
Instances
SingI2 (Tuple3Sym2 :: a -> b -> TyFun c (a, b, c) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SingI d => SingI1 (Tuple3Sym2 d :: b -> TyFun c (a, b, c) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2) => SingI (Tuple3Sym2 d1 d2 :: TyFun c (a, b, c) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple3Sym2 a6989586621679046760 a6989586621679046761 :: TyFun c (a, b, c) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple3Sym2 a6989586621679046760 a6989586621679046761 :: TyFun k3 (k1, k2, k3) -> Type) (a6989586621679046762 :: k3) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple3Sym2 a6989586621679046760 a6989586621679046761 :: TyFun k3 (k1, k2, k3) -> Type) (a6989586621679046762 :: k3) = '(a6989586621679046760, a6989586621679046761, a6989586621679046762) |
type family Tuple3Sym3 (a6989586621679046760 :: a) (a6989586621679046761 :: b) (a6989586621679046762 :: c) :: (a, b, c) where ... Source #
Tuple3Sym3 (a6989586621679046760 :: k1) (a6989586621679046761 :: k2) (a6989586621679046762 :: k3) = '(a6989586621679046760, a6989586621679046761, a6989586621679046762) |
data Tuple4Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d))))) Source #
Instances
SingI (Tuple4Sym0 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple4Sym0 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple4Sym0 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))) -> Type) (a6989586621679046809 :: a) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple4Sym1 (a6989586621679046809 :: a) (b1 :: TyFun b (c ~> (d ~> (a, b, c, d)))) Source #
Instances
SingI1 (Tuple4Sym1 :: a -> TyFun b (c ~> (d ~> (a, b, c, d))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SingI d1 => SingI (Tuple4Sym1 d1 :: TyFun b (c ~> (d2 ~> (a, b, c, d2))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple4Sym1 a6989586621679046809 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple4Sym1 a6989586621679046809 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type) (a6989586621679046810 :: b) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple4Sym1 a6989586621679046809 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type) (a6989586621679046810 :: b) = Tuple4Sym2 a6989586621679046809 a6989586621679046810 :: TyFun c (d ~> (a, b, c, d)) -> Type |
data Tuple4Sym2 (a6989586621679046809 :: a) (a6989586621679046810 :: b) (c1 :: TyFun c (d ~> (a, b, c, d))) Source #
Instances
SingI2 (Tuple4Sym2 :: a -> b -> TyFun c (d ~> (a, b, c, d)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SingI d1 => SingI1 (Tuple4Sym2 d1 :: b -> TyFun c (d2 ~> (a, b, c, d2)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2) => SingI (Tuple4Sym2 d1 d2 :: TyFun c (d3 ~> (a, b, c, d3)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple4Sym2 a6989586621679046809 a6989586621679046810 :: TyFun c (d ~> (a, b, c, d)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple4Sym2 a6989586621679046809 a6989586621679046810 :: TyFun c (d ~> (a, b, c, d)) -> Type) (a6989586621679046811 :: c) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple4Sym2 a6989586621679046809 a6989586621679046810 :: TyFun c (d ~> (a, b, c, d)) -> Type) (a6989586621679046811 :: c) = Tuple4Sym3 a6989586621679046809 a6989586621679046810 a6989586621679046811 :: TyFun d (a, b, c, d) -> Type |
data Tuple4Sym3 (a6989586621679046809 :: a) (a6989586621679046810 :: b) (a6989586621679046811 :: c) (d1 :: TyFun d (a, b, c, d)) Source #
Instances
SingI d1 => SingI2 (Tuple4Sym3 d1 :: b -> c -> TyFun d2 (a, b, c, d2) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2) => SingI1 (Tuple4Sym3 d1 d2 :: c -> TyFun d3 (a, b, c, d3) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3) => SingI (Tuple4Sym3 d1 d2 d3 :: TyFun d4 (a, b, c, d4) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple4Sym3 a6989586621679046809 a6989586621679046810 a6989586621679046811 :: TyFun d (a, b, c, d) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple4Sym3 a6989586621679046809 a6989586621679046810 a6989586621679046811 :: TyFun k4 (k1, k2, k3, k4) -> Type) (a6989586621679046812 :: k4) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple4Sym3 a6989586621679046809 a6989586621679046810 a6989586621679046811 :: TyFun k4 (k1, k2, k3, k4) -> Type) (a6989586621679046812 :: k4) = '(a6989586621679046809, a6989586621679046810, a6989586621679046811, a6989586621679046812) |
type family Tuple4Sym4 (a6989586621679046809 :: a) (a6989586621679046810 :: b) (a6989586621679046811 :: c) (a6989586621679046812 :: d) :: (a, b, c, d) where ... Source #
Tuple4Sym4 (a6989586621679046809 :: k1) (a6989586621679046810 :: k2) (a6989586621679046811 :: k3) (a6989586621679046812 :: k4) = '(a6989586621679046809, a6989586621679046810, a6989586621679046811, a6989586621679046812) |
data Tuple5Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e)))))) Source #
Instances
SingI (Tuple5Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))) -> Type) Source # | |
SuppressUnusedWarnings (Tuple5Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple5Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))) -> Type) (a6989586621679046878 :: a) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple5Sym1 (a6989586621679046878 :: a) (b1 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e))))) Source #
Instances
SingI1 (Tuple5Sym1 :: a -> TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type) Source # | |
SingI d1 => SingI (Tuple5Sym1 d1 :: TyFun b (c ~> (d2 ~> (e ~> (a, b, c, d2, e)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple5Sym1 a6989586621679046878 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple5Sym1 a6989586621679046878 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type) (a6989586621679046879 :: b) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple5Sym2 (a6989586621679046878 :: a) (a6989586621679046879 :: b) (c1 :: TyFun c (d ~> (e ~> (a, b, c, d, e)))) Source #
Instances
SingI2 (Tuple5Sym2 :: a -> b -> TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type) Source # | |
SingI d1 => SingI1 (Tuple5Sym2 d1 :: b -> TyFun c (d2 ~> (e ~> (a, b, c, d2, e))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2) => SingI (Tuple5Sym2 d1 d2 :: TyFun c (d3 ~> (e ~> (a, b, c, d3, e))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple5Sym2 a6989586621679046878 a6989586621679046879 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple5Sym2 a6989586621679046878 a6989586621679046879 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type) (a6989586621679046880 :: c) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple5Sym2 a6989586621679046878 a6989586621679046879 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type) (a6989586621679046880 :: c) = Tuple5Sym3 a6989586621679046878 a6989586621679046879 a6989586621679046880 :: TyFun d (e ~> (a, b, c, d, e)) -> Type |
data Tuple5Sym3 (a6989586621679046878 :: a) (a6989586621679046879 :: b) (a6989586621679046880 :: c) (d1 :: TyFun d (e ~> (a, b, c, d, e))) Source #
Instances
SingI d1 => SingI2 (Tuple5Sym3 d1 :: b -> c -> TyFun d2 (e ~> (a, b, c, d2, e)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2) => SingI1 (Tuple5Sym3 d1 d2 :: c -> TyFun d3 (e ~> (a, b, c, d3, e)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3) => SingI (Tuple5Sym3 d1 d2 d3 :: TyFun d4 (e ~> (a, b, c, d4, e)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple5Sym3 a6989586621679046878 a6989586621679046879 a6989586621679046880 :: TyFun d (e ~> (a, b, c, d, e)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple5Sym3 a6989586621679046878 a6989586621679046879 a6989586621679046880 :: TyFun d (e ~> (a, b, c, d, e)) -> Type) (a6989586621679046881 :: d) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple5Sym3 a6989586621679046878 a6989586621679046879 a6989586621679046880 :: TyFun d (e ~> (a, b, c, d, e)) -> Type) (a6989586621679046881 :: d) = Tuple5Sym4 a6989586621679046878 a6989586621679046879 a6989586621679046880 a6989586621679046881 :: TyFun e (a, b, c, d, e) -> Type |
data Tuple5Sym4 (a6989586621679046878 :: a) (a6989586621679046879 :: b) (a6989586621679046880 :: c) (a6989586621679046881 :: d) (e1 :: TyFun e (a, b, c, d, e)) Source #
Instances
(SingI d1, SingI d2) => SingI2 (Tuple5Sym4 d1 d2 :: c -> d3 -> TyFun e (a, b, c, d3, e) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3) => SingI1 (Tuple5Sym4 d1 d2 d3 :: d4 -> TyFun e (a, b, c, d4, e) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3, SingI d5) => SingI (Tuple5Sym4 d1 d2 d3 d5 :: TyFun e (a, b, c, d4, e) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple5Sym4 a6989586621679046878 a6989586621679046879 a6989586621679046880 a6989586621679046881 :: TyFun e (a, b, c, d, e) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple5Sym4 a6989586621679046878 a6989586621679046879 a6989586621679046880 a6989586621679046881 :: TyFun k5 (k1, k2, k3, k4, k5) -> Type) (a6989586621679046882 :: k5) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple5Sym4 a6989586621679046878 a6989586621679046879 a6989586621679046880 a6989586621679046881 :: TyFun k5 (k1, k2, k3, k4, k5) -> Type) (a6989586621679046882 :: k5) = '(a6989586621679046878, a6989586621679046879, a6989586621679046880, a6989586621679046881, a6989586621679046882) |
type family Tuple5Sym5 (a6989586621679046878 :: a) (a6989586621679046879 :: b) (a6989586621679046880 :: c) (a6989586621679046881 :: d) (a6989586621679046882 :: e) :: (a, b, c, d, e) where ... Source #
Tuple5Sym5 (a6989586621679046878 :: k1) (a6989586621679046879 :: k2) (a6989586621679046880 :: k3) (a6989586621679046881 :: k4) (a6989586621679046882 :: k5) = '(a6989586621679046878, a6989586621679046879, a6989586621679046880, a6989586621679046881, a6989586621679046882) |
data Tuple6Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))))) Source #
Instances
SingI (Tuple6Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) -> Type) Source # | |
SuppressUnusedWarnings (Tuple6Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) -> Type) (a6989586621679046969 :: a) Source # | |
data Tuple6Sym1 (a6989586621679046969 :: a) (b1 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) Source #
Instances
SingI1 (Tuple6Sym1 :: a -> TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type) Source # | |
SingI d1 => SingI (Tuple6Sym1 d1 :: TyFun b (c ~> (d2 ~> (e ~> (f ~> (a, b, c, d2, e, f))))) -> Type) Source # | |
SuppressUnusedWarnings (Tuple6Sym1 a6989586621679046969 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym1 a6989586621679046969 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type) (a6989586621679046970 :: b) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple6Sym2 (a6989586621679046969 :: a) (a6989586621679046970 :: b) (c1 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) Source #
Instances
SingI2 (Tuple6Sym2 :: a -> b -> TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type) Source # | |
SingI d1 => SingI1 (Tuple6Sym2 d1 :: b -> TyFun c (d2 ~> (e ~> (f ~> (a, b, c, d2, e, f)))) -> Type) Source # | |
(SingI d1, SingI d2) => SingI (Tuple6Sym2 d1 d2 :: TyFun c (d3 ~> (e ~> (f ~> (a, b, c, d3, e, f)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple6Sym2 a6989586621679046969 a6989586621679046970 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym2 a6989586621679046969 a6989586621679046970 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type) (a6989586621679046971 :: c) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple6Sym3 (a6989586621679046969 :: a) (a6989586621679046970 :: b) (a6989586621679046971 :: c) (d1 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f)))) Source #
Instances
SingI d1 => SingI2 (Tuple6Sym3 d1 :: b -> c -> TyFun d2 (e ~> (f ~> (a, b, c, d2, e, f))) -> Type) Source # | |
(SingI d1, SingI d2) => SingI1 (Tuple6Sym3 d1 d2 :: c -> TyFun d3 (e ~> (f ~> (a, b, c, d3, e, f))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3) => SingI (Tuple6Sym3 d1 d2 d3 :: TyFun d4 (e ~> (f ~> (a, b, c, d4, e, f))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple6Sym3 a6989586621679046969 a6989586621679046970 a6989586621679046971 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym3 a6989586621679046969 a6989586621679046970 a6989586621679046971 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type) (a6989586621679046972 :: d) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple6Sym3 a6989586621679046969 a6989586621679046970 a6989586621679046971 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type) (a6989586621679046972 :: d) = Tuple6Sym4 a6989586621679046969 a6989586621679046970 a6989586621679046971 a6989586621679046972 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type |
data Tuple6Sym4 (a6989586621679046969 :: a) (a6989586621679046970 :: b) (a6989586621679046971 :: c) (a6989586621679046972 :: d) (e1 :: TyFun e (f ~> (a, b, c, d, e, f))) Source #
Instances
(SingI d1, SingI d2) => SingI2 (Tuple6Sym4 d1 d2 :: c -> d3 -> TyFun e (f ~> (a, b, c, d3, e, f)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3) => SingI1 (Tuple6Sym4 d1 d2 d3 :: d4 -> TyFun e (f ~> (a, b, c, d4, e, f)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3, SingI d5) => SingI (Tuple6Sym4 d1 d2 d3 d5 :: TyFun e (f ~> (a, b, c, d4, e, f)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple6Sym4 a6989586621679046969 a6989586621679046970 a6989586621679046971 a6989586621679046972 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym4 a6989586621679046969 a6989586621679046970 a6989586621679046971 a6989586621679046972 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type) (a6989586621679046973 :: e) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple6Sym4 a6989586621679046969 a6989586621679046970 a6989586621679046971 a6989586621679046972 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type) (a6989586621679046973 :: e) = Tuple6Sym5 a6989586621679046969 a6989586621679046970 a6989586621679046971 a6989586621679046972 a6989586621679046973 :: TyFun f (a, b, c, d, e, f) -> Type |
data Tuple6Sym5 (a6989586621679046969 :: a) (a6989586621679046970 :: b) (a6989586621679046971 :: c) (a6989586621679046972 :: d) (a6989586621679046973 :: e) (f1 :: TyFun f (a, b, c, d, e, f)) Source #
Instances
(SingI d1, SingI d2, SingI d3) => SingI2 (Tuple6Sym5 d1 d2 d3 :: d4 -> e -> TyFun f (a, b, c, d4, e, f) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3, SingI d5) => SingI1 (Tuple6Sym5 d1 d2 d3 d5 :: e -> TyFun f (a, b, c, d4, e, f) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3, SingI d5, SingI d6) => SingI (Tuple6Sym5 d1 d2 d3 d5 d6 :: TyFun f (a, b, c, d4, e, f) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple6Sym5 a6989586621679046969 a6989586621679046970 a6989586621679046971 a6989586621679046972 a6989586621679046973 :: TyFun f (a, b, c, d, e, f) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym5 a6989586621679046969 a6989586621679046970 a6989586621679046971 a6989586621679046972 a6989586621679046973 :: TyFun k6 (k1, k2, k3, k4, k5, k6) -> Type) (a6989586621679046974 :: k6) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple6Sym5 a6989586621679046969 a6989586621679046970 a6989586621679046971 a6989586621679046972 a6989586621679046973 :: TyFun k6 (k1, k2, k3, k4, k5, k6) -> Type) (a6989586621679046974 :: k6) = '(a6989586621679046969, a6989586621679046970, a6989586621679046971, a6989586621679046972, a6989586621679046973, a6989586621679046974) |
type family Tuple6Sym6 (a6989586621679046969 :: a) (a6989586621679046970 :: b) (a6989586621679046971 :: c) (a6989586621679046972 :: d) (a6989586621679046973 :: e) (a6989586621679046974 :: f) :: (a, b, c, d, e, f) where ... Source #
Tuple6Sym6 (a6989586621679046969 :: k1) (a6989586621679046970 :: k2) (a6989586621679046971 :: k3) (a6989586621679046972 :: k4) (a6989586621679046973 :: k5) (a6989586621679046974 :: k6) = '(a6989586621679046969, a6989586621679046970, a6989586621679046971, a6989586621679046972, a6989586621679046973, a6989586621679046974) |
data Tuple7Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))))) Source #
Instances
SingI (Tuple7Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) -> Type) Source # | |
SuppressUnusedWarnings (Tuple7Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) -> Type) (a6989586621679047084 :: a) Source # | |
data Tuple7Sym1 (a6989586621679047084 :: a) (b1 :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) Source #
Instances
SingI1 (Tuple7Sym1 :: a -> TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))) -> Type) Source # | |
SingI d1 => SingI (Tuple7Sym1 d1 :: TyFun b (c ~> (d2 ~> (e ~> (f ~> (g ~> (a, b, c, d2, e, f, g)))))) -> Type) Source # | |
SuppressUnusedWarnings (Tuple7Sym1 a6989586621679047084 :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym1 a6989586621679047084 :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))) -> Type) (a6989586621679047085 :: b) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple7Sym2 (a6989586621679047084 :: a) (a6989586621679047085 :: b) (c1 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))) Source #
Instances
SingI2 (Tuple7Sym2 :: a -> b -> TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type) Source # | |
SingI d1 => SingI1 (Tuple7Sym2 d1 :: b -> TyFun c (d2 ~> (e ~> (f ~> (g ~> (a, b, c, d2, e, f, g))))) -> Type) Source # | |
(SingI d1, SingI d2) => SingI (Tuple7Sym2 d1 d2 :: TyFun c (d3 ~> (e ~> (f ~> (g ~> (a, b, c, d3, e, f, g))))) -> Type) Source # | |
SuppressUnusedWarnings (Tuple7Sym2 a6989586621679047084 a6989586621679047085 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym2 a6989586621679047084 a6989586621679047085 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type) (a6989586621679047086 :: c) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym2 a6989586621679047084 a6989586621679047085 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type) (a6989586621679047086 :: c) = Tuple7Sym3 a6989586621679047084 a6989586621679047085 a6989586621679047086 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type |
data Tuple7Sym3 (a6989586621679047084 :: a) (a6989586621679047085 :: b) (a6989586621679047086 :: c) (d1 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) Source #
Instances
SingI d1 => SingI2 (Tuple7Sym3 d1 :: b -> c -> TyFun d2 (e ~> (f ~> (g ~> (a, b, c, d2, e, f, g)))) -> Type) Source # | |
(SingI d1, SingI d2) => SingI1 (Tuple7Sym3 d1 d2 :: c -> TyFun d3 (e ~> (f ~> (g ~> (a, b, c, d3, e, f, g)))) -> Type) Source # | |
(SingI d1, SingI d2, SingI d3) => SingI (Tuple7Sym3 d1 d2 d3 :: TyFun d4 (e ~> (f ~> (g ~> (a, b, c, d4, e, f, g)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple7Sym3 a6989586621679047084 a6989586621679047085 a6989586621679047086 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym3 a6989586621679047084 a6989586621679047085 a6989586621679047086 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type) (a6989586621679047087 :: d) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym3 a6989586621679047084 a6989586621679047085 a6989586621679047086 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type) (a6989586621679047087 :: d) = Tuple7Sym4 a6989586621679047084 a6989586621679047085 a6989586621679047086 a6989586621679047087 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type |
data Tuple7Sym4 (a6989586621679047084 :: a) (a6989586621679047085 :: b) (a6989586621679047086 :: c) (a6989586621679047087 :: d) (e1 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g)))) Source #
Instances
(SingI d1, SingI d2) => SingI2 (Tuple7Sym4 d1 d2 :: c -> d3 -> TyFun e (f ~> (g ~> (a, b, c, d3, e, f, g))) -> Type) Source # | |
(SingI d1, SingI d2, SingI d3) => SingI1 (Tuple7Sym4 d1 d2 d3 :: d4 -> TyFun e (f ~> (g ~> (a, b, c, d4, e, f, g))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3, SingI d5) => SingI (Tuple7Sym4 d1 d2 d3 d5 :: TyFun e (f ~> (g ~> (a, b, c, d4, e, f, g))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple7Sym4 a6989586621679047084 a6989586621679047085 a6989586621679047086 a6989586621679047087 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym4 a6989586621679047084 a6989586621679047085 a6989586621679047086 a6989586621679047087 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type) (a6989586621679047088 :: e) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym4 a6989586621679047084 a6989586621679047085 a6989586621679047086 a6989586621679047087 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type) (a6989586621679047088 :: e) = Tuple7Sym5 a6989586621679047084 a6989586621679047085 a6989586621679047086 a6989586621679047087 a6989586621679047088 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type |
data Tuple7Sym5 (a6989586621679047084 :: a) (a6989586621679047085 :: b) (a6989586621679047086 :: c) (a6989586621679047087 :: d) (a6989586621679047088 :: e) (f1 :: TyFun f (g ~> (a, b, c, d, e, f, g))) Source #
Instances
(SingI d1, SingI d2, SingI d3) => SingI2 (Tuple7Sym5 d1 d2 d3 :: d4 -> e -> TyFun f (g ~> (a, b, c, d4, e, f, g)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3, SingI d5) => SingI1 (Tuple7Sym5 d1 d2 d3 d5 :: e -> TyFun f (g ~> (a, b, c, d4, e, f, g)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3, SingI d5, SingI d6) => SingI (Tuple7Sym5 d1 d2 d3 d5 d6 :: TyFun f (g ~> (a, b, c, d4, e, f, g)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple7Sym5 a6989586621679047084 a6989586621679047085 a6989586621679047086 a6989586621679047087 a6989586621679047088 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym5 a6989586621679047084 a6989586621679047085 a6989586621679047086 a6989586621679047087 a6989586621679047088 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type) (a6989586621679047089 :: f) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym5 a6989586621679047084 a6989586621679047085 a6989586621679047086 a6989586621679047087 a6989586621679047088 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type) (a6989586621679047089 :: f) = Tuple7Sym6 a6989586621679047084 a6989586621679047085 a6989586621679047086 a6989586621679047087 a6989586621679047088 a6989586621679047089 :: TyFun g (a, b, c, d, e, f, g) -> Type |
data Tuple7Sym6 (a6989586621679047084 :: a) (a6989586621679047085 :: b) (a6989586621679047086 :: c) (a6989586621679047087 :: d) (a6989586621679047088 :: e) (a6989586621679047089 :: f) (g1 :: TyFun g (a, b, c, d, e, f, g)) Source #
Instances
(SingI d1, SingI d2, SingI d3, SingI d5) => SingI2 (Tuple7Sym6 d1 d2 d3 d5 :: e -> f -> TyFun g (a, b, c, d4, e, f, g) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3, SingI d5, SingI d6) => SingI1 (Tuple7Sym6 d1 d2 d3 d5 d6 :: f -> TyFun g (a, b, c, d4, e, f, g) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
(SingI d1, SingI d2, SingI d3, SingI d5, SingI d6, SingI d7) => SingI (Tuple7Sym6 d1 d2 d3 d5 d6 d7 :: TyFun g (a, b, c, d4, e, f, g) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances | |
SuppressUnusedWarnings (Tuple7Sym6 a6989586621679047084 a6989586621679047085 a6989586621679047086 a6989586621679047087 a6989586621679047088 a6989586621679047089 :: TyFun g (a, b, c, d, e, f, g) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym6 a6989586621679047084 a6989586621679047085 a6989586621679047086 a6989586621679047087 a6989586621679047088 a6989586621679047089 :: TyFun k7 (k1, k2, k3, k4, k5, k6, k7) -> Type) (a6989586621679047090 :: k7) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym6 a6989586621679047084 a6989586621679047085 a6989586621679047086 a6989586621679047087 a6989586621679047088 a6989586621679047089 :: TyFun k7 (k1, k2, k3, k4, k5, k6, k7) -> Type) (a6989586621679047090 :: k7) = '(a6989586621679047084, a6989586621679047085, a6989586621679047086, a6989586621679047087, a6989586621679047088, a6989586621679047089, a6989586621679047090) |
type family Tuple7Sym7 (a6989586621679047084 :: a) (a6989586621679047085 :: b) (a6989586621679047086 :: c) (a6989586621679047087 :: d) (a6989586621679047088 :: e) (a6989586621679047089 :: f) (a6989586621679047090 :: g) :: (a, b, c, d, e, f, g) where ... Source #
Tuple7Sym7 (a6989586621679047084 :: k1) (a6989586621679047085 :: k2) (a6989586621679047086 :: k3) (a6989586621679047087 :: k4) (a6989586621679047088 :: k5) (a6989586621679047089 :: k6) (a6989586621679047090 :: k7) = '(a6989586621679047084, a6989586621679047085, a6989586621679047086, a6989586621679047087, a6989586621679047088, a6989586621679047089, a6989586621679047090) |
data CurrySym0 (a1 :: TyFun ((a, b) ~> c) (a ~> (b ~> c))) Source #
Instances
SingI (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type) Source # | |
SuppressUnusedWarnings (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type) (a6989586621679172893 :: (a, b) ~> c) Source # | |
data CurrySym1 (a6989586621679172893 :: (a, b) ~> c) (b1 :: TyFun a (b ~> c)) Source #
Instances
SingI1 (CurrySym1 :: ((a, b) ~> c) -> TyFun a (b ~> c) -> Type) Source # | |
SingI d => SingI (CurrySym1 d :: TyFun a (b ~> c) -> Type) Source # | |
Defined in Data.Tuple.Singletons | |
SuppressUnusedWarnings (CurrySym1 a6989586621679172893 :: TyFun a (b ~> c) -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (CurrySym1 a6989586621679172893 :: TyFun a (b ~> c) -> Type) (a6989586621679172894 :: a) Source # | |
data CurrySym2 (a6989586621679172893 :: (a, b) ~> c) (a6989586621679172894 :: a) (c1 :: TyFun b c) Source #
Instances
SingI d => SingI1 (CurrySym2 d :: a -> TyFun b c -> Type) Source # | |
SingI2 (CurrySym2 :: ((a, b) ~> c) -> a -> TyFun b c -> Type) Source # | |
(SingI d1, SingI d2) => SingI (CurrySym2 d1 d2 :: TyFun b c -> Type) Source # | |
Defined in Data.Tuple.Singletons | |
SuppressUnusedWarnings (CurrySym2 a6989586621679172893 a6989586621679172894 :: TyFun b c -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (CurrySym2 a6989586621679172893 a6989586621679172894 :: TyFun b c -> Type) (a6989586621679172895 :: b) Source # | |
type family CurrySym3 (a6989586621679172893 :: (a, b) ~> c) (a6989586621679172894 :: a) (a6989586621679172895 :: b) :: c where ... Source #
data UncurrySym0 (a1 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c)) Source #
Instances
SingI (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) Source # | |
Defined in Data.Tuple.Singletons | |
SuppressUnusedWarnings (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) (a6989586621679172885 :: a ~> (b ~> c)) Source # | |
Defined in Data.Tuple.Singletons type Apply (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) (a6989586621679172885 :: a ~> (b ~> c)) = UncurrySym1 a6989586621679172885 |
data UncurrySym1 (a6989586621679172885 :: a ~> (b ~> c)) (b1 :: TyFun (a, b) c) Source #
Instances
SingI1 (UncurrySym1 :: (a ~> (b ~> c)) -> TyFun (a, b) c -> Type) Source # | |
Defined in Data.Tuple.Singletons | |
SingI d => SingI (UncurrySym1 d :: TyFun (a, b) c -> Type) Source # | |
Defined in Data.Tuple.Singletons sing :: Sing (UncurrySym1 d) # | |
SuppressUnusedWarnings (UncurrySym1 a6989586621679172885 :: TyFun (a, b) c -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (UncurrySym1 a6989586621679172885 :: TyFun (a, b) c -> Type) (a6989586621679172886 :: (a, b)) Source # | |
Defined in Data.Tuple.Singletons type Apply (UncurrySym1 a6989586621679172885 :: TyFun (a, b) c -> Type) (a6989586621679172886 :: (a, b)) = Uncurry a6989586621679172885 a6989586621679172886 |
type family UncurrySym2 (a6989586621679172885 :: a ~> (b ~> c)) (a6989586621679172886 :: (a, b)) :: c where ... Source #
UncurrySym2 (a6989586621679172885 :: a ~> (b ~> c)) (a6989586621679172886 :: (a, b)) = Uncurry a6989586621679172885 a6989586621679172886 |