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 (t6989586621679301671 :: (a3530822107858468865 :: Type)) :: forall (b3530822107858468866 :: Type). (~>) b3530822107858468866 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type))
type Tuple2Sym2 (t6989586621679301671 :: a3530822107858468865) (t6989586621679301672 :: b3530822107858468866) = '(t6989586621679301671, t6989586621679301672)
data Tuple3Sym0 :: forall (a3530822107858468865 :: Type) (b3530822107858468866 :: Type) (c3530822107858468867 :: Type). (~>) a3530822107858468865 ((~>) b3530822107858468866 ((~>) c3530822107858468867 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type))))
data Tuple3Sym1 (t6989586621679301702 :: (a3530822107858468865 :: Type)) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type)))
data Tuple3Sym2 (t6989586621679301702 :: (a3530822107858468865 :: Type)) (t6989586621679301703 :: (b3530822107858468866 :: Type)) :: forall (c3530822107858468867 :: Type). (~>) c3530822107858468867 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type))
type Tuple3Sym3 (t6989586621679301702 :: a3530822107858468865) (t6989586621679301703 :: b3530822107858468866) (t6989586621679301704 :: c3530822107858468867) = '(t6989586621679301702, t6989586621679301703, t6989586621679301704)
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 (t6989586621679301749 :: (a3530822107858468865 :: Type)) :: forall (b3530822107858468866 :: Type) (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) b3530822107858468866 ((~>) c3530822107858468867 ((~>) d3530822107858468868 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type))))
data Tuple4Sym2 (t6989586621679301749 :: (a3530822107858468865 :: Type)) (t6989586621679301750 :: (b3530822107858468866 :: Type)) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type)))
data Tuple4Sym3 (t6989586621679301749 :: (a3530822107858468865 :: Type)) (t6989586621679301750 :: (b3530822107858468866 :: Type)) (t6989586621679301751 :: (c3530822107858468867 :: Type)) :: forall (d3530822107858468868 :: Type). (~>) d3530822107858468868 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type))
type Tuple4Sym4 (t6989586621679301749 :: a3530822107858468865) (t6989586621679301750 :: b3530822107858468866) (t6989586621679301751 :: c3530822107858468867) (t6989586621679301752 :: d3530822107858468868) = '(t6989586621679301749, t6989586621679301750, t6989586621679301751, t6989586621679301752)
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 (t6989586621679301814 :: (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 (t6989586621679301814 :: (a3530822107858468865 :: Type)) (t6989586621679301815 :: (b3530822107858468866 :: Type)) :: forall (c3530822107858468867 :: Type) (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) c3530822107858468867 ((~>) d3530822107858468868 ((~>) e3530822107858468869 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type))))
data Tuple5Sym3 (t6989586621679301814 :: (a3530822107858468865 :: Type)) (t6989586621679301815 :: (b3530822107858468866 :: Type)) (t6989586621679301816 :: (c3530822107858468867 :: Type)) :: forall (d3530822107858468868 :: Type) (e3530822107858468869 :: Type). (~>) d3530822107858468868 ((~>) e3530822107858468869 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type)))
data Tuple5Sym4 (t6989586621679301814 :: (a3530822107858468865 :: Type)) (t6989586621679301815 :: (b3530822107858468866 :: Type)) (t6989586621679301816 :: (c3530822107858468867 :: Type)) (t6989586621679301817 :: (d3530822107858468868 :: Type)) :: forall (e3530822107858468869 :: Type). (~>) e3530822107858468869 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type))
type Tuple5Sym5 (t6989586621679301814 :: a3530822107858468865) (t6989586621679301815 :: b3530822107858468866) (t6989586621679301816 :: c3530822107858468867) (t6989586621679301817 :: d3530822107858468868) (t6989586621679301818 :: e3530822107858468869) = '(t6989586621679301814, t6989586621679301815, t6989586621679301816, t6989586621679301817, t6989586621679301818)
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 (t6989586621679301899 :: (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 (t6989586621679301899 :: (a3530822107858468865 :: Type)) (t6989586621679301900 :: (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 (t6989586621679301899 :: (a3530822107858468865 :: Type)) (t6989586621679301900 :: (b3530822107858468866 :: Type)) (t6989586621679301901 :: (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 (t6989586621679301899 :: (a3530822107858468865 :: Type)) (t6989586621679301900 :: (b3530822107858468866 :: Type)) (t6989586621679301901 :: (c3530822107858468867 :: Type)) (t6989586621679301902 :: (d3530822107858468868 :: Type)) :: forall (e3530822107858468869 :: Type) (f3530822107858468870 :: Type). (~>) e3530822107858468869 ((~>) f3530822107858468870 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type), (f3530822107858468870 :: Type)))
data Tuple6Sym5 (t6989586621679301899 :: (a3530822107858468865 :: Type)) (t6989586621679301900 :: (b3530822107858468866 :: Type)) (t6989586621679301901 :: (c3530822107858468867 :: Type)) (t6989586621679301902 :: (d3530822107858468868 :: Type)) (t6989586621679301903 :: (e3530822107858468869 :: Type)) :: forall (f3530822107858468870 :: Type). (~>) f3530822107858468870 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type), (f3530822107858468870 :: Type))
type Tuple6Sym6 (t6989586621679301899 :: a3530822107858468865) (t6989586621679301900 :: b3530822107858468866) (t6989586621679301901 :: c3530822107858468867) (t6989586621679301902 :: d3530822107858468868) (t6989586621679301903 :: e3530822107858468869) (t6989586621679301904 :: f3530822107858468870) = '(t6989586621679301899, t6989586621679301900, t6989586621679301901, t6989586621679301902, t6989586621679301903, t6989586621679301904)
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 (t6989586621679302006 :: (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 (t6989586621679302006 :: (a3530822107858468865 :: Type)) (t6989586621679302007 :: (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 (t6989586621679302006 :: (a3530822107858468865 :: Type)) (t6989586621679302007 :: (b3530822107858468866 :: Type)) (t6989586621679302008 :: (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 (t6989586621679302006 :: (a3530822107858468865 :: Type)) (t6989586621679302007 :: (b3530822107858468866 :: Type)) (t6989586621679302008 :: (c3530822107858468867 :: Type)) (t6989586621679302009 :: (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 (t6989586621679302006 :: (a3530822107858468865 :: Type)) (t6989586621679302007 :: (b3530822107858468866 :: Type)) (t6989586621679302008 :: (c3530822107858468867 :: Type)) (t6989586621679302009 :: (d3530822107858468868 :: Type)) (t6989586621679302010 :: (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 (t6989586621679302006 :: (a3530822107858468865 :: Type)) (t6989586621679302007 :: (b3530822107858468866 :: Type)) (t6989586621679302008 :: (c3530822107858468867 :: Type)) (t6989586621679302009 :: (d3530822107858468868 :: Type)) (t6989586621679302010 :: (e3530822107858468869 :: Type)) (t6989586621679302011 :: (f3530822107858468870 :: Type)) :: forall (g3530822107858468871 :: Type). (~>) g3530822107858468871 ((a3530822107858468865 :: Type), (b3530822107858468866 :: Type), (c3530822107858468867 :: Type), (d3530822107858468868 :: Type), (e3530822107858468869 :: Type), (f3530822107858468870 :: Type), (g3530822107858468871 :: Type))
type Tuple7Sym7 (t6989586621679302006 :: a3530822107858468865) (t6989586621679302007 :: b3530822107858468866) (t6989586621679302008 :: c3530822107858468867) (t6989586621679302009 :: d3530822107858468868) (t6989586621679302010 :: e3530822107858468869) (t6989586621679302011 :: f3530822107858468870) (t6989586621679302012 :: g3530822107858468871) = '(t6989586621679302006, t6989586621679302007, t6989586621679302008, t6989586621679302009, t6989586621679302010, t6989586621679302011, t6989586621679302012)
data FstSym0 :: forall a6989586621679358767 b6989586621679358768. (~>) (a6989586621679358767, b6989586621679358768) a6989586621679358767
type FstSym1 (a6989586621679358863 :: (a6989586621679358767, b6989586621679358768)) = Fst a6989586621679358863
data SndSym0 :: forall a6989586621679358765 b6989586621679358766. (~>) (a6989586621679358765, b6989586621679358766) b6989586621679358766
type SndSym1 (a6989586621679358860 :: (a6989586621679358765, b6989586621679358766)) = Snd a6989586621679358860
data CurrySym0 :: forall a6989586621679358762 b6989586621679358763 c6989586621679358764. (~>) ((~>) (a6989586621679358762, b6989586621679358763) c6989586621679358764) ((~>) a6989586621679358762 ((~>) b6989586621679358763 c6989586621679358764))
data CurrySym1 (a6989586621679358851 :: (~>) (a6989586621679358762, b6989586621679358763) c6989586621679358764) :: (~>) a6989586621679358762 ((~>) b6989586621679358763 c6989586621679358764)
data CurrySym2 (a6989586621679358851 :: (~>) (a6989586621679358762, b6989586621679358763) c6989586621679358764) (a6989586621679358852 :: a6989586621679358762) :: (~>) b6989586621679358763 c6989586621679358764
type CurrySym3 (a6989586621679358851 :: (~>) (a6989586621679358762, b6989586621679358763) c6989586621679358764) (a6989586621679358852 :: a6989586621679358762) (a6989586621679358853 :: b6989586621679358763) = Curry a6989586621679358851 a6989586621679358852 a6989586621679358853
data UncurrySym0 :: forall a6989586621679358759 b6989586621679358760 c6989586621679358761. (~>) ((~>) a6989586621679358759 ((~>) b6989586621679358760 c6989586621679358761)) ((~>) (a6989586621679358759, b6989586621679358760) c6989586621679358761)
data UncurrySym1 (a6989586621679358866 :: (~>) a6989586621679358759 ((~>) b6989586621679358760 c6989586621679358761)) :: (~>) (a6989586621679358759, b6989586621679358760) c6989586621679358761
type UncurrySym2 (a6989586621679358866 :: (~>) a6989586621679358759 ((~>) b6989586621679358760 c6989586621679358761)) (a6989586621679358867 :: (a6989586621679358759, b6989586621679358760)) = Uncurry a6989586621679358866 a6989586621679358867
data SwapSym0 :: forall a6989586621679358757 b6989586621679358758. (~>) (a6989586621679358757, b6989586621679358758) (b6989586621679358758, a6989586621679358757)
type SwapSym1 (a6989586621679358847 :: (a6989586621679358757, b6989586621679358758)) = Swap a6989586621679358847

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) Source #
SDecide k => TestEquality (Sing :: k -> Type) Source #
Instance details Defined in Data.Singletons.Decide Methods testEquality :: Sing a -> Sing b -> Maybe (a :~: b) Source #
Show (SSymbol s) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SSymbol s -> ShowS Source # show :: SSymbol s -> String Source # showList :: [SSymbol s] -> ShowS Source #
Show (SNat n) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> SNat n -> ShowS Source # show :: SNat n -> String Source # showList :: [SNat n] -> ShowS Source #
Eq (Sing a) Source #
Instance details Defined in Data.Singletons.TypeRepTYPE Methods (==) :: Sing a -> Sing a -> Bool Source # (/=) :: Sing a -> Sing a -> Bool Source #
Ord (Sing a) Source #
Instance details Defined in Data.Singletons.TypeRepTYPE Methods compare :: Sing a -> Sing a -> Ordering Source # (<) :: Sing a -> Sing a -> Bool Source # (<=) :: Sing a -> Sing a -> Bool Source # (>) :: Sing a -> Sing a -> Bool Source # (>=) :: Sing a -> Sing a -> Bool Source # max :: Sing a -> Sing a -> Sing a Source # min :: Sing a -> Sing a -> Sing a Source #
Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing [a]) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
Show (Sing a) Source #
Instance details Defined in Data.Singletons.TypeRepTYPE Methods showsPrec :: Int -> Sing a -> ShowS Source # show :: Sing a -> String Source # showList :: [Sing a] -> ShowS Source #
Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b, ShowSing c) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(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 Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(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 Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(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 Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(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 Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing b) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing m => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing (Maybe a) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing (Maybe a) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing (Maybe a) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing Bool => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing Bool => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
ShowSing a => Show (Sing z) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
(ShowSing a, ShowSing [a]) => Show (Sing z) Source #
Instance details Defined in Data.Singletons.ShowSing Methods showsPrec :: Int -> Sing z -> ShowS Source # show :: Sing z -> String Source # showList :: [Sing z] -> ShowS Source #
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)
newtype 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 newtype 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)
newtype Sing (f :: k1 ~> k2) Source #
Instance details Defined in Data.Singletons.Internal newtype 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) (t6989586621679301671 :: a3530822107858468865) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple2Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (a3530822107858468865, b3530822107858468866)) -> Type) (t6989586621679301671 :: a3530822107858468865) = (Tuple2Sym1 t6989586621679301671 b3530822107858468866 :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type)

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

type Tuple2Sym2 (t6989586621679301671 :: a3530822107858468865) (t6989586621679301672 :: b3530822107858468866) = '(t6989586621679301671, t6989586621679301672) 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) (t6989586621679301702 :: a3530822107858468865) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867))) -> Type) (t6989586621679301702 :: a3530822107858468865) = (Tuple3Sym1 t6989586621679301702 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type)

data Tuple3Sym1 (t6989586621679301702 :: (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 t6989586621679301702 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple3Sym1 t6989586621679301702 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type) (t6989586621679301703 :: b3530822107858468866) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym1 t6989586621679301702 b3530822107858468866 c3530822107858468867 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867)) -> Type) (t6989586621679301703 :: b3530822107858468866) = (Tuple3Sym2 t6989586621679301702 t6989586621679301703 c3530822107858468867 :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type)

data Tuple3Sym2 (t6989586621679301702 :: (a3530822107858468865 :: Type)) (t6989586621679301703 :: (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 t6989586621679301703 t6989586621679301702 c3530822107858468867 :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple3Sym2 t6989586621679301703 t6989586621679301702 k3 :: TyFun k3 (k2, k1, k3) -> Type) (t6989586621679301704 :: k3) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple3Sym2 t6989586621679301703 t6989586621679301702 k3 :: TyFun k3 (k2, k1, k3) -> Type) (t6989586621679301704 :: k3) = (,,) t6989586621679301703 t6989586621679301702 t6989586621679301704

type Tuple3Sym3 (t6989586621679301702 :: a3530822107858468865) (t6989586621679301703 :: b3530822107858468866) (t6989586621679301704 :: c3530822107858468867) = '(t6989586621679301702, t6989586621679301703, t6989586621679301704) 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) (t6989586621679301749 :: a3530822107858468865) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym0 :: TyFun a3530822107858468865 (b3530822107858468866 ~> (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)))) -> Type) (t6989586621679301749 :: a3530822107858468865) = (Tuple4Sym1 t6989586621679301749 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type)

data Tuple4Sym1 (t6989586621679301749 :: (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 t6989586621679301749 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 t6989586621679301749 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type) (t6989586621679301750 :: b3530822107858468866) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym1 t6989586621679301749 b3530822107858468866 c3530822107858468867 d3530822107858468868 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))) -> Type) (t6989586621679301750 :: b3530822107858468866) = (Tuple4Sym2 t6989586621679301749 t6989586621679301750 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type)

data Tuple4Sym2 (t6989586621679301749 :: (a3530822107858468865 :: Type)) (t6989586621679301750 :: (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 t6989586621679301750 t6989586621679301749 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 t6989586621679301750 t6989586621679301749 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type) (t6989586621679301751 :: c3530822107858468867) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym2 t6989586621679301750 t6989586621679301749 c3530822107858468867 d3530822107858468868 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) -> Type) (t6989586621679301751 :: c3530822107858468867) = (Tuple4Sym3 t6989586621679301750 t6989586621679301749 t6989586621679301751 d3530822107858468868 :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type)

data Tuple4Sym3 (t6989586621679301749 :: (a3530822107858468865 :: Type)) (t6989586621679301750 :: (b3530822107858468866 :: Type)) (t6989586621679301751 :: (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 t6989586621679301751 t6989586621679301750 t6989586621679301749 d3530822107858468868 :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple4Sym3 t6989586621679301751 t6989586621679301750 t6989586621679301749 k4 :: TyFun k4 (k2, k1, k3, k4) -> Type) (t6989586621679301752 :: k4) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple4Sym3 t6989586621679301751 t6989586621679301750 t6989586621679301749 k4 :: TyFun k4 (k2, k1, k3, k4) -> Type) (t6989586621679301752 :: k4) = (,,,) t6989586621679301751 t6989586621679301750 t6989586621679301749 t6989586621679301752

type Tuple4Sym4 (t6989586621679301749 :: a3530822107858468865) (t6989586621679301750 :: b3530822107858468866) (t6989586621679301751 :: c3530822107858468867) (t6989586621679301752 :: d3530822107858468868) = '(t6989586621679301749, t6989586621679301750, t6989586621679301751, t6989586621679301752) 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) (t6989586621679301814 :: 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) (t6989586621679301814 :: a3530822107858468865) = (Tuple5Sym1 t6989586621679301814 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type)

data Tuple5Sym1 (t6989586621679301814 :: (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 t6989586621679301814 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 t6989586621679301814 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type) (t6989586621679301815 :: b3530822107858468866) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym1 t6989586621679301814 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)))) -> Type) (t6989586621679301815 :: b3530822107858468866) = (Tuple5Sym2 t6989586621679301814 t6989586621679301815 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type)

