| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.TypeRep.Types.Tuple
Description
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
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 Source | |
| TypeEq t t => TypeEq TupleType t Source | |
| PWitness Eq t t => PWitness Eq TupleType t Source | |
| PWitness Integral TupleType t Source | |
| PWitness Num TupleType t Source | |
| PWitness Ord t t => PWitness Ord TupleType t Source | |
| PWitness Show t t => PWitness Show TupleType t Source | |
| PWitness Any TupleType t Source | |
| Witness Eq t t => Witness Eq TupleType t Source | |
| Witness Ord t t => Witness Ord TupleType t Source | |
| Witness Show t t => Witness Show TupleType t Source | |
| Witness Any TupleType t Source | |
| PWitness (Typeable *) t t => PWitness (Typeable *) TupleType t Source | |
| Witness (Typeable *) t t => Witness (Typeable *) TupleType t Source |
tup3Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t (a, b, c) Source
tup4Type :: TupleType :<: t => TypeRep t a -> TypeRep t b -> TypeRep t c -> TypeRep t d -> TypeRep t (a, b, c, d) Source
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) Source
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) Source
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) Source
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) Source
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) Source
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) Source
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) Source
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) Source
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) Source
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) Source
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) Source