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 (a6989586621679047641 :: a) (b1 :: TyFun b (a, b))
- type family Tuple2Sym2 (a6989586621679047641 :: a) (a6989586621679047642 :: b) :: (a, b) where ...
- data Tuple3Sym0 (a1 :: TyFun a (b ~> (c ~> (a, b, c))))
- data Tuple3Sym1 (a6989586621679047672 :: a) (b1 :: TyFun b (c ~> (a, b, c)))
- data Tuple3Sym2 (a6989586621679047672 :: a) (a6989586621679047673 :: b) (c1 :: TyFun c (a, b, c))
- type family Tuple3Sym3 (a6989586621679047672 :: a) (a6989586621679047673 :: b) (a6989586621679047674 :: c) :: (a, b, c) where ...
- data Tuple4Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))))
- data Tuple4Sym1 (a6989586621679047721 :: a) (b1 :: TyFun b (c ~> (d ~> (a, b, c, d))))
- data Tuple4Sym2 (a6989586621679047721 :: a) (a6989586621679047722 :: b) (c1 :: TyFun c (d ~> (a, b, c, d)))
- data Tuple4Sym3 (a6989586621679047721 :: a) (a6989586621679047722 :: b) (a6989586621679047723 :: c) (d1 :: TyFun d (a, b, c, d))
- type family Tuple4Sym4 (a6989586621679047721 :: a) (a6989586621679047722 :: b) (a6989586621679047723 :: c) (a6989586621679047724 :: d) :: (a, b, c, d) where ...
- data Tuple5Sym0 (a1 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))))
- data Tuple5Sym1 (a6989586621679047790 :: a) (b1 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))))
- data Tuple5Sym2 (a6989586621679047790 :: a) (a6989586621679047791 :: b) (c1 :: TyFun c (d ~> (e ~> (a, b, c, d, e))))
- data Tuple5Sym3 (a6989586621679047790 :: a) (a6989586621679047791 :: b) (a6989586621679047792 :: c) (d1 :: TyFun d (e ~> (a, b, c, d, e)))
- data Tuple5Sym4 (a6989586621679047790 :: a) (a6989586621679047791 :: b) (a6989586621679047792 :: c) (a6989586621679047793 :: d) (e1 :: TyFun e (a, b, c, d, e))
- type family Tuple5Sym5 (a6989586621679047790 :: a) (a6989586621679047791 :: b) (a6989586621679047792 :: c) (a6989586621679047793 :: d) (a6989586621679047794 :: 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 (a6989586621679047881 :: a) (b1 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))))
- data Tuple6Sym2 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (c1 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))
- data Tuple6Sym3 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (a6989586621679047883 :: c) (d1 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))))
- data Tuple6Sym4 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (a6989586621679047883 :: c) (a6989586621679047884 :: d) (e1 :: TyFun e (f ~> (a, b, c, d, e, f)))
- data Tuple6Sym5 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (a6989586621679047883 :: c) (a6989586621679047884 :: d) (a6989586621679047885 :: e) (f1 :: TyFun f (a, b, c, d, e, f))
- type family Tuple6Sym6 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (a6989586621679047883 :: c) (a6989586621679047884 :: d) (a6989586621679047885 :: e) (a6989586621679047886 :: 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 (a6989586621679047996 :: a) (b1 :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))))
- data Tuple7Sym2 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (c1 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))
- data Tuple7Sym3 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (d1 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))
- data Tuple7Sym4 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (a6989586621679047999 :: d) (e1 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))))
- data Tuple7Sym5 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (a6989586621679047999 :: d) (a6989586621679048000 :: e) (f1 :: TyFun f (g ~> (a, b, c, d, e, f, g)))
- data Tuple7Sym6 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (a6989586621679047999 :: d) (a6989586621679048000 :: e) (a6989586621679048001 :: f) (g1 :: TyFun g (a, b, c, d, e, f, g))
- type family Tuple7Sym7 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (a6989586621679047999 :: d) (a6989586621679048000 :: e) (a6989586621679048001 :: f) (a6989586621679048002 :: g) :: (a, b, c, d, e, f, g) where ...
- data FstSym0 (a1 :: TyFun (a, b) a)
- type family FstSym1 (a6989586621679174384 :: (a, b)) :: a where ...
- data SndSym0 (a1 :: TyFun (a, b) b)
- type family SndSym1 (a6989586621679174380 :: (a, b)) :: b where ...
- data CurrySym0 (a1 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)))
- data CurrySym1 (a6989586621679174372 :: (a, b) ~> c) (b1 :: TyFun a (b ~> c))
- data CurrySym2 (a6989586621679174372 :: (a, b) ~> c) (a6989586621679174373 :: a) (c1 :: TyFun b c)
- type family CurrySym3 (a6989586621679174372 :: (a, b) ~> c) (a6989586621679174373 :: a) (a6989586621679174374 :: b) :: c where ...
- data UncurrySym0 (a1 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c))
- data UncurrySym1 (a6989586621679174364 :: a ~> (b ~> c)) (b1 :: TyFun (a, b) c)
- type family UncurrySym2 (a6989586621679174364 :: a ~> (b ~> c)) (a6989586621679174365 :: (a, b)) :: c where ...
- data SwapSym0 (a1 :: TyFun (a, b) (b, a))
- type family SwapSym1 (a6989586621679174358 :: (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) (a6989586621679047641 :: a) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type) (a6989586621679047641 :: a) = Tuple2Sym1 a6989586621679047641 :: TyFun b (a, b) -> Type |
data Tuple2Sym1 (a6989586621679047641 :: 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 a6989586621679047641 :: TyFun b (a, b) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple2Sym1 a6989586621679047641 :: TyFun k2 (k1, k2) -> Type) (a6989586621679047642 :: k2) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple2Sym1 a6989586621679047641 :: TyFun k2 (k1, k2) -> Type) (a6989586621679047642 :: k2) = '(a6989586621679047641, a6989586621679047642) |
type family Tuple2Sym2 (a6989586621679047641 :: a) (a6989586621679047642 :: b) :: (a, b) where ... Source #
Tuple2Sym2 (a6989586621679047641 :: k1) (a6989586621679047642 :: k2) = '(a6989586621679047641, a6989586621679047642) |
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) (a6989586621679047672 :: a) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type) (a6989586621679047672 :: a) = Tuple3Sym1 a6989586621679047672 :: TyFun b (c ~> (a, b, c)) -> Type |
data Tuple3Sym1 (a6989586621679047672 :: 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 a6989586621679047672 :: TyFun b (c ~> (a, b, c)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple3Sym1 a6989586621679047672 :: TyFun b (c ~> (a, b, c)) -> Type) (a6989586621679047673 :: b) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple3Sym1 a6989586621679047672 :: TyFun b (c ~> (a, b, c)) -> Type) (a6989586621679047673 :: b) = Tuple3Sym2 a6989586621679047672 a6989586621679047673 :: TyFun c (a, b, c) -> Type |
data Tuple3Sym2 (a6989586621679047672 :: a) (a6989586621679047673 :: 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 a6989586621679047672 a6989586621679047673 :: TyFun c (a, b, c) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple3Sym2 a6989586621679047672 a6989586621679047673 :: TyFun k3 (k1, k2, k3) -> Type) (a6989586621679047674 :: k3) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple3Sym2 a6989586621679047672 a6989586621679047673 :: TyFun k3 (k1, k2, k3) -> Type) (a6989586621679047674 :: k3) = '(a6989586621679047672, a6989586621679047673, a6989586621679047674) |
type family Tuple3Sym3 (a6989586621679047672 :: a) (a6989586621679047673 :: b) (a6989586621679047674 :: c) :: (a, b, c) where ... Source #
Tuple3Sym3 (a6989586621679047672 :: k1) (a6989586621679047673 :: k2) (a6989586621679047674 :: k3) = '(a6989586621679047672, a6989586621679047673, a6989586621679047674) |
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) (a6989586621679047721 :: a) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple4Sym1 (a6989586621679047721 :: 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 a6989586621679047721 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple4Sym1 a6989586621679047721 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type) (a6989586621679047722 :: b) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple4Sym1 a6989586621679047721 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type) (a6989586621679047722 :: b) = Tuple4Sym2 a6989586621679047721 a6989586621679047722 :: TyFun c (d ~> (a, b, c, d)) -> Type |
data Tuple4Sym2 (a6989586621679047721 :: a) (a6989586621679047722 :: 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 a6989586621679047721 a6989586621679047722 :: TyFun c (d ~> (a, b, c, d)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple4Sym2 a6989586621679047721 a6989586621679047722 :: TyFun c (d ~> (a, b, c, d)) -> Type) (a6989586621679047723 :: c) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple4Sym2 a6989586621679047721 a6989586621679047722 :: TyFun c (d ~> (a, b, c, d)) -> Type) (a6989586621679047723 :: c) = Tuple4Sym3 a6989586621679047721 a6989586621679047722 a6989586621679047723 :: TyFun d (a, b, c, d) -> Type |
data Tuple4Sym3 (a6989586621679047721 :: a) (a6989586621679047722 :: b) (a6989586621679047723 :: 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 a6989586621679047721 a6989586621679047722 a6989586621679047723 :: TyFun d (a, b, c, d) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple4Sym3 a6989586621679047721 a6989586621679047722 a6989586621679047723 :: TyFun k4 (k1, k2, k3, k4) -> Type) (a6989586621679047724 :: k4) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple4Sym3 a6989586621679047721 a6989586621679047722 a6989586621679047723 :: TyFun k4 (k1, k2, k3, k4) -> Type) (a6989586621679047724 :: k4) = '(a6989586621679047721, a6989586621679047722, a6989586621679047723, a6989586621679047724) |
type family Tuple4Sym4 (a6989586621679047721 :: a) (a6989586621679047722 :: b) (a6989586621679047723 :: c) (a6989586621679047724 :: d) :: (a, b, c, d) where ... Source #
Tuple4Sym4 (a6989586621679047721 :: k1) (a6989586621679047722 :: k2) (a6989586621679047723 :: k3) (a6989586621679047724 :: k4) = '(a6989586621679047721, a6989586621679047722, a6989586621679047723, a6989586621679047724) |
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) (a6989586621679047790 :: a) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple5Sym1 (a6989586621679047790 :: 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 a6989586621679047790 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple5Sym1 a6989586621679047790 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type) (a6989586621679047791 :: b) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple5Sym2 (a6989586621679047790 :: a) (a6989586621679047791 :: 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 a6989586621679047790 a6989586621679047791 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple5Sym2 a6989586621679047790 a6989586621679047791 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type) (a6989586621679047792 :: c) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple5Sym2 a6989586621679047790 a6989586621679047791 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type) (a6989586621679047792 :: c) = Tuple5Sym3 a6989586621679047790 a6989586621679047791 a6989586621679047792 :: TyFun d (e ~> (a, b, c, d, e)) -> Type |
data Tuple5Sym3 (a6989586621679047790 :: a) (a6989586621679047791 :: b) (a6989586621679047792 :: 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 a6989586621679047790 a6989586621679047791 a6989586621679047792 :: TyFun d (e ~> (a, b, c, d, e)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple5Sym3 a6989586621679047790 a6989586621679047791 a6989586621679047792 :: TyFun d (e ~> (a, b, c, d, e)) -> Type) (a6989586621679047793 :: d) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple5Sym3 a6989586621679047790 a6989586621679047791 a6989586621679047792 :: TyFun d (e ~> (a, b, c, d, e)) -> Type) (a6989586621679047793 :: d) = Tuple5Sym4 a6989586621679047790 a6989586621679047791 a6989586621679047792 a6989586621679047793 :: TyFun e (a, b, c, d, e) -> Type |
data Tuple5Sym4 (a6989586621679047790 :: a) (a6989586621679047791 :: b) (a6989586621679047792 :: c) (a6989586621679047793 :: 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 a6989586621679047790 a6989586621679047791 a6989586621679047792 a6989586621679047793 :: TyFun e (a, b, c, d, e) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple5Sym4 a6989586621679047790 a6989586621679047791 a6989586621679047792 a6989586621679047793 :: TyFun k5 (k1, k2, k3, k4, k5) -> Type) (a6989586621679047794 :: k5) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple5Sym4 a6989586621679047790 a6989586621679047791 a6989586621679047792 a6989586621679047793 :: TyFun k5 (k1, k2, k3, k4, k5) -> Type) (a6989586621679047794 :: k5) = '(a6989586621679047790, a6989586621679047791, a6989586621679047792, a6989586621679047793, a6989586621679047794) |
type family Tuple5Sym5 (a6989586621679047790 :: a) (a6989586621679047791 :: b) (a6989586621679047792 :: c) (a6989586621679047793 :: d) (a6989586621679047794 :: e) :: (a, b, c, d, e) where ... Source #
Tuple5Sym5 (a6989586621679047790 :: k1) (a6989586621679047791 :: k2) (a6989586621679047792 :: k3) (a6989586621679047793 :: k4) (a6989586621679047794 :: k5) = '(a6989586621679047790, a6989586621679047791, a6989586621679047792, a6989586621679047793, a6989586621679047794) |
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) (a6989586621679047881 :: a) Source # | |
data Tuple6Sym1 (a6989586621679047881 :: 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 a6989586621679047881 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym1 a6989586621679047881 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type) (a6989586621679047882 :: b) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple6Sym2 (a6989586621679047881 :: a) (a6989586621679047882 :: 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 a6989586621679047881 a6989586621679047882 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym2 a6989586621679047881 a6989586621679047882 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type) (a6989586621679047883 :: c) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple6Sym3 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (a6989586621679047883 :: 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 a6989586621679047881 a6989586621679047882 a6989586621679047883 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym3 a6989586621679047881 a6989586621679047882 a6989586621679047883 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type) (a6989586621679047884 :: d) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple6Sym3 a6989586621679047881 a6989586621679047882 a6989586621679047883 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type) (a6989586621679047884 :: d) = Tuple6Sym4 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type |
data Tuple6Sym4 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (a6989586621679047883 :: c) (a6989586621679047884 :: 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 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym4 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type) (a6989586621679047885 :: e) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple6Sym4 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type) (a6989586621679047885 :: e) = Tuple6Sym5 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 a6989586621679047885 :: TyFun f (a, b, c, d, e, f) -> Type |
data Tuple6Sym5 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (a6989586621679047883 :: c) (a6989586621679047884 :: d) (a6989586621679047885 :: 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 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 a6989586621679047885 :: TyFun f (a, b, c, d, e, f) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym5 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 a6989586621679047885 :: TyFun k6 (k1, k2, k3, k4, k5, k6) -> Type) (a6989586621679047886 :: k6) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple6Sym5 a6989586621679047881 a6989586621679047882 a6989586621679047883 a6989586621679047884 a6989586621679047885 :: TyFun k6 (k1, k2, k3, k4, k5, k6) -> Type) (a6989586621679047886 :: k6) = '(a6989586621679047881, a6989586621679047882, a6989586621679047883, a6989586621679047884, a6989586621679047885, a6989586621679047886) |
type family Tuple6Sym6 (a6989586621679047881 :: a) (a6989586621679047882 :: b) (a6989586621679047883 :: c) (a6989586621679047884 :: d) (a6989586621679047885 :: e) (a6989586621679047886 :: f) :: (a, b, c, d, e, f) where ... Source #
Tuple6Sym6 (a6989586621679047881 :: k1) (a6989586621679047882 :: k2) (a6989586621679047883 :: k3) (a6989586621679047884 :: k4) (a6989586621679047885 :: k5) (a6989586621679047886 :: k6) = '(a6989586621679047881, a6989586621679047882, a6989586621679047883, a6989586621679047884, a6989586621679047885, a6989586621679047886) |
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) (a6989586621679047996 :: a) Source # | |
data Tuple7Sym1 (a6989586621679047996 :: 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 a6989586621679047996 :: 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 a6989586621679047996 :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))) -> Type) (a6989586621679047997 :: b) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple7Sym2 (a6989586621679047996 :: a) (a6989586621679047997 :: 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 a6989586621679047996 a6989586621679047997 :: 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 a6989586621679047996 a6989586621679047997 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type) (a6989586621679047998 :: c) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym2 a6989586621679047996 a6989586621679047997 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type) (a6989586621679047998 :: c) = Tuple7Sym3 a6989586621679047996 a6989586621679047997 a6989586621679047998 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type |
data Tuple7Sym3 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: 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 a6989586621679047996 a6989586621679047997 a6989586621679047998 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym3 a6989586621679047996 a6989586621679047997 a6989586621679047998 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type) (a6989586621679047999 :: d) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym3 a6989586621679047996 a6989586621679047997 a6989586621679047998 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type) (a6989586621679047999 :: d) = Tuple7Sym4 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type |
data Tuple7Sym4 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (a6989586621679047999 :: 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 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym4 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type) (a6989586621679048000 :: e) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym4 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type) (a6989586621679048000 :: e) = Tuple7Sym5 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type |
data Tuple7Sym5 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (a6989586621679047999 :: d) (a6989586621679048000 :: 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 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym5 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type) (a6989586621679048001 :: f) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym5 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type) (a6989586621679048001 :: f) = Tuple7Sym6 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 a6989586621679048001 :: TyFun g (a, b, c, d, e, f, g) -> Type |
data Tuple7Sym6 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (a6989586621679047999 :: d) (a6989586621679048000 :: e) (a6989586621679048001 :: 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 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 a6989586621679048001 :: TyFun g (a, b, c, d, e, f, g) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym6 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 a6989586621679048001 :: TyFun k7 (k1, k2, k3, k4, k5, k6, k7) -> Type) (a6989586621679048002 :: k7) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym6 a6989586621679047996 a6989586621679047997 a6989586621679047998 a6989586621679047999 a6989586621679048000 a6989586621679048001 :: TyFun k7 (k1, k2, k3, k4, k5, k6, k7) -> Type) (a6989586621679048002 :: k7) = '(a6989586621679047996, a6989586621679047997, a6989586621679047998, a6989586621679047999, a6989586621679048000, a6989586621679048001, a6989586621679048002) |
type family Tuple7Sym7 (a6989586621679047996 :: a) (a6989586621679047997 :: b) (a6989586621679047998 :: c) (a6989586621679047999 :: d) (a6989586621679048000 :: e) (a6989586621679048001 :: f) (a6989586621679048002 :: g) :: (a, b, c, d, e, f, g) where ... Source #
Tuple7Sym7 (a6989586621679047996 :: k1) (a6989586621679047997 :: k2) (a6989586621679047998 :: k3) (a6989586621679047999 :: k4) (a6989586621679048000 :: k5) (a6989586621679048001 :: k6) (a6989586621679048002 :: k7) = '(a6989586621679047996, a6989586621679047997, a6989586621679047998, a6989586621679047999, a6989586621679048000, a6989586621679048001, a6989586621679048002) |
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) (a6989586621679174372 :: (a, b) ~> c) Source # | |
data CurrySym1 (a6989586621679174372 :: (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 a6989586621679174372 :: TyFun a (b ~> c) -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (CurrySym1 a6989586621679174372 :: TyFun a (b ~> c) -> Type) (a6989586621679174373 :: a) Source # | |
data CurrySym2 (a6989586621679174372 :: (a, b) ~> c) (a6989586621679174373 :: 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 a6989586621679174372 a6989586621679174373 :: TyFun b c -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (CurrySym2 a6989586621679174372 a6989586621679174373 :: TyFun b c -> Type) (a6989586621679174374 :: b) Source # | |
type family CurrySym3 (a6989586621679174372 :: (a, b) ~> c) (a6989586621679174373 :: a) (a6989586621679174374 :: 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) (a6989586621679174364 :: a ~> (b ~> c)) Source # | |
Defined in Data.Tuple.Singletons type Apply (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) (a6989586621679174364 :: a ~> (b ~> c)) = UncurrySym1 a6989586621679174364 |
data UncurrySym1 (a6989586621679174364 :: 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 a6989586621679174364 :: TyFun (a, b) c -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (UncurrySym1 a6989586621679174364 :: TyFun (a, b) c -> Type) (a6989586621679174365 :: (a, b)) Source # | |
Defined in Data.Tuple.Singletons type Apply (UncurrySym1 a6989586621679174364 :: TyFun (a, b) c -> Type) (a6989586621679174365 :: (a, b)) = Uncurry a6989586621679174364 a6989586621679174365 |
type family UncurrySym2 (a6989586621679174364 :: a ~> (b ~> c)) (a6989586621679174365 :: (a, b)) :: c where ... Source #
UncurrySym2 (a6989586621679174364 :: a ~> (b ~> c)) (a6989586621679174365 :: (a, b)) = Uncurry a6989586621679174364 a6989586621679174365 |