data Tuple5Sym2 (t6989586621679301814 :: (a3530822107858468865 :: Type)) (t6989586621679301815 :: (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 t6989586621679301815 t6989586621679301814 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 t6989586621679301815 t6989586621679301814 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type) (t6989586621679301816 :: c3530822107858468867) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym2 t6989586621679301815 t6989586621679301814 c3530822107858468867 d3530822107858468868 e3530822107858468869 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))) -> Type) (t6989586621679301816 :: c3530822107858468867) = (Tuple5Sym3 t6989586621679301815 t6989586621679301814 t6989586621679301816 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type)

data Tuple5Sym3 (t6989586621679301814 :: (a3530822107858468865 :: Type)) (t6989586621679301815 :: (b3530822107858468866 :: Type)) (t6989586621679301816 :: (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 t6989586621679301816 t6989586621679301815 t6989586621679301814 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 t6989586621679301816 t6989586621679301815 t6989586621679301814 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type) (t6989586621679301817 :: d3530822107858468868) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym3 t6989586621679301816 t6989586621679301815 t6989586621679301814 d3530822107858468868 e3530822107858468869 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) -> Type) (t6989586621679301817 :: d3530822107858468868) = (Tuple5Sym4 t6989586621679301816 t6989586621679301815 t6989586621679301814 t6989586621679301817 e3530822107858468869 :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type)

