Data.TypeRep.Types.Tuple

Representations for tuple types

The reason for using symbol names ending with _t is that deriveRender uses everything that comes before _ when rendering the constructor.

Documentation

data TupleType a where

Constructors

Tup2_t :: TupleType (a :-> (b :-> Full (a, b)))

Tup3_t :: TupleType (a :-> (b :-> (c :-> Full (a, b, c))))

Tup4_t :: TupleType (a :-> (b :-> (c :-> (d :-> Full (a, b, c, d)))))

Tup5_t :: TupleType (a :-> (b :-> (c :-> (d :-> (e :-> Full (a, b, c, d, e))))))

Tup6_t :: TupleType (a :-> (b :-> (c :-> (d :-> (e :-> (f :-> Full (a, b, c, d, e, f)))))))

Tup7_t :: TupleType (a :-> (b :-> (c :-> (d :-> (e :-> (f :-> (g :-> Full (a, b, c, d, e, f, g))))))))

Tup8_t :: TupleType (a :-> (b :-> (c :-> (d :-> (e :-> (f :-> (g :-> (h :-> Full (a, b, c, d, e, f, g, h)))))))))

Tup9_t :: TupleType (a :-> (b :-> (c :-> (d :-> (e :-> (f :-> (g :-> (h :-> (i :-> Full (a, b, c, d, e, f, g, h, i))))))))))

Tup10_t :: TupleType (a :-> (b :-> (c :-> (d :-> (e :-> (f :-> (g :-> (h :-> (i :-> (j :-> Full (a, b, c, d, e, f, g, h, i, j)))))))))))

Tup11_t :: TupleType (a :-> (b :-> (c :-> (d :-> (e :-> (f :-> (g :-> (h :-> (i :-> (j :-> (k :-> Full (a, b, c, d, e, f, g, h, i, j, k))))))))))))

Tup12_t :: TupleType (a :-> (b :-> (c :-> (d :-> (e :-> (f :-> (g :-> (h :-> (i :-> (j :-> (k :-> (l :-> Full (a, b, c, d, e, f, g, h, i, j, k, l)))))))))))))

Tup13_t :: TupleType (a :-> (b :-> (c :-> (d :-> (e :-> (f :-> (g :-> (h :-> (i :-> (j :-> (k :-> (l :-> (m :-> Full (a, b, c, d, e, f, g, h, i, j, k, l, m))))))))))))))

Tup14_t :: TupleType (a :-> (b :-> (c :-> (d :-> (e :-> (f :-> (g :-> (h :-> (i :-> (j :-> (k :-> (l :-> (m :-> (n :-> Full (a, b, c, d, e, f, g, h, i, j, k, l, m, n)))))))))))))))

Tup15_t :: TupleType (a :-> (b :-> (c :-> (d :-> (e :-> (f :-> (g :-> (h :-> (i :-> (j :-> (k :-> (l :-> (m :-> (n :-> (o :-> Full (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o))))))))))))))))

Instances

Render TupleType

TypeEq t t => TypeEq TupleType t

PWitness Eq t t => PWitness Eq TupleType t

PWitness Integral TupleType t

PWitness Num TupleType t

PWitness Ord t t => PWitness Ord TupleType t

PWitness Show t t => PWitness Show TupleType t

PWitness Any TupleType t

Witness Eq t t => Witness Eq TupleType t

Witness Ord t t => Witness Ord TupleType t

Witness Show t t => Witness Show TupleType t

Witness Any TupleType t

PWitness (Typeable *) t t => PWitness (Typeable *) TupleType t

Witness (Typeable *) t t => Witness (Typeable *) TupleType t

tup2Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t (a, b)

tup3Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t (a, b, c)

tup4Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t (a, b, c, d)

tup5Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t e -> TypeRep t (a, b, c, d, e)

tup6Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t e -> TypeRep t f -> TypeRep t (a, b, c, d, e, f)

tup7Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t e -> TypeRep t f -> TypeRep t g -> TypeRep t (a, b, c, d, e, f, g)

tup8Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t e -> TypeRep t f -> TypeRep t g -> TypeRep t h -> TypeRep t (a, b, c, d, e, f, g, h)

tup9Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t e -> TypeRep t f -> TypeRep t g -> TypeRep t h -> TypeRep t i -> TypeRep t (a, b, c, d, e, f, g, h, i)

tup10Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t e -> TypeRep t f -> TypeRep t g -> TypeRep t h -> TypeRep t i -> TypeRep t j -> TypeRep t (a, b, c, d, e, f, g, h, i, j)

tup11Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t e -> TypeRep t f -> TypeRep t g -> TypeRep t h -> TypeRep t i -> TypeRep t j -> TypeRep t k -> TypeRep t (a, b, c, d, e, f, g, h, i, j, k)

tup12Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t e -> TypeRep t f -> TypeRep t g -> TypeRep t h -> TypeRep t i -> TypeRep t j -> TypeRep t k -> TypeRep t l -> TypeRep t (a, b, c, d, e, f, g, h, i, j, k, l)

tup13Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t e -> TypeRep t f -> TypeRep t g -> TypeRep t h -> TypeRep t i -> TypeRep t j -> TypeRep t k -> TypeRep t l -> TypeRep t m -> TypeRep t (a, b, c, d, e, f, g, h, i, j, k, l, m)

tup14Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t e -> TypeRep t f -> TypeRep t g -> TypeRep t h -> TypeRep t i -> TypeRep t j -> TypeRep t k -> TypeRep t l -> TypeRep t m -> TypeRep t n -> TypeRep t (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

tup15Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t e -> TypeRep t f -> TypeRep t g -> TypeRep t h -> TypeRep t i -> TypeRep t j -> TypeRep t k -> TypeRep t l -> TypeRep t m -> TypeRep t n -> TypeRep t o -> TypeRep t (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

tupWidth :: TupleType a -> Int