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

data family Sing :: k -> Type
type STuple0 = (Sing :: () -> Type)
type STuple2 = (Sing :: (a, b) -> Type)
type STuple3 = (Sing :: (a, b, c) -> Type)
type STuple4 = (Sing :: (a, b, c, d) -> Type)
type STuple5 = (Sing :: (a, b, c, d, e) -> Type)
type STuple6 = (Sing :: (a, b, c, d, e, f) -> Type)
type STuple7 = (Sing :: (a, b, c, d, e, f, g) -> Type)
type family Fst (a :: (a, b)) :: a where ...
sFst :: forall a b (t :: (a, b)). Sing t -> Sing (Apply FstSym0 t :: a)
type family Snd (a :: (a, b)) :: b where ...
sSnd :: forall a b (t :: (a, b)). Sing t -> Sing (Apply SndSym0 t :: b)
type family Curry (a :: (~>) (a, b) c) (a :: a) (a :: b) :: c where ...
sCurry :: forall a b c (t :: (~>) (a, b) c) (t :: a) (t :: b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CurrySym0 t) t) t :: c)
type family Uncurry (a :: (~>) a ((~>) b c)) (a :: (a, b)) :: c where ...
sUncurry :: forall a b c (t :: (~>) a ((~>) b c)) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply UncurrySym0 t) t :: c)
type family Swap (a :: (a, b)) :: (b, a) where ...
sSwap :: forall a b (t :: (a, b)). Sing t -> Sing (Apply SwapSym0 t :: (b, a))
type Tuple0Sym0 = '()
data Tuple2Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type)))
data Tuple2Sym1 (t6989586621679291753 :: (a3530822107858468865 :: Type)) :: forall (b3530822107858468866 :: Type). (~>) b3530822107858468866 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type))
type Tuple2Sym2 (t6989586621679291753 :: a3530822107858468865) (t6989586621679291754 :: b3530822107858468866) = '(t6989586621679291753, t6989586621679291754)
data Tuple3Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type))))
data Tuple3Sym1 (t6989586621679291784 :: (a3530822107858468865 :: Type)) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type)))
data Tuple3Sym2 (t6989586621679291784 :: (a3530822107858468865 :: Type)) (t6989586621679291785 :: (b3530822107858468866 :: Type)) :: forall (c3530822107858468867 :: Type). (~>) c3530822107858468867 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type))
type Tuple3Sym3 (t6989586621679291784 :: a3530822107858468865) (t6989586621679291785 :: b3530822107858468866) (t6989586621679291786 :: c3530822107858468867) = '(t6989586621679291784, t6989586621679291785, t6989586621679291786)
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 (t6989586621679291831 :: (a3530822107858468865 :: Type)) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type))))
data Tuple4Sym2 (t6989586621679291831 :: (a3530822107858468865 :: Type)) (t6989586621679291832 :: (b3530822107858468866 :: Type)) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type)))
data Tuple4Sym3 (t6989586621679291831 :: (a3530822107858468865 :: Type)) (t6989586621679291832 :: (b3530822107858468866 :: Type)) (t6989586621679291833 :: (c3530822107858468867 :: Type)) :: forall (d3530822107858468868 :: Type). (~>) d3530822107858468868 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type))
type Tuple4Sym4 (t6989586621679291831 :: a3530822107858468865) (t6989586621679291832 :: b3530822107858468866) (t6989586621679291833 :: c3530822107858468867) (t6989586621679291834 :: d3530822107858468868) = '(t6989586621679291831, t6989586621679291832, t6989586621679291833, t6989586621679291834)
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 (t6989586621679291896 :: (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 (t6989586621679291896 :: (a3530822107858468865 :: Type)) (t6989586621679291897 :: (b3530822107858468866 :: Type)) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type))))
data Tuple5Sym3 (t6989586621679291896 :: (a3530822107858468865 :: Type)) (t6989586621679291897 :: (b3530822107858468866 :: Type)) (t6989586621679291898 :: (c3530822107858468867 :: Type)) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type)))
data Tuple5Sym4 (t6989586621679291896 :: (a3530822107858468865 :: Type)) (t6989586621679291897 :: (b3530822107858468866 :: Type)) (t6989586621679291898 :: (c3530822107858468867 :: Type)) (t6989586621679291899 :: (d3530822107858468868 :: Type)) :: forall (e3530822107858468869 :: Type). (~>) e3530822107858468869 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type))
type Tuple5Sym5 (t6989586621679291896 :: a3530822107858468865) (t6989586621679291897 :: b3530822107858468866) (t6989586621679291898 :: c3530822107858468867) (t6989586621679291899 :: d3530822107858468868) (t6989586621679291900 :: e3530822107858468869) = '(t6989586621679291896, t6989586621679291897, t6989586621679291898, t6989586621679291899, t6989586621679291900)
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 (t6989586621679291981 :: (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 (t6989586621679291981 :: (a3530822107858468865 :: Type)) (t6989586621679291982 :: (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 (t6989586621679291981 :: (a3530822107858468865 :: Type)) (t6989586621679291982 :: (b3530822107858468866 :: Type)) (t6989586621679291983 :: (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 (t6989586621679291981 :: (a3530822107858468865 :: Type)) (t6989586621679291982 :: (b3530822107858468866 :: Type)) (t6989586621679291983 :: (c3530822107858468867 :: Type)) (t6989586621679291984 :: (d3530822107858468868 :: Type)) :: forall (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) e3530822107858468869 ((~>) f3530822107858468870 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type), (f3530822107858468870 :: Type)))
data Tuple6Sym5 (t6989586621679291981 :: (a3530822107858468865 :: Type)) (t6989586621679291982 :: (b3530822107858468866 :: Type)) (t6989586621679291983 :: (c3530822107858468867 :: Type)) (t6989586621679291984 :: (d3530822107858468868 :: Type)) (t6989586621679291985 :: (e3530822107858468869 :: Type)) :: forall (f3530822107858468870 :: Type). (~>) f3530822107858468870 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type), (f3530822107858468870 :: Type))
type Tuple6Sym6 (t6989586621679291981 :: a3530822107858468865) (t6989586621679291982 :: b3530822107858468866) (t6989586621679291983 :: c3530822107858468867) (t6989586621679291984 :: d3530822107858468868) (t6989586621679291985 :: e3530822107858468869) (t6989586621679291986 :: f3530822107858468870) = '(t6989586621679291981, t6989586621679291982, t6989586621679291983, t6989586621679291984, t6989586621679291985, t6989586621679291986)
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 (t6989586621679292088 :: (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 (t6989586621679292088 :: (a3530822107858468865 :: Type)) (t6989586621679292089 :: (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 (t6989586621679292088 :: (a3530822107858468865 :: Type)) (t6989586621679292089 :: (b3530822107858468866 :: Type)) (t6989586621679292090 :: (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 (t6989586621679292088 :: (a3530822107858468865 :: Type)) (t6989586621679292089 :: (b3530822107858468866 :: Type)) (t6989586621679292090 :: (c3530822107858468867 :: Type)) (t6989586621679292091 :: (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 (t6989586621679292088 :: (a3530822107858468865 :: Type)) (t6989586621679292089 :: (b3530822107858468866 :: Type)) (t6989586621679292090 :: (c3530822107858468867 :: Type)) (t6989586621679292091 :: (d3530822107858468868 :: Type)) (t6989586621679292092 :: (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 (t6989586621679292088 :: (a3530822107858468865 :: Type)) (t6989586621679292089 :: (b3530822107858468866 :: Type)) (t6989586621679292090 :: (c3530822107858468867 :: Type)) (t6989586621679292091 :: (d3530822107858468868 :: Type)) (t6989586621679292092 :: (e3530822107858468869 :: Type)) (t6989586621679292093 :: (f3530822107858468870 :: Type)) :: forall (g3530822107858468871 :: Type). (~>) g3530822107858468871 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type), (f3530822107858468870 :: Type), (g3530822107858468871 :: Type))
type Tuple7Sym7 (t6989586621679292088 :: a3530822107858468865) (t6989586621679292089 :: b3530822107858468866) (t6989586621679292090 :: c3530822107858468867) (t6989586621679292091 :: d3530822107858468868) (t6989586621679292092 :: e3530822107858468869) (t6989586621679292093 :: f3530822107858468870) (t6989586621679292094 :: g3530822107858468871) = '(t6989586621679292088, t6989586621679292089, t6989586621679292090, t6989586621679292091, t6989586621679292092, t6989586621679292093, t6989586621679292094)
data FstSym0 :: forall a6989586621679348849 b6989586621679348850. (~>) (a6989586621679348849, b6989586621679348850) a6989586621679348849
type FstSym1 (a6989586621679348945 :: (a6989586621679348849, b6989586621679348850)) = Fst a6989586621679348945
data SndSym0 :: forall a6989586621679348847 b6989586621679348848. (~>) (a6989586621679348847, b6989586621679348848) b6989586621679348848
type SndSym1 (a6989586621679348942 :: (a6989586621679348847, b6989586621679348848)) = Snd a6989586621679348942
data CurrySym0 :: forall a6989586621679348844 b6989586621679348845 c6989586621679348846. (~>) ((~>) (a6989586621679348844, b6989586621679348845) c6989586621679348846) ((~>) a6989586621679348844 ((~>) b6989586621679348845 c6989586621679348846))
data CurrySym1 (a6989586621679348933 :: (~>) (a6989586621679348844, b6989586621679348845) c6989586621679348846) :: (~>) a6989586621679348844 ((~>) b6989586621679348845 c6989586621679348846)
data CurrySym2 (a6989586621679348933 :: (~>) (a6989586621679348844, b6989586621679348845) c6989586621679348846) (a6989586621679348934 :: a6989586621679348844) :: (~>) b6989586621679348845 c6989586621679348846
type CurrySym3 (a6989586621679348933 :: (~>) (a6989586621679348844, b6989586621679348845) c6989586621679348846) (a6989586621679348934 :: a6989586621679348844) (a6989586621679348935 :: b6989586621679348845) = Curry a6989586621679348933 a6989586621679348934 a6989586621679348935
data UncurrySym0 :: forall a6989586621679348841 b6989586621679348842 c6989586621679348843. (~>) ((~>) a6989586621679348841 ((~>) b6989586621679348842 c6989586621679348843)) ((~>) (a6989586621679348841, b6989586621679348842) c6989586621679348843)
data UncurrySym1 (a6989586621679348948 :: (~>) a6989586621679348841 ((~>) b6989586621679348842 c6989586621679348843)) :: (~>) (a6989586621679348841, b6989586621679348842) c6989586621679348843
type UncurrySym2 (a6989586621679348948 :: (~>) a6989586621679348841 ((~>) b6989586621679348842 c6989586621679348843)) (a6989586621679348949 :: (a6989586621679348841, b6989586621679348842)) = Uncurry a6989586621679348948 a6989586621679348949
data SwapSym0 :: forall a6989586621679348839 b6989586621679348840. (~>) (a6989586621679348839, b6989586621679348840) (b6989586621679348840, a6989586621679348839)
type SwapSym1 (a6989586621679348929 :: (a6989586621679348839, b6989586621679348840)) = Swap a6989586621679348929

Singleton definitions

See Sing for more info.

data family Sing :: k -> Type Source #

The singleton kind-indexed data family.

Instances

SDecide k => TestCoercion (Sing :: k -> Type) Source #
Instance details Defined in Data.Singletons.Decide Methods testCoercion :: Sing a -> Sing b -> Maybe (Coercion a b) #
SDecide k => TestEquality (Sing :: k -> Type) Source #
Instance details Defined in Data.Singletons.Decide Methods testEquality :: Sing a -> Sing b -> Maybe (a :~: b) #
Show (SSymbol s) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SSymbol s -> ShowS # show :: SSymbol s -> String # showList :: [SSymbol s] -> ShowS #
Show (SNat n) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SNat n -> ShowS # show :: SNat n -> String # showList :: [SNat n] -> ShowS #
Eq (Sing a) Source #
Instance details Defined in Data.Singletons.TypeRepTYPE Methods (==) :: Sing a -> Sing a -> Bool # (/=) :: Sing a -> Sing a -> Bool #
Ord (Sing a) Source #
Instance details Defined in Data.Singletons.TypeRepTYPE Methods compare :: Sing a -> Sing a -> Ordering # (<) :: Sing a -> Sing a -> Bool # (<=) :: Sing a -> Sing a -> Bool # (>) :: Sing a -> Sing a -> Bool # (>=) :: Sing a -> Sing a -> Bool # max :: Sing a -> Sing a -> Sing a # min :: Sing a -> Sing a -> Sing a #
Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing [a]) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
Show (Sing a) Source #
Instance details Defined in Data.Singletons.TypeRepTYPE Methods showsPrec :: Int -> Sing a -> ShowS # show :: Sing a -> String # showList :: [Sing a] -> ShowS #
Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b, ShowSing c, ShowSing d, ShowSing e, ShowSing f, ShowSing g) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing b) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing m => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing (Maybe a) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing (Maybe a) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing (Maybe a) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing Bool => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing Bool => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
(ShowSing a, ShowSing [a]) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS # show :: Sing z -> String # showList :: [Sing z] -> ShowS #
data Sing (a :: Bool) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: Bool) where SFalse :: forall (a :: Bool). Sing False STrue :: forall (a :: Bool). Sing True
data Sing (a :: Ordering) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: Ordering) where SLT :: forall (a :: Ordering). Sing LT SEQ :: forall (a :: Ordering). Sing EQ SGT :: forall (a :: Ordering). Sing GT
data Sing (n :: Nat) Source #
Instance details Defined in Data.Singletons.TypeLits.Internal data Sing (n :: Nat) where SNat :: forall (n :: Nat). KnownNat n => Sing n
data Sing (n :: Symbol) Source #
Instance details Defined in Data.Singletons.TypeLits.Internal data Sing (n :: Symbol) where SSym :: forall (n :: Symbol). KnownSymbol n => Sing n
data Sing (a :: ()) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: ()) where STuple0 :: forall (a :: ()). Sing ()
data Sing (a :: Void) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (a :: Void)
data Sing (a :: All) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: All) where SAll :: forall (a :: All) (n :: Bool). {..} -> Sing (All n)
data Sing (a :: Any) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: Any) where SAny :: forall (a :: Any) (n :: Bool). {..} -> Sing (Any n)
data Sing (a :: PErrorMessage) Source #
Instance details Defined in Data.Singletons.TypeError data Sing (a :: PErrorMessage) where SText :: forall (a :: PErrorMessage) (t :: Symbol). Sing t -> Sing (Text t) SShowType :: forall (a :: PErrorMessage) t (ty :: t). Sing ty -> Sing (ShowType ty :: ErrorMessage' Symbol) (:%<>:) :: forall (a :: PErrorMessage) (e1 :: ErrorMessage' Symbol) (e2 :: ErrorMessage' Symbol). Sing e1 -> Sing e2 -> Sing (e1 :<>: e2) (:%$$:) :: forall (a :: PErrorMessage) (e1 :: ErrorMessage' Symbol) (e2 :: ErrorMessage' Symbol). Sing e1 -> Sing e2 -> Sing (e1 :$$: e2)
data Sing (b :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (b :: [a]) where SNil :: forall k (b :: [k]). Sing ([] :: [k]) SCons :: forall a (b :: [a]) (n :: a) (n :: [a]). Sing n -> Sing n -> Sing (n ': n)
data Sing (b :: Maybe a) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (b :: Maybe a) where SNothing :: forall a (b :: Maybe a). Sing (Nothing :: Maybe a) SJust :: forall a (b :: Maybe a) (n :: a). Sing n -> Sing (Just n)
data Sing (a :: TYPE rep) 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 -> Type` 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 data Sing (a :: TYPE rep) = STypeRep (TypeRep a)
data Sing (b :: Min a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Min a) where SMin :: forall a (b :: Min a) (n :: a). {..} -> Sing (Min n)
data Sing (b :: Max a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Max a) where SMax :: forall a (b :: Max a) (n :: a). {..} -> Sing (Max n)
data Sing (b :: First a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: First a) where SFirst :: forall a (b :: First a) (n :: a). {..} -> Sing (First n)
data Sing (b :: Last a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Last a) where SLast :: forall a (b :: Last a) (n :: a). {..} -> Sing (Last n)
data Sing (a :: WrappedMonoid m) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (a :: WrappedMonoid m) where SWrapMonoid :: forall m (a :: WrappedMonoid m) (n :: m). {..} -> Sing (WrapMonoid n)
data Sing (b :: Option a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Option a) where SOption :: forall a (b :: Option a) (n :: Maybe a). {..} -> Sing (Option n)
data Sing (b :: Identity a) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (b :: Identity a) where SIdentity :: forall a (b :: Identity a) (n :: a). {..} -> Sing (Identity n)
data Sing (b :: First a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid data Sing (b :: First a) where SFirst :: forall a (b :: First a) (n :: Maybe a). {..} -> Sing (First n)
data Sing (b :: Last a) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid data Sing (b :: Last a) where SLast :: forall a (b :: Last a) (n :: Maybe a). {..} -> Sing (Last n)
data Sing (b :: Dual a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Dual a) where SDual :: forall a (b :: Dual a) (n :: a). {..} -> Sing (Dual n)
data Sing (b :: Sum a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Sum a) where SSum :: forall a (b :: Sum a) (n :: a). {..} -> Sing (Sum n)
data Sing (b :: Product a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal data Sing (b :: Product a) where SProduct :: forall a (b :: Product a) (n :: a). {..} -> Sing (Product n)
data Sing (b :: Down a) Source #
Instance details Defined in Data.Singletons.Prelude.Ord data Sing (b :: Down a) where SDown :: forall a (b :: Down a) (n :: a). Sing n -> Sing (Down n)
data Sing (b :: NonEmpty a) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (b :: NonEmpty a) where (:%\|) :: forall a (b :: NonEmpty a) (n :: a) (n :: [a]). Sing n -> Sing n -> Sing (n :\| n)
data Sing (c :: Either a b) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (c :: Either a b) where SLeft :: forall a b (c :: Either a b) (n :: a). Sing n -> Sing (Left n :: Either a b) SRight :: forall a b (c :: Either a b) (n :: b). Sing n -> Sing (Right n :: Either a b)
data Sing (c :: (a, b)) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (c :: (a, b)) where STuple2 :: forall a b (c :: (a, b)) (n :: a) (n :: b). Sing n -> Sing n -> Sing ((,) n n)
data Sing (c :: Arg a b) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup data Sing (c :: Arg a b) where SArg :: forall a b (c :: Arg a b) (n :: a) (n :: b). Sing n -> Sing n -> Sing (Arg n n)
data Sing (f :: k1 ~> k2) Source #
Instance details Defined in Data.Singletons.Internal data Sing (f :: k1 ~> k2) = SLambda { applySing :: forall (t :: k1). Sing t -> Sing (f @@ t) }
data Sing (d :: (a, b, c)) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (d :: (a, b, c)) where STuple3 :: forall a b c (d :: (a, b, c)) (n :: a) (n :: b) (n :: c). Sing n -> Sing n -> Sing n -> Sing ((,,) n n n)
data Sing (c :: Const a b) Source #
Instance details Defined in Data.Singletons.Prelude.Const data Sing (c :: Const a b) where SConst :: forall k a (b :: k) (c :: Const a b) (a :: a). {..} -> Sing (Const a :: Const a b)
data Sing (e :: (a, b, c, d)) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (e :: (a, b, c, d)) where STuple4 :: forall a b c d (e :: (a, b, c, d)) (n :: a) (n :: b) (n :: c) (n :: d). Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,) n n n n)
data Sing (f :: (a, b, c, d, e)) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (f :: (a, b, c, d, e)) where STuple5 :: forall a b c d e (f :: (a, b, c, d, e)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,) n n n n n)
data Sing (g :: (a, b, c, d, e, f)) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (g :: (a, b, c, d, e, f)) where STuple6 :: forall a b c d e f (g :: (a, b, c, d, e, f)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,,) n n n n n n)
data Sing (h :: (a, b, c, d, e, f, g)) Source #
Instance details Defined in Data.Singletons.Prelude.Instances data Sing (h :: (a, b, c, d, e, f, g)) where STuple7 :: forall a b c d e f g (h :: (a, b, c, d, e, f, g)) (n :: a) (n :: b) (n :: c) (n :: d) (n :: e) (n :: f) (n :: g). Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing n -> Sing ((,,,,,,) n n n n n n n)

type STuple0 = (Sing :: () -> Type) Source #

type STuple2 = (Sing :: (a, b) -> Type) Source #

type STuple3 = (Sing :: (a, b, c) -> Type) Source #

type STuple4 = (Sing :: (a, b, c, d) -> Type) Source #

type STuple5 = (Sing :: (a, b, c, d, e) -> Type) Source #

type STuple6 = (Sing :: (a, b, c, d, e, f) -> Type) Source #

type STuple7 = (Sing :: (a, b, c, d, e, f, g) -> Type) Source #

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

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) (t6989586621679291753 :: a3530822107858468865) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (a3530822107858468865, b3530822107858468866)) -> Type) (t6989586621679291753 :: a3530822107858468865) = (Tuple2Sym1 t6989586621679291753 b3530822107858468866 :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type)

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

Instances

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 t6989586621679291753 b3530822107858468866 :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple2Sym1 t6989586621679291753 k1 :: TyFun k1 (k2, k1) -> Type) (t6989586621679291754 :: k1) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple2Sym1 t6989586621679291753 k1 :: TyFun k1 (k2, k1) -> Type) (t6989586621679291754 :: k1) = (,) t6989586621679291753 t6989586621679291754

type Tuple2Sym2 (t6989586621679291753 :: a3530822107858468865) (t6989586621679291754 :: b3530822107858468866) = '(t6989586621679291753, t6989586621679291754) Source #

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

Instances

SingI (Tuple3Sym0 :: TyFun a (b ~> (c ~> (a, b, c))) -> Type) Source #
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) (t6989586621679291784 :: a3530822107858468865) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867))) -> Type) (t6989586621679291784 :: a3530822107858468865) = (Tuple3Sym1 t6989586621679291784 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type)

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

Instances

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

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

Instances

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

type Tuple3Sym3 (t6989586621679291784 :: a3530822107858468865) (t6989586621679291785 :: b3530822107858468866) (t6989586621679291786 :: c3530822107858468867) = '(t6989586621679291784, t6989586621679291785, t6989586621679291786) Source #

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

Instances

SingI (Tuple4Sym0 :: TyFun a (b ~> (c ~> (d ~> (a, b, c, d)))) -> Type) Source #
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) (t6989586621679291831 :: a3530822107858468865) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)))) -> Type) (t6989586621679291831 :: a3530822107858468865) = (Tuple4Sym1 t6989586621679291831 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type)

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

Instances

SingI d2 => SingI (Tuple4Sym1 d2 b c d1 :: TyFun b (c ~> (d1 ~> (a, b, c, d1))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple4Sym1 d2 b c d1) Source #
SuppressUnusedWarnings (Tuple4Sym1 t6989586621679291831 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 t6989586621679291831 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type) (t6989586621679291832 :: b3530822107858468866) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym1 t6989586621679291831 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type) (t6989586621679291832 :: b3530822107858468866) = (Tuple4Sym2 t6989586621679291831 t6989586621679291832 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type)

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

Instances

(SingI d2, SingI d3) => SingI (Tuple4Sym2 d2 d3 c d1 :: TyFun c (d1 ~> (a, b, c, d1)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple4Sym2 d2 d3 c d1) Source #
SuppressUnusedWarnings (Tuple4Sym2 t6989586621679291832 t6989586621679291831 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 t6989586621679291832 t6989586621679291831 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type) (t6989586621679291833 :: c3530822107858468867) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym2 t6989586621679291832 t6989586621679291831 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type) (t6989586621679291833 :: c3530822107858468867) = (Tuple4Sym3 t6989586621679291832 t6989586621679291831 t6989586621679291833 d3530822107858468868 :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type)

data Tuple4Sym3 (t6989586621679291831 :: (a3530822107858468865 :: Type)) (t6989586621679291832 :: (b3530822107858468866 :: Type)) (t6989586621679291833 :: (c3530822107858468867 :: Type)) :: forall (d3530822107858468868 :: Type). (~>) d3530822107858468868 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type)) Source #

Instances

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

type Tuple4Sym4 (t6989586621679291831 :: a3530822107858468865) (t6989586621679291832 :: b3530822107858468866) (t6989586621679291833 :: c3530822107858468867) (t6989586621679291834 :: d3530822107858468868) = '(t6989586621679291831, t6989586621679291832, t6989586621679291833, t6989586621679291834) Source #

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

Instances

SingI (Tuple5Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (a, b, c, d, e))))) -> Type) Source #
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) (t6989586621679291896 :: 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) (t6989586621679291896 :: a3530822107858468865) = (Tuple5Sym1 t6989586621679291896 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type)

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

Instances

SingI d2 => SingI (Tuple5Sym1 d2 b c d1 e :: TyFun b (c ~> (d1 ~> (e ~> (a, b, c, d1, e)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple5Sym1 d2 b c d1 e) Source #
SuppressUnusedWarnings (Tuple5Sym1 t6989586621679291896 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 t6989586621679291896 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type) (t6989586621679291897 :: b3530822107858468866) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym1 t6989586621679291896 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type) (t6989586621679291897 :: b3530822107858468866) = (Tuple5Sym2 t6989586621679291896 t6989586621679291897 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type)

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

Instances

(SingI d2, SingI d3) => SingI (Tuple5Sym2 d2 d3 c d1 e :: TyFun c (d1 ~> (e ~> (a, b, c, d1, e))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple5Sym2 d2 d3 c d1 e) Source #
SuppressUnusedWarnings (Tuple5Sym2 t6989586621679291897 t6989586621679291896 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 t6989586621679291897 t6989586621679291896 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type) (t6989586621679291898 :: c3530822107858468867) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym2 t6989586621679291897 t6989586621679291896 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type) (t6989586621679291898 :: c3530822107858468867) = (Tuple5Sym3 t6989586621679291897 t6989586621679291896 t6989586621679291898 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type)

data Tuple5Sym3 (t6989586621679291896 :: (a3530822107858468865 :: Type)) (t6989586621679291897 :: (b3530822107858468866 :: Type)) (t6989586621679291898 :: (c3530822107858468867 :: Type)) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type))) Source #

Instances

(SingI d2, SingI d3, SingI d4) => SingI (Tuple5Sym3 d2 d3 d4 d1 e :: TyFun d1 (e ~> (a, b, c, d1, e)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple5Sym3 d2 d3 d4 d1 e) Source #
SuppressUnusedWarnings (Tuple5Sym3 t6989586621679291898 t6989586621679291897 t6989586621679291896 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 t6989586621679291898 t6989586621679291897 t6989586621679291896 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type) (t6989586621679291899 :: d3530822107858468868) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym3 t6989586621679291898 t6989586621679291897 t6989586621679291896 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type) (t6989586621679291899 :: d3530822107858468868) = (Tuple5Sym4 t6989586621679291898 t6989586621679291897 t6989586621679291896 t6989586621679291899 e3530822107858468869 :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type)

data Tuple5Sym4 (t6989586621679291896 :: (a3530822107858468865 :: Type)) (t6989586621679291897 :: (b3530822107858468866 :: Type)) (t6989586621679291898 :: (c3530822107858468867 :: Type)) (t6989586621679291899 :: (d3530822107858468868 :: Type)) :: forall (e3530822107858468869 :: Type). (~>) e3530822107858468869 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type)) Source #

Instances

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

type Tuple5Sym5 (t6989586621679291896 :: a3530822107858468865) (t6989586621679291897 :: b3530822107858468866) (t6989586621679291898 :: c3530822107858468867) (t6989586621679291899 :: d3530822107858468868) (t6989586621679291900 :: e3530822107858468869) = '(t6989586621679291896, t6989586621679291897, t6989586621679291898, t6989586621679291899, t6989586621679291900) Source #

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

Instances

SingI (Tuple6Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (a, b, c, d, e, f)))))) -> Type) Source #
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) (t6989586621679291981 :: 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) (t6989586621679291981 :: a3530822107858468865) = (Tuple6Sym1 t6989586621679291981 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type)

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

Instances

SingI d2 => SingI (Tuple6Sym1 d2 b c d1 e f :: TyFun b (c ~> (d1 ~> (e ~> (f ~> (a, b, c, d1, e, f))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym1 d2 b c d1 e f) Source #
SuppressUnusedWarnings (Tuple6Sym1 t6989586621679291981 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 t6989586621679291981 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type) (t6989586621679291982 :: b3530822107858468866) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym1 t6989586621679291981 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type) (t6989586621679291982 :: b3530822107858468866) = (Tuple6Sym2 t6989586621679291981 t6989586621679291982 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type)

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

Instances

(SingI d2, SingI d3) => SingI (Tuple6Sym2 d2 d3 c d1 e f :: TyFun c (d1 ~> (e ~> (f ~> (a, b, c, d1, e, f)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym2 d2 d3 c d1 e f) Source #
SuppressUnusedWarnings (Tuple6Sym2 t6989586621679291982 t6989586621679291981 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 t6989586621679291982 t6989586621679291981 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type) (t6989586621679291983 :: c3530822107858468867) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym2 t6989586621679291982 t6989586621679291981 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type) (t6989586621679291983 :: c3530822107858468867) = (Tuple6Sym3 t6989586621679291982 t6989586621679291981 t6989586621679291983 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type)

data Tuple6Sym3 (t6989586621679291981 :: (a3530822107858468865 :: Type)) (t6989586621679291982 :: (b3530822107858468866 :: Type)) (t6989586621679291983 :: (c3530822107858468867 :: Type)) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type), (f3530822107858468870 :: Type)))) Source #

Instances

(SingI d2, SingI d3, SingI d4) => SingI (Tuple6Sym3 d2 d3 d4 d1 e f :: TyFun d1 (e ~> (f ~> (a, b, c, d1, e, f))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym3 d2 d3 d4 d1 e f) Source #
SuppressUnusedWarnings (Tuple6Sym3 t6989586621679291983 t6989586621679291982 t6989586621679291981 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 t6989586621679291983 t6989586621679291982 t6989586621679291981 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type) (t6989586621679291984 :: d3530822107858468868) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym3 t6989586621679291983 t6989586621679291982 t6989586621679291981 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type) (t6989586621679291984 :: d3530822107858468868) = (Tuple6Sym4 t6989586621679291983 t6989586621679291982 t6989586621679291981 t6989586621679291984 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type)

data Tuple6Sym4 (t6989586621679291981 :: (a3530822107858468865 :: Type)) (t6989586621679291982 :: (b3530822107858468866 :: Type)) (t6989586621679291983 :: (c3530822107858468867 :: Type)) (t6989586621679291984 :: (d3530822107858468868 :: Type)) :: forall (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) e3530822107858468869 ((~>) f3530822107858468870 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type), (f3530822107858468870 :: Type))) Source #

Instances

(SingI d2, SingI d3, SingI d4, SingI d5) => SingI (Tuple6Sym4 d2 d3 d4 d5 e f :: TyFun e (f ~> (a, b, c, d1, e, f)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym4 d2 d3 d4 d5 e f) Source #
SuppressUnusedWarnings (Tuple6Sym4 t6989586621679291984 t6989586621679291983 t6989586621679291982 t6989586621679291981 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 t6989586621679291984 t6989586621679291983 t6989586621679291982 t6989586621679291981 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type) (t6989586621679291985 :: e3530822107858468869) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym4 t6989586621679291984 t6989586621679291983 t6989586621679291982 t6989586621679291981 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type) (t6989586621679291985 :: e3530822107858468869) = (Tuple6Sym5 t6989586621679291984 t6989586621679291983 t6989586621679291982 t6989586621679291981 t6989586621679291985 f3530822107858468870 :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type)

data Tuple6Sym5 (t6989586621679291981 :: (a3530822107858468865 :: Type)) (t6989586621679291982 :: (b3530822107858468866 :: Type)) (t6989586621679291983 :: (c3530822107858468867 :: Type)) (t6989586621679291984 :: (d3530822107858468868 :: Type)) (t6989586621679291985 :: (e3530822107858468869 :: Type)) :: forall (f3530822107858468870 :: Type). (~>) f3530822107858468870 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type), (f3530822107858468870 :: Type)) Source #

Instances

(SingI d2, SingI d3, SingI d4, SingI d5, SingI d6) => SingI (Tuple6Sym5 d2 d3 d4 d5 d6 f :: TyFun f (a, b, c, d1, e, f) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple6Sym5 d2 d3 d4 d5 d6 f) Source #
SuppressUnusedWarnings (Tuple6Sym5 t6989586621679291985 t6989586621679291984 t6989586621679291983 t6989586621679291982 t6989586621679291981 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 t6989586621679291985 t6989586621679291984 t6989586621679291983 t6989586621679291982 t6989586621679291981 k6 :: TyFun k6 (k2, k1, k3, k4, k5, k6) -> Type) (t6989586621679291986 :: k6) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym5 t6989586621679291985 t6989586621679291984 t6989586621679291983 t6989586621679291982 t6989586621679291981 k6 :: TyFun k6 (k2, k1, k3, k4, k5, k6) -> Type) (t6989586621679291986 :: k6) = (,,,,,) t6989586621679291985 t6989586621679291984 t6989586621679291983 t6989586621679291982 t6989586621679291981 t6989586621679291986

type Tuple6Sym6 (t6989586621679291981 :: a3530822107858468865) (t6989586621679291982 :: b3530822107858468866) (t6989586621679291983 :: c3530822107858468867) (t6989586621679291984 :: d3530822107858468868) (t6989586621679291985 :: e3530822107858468869) (t6989586621679291986 :: f3530822107858468870) = '(t6989586621679291981, t6989586621679291982, t6989586621679291983, t6989586621679291984, t6989586621679291985, t6989586621679291986) Source #

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

Instances

SingI (Tuple7Sym0 :: TyFun a (b ~> (c ~> (d ~> (e ~> (f ~> (g ~> (a, b, c, d, e, f, g))))))) -> Type) Source #
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) (t6989586621679292088 :: 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) (t6989586621679292088 :: a3530822107858468865) = (Tuple7Sym1 t6989586621679292088 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))))) -> Type)

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

Instances

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

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

Instances

(SingI d2, SingI d3) => SingI (Tuple7Sym2 d2 d3 c d1 e f g :: TyFun c (d1 ~> (e ~> (f ~> (g ~> (a, b, c, d1, e, f, g))))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym2 d2 d3 c d1 e f g) Source #
SuppressUnusedWarnings (Tuple7Sym2 t6989586621679292089 t6989586621679292088 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 t6989586621679292089 t6989586621679292088 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type) (t6989586621679292090 :: c3530822107858468867) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym2 t6989586621679292089 t6989586621679292088 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type) (t6989586621679292090 :: c3530822107858468867) = (Tuple7Sym3 t6989586621679292089 t6989586621679292088 t6989586621679292090 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type)

data Tuple7Sym3 (t6989586621679292088 :: (a3530822107858468865 :: Type)) (t6989586621679292089 :: (b3530822107858468866 :: Type)) (t6989586621679292090 :: (c3530822107858468867 :: Type)) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type), (f3530822107858468870 :: Type), (g3530822107858468871 :: Type))))) Source #

Instances

(SingI d2, SingI d3, SingI d4) => SingI (Tuple7Sym3 d2 d3 d4 d1 e f g :: TyFun d1 (e ~> (f ~> (g ~> (a, b, c, d1, e, f, g)))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym3 d2 d3 d4 d1 e f g) Source #
SuppressUnusedWarnings (Tuple7Sym3 t6989586621679292090 t6989586621679292089 t6989586621679292088 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 t6989586621679292090 t6989586621679292089 t6989586621679292088 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type) (t6989586621679292091 :: d3530822107858468868) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym3 t6989586621679292090 t6989586621679292089 t6989586621679292088 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type) (t6989586621679292091 :: d3530822107858468868) = (Tuple7Sym4 t6989586621679292090 t6989586621679292089 t6989586621679292088 t6989586621679292091 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type)

data Tuple7Sym4 (t6989586621679292088 :: (a3530822107858468865 :: Type)) (t6989586621679292089 :: (b3530822107858468866 :: Type)) (t6989586621679292090 :: (c3530822107858468867 :: Type)) (t6989586621679292091 :: (d3530822107858468868 :: Type)) :: forall (e3530822107858468869 :: Type) (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) e3530822107858468869 ((~>) f3530822107858468870 ((~>) g3530822107858468871 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type), (f3530822107858468870 :: Type), (g3530822107858468871 :: Type)))) Source #

Instances

(SingI d2, SingI d3, SingI d4, SingI d5) => SingI (Tuple7Sym4 d2 d3 d4 d5 e f g :: TyFun e (f ~> (g ~> (a, b, c, d1, e, f, g))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym4 d2 d3 d4 d5 e f g) Source #
SuppressUnusedWarnings (Tuple7Sym4 t6989586621679292091 t6989586621679292090 t6989586621679292089 t6989586621679292088 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 t6989586621679292091 t6989586621679292090 t6989586621679292089 t6989586621679292088 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type) (t6989586621679292092 :: e3530822107858468869) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym4 t6989586621679292091 t6989586621679292090 t6989586621679292089 t6989586621679292088 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type) (t6989586621679292092 :: e3530822107858468869) = (Tuple7Sym5 t6989586621679292091 t6989586621679292090 t6989586621679292089 t6989586621679292088 t6989586621679292092 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type)

data Tuple7Sym5 (t6989586621679292088 :: (a3530822107858468865 :: Type)) (t6989586621679292089 :: (b3530822107858468866 :: Type)) (t6989586621679292090 :: (c3530822107858468867 :: Type)) (t6989586621679292091 :: (d3530822107858468868 :: Type)) (t6989586621679292092 :: (e3530822107858468869 :: Type)) :: forall (f3530822107858468870 :: Type) (g3530822107858468871 :: Type). (~>) f3530822107858468870 ((~>) g3530822107858468871 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type), (f3530822107858468870 :: Type), (g3530822107858468871 :: Type))) Source #

Instances

(SingI d2, SingI d3, SingI d4, SingI d5, SingI d6) => SingI (Tuple7Sym5 d2 d3 d4 d5 d6 f g :: TyFun f (g ~> (a, b, c, d1, e, f, g)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym5 d2 d3 d4 d5 d6 f g) Source #
SuppressUnusedWarnings (Tuple7Sym5 t6989586621679292092 t6989586621679292091 t6989586621679292090 t6989586621679292089 t6989586621679292088 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 t6989586621679292092 t6989586621679292091 t6989586621679292090 t6989586621679292089 t6989586621679292088 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type) (t6989586621679292093 :: f3530822107858468870) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym5 t6989586621679292092 t6989586621679292091 t6989586621679292090 t6989586621679292089 t6989586621679292088 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type) (t6989586621679292093 :: f3530822107858468870) = (Tuple7Sym6 t6989586621679292092 t6989586621679292091 t6989586621679292090 t6989586621679292089 t6989586621679292088 t6989586621679292093 g3530822107858468871 :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type)

data Tuple7Sym6 (t6989586621679292088 :: (a3530822107858468865 :: Type)) (t6989586621679292089 :: (b3530822107858468866 :: Type)) (t6989586621679292090 :: (c3530822107858468867 :: Type)) (t6989586621679292091 :: (d3530822107858468868 :: Type)) (t6989586621679292092 :: (e3530822107858468869 :: Type)) (t6989586621679292093 :: (f3530822107858468870 :: Type)) :: forall (g3530822107858468871 :: Type). (~>) g3530822107858468871 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type), (f3530822107858468870 :: Type), (g3530822107858468871 :: Type)) Source #

Instances

(SingI d2, SingI d3, SingI d4, SingI d5, SingI d6, SingI d7) => SingI (Tuple7Sym6 d2 d3 d4 d5 d6 d7 g :: TyFun g (a, b, c, d1, e, f, g) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods sing :: Sing (Tuple7Sym6 d2 d3 d4 d5 d6 d7 g) Source #
SuppressUnusedWarnings (Tuple7Sym6 t6989586621679292093 t6989586621679292092 t6989586621679292091 t6989586621679292090 t6989586621679292089 t6989586621679292088 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 t6989586621679292093 t6989586621679292092 t6989586621679292091 t6989586621679292090 t6989586621679292089 t6989586621679292088 k7 :: TyFun k7 (k2, k1, k3, k4, k5, k6, k7) -> Type) (t6989586621679292094 :: k7) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym6 t6989586621679292093 t6989586621679292092 t6989586621679292091 t6989586621679292090 t6989586621679292089 t6989586621679292088 k7 :: TyFun k7 (k2, k1, k3, k4, k5, k6, k7) -> Type) (t6989586621679292094 :: k7) = (,,,,,,) t6989586621679292093 t6989586621679292092 t6989586621679292091 t6989586621679292090 t6989586621679292089 t6989586621679292088 t6989586621679292094

type Tuple7Sym7 (t6989586621679292088 :: a3530822107858468865) (t6989586621679292089 :: b3530822107858468866) (t6989586621679292090 :: c3530822107858468867) (t6989586621679292091 :: d3530822107858468868) (t6989586621679292092 :: e3530822107858468869) (t6989586621679292093 :: f3530822107858468870) (t6989586621679292094 :: g3530822107858468871) = '(t6989586621679292088, t6989586621679292089, t6989586621679292090, t6989586621679292091, t6989586621679292092, t6989586621679292093, t6989586621679292094) Source #

data FstSym0 :: forall a6989586621679348849 b6989586621679348850. (~>) (a6989586621679348849, b6989586621679348850) a6989586621679348849 Source #

Instances

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

type FstSym1 (a6989586621679348945 :: (a6989586621679348849, b6989586621679348850)) = Fst a6989586621679348945 Source #

data SndSym0 :: forall a6989586621679348847 b6989586621679348848. (~>) (a6989586621679348847, b6989586621679348848) b6989586621679348848 Source #

Instances

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

type SndSym1 (a6989586621679348942 :: (a6989586621679348847, b6989586621679348848)) = Snd a6989586621679348942 Source #

data CurrySym0 :: forall a6989586621679348844 b6989586621679348845 c6989586621679348846. (~>) ((~>) (a6989586621679348844, b6989586621679348845) c6989586621679348846) ((~>) a6989586621679348844 ((~>) b6989586621679348845 c6989586621679348846)) Source #

Instances

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 ((a6989586621679348844, b6989586621679348845) ~> c6989586621679348846) (a6989586621679348844 ~> (b6989586621679348845 ~> c6989586621679348846)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (CurrySym0 :: TyFun ((a6989586621679348844, b6989586621679348845) ~> c6989586621679348846) (a6989586621679348844 ~> (b6989586621679348845 ~> c6989586621679348846)) -> Type) (a6989586621679348933 :: (a6989586621679348844, b6989586621679348845) ~> c6989586621679348846) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (CurrySym0 :: TyFun ((a6989586621679348844, b6989586621679348845) ~> c6989586621679348846) (a6989586621679348844 ~> (b6989586621679348845 ~> c6989586621679348846)) -> Type) (a6989586621679348933 :: (a6989586621679348844, b6989586621679348845) ~> c6989586621679348846) = CurrySym1 a6989586621679348933

data CurrySym1 (a6989586621679348933 :: (~>) (a6989586621679348844, b6989586621679348845) c6989586621679348846) :: (~>) a6989586621679348844 ((~>) b6989586621679348845 c6989586621679348846) Source #

Instances

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 a6989586621679348933 :: TyFun a6989586621679348844 (b6989586621679348845 ~> c6989586621679348846) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (CurrySym1 a6989586621679348933 :: TyFun a6989586621679348844 (b6989586621679348845 ~> c6989586621679348846) -> Type) (a6989586621679348934 :: a6989586621679348844) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (CurrySym1 a6989586621679348933 :: TyFun a6989586621679348844 (b6989586621679348845 ~> c6989586621679348846) -> Type) (a6989586621679348934 :: a6989586621679348844) = CurrySym2 a6989586621679348933 a6989586621679348934

data CurrySym2 (a6989586621679348933 :: (~>) (a6989586621679348844, b6989586621679348845) c6989586621679348846) (a6989586621679348934 :: a6989586621679348844) :: (~>) b6989586621679348845 c6989586621679348846 Source #

Instances

(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 a6989586621679348934 a6989586621679348933 :: TyFun b6989586621679348845 c6989586621679348846 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (CurrySym2 a6989586621679348934 a6989586621679348933 :: TyFun b c -> Type) (a6989586621679348935 :: b) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (CurrySym2 a6989586621679348934 a6989586621679348933 :: TyFun b c -> Type) (a6989586621679348935 :: b) = Curry a6989586621679348934 a6989586621679348933 a6989586621679348935

type CurrySym3 (a6989586621679348933 :: (~>) (a6989586621679348844, b6989586621679348845) c6989586621679348846) (a6989586621679348934 :: a6989586621679348844) (a6989586621679348935 :: b6989586621679348845) = Curry a6989586621679348933 a6989586621679348934 a6989586621679348935 Source #

data UncurrySym0 :: forall a6989586621679348841 b6989586621679348842 c6989586621679348843. (~>) ((~>) a6989586621679348841 ((~>) b6989586621679348842 c6989586621679348843)) ((~>) (a6989586621679348841, b6989586621679348842) c6989586621679348843) Source #

Instances

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 (a6989586621679348841 ~> (b6989586621679348842 ~> c6989586621679348843)) ((a6989586621679348841, b6989586621679348842) ~> c6989586621679348843) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (UncurrySym0 :: TyFun (a6989586621679348841 ~> (b6989586621679348842 ~> c6989586621679348843)) ((a6989586621679348841, b6989586621679348842) ~> c6989586621679348843) -> Type) (a6989586621679348948 :: a6989586621679348841 ~> (b6989586621679348842 ~> c6989586621679348843)) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (UncurrySym0 :: TyFun (a6989586621679348841 ~> (b6989586621679348842 ~> c6989586621679348843)) ((a6989586621679348841, b6989586621679348842) ~> c6989586621679348843) -> Type) (a6989586621679348948 :: a6989586621679348841 ~> (b6989586621679348842 ~> c6989586621679348843)) = UncurrySym1 a6989586621679348948

data UncurrySym1 (a6989586621679348948 :: (~>) a6989586621679348841 ((~>) b6989586621679348842 c6989586621679348843)) :: (~>) (a6989586621679348841, b6989586621679348842) c6989586621679348843 Source #

Instances

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 a6989586621679348948 :: TyFun (a6989586621679348841, b6989586621679348842) c6989586621679348843 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (UncurrySym1 a6989586621679348948 :: TyFun (a, b) c -> Type) (a6989586621679348949 :: (a, b)) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (UncurrySym1 a6989586621679348948 :: TyFun (a, b) c -> Type) (a6989586621679348949 :: (a, b)) = Uncurry a6989586621679348948 a6989586621679348949

type UncurrySym2 (a6989586621679348948 :: (~>) a6989586621679348841 ((~>) b6989586621679348842 c6989586621679348843)) (a6989586621679348949 :: (a6989586621679348841, b6989586621679348842)) = Uncurry a6989586621679348948 a6989586621679348949 Source #

data SwapSym0 :: forall a6989586621679348839 b6989586621679348840. (~>) (a6989586621679348839, b6989586621679348840) (b6989586621679348840, a6989586621679348839) Source #

Instances

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 (a6989586621679348839, b6989586621679348840) (b6989586621679348840, a6989586621679348839) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (SwapSym0 :: TyFun (a, b) (b, a) -> Type) (a6989586621679348929 :: (a, b)) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (SwapSym0 :: TyFun (a, b) (b, a) -> Type) (a6989586621679348929 :: (a, b)) = Swap a6989586621679348929

type SwapSym1 (a6989586621679348929 :: (a6989586621679348839, b6989586621679348840)) = Swap a6989586621679348929 Source #

Singleton definitions

Singletons from Data.Tuple

Defunctionalization symbols

Singletons from `Data.Tuple`