data Tuple5Sym4 (t6989586621679301814 :: (a3530822107858468865 :: Type)) (t6989586621679301815 :: (b3530822107858468866 :: Type)) (t6989586621679301816 :: (c3530822107858468867 :: Type)) (t6989586621679301817 :: (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 t6989586621679301817 t6989586621679301816 t6989586621679301815 t6989586621679301814 e3530822107858468869 :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Instances Methods suppressUnusedWarnings :: () Source #
type Apply (Tuple5Sym4 t6989586621679301817 t6989586621679301816 t6989586621679301815 t6989586621679301814 k5 :: TyFun k5 (k2, k1, k3, k4, k5) -> Type) (t6989586621679301818 :: k5) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple5Sym4 t6989586621679301817 t6989586621679301816 t6989586621679301815 t6989586621679301814 k5 :: TyFun k5 (k2, k1, k3, k4, k5) -> Type) (t6989586621679301818 :: k5) = (,,,,) t6989586621679301817 t6989586621679301816 t6989586621679301815 t6989586621679301814 t6989586621679301818

type Tuple5Sym5 (t6989586621679301814 :: a3530822107858468865) (t6989586621679301815 :: b3530822107858468866) (t6989586621679301816 :: c3530822107858468867) (t6989586621679301817 :: d3530822107858468868) (t6989586621679301818 :: e3530822107858468869) = '(t6989586621679301814, t6989586621679301815, t6989586621679301816, t6989586621679301817, t6989586621679301818) 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) (t6989586621679301899 :: 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) (t6989586621679301899 :: a3530822107858468865) = (Tuple6Sym1 t6989586621679301899 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type)

data Tuple6Sym1 (t6989586621679301899 :: (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 t6989586621679301899 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 t6989586621679301899 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type) (t6989586621679301900 :: b3530822107858468866) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym1 t6989586621679301899 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))))) -> Type) (t6989586621679301900 :: b3530822107858468866) = (Tuple6Sym2 t6989586621679301899 t6989586621679301900 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type)

