Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Ryan Scott
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Singletons.Prelude.Tuple

Contents

Singleton definitions
Singletons from Data.Tuple
Defunctionalization symbols

Description

Defines functions and datatypes relating to the singleton for tuples, including a singletons version of all the definitions in Data.Tuple.

Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Please look up the corresponding operation in Data.Tuple. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

Synopsis

type family Sing :: k -> Type
data STuple0 :: () -> Type where
- STuple0 :: STuple0 '()
data STuple2 :: forall a b. (a, b) -> Type where
- STuple2 :: forall a b (n :: a) (n :: b). (Sing (n :: a)) -> (Sing (n :: b)) -> STuple2 '(n, n)
data STuple3 :: forall a b c. (a, b, c) -> Type where
- STuple3 :: forall a b c (n :: a) (n :: b) (n :: c). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> STuple3 '(n, n, n)
data STuple4 :: forall a b c d. (a, b, c, d) -> Type where
- STuple4 :: forall a b c d (n :: a) (n :: b) (n :: c) (n :: d). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> (Sing (n :: d)) -> STuple4 '(n, n, n, n)
data STuple5 :: forall a b c d e. (a, b, c, d, e) -> Type where
- STuple5 :: forall a b c d e (n :: a) (n :: b) (n :: c) (n :: d) (n :: e). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> (Sing (n :: d)) -> (Sing (n :: e)) -> STuple5 '(n, n, n, n, n)
data STuple6 :: forall a b c d e f. (a, b, c, d, e, f) -> Type where
- STuple6 :: forall a b c d e f (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> (Sing (n :: d)) -> (Sing (n :: e)) -> (Sing (n :: f)) -> STuple6 '(n, n, n, n, n, n)
data STuple7 :: forall a b c d e f g. (a, b, c, d, e, f, g) -> Type where
- STuple7 :: forall a b c d e f g (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f) (n :: g). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> (Sing (n :: d)) -> (Sing (n :: e)) -> (Sing (n :: f)) -> (Sing (n :: g)) -> STuple7 '(n, n, n, n, n, n, n)
type family Fst (a :: (a, b)) :: a where ...
sFst :: forall a b (t :: (a, b)). Sing t -> Sing (Apply FstSym0 t :: a)
type family Snd (a :: (a, b)) :: b where ...
sSnd :: forall a b (t :: (a, b)). Sing t -> Sing (Apply SndSym0 t :: b)
type family Curry (a :: (~>) (a, b) c) (a :: a) (a :: b) :: c where ...
sCurry :: forall a b c (t :: (~>) (a, b) c) (t :: a) (t :: b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CurrySym0 t) t) t :: c)
type family Uncurry (a :: (~>) a ((~>) b c)) (a :: (a, b)) :: c where ...
sUncurry :: forall a b c (t :: (~>) a ((~>) b c)) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply UncurrySym0 t) t :: c)
type family Swap (a :: (a, b)) :: (b, a) where ...
sSwap :: forall a b (t :: (a, b)). Sing t -> Sing (Apply SwapSym0 t :: (b, a))
type Tuple0Sym0 = '()
data Tuple2Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 (a3530822107858468865 :: Type, b3530822107858468866 :: Type))
data Tuple2Sym1 (t6989586621679315250 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type). (~>) b3530822107858468866 (a3530822107858468865 :: Type, b3530822107858468866 :: Type)
type Tuple2Sym2 (t6989586621679315250 :: a3530822107858468865) (t6989586621679315251 :: b3530822107858468866) = '(t6989586621679315250, t6989586621679315251)
data Tuple3Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type)))
data Tuple3Sym1 (t6989586621679315281 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type))
data Tuple3Sym2 (t6989586621679315281 :: a3530822107858468865 :: Type) (t6989586621679315282 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type). (~>) c3530822107858468867 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type)
type Tuple3Sym3 (t6989586621679315281 :: a3530822107858468865) (t6989586621679315282 :: b3530822107858468866) (t6989586621679315283 :: c3530822107858468867) = '(t6989586621679315281, t6989586621679315282, t6989586621679315283)
data Tuple4Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type))))
data Tuple4Sym1 (t6989586621679315328 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type)))
data Tuple4Sym2 (t6989586621679315328 :: a3530822107858468865 :: Type) (t6989586621679315329 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type))
data Tuple4Sym3 (t6989586621679315328 :: a3530822107858468865 :: Type) (t6989586621679315329 :: b3530822107858468866 :: Type) (t6989586621679315330 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type). (~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type)
type Tuple4Sym4 (t6989586621679315328 :: a3530822107858468865) (t6989586621679315329 :: b3530822107858468866) (t6989586621679315330 :: c3530822107858468867) (t6989586621679315331 :: d3530822107858468868) = '(t6989586621679315328, t6989586621679315329, t6989586621679315330, t6989586621679315331)
data Tuple5Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type)))))
data Tuple5Sym1 (t6989586621679315393 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type))))
data Tuple5Sym2 (t6989586621679315393 :: a3530822107858468865 :: Type) (t6989586621679315394 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type)))
data Tuple5Sym3 (t6989586621679315393 :: a3530822107858468865 :: Type) (t6989586621679315394 :: b3530822107858468866 :: Type) (t6989586621679315395 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type))
data Tuple5Sym4 (t6989586621679315393 :: a3530822107858468865 :: Type) (t6989586621679315394 :: b3530822107858468866 :: Type) (t6989586621679315395 :: c3530822107858468867 :: Type) (t6989586621679315396 :: d3530822107858468868 :: Type) :: forall (e3530822107858468869 :: Type). (~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type)
type Tuple5Sym5 (t6989586621679315393 :: a3530822107858468865) (t6989586621679315394 :: b3530822107858468866) (t6989586621679315395 :: c3530822107858468867) (t6989586621679315396 :: d3530822107858468868) (t6989586621679315397 :: e3530822107858468869) = '(t6989586621679315393, t6989586621679315394, t6989586621679315395, t6989586621679315396, t6989586621679315397)
data Tuple6Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type))))))
data Tuple6Sym1 (t6989586621679315478 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type)))))
data Tuple6Sym2 (t6989586621679315478 :: a3530822107858468865 :: Type) (t6989586621679315479 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type))))
data Tuple6Sym3 (t6989586621679315478 :: a3530822107858468865 :: Type) (t6989586621679315479 :: b3530822107858468866 :: Type) (t6989586621679315480 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type)))
data Tuple6Sym4 (t6989586621679315478 :: a3530822107858468865 :: Type) (t6989586621679315479 :: b3530822107858468866 :: Type) (t6989586621679315480 :: c3530822107858468867 :: Type) (t6989586621679315481 :: d3530822107858468868 :: Type) :: forall (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type))
data Tuple6Sym5 (t6989586621679315478 :: a3530822107858468865 :: Type) (t6989586621679315479 :: b3530822107858468866 :: Type) (t6989586621679315480 :: c3530822107858468867 :: Type) (t6989586621679315481 :: d3530822107858468868 :: Type) (t6989586621679315482 :: e3530822107858468869 :: Type) :: forall (f3530822107858468870 :: Type). (~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type)
type Tuple6Sym6 (t6989586621679315478 :: a3530822107858468865) (t6989586621679315479 :: b3530822107858468866) (t6989586621679315480 :: c3530822107858468867) (t6989586621679315481 :: d3530822107858468868) (t6989586621679315482 :: e3530822107858468869) (t6989586621679315483 :: f3530822107858468870) = '(t6989586621679315478, t6989586621679315479, t6989586621679315480, t6989586621679315481, t6989586621679315482, t6989586621679315483)
data Tuple7Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)))))))
data Tuple7Sym1 (t6989586621679315585 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type))))))
data Tuple7Sym2 (t6989586621679315585 :: a3530822107858468865 :: Type) (t6989586621679315586 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)))))
data Tuple7Sym3 (t6989586621679315585 :: a3530822107858468865 :: Type) (t6989586621679315586 :: b3530822107858468866 :: Type) (t6989586621679315587 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type))))
data Tuple7Sym4 (t6989586621679315585 :: a3530822107858468865 :: Type) (t6989586621679315586 :: b3530822107858468866 :: Type) (t6989586621679315587 :: c3530822107858468867 :: Type) (t6989586621679315588 :: d3530822107858468868 :: Type) :: forall (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)))
data Tuple7Sym5 (t6989586621679315585 :: a3530822107858468865 :: Type) (t6989586621679315586 :: b3530822107858468866 :: Type) (t6989586621679315587 :: c3530822107858468867 :: Type) (t6989586621679315588 :: d3530822107858468868 :: Type) (t6989586621679315589 :: e3530822107858468869 :: Type) :: forall (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type))
data Tuple7Sym6 (t6989586621679315585 :: a3530822107858468865 :: Type) (t6989586621679315586 :: b3530822107858468866 :: Type) (t6989586621679315587 :: c3530822107858468867 :: Type) (t6989586621679315588 :: d3530822107858468868 :: Type) (t6989586621679315589 :: e3530822107858468869 :: Type) (t6989586621679315590 :: f3530822107858468870 :: Type) :: forall (g3530822107858468871 :: Type). (~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)
type Tuple7Sym7 (t6989586621679315585 :: a3530822107858468865) (t6989586621679315586 :: b3530822107858468866) (t6989586621679315587 :: c3530822107858468867) (t6989586621679315588 :: d3530822107858468868) (t6989586621679315589 :: e3530822107858468869) (t6989586621679315590 :: f3530822107858468870) (t6989586621679315591 :: g3530822107858468871) = '(t6989586621679315585, t6989586621679315586, t6989586621679315587, t6989586621679315588, t6989586621679315589, t6989586621679315590, t6989586621679315591)
data FstSym0 :: forall a6989586621679370315 b6989586621679370316. (~>) (a6989586621679370315, b6989586621679370316) a6989586621679370315
type FstSym1 (a6989586621679370417 :: (a6989586621679370315, b6989586621679370316)) = Fst a6989586621679370417
data SndSym0 :: forall a6989586621679370313 b6989586621679370314. (~>) (a6989586621679370313, b6989586621679370314) b6989586621679370314
type SndSym1 (a6989586621679370414 :: (a6989586621679370313, b6989586621679370314)) = Snd a6989586621679370414
data CurrySym0 :: forall a6989586621679370310 b6989586621679370311 c6989586621679370312. (~>) ((~>) (a6989586621679370310, b6989586621679370311) c6989586621679370312) ((~>) a6989586621679370310 ((~>) b6989586621679370311 c6989586621679370312))
data CurrySym1 (a6989586621679370405 :: (~>) (a6989586621679370310, b6989586621679370311) c6989586621679370312) :: (~>) a6989586621679370310 ((~>) b6989586621679370311 c6989586621679370312)
data CurrySym2 (a6989586621679370405 :: (~>) (a6989586621679370310, b6989586621679370311) c6989586621679370312) (a6989586621679370406 :: a6989586621679370310) :: (~>) b6989586621679370311 c6989586621679370312
type CurrySym3 (a6989586621679370405 :: (~>) (a6989586621679370310, b6989586621679370311) c6989586621679370312) (a6989586621679370406 :: a6989586621679370310) (a6989586621679370407 :: b6989586621679370311) = Curry a6989586621679370405 a6989586621679370406 a6989586621679370407
data UncurrySym0 :: forall a6989586621679370307 b6989586621679370308 c6989586621679370309. (~>) ((~>) a6989586621679370307 ((~>) b6989586621679370308 c6989586621679370309)) ((~>) (a6989586621679370307, b6989586621679370308) c6989586621679370309)
data UncurrySym1 (a6989586621679370399 :: (~>) a6989586621679370307 ((~>) b6989586621679370308 c6989586621679370309)) :: (~>) (a6989586621679370307, b6989586621679370308) c6989586621679370309
type UncurrySym2 (a6989586621679370399 :: (~>) a6989586621679370307 ((~>) b6989586621679370308 c6989586621679370309)) (a6989586621679370400 :: (a6989586621679370307, b6989586621679370308)) = Uncurry a6989586621679370399 a6989586621679370400
data SwapSym0 :: forall a6989586621679370305 b6989586621679370306. (~>) (a6989586621679370305, b6989586621679370306) (b6989586621679370306, a6989586621679370305)
type SwapSym1 (a6989586621679370395 :: (a6989586621679370305, b6989586621679370306)) = Swap a6989586621679370395

