Copyright | (C) 2013 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
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 :: () -> Type where
- data STuple2 :: forall (a :: Type) (b :: Type). (a, b) -> Type where
- data STuple3 :: forall (a :: Type) (b :: Type) (c :: Type). (a, b, c) -> Type where
- data STuple4 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type). (a, b, c, d) -> Type where
- data STuple5 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type). (a, b, c, d, e) -> Type where
- data STuple6 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type). (a, b, c, d, e, f) -> Type where
- STuple6 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f). (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> STuple6 ('(n, n, n, n, n, n) :: (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type))
- data STuple7 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type) (g :: Type). (a, b, c, d, e, f, g) -> Type where
- STuple7 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type) (g :: Type) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f) (n :: g). (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> STuple7 ('(n, n, n, n, n, n, n) :: (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type))
- type family Fst (a :: (a, b)) :: a where ...
- sFst :: forall a b (t :: (a, b)). Sing t -> Sing (Apply FstSym0 t :: a)
- type family Snd (a :: (a, b)) :: b where ...
- sSnd :: forall a b (t :: (a, b)). Sing t -> Sing (Apply SndSym0 t :: b)
- type family Curry (a :: (~>) (a, b) c) (a :: a) (a :: b) :: c where ...
- sCurry :: forall a b c (t :: (~>) (a, b) c) (t :: a) (t :: b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CurrySym0 t) t) t :: c)
- type family Uncurry (a :: (~>) a ((~>) b c)) (a :: (a, b)) :: c where ...
- sUncurry :: forall a b c (t :: (~>) a ((~>) b c)) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply UncurrySym0 t) t :: c)
- type family Swap (a :: (a, b)) :: (b, a) where ...
- sSwap :: forall a b (t :: (a, b)). Sing t -> Sing (Apply SwapSym0 t :: (b, a))
- type family Tuple0Sym0 :: () where ...
- data Tuple2Sym0 :: (~>) a ((~>) b (a :: Type, b :: Type))
- data Tuple2Sym1 (a6989586621679042302 :: a) :: (~>) b (a :: Type, b :: Type)
- type family Tuple2Sym2 (a6989586621679042302 :: a) (a6989586621679042303 :: b) :: (a :: Type, b :: Type) where ...
- data Tuple3Sym0 :: (~>) a ((~>) b ((~>) c (a :: Type, b :: Type, c :: Type)))
- data Tuple3Sym1 (a6989586621679042332 :: a) :: (~>) b ((~>) c (a :: Type, b :: Type, c :: Type))
- data Tuple3Sym2 (a6989586621679042332 :: a) (a6989586621679042333 :: b) :: (~>) c (a :: Type, b :: Type, c :: Type)
- type family Tuple3Sym3 (a6989586621679042332 :: a) (a6989586621679042333 :: b) (a6989586621679042334 :: c) :: (a :: Type, b :: Type, c :: Type) where ...
- data Tuple4Sym0 :: (~>) a ((~>) b ((~>) c ((~>) d (a :: Type, b :: Type, c :: Type, d :: Type))))
- data Tuple4Sym1 (a6989586621679042377 :: a) :: (~>) b ((~>) c ((~>) d (a :: Type, b :: Type, c :: Type, d :: Type)))
- data Tuple4Sym2 (a6989586621679042377 :: a) (a6989586621679042378 :: b) :: (~>) c ((~>) d (a :: Type, b :: Type, c :: Type, d :: Type))
- data Tuple4Sym3 (a6989586621679042377 :: a) (a6989586621679042378 :: b) (a6989586621679042379 :: c) :: (~>) d (a :: Type, b :: Type, c :: Type, d :: Type)
- type family Tuple4Sym4 (a6989586621679042377 :: a) (a6989586621679042378 :: b) (a6989586621679042379 :: c) (a6989586621679042380 :: d) :: (a :: Type, b :: Type, c :: Type, d :: Type) where ...
- data Tuple5Sym0 :: (~>) a ((~>) b ((~>) c ((~>) d ((~>) e (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type)))))
- data Tuple5Sym1 (a6989586621679042439 :: a) :: (~>) b ((~>) c ((~>) d ((~>) e (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type))))
- data Tuple5Sym2 (a6989586621679042439 :: a) (a6989586621679042440 :: b) :: (~>) c ((~>) d ((~>) e (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type)))
- data Tuple5Sym3 (a6989586621679042439 :: a) (a6989586621679042440 :: b) (a6989586621679042441 :: c) :: (~>) d ((~>) e (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type))
- data Tuple5Sym4 (a6989586621679042439 :: a) (a6989586621679042440 :: b) (a6989586621679042441 :: c) (a6989586621679042442 :: d) :: (~>) e (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type)
- type family Tuple5Sym5 (a6989586621679042439 :: a) (a6989586621679042440 :: b) (a6989586621679042441 :: c) (a6989586621679042442 :: d) (a6989586621679042443 :: e) :: (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type) where ...
- data Tuple6Sym0 :: (~>) a ((~>) b ((~>) c ((~>) d ((~>) e ((~>) f (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type))))))
- data Tuple6Sym1 (a6989586621679042520 :: a) :: (~>) b ((~>) c ((~>) d ((~>) e ((~>) f (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type)))))
- data Tuple6Sym2 (a6989586621679042520 :: a) (a6989586621679042521 :: b) :: (~>) c ((~>) d ((~>) e ((~>) f (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type))))
- data Tuple6Sym3 (a6989586621679042520 :: a) (a6989586621679042521 :: b) (a6989586621679042522 :: c) :: (~>) d ((~>) e ((~>) f (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type)))
- data Tuple6Sym4 (a6989586621679042520 :: a) (a6989586621679042521 :: b) (a6989586621679042522 :: c) (a6989586621679042523 :: d) :: (~>) e ((~>) f (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type))
- data Tuple6Sym5 (a6989586621679042520 :: a) (a6989586621679042521 :: b) (a6989586621679042522 :: c) (a6989586621679042523 :: d) (a6989586621679042524 :: e) :: (~>) f (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type)
- type family Tuple6Sym6 (a6989586621679042520 :: a) (a6989586621679042521 :: b) (a6989586621679042522 :: c) (a6989586621679042523 :: d) (a6989586621679042524 :: e) (a6989586621679042525 :: f) :: (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type) where ...
- data Tuple7Sym0 :: (~>) a ((~>) b ((~>) c ((~>) d ((~>) e ((~>) f ((~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type)))))))
- data Tuple7Sym1 (a6989586621679042622 :: a) :: (~>) b ((~>) c ((~>) d ((~>) e ((~>) f ((~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type))))))
- data Tuple7Sym2 (a6989586621679042622 :: a) (a6989586621679042623 :: b) :: (~>) c ((~>) d ((~>) e ((~>) f ((~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type)))))
- data Tuple7Sym3 (a6989586621679042622 :: a) (a6989586621679042623 :: b) (a6989586621679042624 :: c) :: (~>) d ((~>) e ((~>) f ((~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type))))
- data Tuple7Sym4 (a6989586621679042622 :: a) (a6989586621679042623 :: b) (a6989586621679042624 :: c) (a6989586621679042625 :: d) :: (~>) e ((~>) f ((~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type)))
- data Tuple7Sym5 (a6989586621679042622 :: a) (a6989586621679042623 :: b) (a6989586621679042624 :: c) (a6989586621679042625 :: d) (a6989586621679042626 :: e) :: (~>) f ((~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type))
- data Tuple7Sym6 (a6989586621679042622 :: a) (a6989586621679042623 :: b) (a6989586621679042624 :: c) (a6989586621679042625 :: d) (a6989586621679042626 :: e) (a6989586621679042627 :: f) :: (~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type)
- type family Tuple7Sym7 (a6989586621679042622 :: a) (a6989586621679042623 :: b) (a6989586621679042624 :: c) (a6989586621679042625 :: d) (a6989586621679042626 :: e) (a6989586621679042627 :: f) (a6989586621679042628 :: g) :: (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type) where ...
- data FstSym0 :: (~>) (a, b) a
- type family FstSym1 (a6989586621679266788 :: (a, b)) :: a where ...
- data SndSym0 :: (~>) (a, b) b
- type family SndSym1 (a6989586621679266784 :: (a, b)) :: b where ...
- data CurrySym0 :: (~>) ((~>) (a, b) c) ((~>) a ((~>) b c))
- data CurrySym1 (a6989586621679266776 :: (~>) (a, b) c) :: (~>) a ((~>) b c)
- data CurrySym2 (a6989586621679266776 :: (~>) (a, b) c) (a6989586621679266777 :: a) :: (~>) b c
- type family CurrySym3 (a6989586621679266776 :: (~>) (a, b) c) (a6989586621679266777 :: a) (a6989586621679266778 :: b) :: c where ...
- data UncurrySym0 :: (~>) ((~>) a ((~>) b c)) ((~>) (a, b) c)
- data UncurrySym1 (a6989586621679266768 :: (~>) a ((~>) b c)) :: (~>) (a, b) c
- type family UncurrySym2 (a6989586621679266768 :: (~>) a ((~>) b c)) (a6989586621679266769 :: (a, b)) :: c where ...
- data SwapSym0 :: (~>) (a, b) (b, a)
- type family SwapSym1 (a6989586621679266762 :: (a, b)) :: (b, a) where ...
Singleton definitions
See Sing
for more info.
type family Sing :: k -> Type #
The singleton kind-indexed type family.
Instances
data STuple0 :: () -> Type 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 # | |
data STuple2 :: forall (a :: Type) (b :: Type). (a, b) -> Type where Source #
STuple2 :: forall (a :: Type) (b :: Type) (n :: a) (n :: b). (Sing n) -> (Sing n) -> STuple2 ('(n, n) :: (a :: Type, b :: Type)) |
data STuple3 :: forall (a :: Type) (b :: Type) (c :: Type). (a, b, c) -> Type where Source #
STuple3 :: forall (a :: Type) (b :: Type) (c :: Type) (n :: a) (n :: b) (n :: c). (Sing n) -> (Sing n) -> (Sing n) -> STuple3 ('(n, n, n) :: (a :: Type, b :: Type, c :: Type)) |
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 # | |
data STuple4 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type). (a, b, c, d) -> Type where Source #
STuple4 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (n :: a) (n :: b) (n :: c) (n :: d). (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> STuple4 ('(n, n, n, n) :: (a :: Type, b :: Type, c :: Type, d :: Type)) |
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 # | |
data STuple5 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type). (a, b, c, d, e) -> Type where Source #
STuple5 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e). (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> STuple5 ('(n, n, n, n, n) :: (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type)) |
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 # | |
data STuple6 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type). (a, b, c, d, e, f) -> Type where Source #
STuple6 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f). (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> STuple6 ('(n, n, n, n, n, n) :: (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type)) |
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 # | |
data STuple7 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type) (g :: Type). (a, b, c, d, e, f, g) -> Type where Source #
STuple7 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type) (g :: Type) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f) (n :: g). (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> (Sing n) -> STuple7 ('(n, n, n, n, n, n, n) :: (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type)) |
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 # | |
Singletons from Data.Tuple
type family Curry (a :: (~>) (a, b) c) (a :: a) (a :: b) :: c where ... Source #
Curry f x y = Apply f (Apply (Apply Tuple2Sym0 x) y) |
sCurry :: forall a b c (t :: (~>) (a, b) c) (t :: a) (t :: b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CurrySym0 t) t) t :: c) Source #
sUncurry :: forall a b c (t :: (~>) a ((~>) b c)) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply UncurrySym0 t) t :: c) Source #
type family Swap (a :: (a, b)) :: (b, a) where ... Source #
Swap '(a, b) = Apply (Apply Tuple2Sym0 b) a |
Defunctionalization symbols
type family Tuple0Sym0 :: () where ... Source #
Tuple0Sym0 = '() |
data Tuple2Sym0 :: (~>) a ((~>) b (a :: Type, b :: Type)) Source #
Instances
SingI (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing Tuple2Sym0 # | |
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) (a6989586621679042302 :: a) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type) (a6989586621679042302 :: a) = Tuple2Sym1 a6989586621679042302 :: TyFun b (a, b) -> Type |
data Tuple2Sym1 (a6989586621679042302 :: a) :: (~>) b (a :: Type, b :: Type) Source #
Instances
SingI d => SingI (Tuple2Sym1 d :: TyFun b (a, b) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing (Tuple2Sym1 d) # | |
SuppressUnusedWarnings (Tuple2Sym1 a6989586621679042302 :: TyFun b (a, b) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple2Sym1 a6989586621679042302 :: TyFun k2 (k1, k2) -> Type) (a6989586621679042303 :: k2) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple2Sym1 a6989586621679042302 :: TyFun k2 (k1, k2) -> Type) (a6989586621679042303 :: k2) = '(a6989586621679042302, a6989586621679042303) |
type family Tuple2Sym2 (a6989586621679042302 :: a) (a6989586621679042303 :: b) :: (a :: Type, b :: Type) where ... Source #
Tuple2Sym2 a6989586621679042302 a6989586621679042303 = '(a6989586621679042302, a6989586621679042303) |
data Tuple3Sym0 :: (~>) a ((~>) b ((~>) c (a :: Type, b :: Type, c :: Type))) Source #
Instances
SingI (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing Tuple3Sym0 # | |
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) (a6989586621679042332 :: a) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type) (a6989586621679042332 :: a) = Tuple3Sym1 a6989586621679042332 :: TyFun b (c ~> (a, b, c)) -> Type |
data Tuple3Sym1 (a6989586621679042332 :: a) :: (~>) b ((~>) c (a :: Type, b :: Type, c :: Type)) Source #
Instances
SingI d => SingI (Tuple3Sym1 d :: TyFun b (c ~> (a, b, c)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing (Tuple3Sym1 d) # | |
SuppressUnusedWarnings (Tuple3Sym1 a6989586621679042332 :: TyFun b (c ~> (a, b, c)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple3Sym1 a6989586621679042332 :: TyFun b (c ~> (a, b, c)) -> Type) (a6989586621679042333 :: b) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple3Sym1 a6989586621679042332 :: TyFun b (c ~> (a, b, c)) -> Type) (a6989586621679042333 :: b) = Tuple3Sym2 a6989586621679042332 a6989586621679042333 :: TyFun c (a, b, c) -> Type |
data Tuple3Sym2 (a6989586621679042332 :: a) (a6989586621679042333 :: b) :: (~>) c (a :: Type, b :: Type, c :: Type) Source #
Instances
(SingI d1, SingI d2) => SingI (Tuple3Sym2 d1 d2 :: TyFun c (a, b, c) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing (Tuple3Sym2 d1 d2) # | |
SuppressUnusedWarnings (Tuple3Sym2 a6989586621679042332 a6989586621679042333 :: TyFun c (a, b, c) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple3Sym2 a6989586621679042332 a6989586621679042333 :: TyFun k3 (k1, k2, k3) -> Type) (a6989586621679042334 :: k3) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple3Sym2 a6989586621679042332 a6989586621679042333 :: TyFun k3 (k1, k2, k3) -> Type) (a6989586621679042334 :: k3) = '(a6989586621679042332, a6989586621679042333, a6989586621679042334) |
type family Tuple3Sym3 (a6989586621679042332 :: a) (a6989586621679042333 :: b) (a6989586621679042334 :: c) :: (a :: Type, b :: Type, c :: Type) where ... Source #
Tuple3Sym3 a6989586621679042332 a6989586621679042333 a6989586621679042334 = '(a6989586621679042332, a6989586621679042333, a6989586621679042334) |
data Tuple4Sym0 :: (~>) a ((~>) b ((~>) c ((~>) d (a :: Type, b :: Type, c :: Type, d :: Type)))) Source #
Instances
SingI (Tuple4Sym0 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing Tuple4Sym0 # | |
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) (a6989586621679042377 :: a) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple4Sym1 (a6989586621679042377 :: a) :: (~>) b ((~>) c ((~>) d (a :: Type, b :: Type, c :: Type, d :: Type))) Source #
Instances
SingI d1 => SingI (Tuple4Sym1 d1 :: TyFun b (c ~> (d2 ~> (a, b, c, d2))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing (Tuple4Sym1 d1) # | |
SuppressUnusedWarnings (Tuple4Sym1 a6989586621679042377 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple4Sym1 a6989586621679042377 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type) (a6989586621679042378 :: b) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple4Sym1 a6989586621679042377 :: TyFun b (c ~> (d ~> (a, b, c, d))) -> Type) (a6989586621679042378 :: b) = Tuple4Sym2 a6989586621679042377 a6989586621679042378 :: TyFun c (d ~> (a, b, c, d)) -> Type |
data Tuple4Sym2 (a6989586621679042377 :: a) (a6989586621679042378 :: b) :: (~>) c ((~>) d (a :: Type, b :: Type, c :: Type, d :: Type)) Source #
Instances
(SingI d1, SingI d2) => SingI (Tuple4Sym2 d1 d2 :: TyFun c (d3 ~> (a, b, c, d3)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing (Tuple4Sym2 d1 d2) # | |
SuppressUnusedWarnings (Tuple4Sym2 a6989586621679042377 a6989586621679042378 :: TyFun c (d ~> (a, b, c, d)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple4Sym2 a6989586621679042377 a6989586621679042378 :: TyFun c (d ~> (a, b, c, d)) -> Type) (a6989586621679042379 :: c) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple4Sym2 a6989586621679042377 a6989586621679042378 :: TyFun c (d ~> (a, b, c, d)) -> Type) (a6989586621679042379 :: c) = Tuple4Sym3 a6989586621679042377 a6989586621679042378 a6989586621679042379 :: TyFun d (a, b, c, d) -> Type |
data Tuple4Sym3 (a6989586621679042377 :: a) (a6989586621679042378 :: b) (a6989586621679042379 :: c) :: (~>) d (a :: Type, b :: Type, c :: Type, d :: Type) Source #
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 sing :: Sing (Tuple4Sym3 d1 d2 d3) # | |
SuppressUnusedWarnings (Tuple4Sym3 a6989586621679042377 a6989586621679042378 a6989586621679042379 :: TyFun d (a, b, c, d) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple4Sym3 a6989586621679042377 a6989586621679042378 a6989586621679042379 :: TyFun k4 (k1, k2, k3, k4) -> Type) (a6989586621679042380 :: k4) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple4Sym3 a6989586621679042377 a6989586621679042378 a6989586621679042379 :: TyFun k4 (k1, k2, k3, k4) -> Type) (a6989586621679042380 :: k4) = '(a6989586621679042377, a6989586621679042378, a6989586621679042379, a6989586621679042380) |
type family Tuple4Sym4 (a6989586621679042377 :: a) (a6989586621679042378 :: b) (a6989586621679042379 :: c) (a6989586621679042380 :: d) :: (a :: Type, b :: Type, c :: Type, d :: Type) where ... Source #
Tuple4Sym4 a6989586621679042377 a6989586621679042378 a6989586621679042379 a6989586621679042380 = '(a6989586621679042377, a6989586621679042378, a6989586621679042379, a6989586621679042380) |
data Tuple5Sym0 :: (~>) a ((~>) b ((~>) c ((~>) d ((~>) e (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type))))) Source #
Instances
SingI (Tuple5Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing Tuple5Sym0 # | |
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) (a6989586621679042439 :: a) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple5Sym1 (a6989586621679042439 :: a) :: (~>) b ((~>) c ((~>) d ((~>) e (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type)))) Source #
Instances
SingI d1 => SingI (Tuple5Sym1 d1 :: TyFun b (c ~> (d2 ~> (e ~> (a, b, c, d2, e)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing (Tuple5Sym1 d1) # | |
SuppressUnusedWarnings (Tuple5Sym1 a6989586621679042439 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple5Sym1 a6989586621679042439 :: TyFun b (c ~> (d ~> (e ~> (a, b, c, d, e)))) -> Type) (a6989586621679042440 :: b) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple5Sym2 (a6989586621679042439 :: a) (a6989586621679042440 :: b) :: (~>) c ((~>) d ((~>) e (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type))) Source #
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 sing :: Sing (Tuple5Sym2 d1 d2) # | |
SuppressUnusedWarnings (Tuple5Sym2 a6989586621679042439 a6989586621679042440 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple5Sym2 a6989586621679042439 a6989586621679042440 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type) (a6989586621679042441 :: c) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple5Sym2 a6989586621679042439 a6989586621679042440 :: TyFun c (d ~> (e ~> (a, b, c, d, e))) -> Type) (a6989586621679042441 :: c) = Tuple5Sym3 a6989586621679042439 a6989586621679042440 a6989586621679042441 :: TyFun d (e ~> (a, b, c, d, e)) -> Type |
data Tuple5Sym3 (a6989586621679042439 :: a) (a6989586621679042440 :: b) (a6989586621679042441 :: c) :: (~>) d ((~>) e (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type)) Source #
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 sing :: Sing (Tuple5Sym3 d1 d2 d3) # | |
SuppressUnusedWarnings (Tuple5Sym3 a6989586621679042439 a6989586621679042440 a6989586621679042441 :: TyFun d (e ~> (a, b, c, d, e)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple5Sym3 a6989586621679042439 a6989586621679042440 a6989586621679042441 :: TyFun d (e ~> (a, b, c, d, e)) -> Type) (a6989586621679042442 :: d) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple5Sym3 a6989586621679042439 a6989586621679042440 a6989586621679042441 :: TyFun d (e ~> (a, b, c, d, e)) -> Type) (a6989586621679042442 :: d) = Tuple5Sym4 a6989586621679042439 a6989586621679042440 a6989586621679042441 a6989586621679042442 :: TyFun e (a, b, c, d, e) -> Type |
data Tuple5Sym4 (a6989586621679042439 :: a) (a6989586621679042440 :: b) (a6989586621679042441 :: c) (a6989586621679042442 :: d) :: (~>) e (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type) Source #
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 sing :: Sing (Tuple5Sym4 d1 d2 d3 d5) # | |
SuppressUnusedWarnings (Tuple5Sym4 a6989586621679042439 a6989586621679042440 a6989586621679042441 a6989586621679042442 :: TyFun e (a, b, c, d, e) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple5Sym4 a6989586621679042439 a6989586621679042440 a6989586621679042441 a6989586621679042442 :: TyFun k5 (k1, k2, k3, k4, k5) -> Type) (a6989586621679042443 :: k5) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple5Sym4 a6989586621679042439 a6989586621679042440 a6989586621679042441 a6989586621679042442 :: TyFun k5 (k1, k2, k3, k4, k5) -> Type) (a6989586621679042443 :: k5) = '(a6989586621679042439, a6989586621679042440, a6989586621679042441, a6989586621679042442, a6989586621679042443) |
type family Tuple5Sym5 (a6989586621679042439 :: a) (a6989586621679042440 :: b) (a6989586621679042441 :: c) (a6989586621679042442 :: d) (a6989586621679042443 :: e) :: (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type) where ... Source #
Tuple5Sym5 a6989586621679042439 a6989586621679042440 a6989586621679042441 a6989586621679042442 a6989586621679042443 = '(a6989586621679042439, a6989586621679042440, a6989586621679042441, a6989586621679042442, a6989586621679042443) |
data Tuple6Sym0 :: (~>) a ((~>) b ((~>) c ((~>) d ((~>) e ((~>) f (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type)))))) Source #
Instances
SingI (Tuple6Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing Tuple6Sym0 # | |
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) (a6989586621679042520 :: a) Source # | |
data Tuple6Sym1 (a6989586621679042520 :: a) :: (~>) b ((~>) c ((~>) d ((~>) e ((~>) f (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type))))) Source #
Instances
SingI d1 => SingI (Tuple6Sym1 d1 :: TyFun b (c ~> (d2 ~> (e ~> (f ~> (a, b, c, d2, e, f))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing (Tuple6Sym1 d1) # | |
SuppressUnusedWarnings (Tuple6Sym1 a6989586621679042520 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym1 a6989586621679042520 :: TyFun b (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f))))) -> Type) (a6989586621679042521 :: b) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple6Sym2 (a6989586621679042520 :: a) (a6989586621679042521 :: b) :: (~>) c ((~>) d ((~>) e ((~>) f (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type)))) Source #
Instances
(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 sing :: Sing (Tuple6Sym2 d1 d2) # | |
SuppressUnusedWarnings (Tuple6Sym2 a6989586621679042520 a6989586621679042521 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym2 a6989586621679042520 a6989586621679042521 :: TyFun c (d ~> (e ~> (f ~> (a, b, c, d, e, f)))) -> Type) (a6989586621679042522 :: c) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple6Sym3 (a6989586621679042520 :: a) (a6989586621679042521 :: b) (a6989586621679042522 :: c) :: (~>) d ((~>) e ((~>) f (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type))) Source #
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 sing :: Sing (Tuple6Sym3 d1 d2 d3) # | |
SuppressUnusedWarnings (Tuple6Sym3 a6989586621679042520 a6989586621679042521 a6989586621679042522 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym3 a6989586621679042520 a6989586621679042521 a6989586621679042522 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type) (a6989586621679042523 :: d) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple6Sym3 a6989586621679042520 a6989586621679042521 a6989586621679042522 :: TyFun d (e ~> (f ~> (a, b, c, d, e, f))) -> Type) (a6989586621679042523 :: d) = Tuple6Sym4 a6989586621679042520 a6989586621679042521 a6989586621679042522 a6989586621679042523 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type |
data Tuple6Sym4 (a6989586621679042520 :: a) (a6989586621679042521 :: b) (a6989586621679042522 :: c) (a6989586621679042523 :: d) :: (~>) e ((~>) f (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type)) Source #
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 sing :: Sing (Tuple6Sym4 d1 d2 d3 d5) # | |
SuppressUnusedWarnings (Tuple6Sym4 a6989586621679042520 a6989586621679042521 a6989586621679042522 a6989586621679042523 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym4 a6989586621679042520 a6989586621679042521 a6989586621679042522 a6989586621679042523 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type) (a6989586621679042524 :: e) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple6Sym4 a6989586621679042520 a6989586621679042521 a6989586621679042522 a6989586621679042523 :: TyFun e (f ~> (a, b, c, d, e, f)) -> Type) (a6989586621679042524 :: e) = Tuple6Sym5 a6989586621679042520 a6989586621679042521 a6989586621679042522 a6989586621679042523 a6989586621679042524 :: TyFun f (a, b, c, d, e, f) -> Type |
data Tuple6Sym5 (a6989586621679042520 :: a) (a6989586621679042521 :: b) (a6989586621679042522 :: c) (a6989586621679042523 :: d) (a6989586621679042524 :: e) :: (~>) f (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type) Source #
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 sing :: Sing (Tuple6Sym5 d1 d2 d3 d5 d6) # | |
SuppressUnusedWarnings (Tuple6Sym5 a6989586621679042520 a6989586621679042521 a6989586621679042522 a6989586621679042523 a6989586621679042524 :: TyFun f (a, b, c, d, e, f) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple6Sym5 a6989586621679042520 a6989586621679042521 a6989586621679042522 a6989586621679042523 a6989586621679042524 :: TyFun k6 (k1, k2, k3, k4, k5, k6) -> Type) (a6989586621679042525 :: k6) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple6Sym5 a6989586621679042520 a6989586621679042521 a6989586621679042522 a6989586621679042523 a6989586621679042524 :: TyFun k6 (k1, k2, k3, k4, k5, k6) -> Type) (a6989586621679042525 :: k6) = '(a6989586621679042520, a6989586621679042521, a6989586621679042522, a6989586621679042523, a6989586621679042524, a6989586621679042525) |
type family Tuple6Sym6 (a6989586621679042520 :: a) (a6989586621679042521 :: b) (a6989586621679042522 :: c) (a6989586621679042523 :: d) (a6989586621679042524 :: e) (a6989586621679042525 :: f) :: (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type) where ... Source #
Tuple6Sym6 a6989586621679042520 a6989586621679042521 a6989586621679042522 a6989586621679042523 a6989586621679042524 a6989586621679042525 = '(a6989586621679042520, a6989586621679042521, a6989586621679042522, a6989586621679042523, a6989586621679042524, a6989586621679042525) |
data Tuple7Sym0 :: (~>) a ((~>) b ((~>) c ((~>) d ((~>) e ((~>) f ((~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type))))))) Source #
Instances
SingI (Tuple7Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing Tuple7Sym0 # | |
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) (a6989586621679042622 :: a) Source # | |
data Tuple7Sym1 (a6989586621679042622 :: a) :: (~>) b ((~>) c ((~>) d ((~>) e ((~>) f ((~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type)))))) Source #
Instances
SingI d1 => SingI (Tuple7Sym1 d1 :: TyFun b (c ~> (d2 ~> (e ~> (f ~> (g ~> (a, b, c, d2, e, f, g)))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing (Tuple7Sym1 d1) # | |
SuppressUnusedWarnings (Tuple7Sym1 a6989586621679042622 :: 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 a6989586621679042622 :: TyFun b (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))))) -> Type) (a6989586621679042623 :: b) Source # | |
Defined in Data.Singletons.Base.Instances |
data Tuple7Sym2 (a6989586621679042622 :: a) (a6989586621679042623 :: b) :: (~>) c ((~>) d ((~>) e ((~>) f ((~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type))))) Source #
Instances
(SingI d1, SingI d2) => SingI (Tuple7Sym2 d1 d2 :: TyFun c (d3 ~> (e ~> (f ~> (g ~> (a, b, c, d3, e, f, g))))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances sing :: Sing (Tuple7Sym2 d1 d2) # | |
SuppressUnusedWarnings (Tuple7Sym2 a6989586621679042622 a6989586621679042623 :: 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 a6989586621679042622 a6989586621679042623 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type) (a6989586621679042624 :: c) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym2 a6989586621679042622 a6989586621679042623 :: TyFun c (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))) -> Type) (a6989586621679042624 :: c) = Tuple7Sym3 a6989586621679042622 a6989586621679042623 a6989586621679042624 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type |
data Tuple7Sym3 (a6989586621679042622 :: a) (a6989586621679042623 :: b) (a6989586621679042624 :: c) :: (~>) d ((~>) e ((~>) f ((~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type)))) Source #
Instances
(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 sing :: Sing (Tuple7Sym3 d1 d2 d3) # | |
SuppressUnusedWarnings (Tuple7Sym3 a6989586621679042622 a6989586621679042623 a6989586621679042624 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym3 a6989586621679042622 a6989586621679042623 a6989586621679042624 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type) (a6989586621679042625 :: d) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym3 a6989586621679042622 a6989586621679042623 a6989586621679042624 :: TyFun d (e ~> (f ~> (g ~> (a, b, c, d, e, f, g)))) -> Type) (a6989586621679042625 :: d) = Tuple7Sym4 a6989586621679042622 a6989586621679042623 a6989586621679042624 a6989586621679042625 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type |
data Tuple7Sym4 (a6989586621679042622 :: a) (a6989586621679042623 :: b) (a6989586621679042624 :: c) (a6989586621679042625 :: d) :: (~>) e ((~>) f ((~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type))) Source #
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 sing :: Sing (Tuple7Sym4 d1 d2 d3 d5) # | |
SuppressUnusedWarnings (Tuple7Sym4 a6989586621679042622 a6989586621679042623 a6989586621679042624 a6989586621679042625 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym4 a6989586621679042622 a6989586621679042623 a6989586621679042624 a6989586621679042625 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type) (a6989586621679042626 :: e) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym4 a6989586621679042622 a6989586621679042623 a6989586621679042624 a6989586621679042625 :: TyFun e (f ~> (g ~> (a, b, c, d, e, f, g))) -> Type) (a6989586621679042626 :: e) = Tuple7Sym5 a6989586621679042622 a6989586621679042623 a6989586621679042624 a6989586621679042625 a6989586621679042626 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type |
data Tuple7Sym5 (a6989586621679042622 :: a) (a6989586621679042623 :: b) (a6989586621679042624 :: c) (a6989586621679042625 :: d) (a6989586621679042626 :: e) :: (~>) f ((~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type)) Source #
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 sing :: Sing (Tuple7Sym5 d1 d2 d3 d5 d6) # | |
SuppressUnusedWarnings (Tuple7Sym5 a6989586621679042622 a6989586621679042623 a6989586621679042624 a6989586621679042625 a6989586621679042626 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym5 a6989586621679042622 a6989586621679042623 a6989586621679042624 a6989586621679042625 a6989586621679042626 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type) (a6989586621679042627 :: f) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym5 a6989586621679042622 a6989586621679042623 a6989586621679042624 a6989586621679042625 a6989586621679042626 :: TyFun f (g ~> (a, b, c, d, e, f, g)) -> Type) (a6989586621679042627 :: f) = Tuple7Sym6 a6989586621679042622 a6989586621679042623 a6989586621679042624 a6989586621679042625 a6989586621679042626 a6989586621679042627 :: TyFun g (a, b, c, d, e, f, g) -> Type |
data Tuple7Sym6 (a6989586621679042622 :: a) (a6989586621679042623 :: b) (a6989586621679042624 :: c) (a6989586621679042625 :: d) (a6989586621679042626 :: e) (a6989586621679042627 :: f) :: (~>) g (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type) Source #
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 sing :: Sing (Tuple7Sym6 d1 d2 d3 d5 d6 d7) # | |
SuppressUnusedWarnings (Tuple7Sym6 a6989586621679042622 a6989586621679042623 a6989586621679042624 a6989586621679042625 a6989586621679042626 a6989586621679042627 :: TyFun g (a, b, c, d, e, f, g) -> Type) Source # | |
Defined in Data.Singletons.Base.Instances suppressUnusedWarnings :: () # | |
type Apply (Tuple7Sym6 a6989586621679042622 a6989586621679042623 a6989586621679042624 a6989586621679042625 a6989586621679042626 a6989586621679042627 :: TyFun k7 (k1, k2, k3, k4, k5, k6, k7) -> Type) (a6989586621679042628 :: k7) Source # | |
Defined in Data.Singletons.Base.Instances type Apply (Tuple7Sym6 a6989586621679042622 a6989586621679042623 a6989586621679042624 a6989586621679042625 a6989586621679042626 a6989586621679042627 :: TyFun k7 (k1, k2, k3, k4, k5, k6, k7) -> Type) (a6989586621679042628 :: k7) = '(a6989586621679042622, a6989586621679042623, a6989586621679042624, a6989586621679042625, a6989586621679042626, a6989586621679042627, a6989586621679042628) |
type family Tuple7Sym7 (a6989586621679042622 :: a) (a6989586621679042623 :: b) (a6989586621679042624 :: c) (a6989586621679042625 :: d) (a6989586621679042626 :: e) (a6989586621679042627 :: f) (a6989586621679042628 :: g) :: (a :: Type, b :: Type, c :: Type, d :: Type, e :: Type, f :: Type, g :: Type) where ... Source #
Tuple7Sym7 a6989586621679042622 a6989586621679042623 a6989586621679042624 a6989586621679042625 a6989586621679042626 a6989586621679042627 a6989586621679042628 = '(a6989586621679042622, a6989586621679042623, a6989586621679042624, a6989586621679042625, a6989586621679042626, a6989586621679042627, a6989586621679042628) |
data FstSym0 :: (~>) (a, b) a Source #
Instances
SingI (FstSym0 :: TyFun (a, b) a -> Type) Source # | |
Defined in Data.Tuple.Singletons | |
SuppressUnusedWarnings (FstSym0 :: TyFun (a, b) a -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (FstSym0 :: TyFun (a, b) a -> Type) (a6989586621679266788 :: (a, b)) Source # | |
data SndSym0 :: (~>) (a, b) b Source #
Instances
SingI (SndSym0 :: TyFun (a, b) b -> Type) Source # | |
Defined in Data.Tuple.Singletons | |
SuppressUnusedWarnings (SndSym0 :: TyFun (a, b) b -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (SndSym0 :: TyFun (a, b) b -> Type) (a6989586621679266784 :: (a, b)) Source # | |
data CurrySym0 :: (~>) ((~>) (a, b) c) ((~>) a ((~>) b c)) Source #
Instances
SingI (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type) Source # | |
Defined in Data.Tuple.Singletons | |
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) (a6989586621679266776 :: (a, b) ~> c) Source # | |
data CurrySym1 (a6989586621679266776 :: (~>) (a, b) c) :: (~>) a ((~>) b c) Source #
Instances
SingI d => SingI (CurrySym1 d :: TyFun a (b ~> c) -> Type) Source # | |
Defined in Data.Tuple.Singletons | |
SuppressUnusedWarnings (CurrySym1 a6989586621679266776 :: TyFun a (b ~> c) -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (CurrySym1 a6989586621679266776 :: TyFun a (b ~> c) -> Type) (a6989586621679266777 :: a) Source # | |
data CurrySym2 (a6989586621679266776 :: (~>) (a, b) c) (a6989586621679266777 :: a) :: (~>) b c Source #
Instances
(SingI d1, SingI d2) => SingI (CurrySym2 d1 d2 :: TyFun b c -> Type) Source # | |
Defined in Data.Tuple.Singletons | |
SuppressUnusedWarnings (CurrySym2 a6989586621679266776 a6989586621679266777 :: TyFun b c -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (CurrySym2 a6989586621679266776 a6989586621679266777 :: TyFun b c -> Type) (a6989586621679266778 :: b) Source # | |
type family CurrySym3 (a6989586621679266776 :: (~>) (a, b) c) (a6989586621679266777 :: a) (a6989586621679266778 :: b) :: c where ... Source #
data UncurrySym0 :: (~>) ((~>) a ((~>) b c)) ((~>) (a, b) c) Source #
Instances
SingI (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) Source # | |
Defined in Data.Tuple.Singletons sing :: Sing UncurrySym0 # | |
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) (a6989586621679266768 :: a ~> (b ~> c)) Source # | |
Defined in Data.Tuple.Singletons type Apply (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) (a6989586621679266768 :: a ~> (b ~> c)) = UncurrySym1 a6989586621679266768 |
data UncurrySym1 (a6989586621679266768 :: (~>) a ((~>) b c)) :: (~>) (a, b) c Source #
Instances
SingI d => SingI (UncurrySym1 d :: TyFun (a, b) c -> Type) Source # | |
Defined in Data.Tuple.Singletons sing :: Sing (UncurrySym1 d) # | |
SuppressUnusedWarnings (UncurrySym1 a6989586621679266768 :: TyFun (a, b) c -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (UncurrySym1 a6989586621679266768 :: TyFun (a, b) c -> Type) (a6989586621679266769 :: (a, b)) Source # | |
Defined in Data.Tuple.Singletons type Apply (UncurrySym1 a6989586621679266768 :: TyFun (a, b) c -> Type) (a6989586621679266769 :: (a, b)) = Uncurry a6989586621679266768 a6989586621679266769 |
type family UncurrySym2 (a6989586621679266768 :: (~>) a ((~>) b c)) (a6989586621679266769 :: (a, b)) :: c where ... Source #
UncurrySym2 a6989586621679266768 a6989586621679266769 = Uncurry a6989586621679266768 a6989586621679266769 |
data SwapSym0 :: (~>) (a, b) (b, a) Source #
Instances
SingI (SwapSym0 :: TyFun (a, b) (b, a) -> Type) Source # | |
Defined in Data.Tuple.Singletons | |
SuppressUnusedWarnings (SwapSym0 :: TyFun (a, b) (b, a) -> Type) Source # | |
Defined in Data.Tuple.Singletons suppressUnusedWarnings :: () # | |
type Apply (SwapSym0 :: TyFun (a, b) (b, a) -> Type) (a6989586621679266762 :: (a, b)) Source # | |