data Tuple6Sym2 (t6989586621679301899 :: (a3530822107858468865 :: Type)) (t6989586621679301900 :: (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 t6989586621679301900 t6989586621679301899 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 t6989586621679301900 t6989586621679301899 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type) (t6989586621679301901 :: c3530822107858468867) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym2 t6989586621679301900 t6989586621679301899 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)))) -> Type) (t6989586621679301901 :: c3530822107858468867) = (Tuple6Sym3 t6989586621679301900 t6989586621679301899 t6989586621679301901 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type)

data Tuple6Sym3 (t6989586621679301899 :: (a3530822107858468865 :: Type)) (t6989586621679301900 :: (b3530822107858468866 :: Type)) (t6989586621679301901 :: (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 t6989586621679301901 t6989586621679301900 t6989586621679301899 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 t6989586621679301901 t6989586621679301900 t6989586621679301899 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type) (t6989586621679301902 :: d3530822107858468868) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym3 t6989586621679301901 t6989586621679301900 t6989586621679301899 d3530822107858468868 e3530822107858468869 f3530822107858468870 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))) -> Type) (t6989586621679301902 :: d3530822107858468868) = (Tuple6Sym4 t6989586621679301901 t6989586621679301900 t6989586621679301899 t6989586621679301902 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type)