Singleton definitions

See Sing for more info.

type family Sing :: k -> Type Source #

The singleton kind-indexed type family.

Instances

Instances details

type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SBool
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SOrdering
type Sing Source #
Instance details Defined in Data.Singletons.TypeLits.Internal type Sing = SNat
type Sing Source #
Instance details Defined in Data.Singletons.TypeLits.Internal type Sing = SSymbol
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple0
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SVoid
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SAll
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SAny
type Sing Source #
Instance details Defined in Data.Singletons.TypeError type Sing = SErrorMessage
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SList :: [a] -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SMaybe :: Maybe a -> Type
type Sing Source #	A choice of singleton for the kind `TYPE rep` (for some `RuntimeRep` `rep`), an instantiation of which is the famous kind `Type`. Conceivably, one could generalize this instance to `Sing @k` for any kind `k`, and remove all other `Sing` instances. We don't adopt this design, however, since it is far more convenient in practice to work with explicit singleton values than `TypeRep`s (for instance, `TypeRep`s are more difficult to pattern match on, and require extra runtime checks). We cannot produce explicit singleton values for everything in `TYPE rep`, however, since it is an open kind, so we reach for `TypeRep` in this one particular case.
Instance details Defined in Data.Singletons.TypeRepTYPE type Sing = TypeRep :: TYPE rep -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SMin :: Min a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SMax :: Max a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SFirst :: First a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SLast :: Last a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SWrappedMonoid :: WrappedMonoid m -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SOption :: Option a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SIdentity :: Identity a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Sing = SFirst :: First a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Monoid type Sing = SLast :: Last a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SDual :: Dual a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SSum :: Sum a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal type Sing = SProduct :: Product a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Ord type Sing = SDown :: Down a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SNonEmpty :: NonEmpty a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = SEither :: Either a b -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple2 :: (a, b) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup type Sing = SArg :: Arg a b -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Internal type Sing = SLambda :: (k1 ~> k2) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Internal type Sing = SWrappedSing :: WrappedSing a -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Sigma type Sing = SSigma :: Sigma s t -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple3 :: (a, b, c) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Const type Sing = SConst :: Const a b -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple4 :: (a, b, c, d) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple5 :: (a, b, c, d, e) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple6 :: (a, b, c, d, e, f) -> Type
type Sing Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Sing = STuple7 :: (a, b, c, d, e, f, g) -> Type

