|
| Generics.EMGM.Data.Tuple | | Portability | non-portable | | Stability | experimental | | Maintainer | generics@haskell.org |
|
|
|
|
|
| Description |
Summary: Generic representation and instances for tuples of arity 0
(a.k.a. unit) and 2 to 7.
This module exports the reusable components of tuple representations. These
include the embedding-projection pair used in a type representation as well
as the type representations for Generic.
This module also exports the instances for the representation dispatcher
Rep.
|
|
| Synopsis |
|
| epTuple0 :: EP () Unit | | | epTuple2 :: EP (a, b) (a :*: b) | | | epTuple3 :: EP (a, b, c) (a :*: (b :*: c)) | | | epTuple4 :: EP (a, b, c, d) (a :*: (b :*: (c :*: d))) | | | epTuple5 :: EP (a, b, c, d, e) (a :*: (b :*: (c :*: (d :*: e)))) | | | epTuple6 :: EP (a, b, c, d, e, f) (a :*: (b :*: (c :*: (d :*: (e :*: f))))) | | | epTuple7 :: EP (a, b, c, d, e, f, h) (a :*: (b :*: (c :*: (d :*: (e :*: (f :*: h)))))) | | | rTuple0 :: Generic g => g () | | | rTuple2 :: Generic g => g a -> g b -> g (a, b) | | | rTuple3 :: Generic g => g a -> g b -> g c -> g (a, b, c) | | | rTuple4 :: Generic g => g a -> g b -> g c -> g d -> g (a, b, c, d) | | | rTuple5 :: Generic g => g a -> g b -> g c -> g d -> g e -> g (a, b, c, d, e) | | | rTuple6 :: Generic g => g a -> g b -> g c -> g d -> g e -> g f -> g (a, b, c, d, e, f) | | | rTuple7 :: Generic g => g a -> g b -> g c -> g d -> g e -> g f -> g h -> g (a, b, c, d, e, f, h) |
|
|
|
| Embedding-projection pairs
|
|
|
| Embedding-projection pair for ()
|
|
|
| Embedding-projection pair for (a,b)
|
|
|
| Embedding-projection pair for (a,b,c)
|
|
|
| Embedding-projection pair for (a,b,c,d)
|
|
|
| Embedding-projection pair for (a,b,c,d,e)
|
|
|
| Embedding-projection pair for (a,b,c,d,e,f)
|
|
|
| Embedding-projection pair for (a,b,c,d,e,f,h)
|
|
| Representations
|
|
|
| Representation for () in Generic
|
|
|
| Representation for (a,b) in Generic
|
|
|
| Representation for (a,b,c) in Generic
|
|
| rTuple4 :: Generic g => g a -> g b -> g c -> g d -> g (a, b, c, d) | Source |
|
| Representation for (a,b,c,d) in Generic
|
|
| rTuple5 :: Generic g => g a -> g b -> g c -> g d -> g e -> g (a, b, c, d, e) | Source |
|
| Representation for (a,b,c,d,e) in Generic
|
|
| rTuple6 :: Generic g => g a -> g b -> g c -> g d -> g e -> g f -> g (a, b, c, d, e, f) | Source |
|
| Representation for (a,b,c,d,e,f) in Generic
|
|
| rTuple7 :: Generic g => g a -> g b -> g c -> g d -> g e -> g f -> g h -> g (a, b, c, d, e, f, h) | Source |
|
| Representation for (a,b,c,d,e,f,h) in Generic
|
|
| Produced by Haddock version 2.4.2 |