data Tuple6Sym4 (t6989586621679301899 :: (a3530822107858468865 :: Type)) (t6989586621679301900 :: (b3530822107858468866 :: Type)) (t6989586621679301901 :: (c3530822107858468867 :: Type)) (t6989586621679301902 :: (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 t6989586621679301902 t6989586621679301901 t6989586621679301900 t6989586621679301899 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 t6989586621679301902 t6989586621679301901 t6989586621679301900 t6989586621679301899 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type) (t6989586621679301903 :: e3530822107858468869) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym4 t6989586621679301902 t6989586621679301901 t6989586621679301900 t6989586621679301899 e3530822107858468869 f3530822107858468870 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) -> Type) (t6989586621679301903 :: e3530822107858468869) = (Tuple6Sym5 t6989586621679301902 t6989586621679301901 t6989586621679301900 t6989586621679301899 t6989586621679301903 f3530822107858468870 :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type)

data Tuple6Sym5 (t6989586621679301899 :: (a3530822107858468865 :: Type)) (t6989586621679301900 :: (b3530822107858468866 :: Type)) (t6989586621679301901 :: (c3530822107858468867 :: Type)) (t6989586621679301902 :: (d3530822107858468868 :: Type)) (t6989586621679301903 :: (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 t6989586621679301903 t6989586621679301902 t6989586621679301901 t6989586621679301900 t6989586621679301899 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 t6989586621679301903 t6989586621679301902 t6989586621679301901 t6989586621679301900 t6989586621679301899 k6 :: TyFun k6 (k2, k1, k3, k4, k5, k6) -> Type) (t6989586621679301904 :: k6) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple6Sym5 t6989586621679301903 t6989586621679301902 t6989586621679301901 t6989586621679301900 t6989586621679301899 k6 :: TyFun k6 (k2, k1, k3, k4, k5, k6) -> Type) (t6989586621679301904 :: k6) = (,,,,,) t6989586621679301903 t6989586621679301902 t6989586621679301901 t6989586621679301900 t6989586621679301899 t6989586621679301904