data STuple0 :: () -> Type where Source #

Constructors

STuple0 :: STuple0 '()

Instances

Instances details

TestCoercion STuple0 Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a :: k) (b :: k). STuple0 a -> STuple0 b -> Maybe (Coercion a b) #
TestEquality STuple0 Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a :: k) (b :: k). STuple0 a -> STuple0 b -> Maybe (a :~: b) #
Show (STuple0 z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> STuple0 z -> ShowS # show :: STuple0 z -> String # showList :: [STuple0 z] -> ShowS #

data STuple2 :: forall a b. (a, b) -> Type where Source #

Constructors

STuple2 :: forall a b (n :: a) (n :: b). (Sing (n :: a)) -> (Sing (n :: b)) -> STuple2 '(n, n)

Instances

Instances details

(SDecide a, SDecide b) => TestCoercion (STuple2 :: (a, b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b0 :: k). STuple2 a0 -> STuple2 b0 -> Maybe (Coercion a0 b0) #
(SDecide a, SDecide b) => TestEquality (STuple2 :: (a, b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b0 :: k). STuple2 a0 -> STuple2 b0 -> Maybe (a0 :~: b0) #
(ShowSing a, ShowSing b) => Show (STuple2 z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> STuple2 z -> ShowS # show :: STuple2 z -> String # showList :: [STuple2 z] -> ShowS #

data STuple3 :: forall a b c. (a, b, c) -> Type where Source #

Constructors

STuple3 :: forall a b c (n :: a) (n :: b) (n :: c). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> STuple3 '(n, n, n)

Instances

Instances details

(SDecide a, SDecide b, SDecide c) => TestCoercion (STuple3 :: (a, b, c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b0 :: k). STuple3 a0 -> STuple3 b0 -> Maybe (Coercion a0 b0) #
(SDecide a, SDecide b, SDecide c) => TestEquality (STuple3 :: (a, b, c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b0 :: k). STuple3 a0 -> STuple3 b0 -> Maybe (a0 :~: b0) #
(ShowSing a, ShowSing b, ShowSing c) => Show (STuple3 z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> STuple3 z -> ShowS # show :: STuple3 z -> String # showList :: [STuple3 z] -> ShowS #

data STuple4 :: forall a b c d. (a, b, c, d) -> Type where Source #

Constructors

STuple4 :: forall a b c d (n :: a) (n :: b) (n :: c) (n :: d). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> (Sing (n :: d)) -> STuple4 '(n, n, n, n)

Instances

Instances details

(SDecide a, SDecide b, SDecide c, SDecide d) => TestCoercion (STuple4 :: (a, b, c, d) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b0 :: k). STuple4 a0 -> STuple4 b0 -> Maybe (Coercion a0 b0) #
(SDecide a, SDecide b, SDecide c, SDecide d) => TestEquality (STuple4 :: (a, b, c, d) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b0 :: k). STuple4 a0 -> STuple4 b0 -> Maybe (a0 :~: b0) #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (STuple4 z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> STuple4 z -> ShowS # show :: STuple4 z -> String # showList :: [STuple4 z] -> ShowS #

data STuple5 :: forall a b c d e. (a, b, c, d, e) -> Type where Source #

Constructors

STuple5 :: forall a b c d e (n :: a) (n :: b) (n :: c) (n :: d) (n :: e). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> (Sing (n :: d)) -> (Sing (n :: e)) -> STuple5 '(n, n, n, n, n)

Instances

Instances details

(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e) => TestCoercion (STuple5 :: (a, b, c, d, e) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b0 :: k). STuple5 a0 -> STuple5 b0 -> Maybe (Coercion a0 b0) #
(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e) => TestEquality (STuple5 :: (a, b, c, d, e) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b0 :: k). STuple5 a0 -> STuple5 b0 -> Maybe (a0 :~: b0) #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (STuple5 z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> STuple5 z -> ShowS # show :: STuple5 z -> String # showList :: [STuple5 z] -> ShowS #

data STuple6 :: forall a b c d e f. (a, b, c, d, e, f) -> Type where Source #

Constructors

STuple6 :: forall a b c d e f (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> (Sing (n :: d)) -> (Sing (n :: e)) -> (Sing (n :: f)) -> STuple6 '(n, n, n, n, n, n)

Instances

Instances details

(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e, SDecide f) => TestCoercion (STuple6 :: (a, b, c, d, e, f) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b0 :: k). STuple6 a0 -> STuple6 b0 -> Maybe (Coercion a0 b0) #
(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e, SDecide f) => TestEquality (STuple6 :: (a, b, c, d, e, f) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b0 :: k). STuple6 a0 -> STuple6 b0 -> Maybe (a0 :~: b0) #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (STuple6 z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> STuple6 z -> ShowS # show :: STuple6 z -> String # showList :: [STuple6 z] -> ShowS #

data STuple7 :: forall a b c d e f g. (a, b, c, d, e, f, g) -> Type where Source #

Constructors

STuple7 :: forall a b c d e f g (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f) (n :: g). (Sing (n :: a)) -> (Sing (n :: b)) -> (Sing (n :: c)) -> (Sing (n :: d)) -> (Sing (n :: e)) -> (Sing (n :: f)) -> (Sing (n :: g)) -> STuple7 '(n, n, n, n, n, n, n)

Instances

Instances details

(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 #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testCoercion :: forall (a0 :: k) (b0 :: k). STuple7 a0 -> STuple7 b0 -> Maybe (Coercion a0 b0) #
(SDecide a, SDecide b, SDecide c, SDecide d, SDecide e, SDecide f, SDecide g) => TestEquality (STuple7 :: (a, b, c, d, e, f, g) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods testEquality :: forall (a0 :: k) (b0 :: k). STuple7 a0 -> STuple7 b0 -> Maybe (a0 :~: b0) #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (STuple7 z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> STuple7 z -> ShowS # show :: STuple7 z -> String # showList :: [STuple7 z] -> ShowS #

Singletons from `Data.Tuple`

type family Fst (a :: (a, b)) :: a where ... Source #

Equations

Fst '(x, _) = x

sFst :: forall a b (t :: (a, b)). Sing t -> Sing (Apply FstSym0 t :: a) Source #

type family Snd (a :: (a, b)) :: b where ... Source #

Equations

Snd '(_, y) = y

sSnd :: forall a b (t :: (a, b)). Sing t -> Sing (Apply SndSym0 t :: b) Source #

type family Curry (a :: (~>) (a, b) c) (a :: a) (a :: b) :: c where ... Source #

Equations

Curry f x y = Apply f (Apply (Apply Tuple2Sym0 x) y)

sCurry :: forall a b c (t :: (~>) (a, b) c) (t :: a) (t :: b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CurrySym0 t) t) t :: c) Source #

type family Uncurry (a :: (~>) a ((~>) b c)) (a :: (a, b)) :: c where ... Source #

Equations

Uncurry f p = Apply (Apply f (Apply FstSym0 p)) (Apply SndSym0 p)

sUncurry :: forall a b c (t :: (~>) a ((~>) b c)) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply UncurrySym0 t) t :: c) Source #

type family Swap (a :: (a, b)) :: (b, a) where ... Source #

Equations

Swap '(a, b) = Apply (Apply Tuple2Sym0 b) a

sSwap :: forall a b (t :: (a, b)). Sing t -> Sing (Apply SwapSym0 t :: (b, a)) Source #

Defunctionalization symbols

type Tuple0Sym0 = '() Source #

data Tuple2Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 (a3530822107858468865 :: Type, b3530822107858468866 :: Type)) Source #

Instances

Instances details

SingI (Tuple2Sym0 :: TyFun a (b ~> (a, b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing Tuple2Sym0 Source #
SuppressUnusedWarnings (Tuple2Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (a3530822107858468865, b3530822107858468866)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (a3530822107858468865, b3530822107858468866)) -> Type) (t6989586621679315250 :: a3530822107858468865) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (a3530822107858468865, b3530822107858468866)) -> Type) (t6989586621679315250 :: a3530822107858468865) = Tuple2Sym1 t6989586621679315250 b3530822107858468866 :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type

data Tuple2Sym1 (t6989586621679315250 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type). (~>) b3530822107858468866 (a3530822107858468865 :: Type, b3530822107858468866 :: Type) Source #

Instances

Instances details

SingI d => SingI (Tuple2Sym1 d b :: TyFun b (a, b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple2Sym1 d b) Source #
SuppressUnusedWarnings (Tuple2Sym1 t6989586621679315250 b3530822107858468866 :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple2Sym1 t6989586621679315250 k2 :: TyFun k2 (k1, k2) -> Type) (t6989586621679315251 :: k2) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple2Sym1 t6989586621679315250 k2 :: TyFun k2 (k1, k2) -> Type) (t6989586621679315251 :: k2) = '(t6989586621679315250, t6989586621679315251)

type Tuple2Sym2 (t6989586621679315250 :: a3530822107858468865) (t6989586621679315251 :: b3530822107858468866) = '(t6989586621679315250, t6989586621679315251) Source #

data Tuple3Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type))) Source #

Instances

Instances details

SingI (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing Tuple3Sym0 Source #
SuppressUnusedWarnings (Tuple3Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867))) -> Type) (t6989586621679315281 :: a3530822107858468865) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867))) -> Type) (t6989586621679315281 :: a3530822107858468865) = Tuple3Sym1 t6989586621679315281 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type

data Tuple3Sym1 (t6989586621679315281 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type)) Source #

Instances

Instances details

SingI d => SingI (Tuple3Sym1 d b c :: TyFun b (c ~> (a, b, c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple3Sym1 d b c) Source #
SuppressUnusedWarnings (Tuple3Sym1 t6989586621679315281 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple3Sym1 t6989586621679315281 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type) (t6989586621679315282 :: b3530822107858468866) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym1 t6989586621679315281 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type) (t6989586621679315282 :: b3530822107858468866) = Tuple3Sym2 t6989586621679315281 t6989586621679315282 c3530822107858468867 :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type

data Tuple3Sym2 (t6989586621679315281 :: a3530822107858468865 :: Type) (t6989586621679315282 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type). (~>) c3530822107858468867 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type) Source #

Instances

Instances details

(SingI d1, SingI d2) => SingI (Tuple3Sym2 d1 d2 c :: TyFun c (a, b, c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple3Sym2 d1 d2 c) Source #
SuppressUnusedWarnings (Tuple3Sym2 t6989586621679315282 t6989586621679315281 c3530822107858468867 :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple3Sym2 t6989586621679315282 t6989586621679315281 k3 :: TyFun k3 (k1, k2, k3) -> Type) (t6989586621679315283 :: k3) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym2 t6989586621679315282 t6989586621679315281 k3 :: TyFun k3 (k1, k2, k3) -> Type) (t6989586621679315283 :: k3) = '(t6989586621679315282, t6989586621679315281, t6989586621679315283)

type Tuple3Sym3 (t6989586621679315281 :: a3530822107858468865) (t6989586621679315282 :: b3530822107858468866) (t6989586621679315283 :: c3530822107858468867) = '(t6989586621679315281, t6989586621679315282, t6989586621679315283) Source #

data Tuple4Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type)))) Source #

Instances

Instances details

SingI (Tuple4Sym0 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing Tuple4Sym0 Source #
SuppressUnusedWarnings (Tuple4Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)))) -> Type) (t6989586621679315328 :: a3530822107858468865) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)))) -> Type) (t6989586621679315328 :: a3530822107858468865) = Tuple4Sym1 t6989586621679315328 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type

data Tuple4Sym1 (t6989586621679315328 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type))) Source #

Instances

Instances details

SingI d2 => SingI (Tuple4Sym1 d2 b c d1 :: TyFun b (c ~> (d1 ~> (a, b, c, d1))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple4Sym1 d2 b c d1) Source #
SuppressUnusedWarnings (Tuple4Sym1 t6989586621679315328 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple4Sym1 t6989586621679315328 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type) (t6989586621679315329 :: b3530822107858468866) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym1 t6989586621679315328 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type) (t6989586621679315329 :: b3530822107858468866) = Tuple4Sym2 t6989586621679315328 t6989586621679315329 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type

data Tuple4Sym2 (t6989586621679315328 :: a3530822107858468865 :: Type) (t6989586621679315329 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type)) Source #

Instances

Instances details

(SingI d2, SingI d3) => SingI (Tuple4Sym2 d2 d3 c d1 :: TyFun c (d1 ~> (a, b, c, d1)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple4Sym2 d2 d3 c d1) Source #
SuppressUnusedWarnings (Tuple4Sym2 t6989586621679315329 t6989586621679315328 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple4Sym2 t6989586621679315329 t6989586621679315328 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type) (t6989586621679315330 :: c3530822107858468867) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym2 t6989586621679315329 t6989586621679315328 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type) (t6989586621679315330 :: c3530822107858468867) = Tuple4Sym3 t6989586621679315329 t6989586621679315328 t6989586621679315330 d3530822107858468868 :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type

data Tuple4Sym3 (t6989586621679315328 :: a3530822107858468865 :: Type) (t6989586621679315329 :: b3530822107858468866 :: Type) (t6989586621679315330 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type). (~>) d3530822107858468868 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type) Source #

Instances

Instances details

(SingI d2, SingI d3, SingI d4) => SingI (Tuple4Sym3 d2 d3 d4 d1 :: TyFun d1 (a, b, c, d1) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple4Sym3 d2 d3 d4 d1) Source #
SuppressUnusedWarnings (Tuple4Sym3 t6989586621679315330 t6989586621679315329 t6989586621679315328 d3530822107858468868 :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple4Sym3 t6989586621679315330 t6989586621679315329 t6989586621679315328 k4 :: TyFun k4 (k1, k2, k3, k4) -> Type) (t6989586621679315331 :: k4) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym3 t6989586621679315330 t6989586621679315329 t6989586621679315328 k4 :: TyFun k4 (k1, k2, k3, k4) -> Type) (t6989586621679315331 :: k4) = '(t6989586621679315330, t6989586621679315329, t6989586621679315328, t6989586621679315331)