type Tuple6Sym6 (t6989586621679301899 :: a3530822107858468865) (t6989586621679301900 :: b3530822107858468866) (t6989586621679301901 :: c3530822107858468867) (t6989586621679301902 :: d3530822107858468868) (t6989586621679301903 :: e3530822107858468869) (t6989586621679301904 :: f3530822107858468870) = '(t6989586621679301899, t6989586621679301900, t6989586621679301901, t6989586621679301902, t6989586621679301903, t6989586621679301904) 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) (t6989586621679302006 :: 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) (t6989586621679302006 :: a3530822107858468865) = (Tuple7Sym1 t6989586621679302006 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))))) -> Type)

data Tuple7Sym1 (t6989586621679302006 :: (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 t6989586621679302006 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 t6989586621679302006 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))))) -> Type) (t6989586621679302007 :: b3530822107858468866) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym1 t6989586621679302006 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun b3530822107858468866 (c3530822107858468867 ~> (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))))) -> Type) (t6989586621679302007 :: b3530822107858468866) = (Tuple7Sym2 t6989586621679302006 t6989586621679302007 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type)

data Tuple7Sym2 (t6989586621679302006 :: (a3530822107858468865 :: Type)) (t6989586621679302007 :: (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 t6989586621679302007 t6989586621679302006 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 t6989586621679302007 t6989586621679302006 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type) (t6989586621679302008 :: c3530822107858468867) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym2 t6989586621679302007 t6989586621679302006 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun c3530822107858468867 (d3530822107858468868 ~> (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))))) -> Type) (t6989586621679302008 :: c3530822107858468867) = (Tuple7Sym3 t6989586621679302007 t6989586621679302006 t6989586621679302008 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type)

data Tuple7Sym3 (t6989586621679302006 :: (a3530822107858468865 :: Type)) (t6989586621679302007 :: (b3530822107858468866 :: Type)) (t6989586621679302008 :: (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 t6989586621679302008 t6989586621679302007 t6989586621679302006 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 t6989586621679302008 t6989586621679302007 t6989586621679302006 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type) (t6989586621679302009 :: d3530822107858468868) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym3 t6989586621679302008 t6989586621679302007 t6989586621679302006 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun d3530822107858468868 (e3530822107858468869 ~> (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)))) -> Type) (t6989586621679302009 :: d3530822107858468868) = (Tuple7Sym4 t6989586621679302008 t6989586621679302007 t6989586621679302006 t6989586621679302009 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type)

data Tuple7Sym4 (t6989586621679302006 :: (a3530822107858468865 :: Type)) (t6989586621679302007 :: (b3530822107858468866 :: Type)) (t6989586621679302008 :: (c3530822107858468867 :: Type)) (t6989586621679302009 :: (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 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 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 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type) (t6989586621679302010 :: e3530822107858468869) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym4 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 e3530822107858468869 f3530822107858468870 g3530822107858468871 :: TyFun e3530822107858468869 (f3530822107858468870 ~> (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))) -> Type) (t6989586621679302010 :: e3530822107858468869) = (Tuple7Sym5 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 t6989586621679302010 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type)