type Tuple4Sym4 (t6989586621679315328 :: a3530822107858468865) (t6989586621679315329 :: b3530822107858468866) (t6989586621679315330 :: c3530822107858468867) (t6989586621679315331 :: d3530822107858468868) = '(t6989586621679315328, t6989586621679315329, t6989586621679315330, t6989586621679315331) Source #

data Tuple5Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type))))) Source #

Instances

Instances details

SingI (Tuple5Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing Tuple5Sym0 Source #
SuppressUnusedWarnings (Tuple5Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple5Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))))) -> Type) (t6989586621679315393 :: a3530822107858468865) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))))) -> Type) (t6989586621679315393 :: a3530822107858468865) = Tuple5Sym1 t6989586621679315393 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type

data Tuple5Sym1 (t6989586621679315393 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type)))) Source #

Instances

Instances details

SingI d2 => SingI (Tuple5Sym1 d2 b c d1 e :: TyFun b (c ~> (d1 ~> (e ~> (a, b, c, d1, e)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple5Sym1 d2 b c d1 e) Source #
SuppressUnusedWarnings (Tuple5Sym1 t6989586621679315393 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple5Sym1 t6989586621679315393 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type) (t6989586621679315394 :: b3530822107858468866) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym1 t6989586621679315393 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type) (t6989586621679315394 :: b3530822107858468866) = Tuple5Sym2 t6989586621679315393 t6989586621679315394 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type

data Tuple5Sym2 (t6989586621679315393 :: a3530822107858468865 :: Type) (t6989586621679315394 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type))) Source #

Instances

Instances details

(SingI d2, SingI d3) => SingI (Tuple5Sym2 d2 d3 c d1 e :: TyFun c (d1 ~> (e ~> (a, b, c, d1, e))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple5Sym2 d2 d3 c d1 e) Source #
SuppressUnusedWarnings (Tuple5Sym2 t6989586621679315394 t6989586621679315393 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple5Sym2 t6989586621679315394 t6989586621679315393 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type) (t6989586621679315395 :: c3530822107858468867) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym2 t6989586621679315394 t6989586621679315393 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type) (t6989586621679315395 :: c3530822107858468867) = Tuple5Sym3 t6989586621679315394 t6989586621679315393 t6989586621679315395 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type

data Tuple5Sym3 (t6989586621679315393 :: a3530822107858468865 :: Type) (t6989586621679315394 :: b3530822107858468866 :: Type) (t6989586621679315395 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type)) Source #

Instances

Instances details

(SingI d2, SingI d3, SingI d4) => SingI (Tuple5Sym3 d2 d3 d4 d1 e :: TyFun d1 (e ~> (a, b, c, d1, e)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple5Sym3 d2 d3 d4 d1 e) Source #
SuppressUnusedWarnings (Tuple5Sym3 t6989586621679315395 t6989586621679315394 t6989586621679315393 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple5Sym3 t6989586621679315395 t6989586621679315394 t6989586621679315393 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type) (t6989586621679315396 :: d3530822107858468868) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym3 t6989586621679315395 t6989586621679315394 t6989586621679315393 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type) (t6989586621679315396 :: d3530822107858468868) = Tuple5Sym4 t6989586621679315395 t6989586621679315394 t6989586621679315393 t6989586621679315396 e3530822107858468869 :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type

data Tuple5Sym4 (t6989586621679315393 :: a3530822107858468865 :: Type) (t6989586621679315394 :: b3530822107858468866 :: Type) (t6989586621679315395 :: c3530822107858468867 :: Type) (t6989586621679315396 :: d3530822107858468868 :: Type) :: forall (e3530822107858468869 :: Type). (~>) e3530822107858468869 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type) Source #

Instances

Instances details

(SingI d2, SingI d3, SingI d4, SingI d5) => SingI (Tuple5Sym4 d2 d3 d4 d5 e :: TyFun e (a, b, c, d1, e) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple5Sym4 d2 d3 d4 d5 e) Source #
SuppressUnusedWarnings (Tuple5Sym4 t6989586621679315396 t6989586621679315395 t6989586621679315394 t6989586621679315393 e3530822107858468869 :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple5Sym4 t6989586621679315396 t6989586621679315395 t6989586621679315394 t6989586621679315393 k5 :: TyFun k5 (k1, k2, k3, k4, k5) -> Type) (t6989586621679315397 :: k5) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym4 t6989586621679315396 t6989586621679315395 t6989586621679315394 t6989586621679315393 k5 :: TyFun k5 (k1, k2, k3, k4, k5) -> Type) (t6989586621679315397 :: k5) = '(t6989586621679315396, t6989586621679315395, t6989586621679315394, t6989586621679315393, t6989586621679315397)

type Tuple5Sym5 (t6989586621679315393 :: a3530822107858468865) (t6989586621679315394 :: b3530822107858468866) (t6989586621679315395 :: c3530822107858468867) (t6989586621679315396 :: d3530822107858468868) (t6989586621679315397 :: e3530822107858468869) = '(t6989586621679315393, t6989586621679315394, t6989586621679315395, t6989586621679315396, t6989586621679315397) Source #

data Tuple6Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type)))))) Source #

Instances

Instances details

SingI (Tuple6Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing Tuple6Sym0 Source #
SuppressUnusedWarnings (Tuple6Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple6Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))))) -> Type) (t6989586621679315478 :: a3530822107858468865) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))))) -> Type) (t6989586621679315478 :: a3530822107858468865) = Tuple6Sym1 t6989586621679315478 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type

data Tuple6Sym1 (t6989586621679315478 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type))))) Source #

Instances

Instances details

SingI d2 => SingI (Tuple6Sym1 d2 b c d1 e f :: TyFun b (c ~> (d1 ~> (e ~> (f ~> (a, b, c, d1, e, f))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym1 d2 b c d1 e f) Source #
SuppressUnusedWarnings (Tuple6Sym1 t6989586621679315478 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple6Sym1 t6989586621679315478 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type) (t6989586621679315479 :: b3530822107858468866) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym1 t6989586621679315478 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type) (t6989586621679315479 :: b3530822107858468866) = Tuple6Sym2 t6989586621679315478 t6989586621679315479 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type

data Tuple6Sym2 (t6989586621679315478 :: a3530822107858468865 :: Type) (t6989586621679315479 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type)))) Source #

Instances

Instances details

(SingI d2, SingI d3) => SingI (Tuple6Sym2 d2 d3 c d1 e f :: TyFun c (d1 ~> (e ~> (f ~> (a, b, c, d1, e, f)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym2 d2 d3 c d1 e f) Source #
SuppressUnusedWarnings (Tuple6Sym2 t6989586621679315479 t6989586621679315478 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple6Sym2 t6989586621679315479 t6989586621679315478 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type) (t6989586621679315480 :: c3530822107858468867) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym2 t6989586621679315479 t6989586621679315478 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type) (t6989586621679315480 :: c3530822107858468867) = Tuple6Sym3 t6989586621679315479 t6989586621679315478 t6989586621679315480 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type

data Tuple6Sym3 (t6989586621679315478 :: a3530822107858468865 :: Type) (t6989586621679315479 :: b3530822107858468866 :: Type) (t6989586621679315480 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type))) Source #