data Tuple7Sym5 (t6989586621679302006 :: (a3530822107858468865 :: Type)) (t6989586621679302007 :: (b3530822107858468866 :: Type)) (t6989586621679302008 :: (c3530822107858468867 :: Type)) (t6989586621679302009 :: (d3530822107858468868 :: Type)) (t6989586621679302010 :: (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 t6989586621679302010 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 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 t6989586621679302010 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type) (t6989586621679302011 :: f3530822107858468870) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym5 t6989586621679302010 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 f3530822107858468870 g3530822107858468871 :: TyFun f3530822107858468870 (g3530822107858468871 ~> (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) -> Type) (t6989586621679302011 :: f3530822107858468870) = (Tuple7Sym6 t6989586621679302010 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 t6989586621679302011 g3530822107858468871 :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type)

data Tuple7Sym6 (t6989586621679302006 :: (a3530822107858468865 :: Type)) (t6989586621679302007 :: (b3530822107858468866 :: Type)) (t6989586621679302008 :: (c3530822107858468867 :: Type)) (t6989586621679302009 :: (d3530822107858468868 :: Type)) (t6989586621679302010 :: (e3530822107858468869 :: Type)) (t6989586621679302011 :: (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 t6989586621679302011 t6989586621679302010 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 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 t6989586621679302011 t6989586621679302010 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 k7 :: TyFun k7 (k2, k1, k3, k4, k5, k6, k7) -> Type) (t6989586621679302012 :: k7) Source #
Instance details Defined in Data.Singletons.Prelude.Instances type Apply (Tuple7Sym6 t6989586621679302011 t6989586621679302010 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 k7 :: TyFun k7 (k2, k1, k3, k4, k5, k6, k7) -> Type) (t6989586621679302012 :: k7) = (,,,,,,) t6989586621679302011 t6989586621679302010 t6989586621679302009 t6989586621679302008 t6989586621679302007 t6989586621679302006 t6989586621679302012

type Tuple7Sym7 (t6989586621679302006 :: a3530822107858468865) (t6989586621679302007 :: b3530822107858468866) (t6989586621679302008 :: c3530822107858468867) (t6989586621679302009 :: d3530822107858468868) (t6989586621679302010 :: e3530822107858468869) (t6989586621679302011 :: f3530822107858468870) (t6989586621679302012 :: g3530822107858468871) = '(t6989586621679302006, t6989586621679302007, t6989586621679302008, t6989586621679302009, t6989586621679302010, t6989586621679302011, t6989586621679302012) Source #

data FstSym0 :: forall a6989586621679358767 b6989586621679358768. (~>) (a6989586621679358767, b6989586621679358768) a6989586621679358767 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 (a6989586621679358767, b6989586621679358768) a6989586621679358767 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (FstSym0 :: TyFun (a, b) a -> Type) (a6989586621679358863 :: (a, b)) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (FstSym0 :: TyFun (a, b) a -> Type) (a6989586621679358863 :: (a, b)) = Fst a6989586621679358863

type FstSym1 (a6989586621679358863 :: (a6989586621679358767, b6989586621679358768)) = Fst a6989586621679358863 Source #

data SndSym0 :: forall a6989586621679358765 b6989586621679358766. (~>) (a6989586621679358765, b6989586621679358766) b6989586621679358766 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 (a6989586621679358765, b6989586621679358766) b6989586621679358766 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (SndSym0 :: TyFun (a, b) b -> Type) (a6989586621679358860 :: (a, b)) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (SndSym0 :: TyFun (a, b) b -> Type) (a6989586621679358860 :: (a, b)) = Snd a6989586621679358860

type SndSym1 (a6989586621679358860 :: (a6989586621679358765, b6989586621679358766)) = Snd a6989586621679358860 Source #

data CurrySym0 :: forall a6989586621679358762 b6989586621679358763 c6989586621679358764. (~>) ((~>) (a6989586621679358762, b6989586621679358763) c6989586621679358764) ((~>) a6989586621679358762 ((~>) b6989586621679358763 c6989586621679358764)) 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 ((a6989586621679358762, b6989586621679358763) ~> c6989586621679358764) (a6989586621679358762 ~> (b6989586621679358763 ~> c6989586621679358764)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (CurrySym0 :: TyFun ((a6989586621679358762, b6989586621679358763) ~> c6989586621679358764) (a6989586621679358762 ~> (b6989586621679358763 ~> c6989586621679358764)) -> Type) (a6989586621679358851 :: (a6989586621679358762, b6989586621679358763) ~> c6989586621679358764) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (CurrySym0 :: TyFun ((a6989586621679358762, b6989586621679358763) ~> c6989586621679358764) (a6989586621679358762 ~> (b6989586621679358763 ~> c6989586621679358764)) -> Type) (a6989586621679358851 :: (a6989586621679358762, b6989586621679358763) ~> c6989586621679358764) = CurrySym1 a6989586621679358851

data CurrySym1 (a6989586621679358851 :: (~>) (a6989586621679358762, b6989586621679358763) c6989586621679358764) :: (~>) a6989586621679358762 ((~>) b6989586621679358763 c6989586621679358764) 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 a6989586621679358851 :: TyFun a6989586621679358762 (b6989586621679358763 ~> c6989586621679358764) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (CurrySym1 a6989586621679358851 :: TyFun a6989586621679358762 (b6989586621679358763 ~> c6989586621679358764) -> Type) (a6989586621679358852 :: a6989586621679358762) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (CurrySym1 a6989586621679358851 :: TyFun a6989586621679358762 (b6989586621679358763 ~> c6989586621679358764) -> Type) (a6989586621679358852 :: a6989586621679358762) = CurrySym2 a6989586621679358851 a6989586621679358852

data CurrySym2 (a6989586621679358851 :: (~>) (a6989586621679358762, b6989586621679358763) c6989586621679358764) (a6989586621679358852 :: a6989586621679358762) :: (~>) b6989586621679358763 c6989586621679358764 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 a6989586621679358852 a6989586621679358851 :: TyFun b6989586621679358763 c6989586621679358764 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (CurrySym2 a6989586621679358852 a6989586621679358851 :: TyFun b c -> Type) (a6989586621679358853 :: b) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (CurrySym2 a6989586621679358852 a6989586621679358851 :: TyFun b c -> Type) (a6989586621679358853 :: b) = Curry a6989586621679358852 a6989586621679358851 a6989586621679358853

type CurrySym3 (a6989586621679358851 :: (~>) (a6989586621679358762, b6989586621679358763) c6989586621679358764) (a6989586621679358852 :: a6989586621679358762) (a6989586621679358853 :: b6989586621679358763) = Curry a6989586621679358851 a6989586621679358852 a6989586621679358853 Source #

data UncurrySym0 :: forall a6989586621679358759 b6989586621679358760 c6989586621679358761. (~>) ((~>) a6989586621679358759 ((~>) b6989586621679358760 c6989586621679358761)) ((~>) (a6989586621679358759, b6989586621679358760) c6989586621679358761) 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 (a6989586621679358759 ~> (b6989586621679358760 ~> c6989586621679358761)) ((a6989586621679358759, b6989586621679358760) ~> c6989586621679358761) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (UncurrySym0 :: TyFun (a6989586621679358759 ~> (b6989586621679358760 ~> c6989586621679358761)) ((a6989586621679358759, b6989586621679358760) ~> c6989586621679358761) -> Type) (a6989586621679358866 :: a6989586621679358759 ~> (b6989586621679358760 ~> c6989586621679358761)) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (UncurrySym0 :: TyFun (a6989586621679358759 ~> (b6989586621679358760 ~> c6989586621679358761)) ((a6989586621679358759, b6989586621679358760) ~> c6989586621679358761) -> Type) (a6989586621679358866 :: a6989586621679358759 ~> (b6989586621679358760 ~> c6989586621679358761)) = UncurrySym1 a6989586621679358866

data UncurrySym1 (a6989586621679358866 :: (~>) a6989586621679358759 ((~>) b6989586621679358760 c6989586621679358761)) :: (~>) (a6989586621679358759, b6989586621679358760) c6989586621679358761 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 a6989586621679358866 :: TyFun (a6989586621679358759, b6989586621679358760) c6989586621679358761 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (UncurrySym1 a6989586621679358866 :: TyFun (a, b) c -> Type) (a6989586621679358867 :: (a, b)) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (UncurrySym1 a6989586621679358866 :: TyFun (a, b) c -> Type) (a6989586621679358867 :: (a, b)) = Uncurry a6989586621679358866 a6989586621679358867

type UncurrySym2 (a6989586621679358866 :: (~>) a6989586621679358759 ((~>) b6989586621679358760 c6989586621679358761)) (a6989586621679358867 :: (a6989586621679358759, b6989586621679358760)) = Uncurry a6989586621679358866 a6989586621679358867 Source #

data SwapSym0 :: forall a6989586621679358757 b6989586621679358758. (~>) (a6989586621679358757, b6989586621679358758) (b6989586621679358758, a6989586621679358757) 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 (a6989586621679358757, b6989586621679358758) (b6989586621679358758, a6989586621679358757) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple Methods suppressUnusedWarnings :: () Source #
type Apply (SwapSym0 :: TyFun (a, b) (b, a) -> Type) (a6989586621679358847 :: (a, b)) Source #
Instance details Defined in Data.Singletons.Prelude.Tuple type Apply (SwapSym0 :: TyFun (a, b) (b, a) -> Type) (a6989586621679358847 :: (a, b)) = Swap a6989586621679358847

type SwapSym1 (a6989586621679358847 :: (a6989586621679358757, b6989586621679358758)) = Swap a6989586621679358847 Source #

Singleton definitions

Singletons from Data.Tuple

Defunctionalization symbols

Singletons from `Data.Tuple`