Instances

Instances details

(SingI d2, SingI d3, SingI d4) => SingI (Tuple6Sym3 d2 d3 d4 d1 e f :: TyFun d1 (e ~> (f ~> (a, b, c, d1, e, f))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym3 d2 d3 d4 d1 e f) Source #
SuppressUnusedWarnings (Tuple6Sym3 t6989586621679315480 t6989586621679315479 t6989586621679315478 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple6Sym3 t6989586621679315480 t6989586621679315479 t6989586621679315478 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type) (t6989586621679315481 :: d3530822107858468868) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym3 t6989586621679315480 t6989586621679315479 t6989586621679315478 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type) (t6989586621679315481 :: d3530822107858468868) = Tuple6Sym4 t6989586621679315480 t6989586621679315479 t6989586621679315478 t6989586621679315481 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type

data Tuple6Sym4 (t6989586621679315478 :: a3530822107858468865 :: Type) (t6989586621679315479 :: b3530822107858468866 :: Type) (t6989586621679315480 :: c3530822107858468867 :: Type) (t6989586621679315481 :: d3530822107858468868 :: Type) :: forall (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) e3530822107858468869 ((~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type)) Source #

Instances

Instances details

(SingI d2, SingI d3, SingI d4, SingI d5) => SingI (Tuple6Sym4 d2 d3 d4 d5 e f :: TyFun e (f ~> (a, b, c, d1, e, f)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym4 d2 d3 d4 d5 e f) Source #
SuppressUnusedWarnings (Tuple6Sym4 t6989586621679315481 t6989586621679315480 t6989586621679315479 t6989586621679315478 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple6Sym4 t6989586621679315481 t6989586621679315480 t6989586621679315479 t6989586621679315478 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type) (t6989586621679315482 :: e3530822107858468869) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym4 t6989586621679315481 t6989586621679315480 t6989586621679315479 t6989586621679315478 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type) (t6989586621679315482 :: e3530822107858468869) = Tuple6Sym5 t6989586621679315481 t6989586621679315480 t6989586621679315479 t6989586621679315478 t6989586621679315482 f3530822107858468870 :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type

data Tuple6Sym5 (t6989586621679315478 :: a3530822107858468865 :: Type) (t6989586621679315479 :: b3530822107858468866 :: Type) (t6989586621679315480 :: c3530822107858468867 :: Type) (t6989586621679315481 :: d3530822107858468868 :: Type) (t6989586621679315482 :: e3530822107858468869 :: Type) :: forall (f3530822107858468870 :: Type). (~>) f3530822107858468870 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type) Source #

Instances

Instances details

(SingI d2, SingI d3, SingI d4, SingI d5, SingI d6) => SingI (Tuple6Sym5 d2 d3 d4 d5 d6 f :: TyFun f (a, b, c, d1, e, f) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym5 d2 d3 d4 d5 d6 f) Source #
SuppressUnusedWarnings (Tuple6Sym5 t6989586621679315482 t6989586621679315481 t6989586621679315480 t6989586621679315479 t6989586621679315478 f3530822107858468870 :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple6Sym5 t6989586621679315482 t6989586621679315481 t6989586621679315480 t6989586621679315479 t6989586621679315478 k6 :: TyFun k6 (k1, k2, k3, k4, k5, k6) -> Type) (t6989586621679315483 :: k6) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym5 t6989586621679315482 t6989586621679315481 t6989586621679315480 t6989586621679315479 t6989586621679315478 k6 :: TyFun k6 (k1, k2, k3, k4, k5, k6) -> Type) (t6989586621679315483 :: k6) = '(t6989586621679315482, t6989586621679315481, t6989586621679315480, t6989586621679315479, t6989586621679315478, t6989586621679315483)

type Tuple6Sym6 (t6989586621679315478 :: a3530822107858468865) (t6989586621679315479 :: b3530822107858468866) (t6989586621679315480 :: c3530822107858468867) (t6989586621679315481 :: d3530822107858468868) (t6989586621679315482 :: e3530822107858468869) (t6989586621679315483 :: f3530822107858468870) = '(t6989586621679315478, t6989586621679315479, t6989586621679315480, t6989586621679315481, t6989586621679315482, t6989586621679315483) Source #

data Tuple7Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type))))))) Source #

Instances

Instances details

SingI (Tuple7Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing Tuple7Sym0 Source #
SuppressUnusedWarnings (Tuple7Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple7Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))))) -> Type) (t6989586621679315585 :: a3530822107858468865) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))))) -> Type) (t6989586621679315585 :: a3530822107858468865) = Tuple7Sym1 t6989586621679315585 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))))) -> Type

data Tuple7Sym1 (t6989586621679315585 :: a3530822107858468865 :: Type) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)))))) Source #

Instances

Instances details

SingI d2 => SingI (Tuple7Sym1 d2 b c d1 e f g :: TyFun b (c ~> (d1 ~> (e ~> (f ~> (g ~> (a, b, c, d1, e, f, g)))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym1 d2 b c d1 e f g) Source #
SuppressUnusedWarnings (Tuple7Sym1 t6989586621679315585 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple7Sym1 t6989586621679315585 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))))) -> Type) (t6989586621679315586 :: b3530822107858468866) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym1 t6989586621679315585 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))))) -> Type) (t6989586621679315586 :: b3530822107858468866) = Tuple7Sym2 t6989586621679315585 t6989586621679315586 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type

data Tuple7Sym2 (t6989586621679315585 :: a3530822107858468865 :: Type) (t6989586621679315586 :: b3530822107858468866 :: Type) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type))))) Source #

Instances

Instances details

(SingI d2, SingI d3) => SingI (Tuple7Sym2 d2 d3 c d1 e f g :: TyFun c (d1 ~> (e ~> (f ~> (g ~> (a, b, c, d1, e, f, g))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym2 d2 d3 c d1 e f g) Source #
SuppressUnusedWarnings (Tuple7Sym2 t6989586621679315586 t6989586621679315585 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple7Sym2 t6989586621679315586 t6989586621679315585 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type) (t6989586621679315587 :: c3530822107858468867) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym2 t6989586621679315586 t6989586621679315585 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type) (t6989586621679315587 :: c3530822107858468867) = Tuple7Sym3 t6989586621679315586 t6989586621679315585 t6989586621679315587 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type

data Tuple7Sym3 (t6989586621679315585 :: a3530822107858468865 :: Type) (t6989586621679315586 :: b3530822107858468866 :: Type) (t6989586621679315587 :: c3530822107858468867 :: Type) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)))) Source #

Instances

Instances details

(SingI d2, SingI d3, SingI d4) => SingI (Tuple7Sym3 d2 d3 d4 d1 e f g :: TyFun d1 (e ~> (f ~> (g ~> (a, b, c, d1, e, f, g)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym3 d2 d3 d4 d1 e f g) Source #
SuppressUnusedWarnings (Tuple7Sym3 t6989586621679315587 t6989586621679315586 t6989586621679315585 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple7Sym3 t6989586621679315587 t6989586621679315586 t6989586621679315585 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type) (t6989586621679315588 :: d3530822107858468868) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym3 t6989586621679315587 t6989586621679315586 t6989586621679315585 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type) (t6989586621679315588 :: d3530822107858468868) = Tuple7Sym4 t6989586621679315587 t6989586621679315586 t6989586621679315585 t6989586621679315588 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type

data Tuple7Sym4 (t6989586621679315585 :: a3530822107858468865 :: Type) (t6989586621679315586 :: b3530822107858468866 :: Type) (t6989586621679315587 :: c3530822107858468867 :: Type) (t6989586621679315588 :: d3530822107858468868 :: Type) :: forall (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type))) Source #

Instances

Instances details

(SingI d2, SingI d3, SingI d4, SingI d5) => SingI (Tuple7Sym4 d2 d3 d4 d5 e f g :: TyFun e (f ~> (g ~> (a, b, c, d1, e, f, g))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym4 d2 d3 d4 d5 e f g) Source #
SuppressUnusedWarnings (Tuple7Sym4 t6989586621679315588 t6989586621679315587 t6989586621679315586 t6989586621679315585 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple7Sym4 t6989586621679315588 t6989586621679315587 t6989586621679315586 t6989586621679315585 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type) (t6989586621679315589 :: e3530822107858468869) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym4 t6989586621679315588 t6989586621679315587 t6989586621679315586 t6989586621679315585 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type) (t6989586621679315589 :: e3530822107858468869) = Tuple7Sym5 t6989586621679315588 t6989586621679315587 t6989586621679315586 t6989586621679315585 t6989586621679315589 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type

data Tuple7Sym5 (t6989586621679315585 :: a3530822107858468865 :: Type) (t6989586621679315586 :: b3530822107858468866 :: Type) (t6989586621679315587 :: c3530822107858468867 :: Type) (t6989586621679315588 :: d3530822107858468868 :: Type) (t6989586621679315589 :: e3530822107858468869 :: Type) :: forall (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) f3530822107858468870 ((~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type)) Source #

Instances

Instances details

(SingI d2, SingI d3, SingI d4, SingI d5, SingI d6) => SingI (Tuple7Sym5 d2 d3 d4 d5 d6 f g :: TyFun f (g ~> (a, b, c, d1, e, f, g)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym5 d2 d3 d4 d5 d6 f g) Source #
SuppressUnusedWarnings (Tuple7Sym5 t6989586621679315589 t6989586621679315588 t6989586621679315587 t6989586621679315586 t6989586621679315585 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple7Sym5 t6989586621679315589 t6989586621679315588 t6989586621679315587 t6989586621679315586 t6989586621679315585 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type) (t6989586621679315590 :: f3530822107858468870) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym5 t6989586621679315589 t6989586621679315588 t6989586621679315587 t6989586621679315586 t6989586621679315585 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type) (t6989586621679315590 :: f3530822107858468870) = Tuple7Sym6 t6989586621679315589 t6989586621679315588 t6989586621679315587 t6989586621679315586 t6989586621679315585 t6989586621679315590 g3530822107858468871 :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type

data Tuple7Sym6 (t6989586621679315585 :: a3530822107858468865 :: Type) (t6989586621679315586 :: b3530822107858468866 :: Type) (t6989586621679315587 :: c3530822107858468867 :: Type) (t6989586621679315588 :: d3530822107858468868 :: Type) (t6989586621679315589 :: e3530822107858468869 :: Type) (t6989586621679315590 :: f3530822107858468870 :: Type) :: forall (g3530822107858468871 :: Type). (~>) g3530822107858468871 (a3530822107858468865 :: Type, b3530822107858468866 :: Type, c3530822107858468867 :: Type, d3530822107858468868 :: Type, e3530822107858468869 :: Type, f3530822107858468870 :: Type, g3530822107858468871 :: Type) Source #

Instances

Instances details

(SingI d2, SingI d3, SingI d4, SingI d5, SingI d6, SingI d7) => SingI (Tuple7Sym6 d2 d3 d4 d5 d6 d7 g :: TyFun g (a, b, c, d1, e, f, g) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym6 d2 d3 d4 d5 d6 d7 g) Source #
SuppressUnusedWarnings (Tuple7Sym6 t6989586621679315590 t6989586621679315589 t6989586621679315588 t6989586621679315587 t6989586621679315586 t6989586621679315585 g3530822107858468871 :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple7Sym6 t6989586621679315590 t6989586621679315589 t6989586621679315588 t6989586621679315587 t6989586621679315586 t6989586621679315585 k7 :: TyFun k7 (k1, k2, k3, k4, k5, k6, k7) -> Type) (t6989586621679315591 :: k7) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym6 t6989586621679315590 t6989586621679315589 t6989586621679315588 t6989586621679315587 t6989586621679315586 t6989586621679315585 k7 :: TyFun k7 (k1, k2, k3, k4, k5, k6, k7) -> Type) (t6989586621679315591 :: k7) = '(t6989586621679315590, t6989586621679315589, t6989586621679315588, t6989586621679315587, t6989586621679315586, t6989586621679315585, t6989586621679315591)

type Tuple7Sym7 (t6989586621679315585 :: a3530822107858468865) (t6989586621679315586 :: b3530822107858468866) (t6989586621679315587 :: c3530822107858468867) (t6989586621679315588 :: d3530822107858468868) (t6989586621679315589 :: e3530822107858468869) (t6989586621679315590 :: f3530822107858468870) (t6989586621679315591 :: g3530822107858468871) = '(t6989586621679315585, t6989586621679315586, t6989586621679315587, t6989586621679315588, t6989586621679315589, t6989586621679315590, t6989586621679315591) Source #

data FstSym0 :: forall a6989586621679370315 b6989586621679370316. (~>) (a6989586621679370315, b6989586621679370316) a6989586621679370315 Source #

Instances

Instances details

SingI (FstSym0 :: TyFun (a, b) a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods sing :: Sing FstSym0 Source #
SuppressUnusedWarnings (FstSym0 :: TyFun (a6989586621679370315, b6989586621679370316) a6989586621679370315 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (FstSym0 :: TyFun (a, b) a -> Type) (a6989586621679370417 :: (a, b)) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (FstSym0 :: TyFun (a, b) a -> Type) (a6989586621679370417 :: (a, b)) = Fst a6989586621679370417

type FstSym1 (a6989586621679370417 :: (a6989586621679370315, b6989586621679370316)) = Fst a6989586621679370417 Source #

data SndSym0 :: forall a6989586621679370313 b6989586621679370314. (~>) (a6989586621679370313, b6989586621679370314) b6989586621679370314 Source #

Instances

Instances details

SingI (SndSym0 :: TyFun (a, b) b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods sing :: Sing SndSym0 Source #
SuppressUnusedWarnings (SndSym0 :: TyFun (a6989586621679370313, b6989586621679370314) b6989586621679370314 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (SndSym0 :: TyFun (a, b) b -> Type) (a6989586621679370414 :: (a, b)) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (SndSym0 :: TyFun (a, b) b -> Type) (a6989586621679370414 :: (a, b)) = Snd a6989586621679370414

type SndSym1 (a6989586621679370414 :: (a6989586621679370313, b6989586621679370314)) = Snd a6989586621679370414 Source #

data CurrySym0 :: forall a6989586621679370310 b6989586621679370311 c6989586621679370312. (~>) ((~>) (a6989586621679370310, b6989586621679370311) c6989586621679370312) ((~>) a6989586621679370310 ((~>) b6989586621679370311 c6989586621679370312)) Source #

Instances

Instances details

SingI (CurrySym0 :: TyFun ((a, b) ~> c) (a ~> (b ~> c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods sing :: Sing CurrySym0 Source #
SuppressUnusedWarnings (CurrySym0 :: TyFun ((a6989586621679370310, b6989586621679370311) ~> c6989586621679370312) (a6989586621679370310 ~> (b6989586621679370311 ~> c6989586621679370312)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (CurrySym0 :: TyFun ((a6989586621679370310, b6989586621679370311) ~> c6989586621679370312) (a6989586621679370310 ~> (b6989586621679370311 ~> c6989586621679370312)) -> Type) (a6989586621679370405 :: (a6989586621679370310, b6989586621679370311) ~> c6989586621679370312) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (CurrySym0 :: TyFun ((a6989586621679370310, b6989586621679370311) ~> c6989586621679370312) (a6989586621679370310 ~> (b6989586621679370311 ~> c6989586621679370312)) -> Type) (a6989586621679370405 :: (a6989586621679370310, b6989586621679370311) ~> c6989586621679370312) = CurrySym1 a6989586621679370405

data CurrySym1 (a6989586621679370405 :: (~>) (a6989586621679370310, b6989586621679370311) c6989586621679370312) :: (~>) a6989586621679370310 ((~>) b6989586621679370311 c6989586621679370312) Source #

Instances

Instances details

SingI d => SingI (CurrySym1 d :: TyFun a (b ~> c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods sing :: Sing (CurrySym1 d) Source #
SuppressUnusedWarnings (CurrySym1 a6989586621679370405 :: TyFun a6989586621679370310 (b6989586621679370311 ~> c6989586621679370312) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (CurrySym1 a6989586621679370405 :: TyFun a6989586621679370310 (b6989586621679370311 ~> c6989586621679370312) -> Type) (a6989586621679370406 :: a6989586621679370310) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (CurrySym1 a6989586621679370405 :: TyFun a6989586621679370310 (b6989586621679370311 ~> c6989586621679370312) -> Type) (a6989586621679370406 :: a6989586621679370310) = CurrySym2 a6989586621679370405 a6989586621679370406

data CurrySym2 (a6989586621679370405 :: (~>) (a6989586621679370310, b6989586621679370311) c6989586621679370312) (a6989586621679370406 :: a6989586621679370310) :: (~>) b6989586621679370311 c6989586621679370312 Source #

Instances

Instances details

(SingI d1, SingI d2) => SingI (CurrySym2 d1 d2 :: TyFun b c -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods sing :: Sing (CurrySym2 d1 d2) Source #
SuppressUnusedWarnings (CurrySym2 a6989586621679370406 a6989586621679370405 :: TyFun b6989586621679370311 c6989586621679370312 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (CurrySym2 a6989586621679370406 a6989586621679370405 :: TyFun b c -> Type) (a6989586621679370407 :: b) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (CurrySym2 a6989586621679370406 a6989586621679370405 :: TyFun b c -> Type) (a6989586621679370407 :: b) = Curry a6989586621679370406 a6989586621679370405 a6989586621679370407

type CurrySym3 (a6989586621679370405 :: (~>) (a6989586621679370310, b6989586621679370311) c6989586621679370312) (a6989586621679370406 :: a6989586621679370310) (a6989586621679370407 :: b6989586621679370311) = Curry a6989586621679370405 a6989586621679370406 a6989586621679370407 Source #

data UncurrySym0 :: forall a6989586621679370307 b6989586621679370308 c6989586621679370309. (~>) ((~>) a6989586621679370307 ((~>) b6989586621679370308 c6989586621679370309)) ((~>) (a6989586621679370307, b6989586621679370308) c6989586621679370309) Source #

Instances

Instances details

SingI (UncurrySym0 :: TyFun (a ~> (b ~> c)) ((a, b) ~> c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods sing :: Sing UncurrySym0 Source #
SuppressUnusedWarnings (UncurrySym0 :: TyFun (a6989586621679370307 ~> (b6989586621679370308 ~> c6989586621679370309)) ((a6989586621679370307, b6989586621679370308) ~> c6989586621679370309) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (UncurrySym0 :: TyFun (a6989586621679370307 ~> (b6989586621679370308 ~> c6989586621679370309)) ((a6989586621679370307, b6989586621679370308) ~> c6989586621679370309) -> Type) (a6989586621679370399 :: a6989586621679370307 ~> (b6989586621679370308 ~> c6989586621679370309)) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (UncurrySym0 :: TyFun (a6989586621679370307 ~> (b6989586621679370308 ~> c6989586621679370309)) ((a6989586621679370307, b6989586621679370308) ~> c6989586621679370309) -> Type) (a6989586621679370399 :: a6989586621679370307 ~> (b6989586621679370308 ~> c6989586621679370309)) = UncurrySym1 a6989586621679370399

data UncurrySym1 (a6989586621679370399 :: (~>) a6989586621679370307 ((~>) b6989586621679370308 c6989586621679370309)) :: (~>) (a6989586621679370307, b6989586621679370308) c6989586621679370309 Source #

Instances

Instances details

SingI d => SingI (UncurrySym1 d :: TyFun (a, b) c -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods sing :: Sing (UncurrySym1 d) Source #
SuppressUnusedWarnings (UncurrySym1 a6989586621679370399 :: TyFun (a6989586621679370307, b6989586621679370308) c6989586621679370309 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (UncurrySym1 a6989586621679370399 :: TyFun (a, b) c -> Type) (a6989586621679370400 :: (a, b)) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (UncurrySym1 a6989586621679370399 :: TyFun (a, b) c -> Type) (a6989586621679370400 :: (a, b)) = Uncurry a6989586621679370399 a6989586621679370400

type UncurrySym2 (a6989586621679370399 :: (~>) a6989586621679370307 ((~>) b6989586621679370308 c6989586621679370309)) (a6989586621679370400 :: (a6989586621679370307, b6989586621679370308)) = Uncurry a6989586621679370399 a6989586621679370400 Source #

data SwapSym0 :: forall a6989586621679370305 b6989586621679370306. (~>) (a6989586621679370305, b6989586621679370306) (b6989586621679370306, a6989586621679370305) Source #

Instances

Instances details

SingI (SwapSym0 :: TyFun (a, b) (b, a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods sing :: Sing SwapSym0 Source #
SuppressUnusedWarnings (SwapSym0 :: TyFun (a6989586621679370305, b6989586621679370306) (b6989586621679370306, a6989586621679370305) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (SwapSym0 :: TyFun (a, b) (b, a) -> Type) (a6989586621679370395 :: (a, b)) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (SwapSym0 :: TyFun (a, b) (b, a) -> Type) (a6989586621679370395 :: (a, b)) = Swap a6989586621679370395

type SwapSym1 (a6989586621679370395 :: (a6989586621679370305, b6989586621679370306)) = Swap a6989586621679370395 Source #

Singleton definitions

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Singletons from Data.Tuple

Defunctionalization symbols

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Instances

Singletons from `Data.Tuple`