emgm-0.2: Extensible and Modular Generics for the MassesSource codeContentsIndex
Generics.EMGM.Data.Tuple
Portabilitynon-portable
Stabilityexperimental
Maintainergenerics@haskell.org
Contents
Unit: ()
Pair: (a,b)
Triple: (a,b,c)
Quadruple: (a,b,c,d)
Quintuple: (a,b,c,d,e)
Sextuple: (a,b,c,d,e,f)
Septuple: (a,b,c,d,e,f,h)
Description

Summary: Generic representation and instances for tuples of arity 0 (''unit'') and 2 to 7.

The main purpose of this module is to export the instances for the representation dispatchers, Rep and (where appropriate) BiFRep2. For the rare cases in which it is needed, this module also exports the embedding-projection pair and constructor description.

Synopsis
epTuple0 :: EP () Unit
conTuple0 :: ConDescr
epTuple2 :: EP (a, b) (a :*: b)
conTuple2 :: ConDescr
epTuple3 :: EP (a, b, c) (a :*: (b :*: c))
conTuple3 :: ConDescr
epTuple4 :: EP (a, b, c, d) (a :*: (b :*: (c :*: d)))
conTuple4 :: ConDescr
epTuple5 :: EP (a, b, c, d, e) (a :*: (b :*: (c :*: (d :*: e))))
conTuple5 :: ConDescr
epTuple6 :: EP (a, b, c, d, e, f) (a :*: (b :*: (c :*: (d :*: (e :*: f)))))
conTuple6 :: ConDescr
epTuple7 :: EP (a, b, c, d, e, f, h) (a :*: (b :*: (c :*: (d :*: (e :*: (f :*: h))))))
conTuple7 :: ConDescr
Unit: ()
epTuple0 :: EP () UnitSource
Embedding-projection pair for ()
conTuple0 :: ConDescrSource
Constructor description for ()
Pair: (a,b)
epTuple2 :: EP (a, b) (a :*: b)Source
Embedding-projection pair for (a,b)
conTuple2 :: ConDescrSource
Constructor description for (a,b)
Triple: (a,b,c)
epTuple3 :: EP (a, b, c) (a :*: (b :*: c))Source
Embedding-projection pair for (a,b,c)
conTuple3 :: ConDescrSource
Constructor description for (a,b,c)
Quadruple: (a,b,c,d)
epTuple4 :: EP (a, b, c, d) (a :*: (b :*: (c :*: d)))Source
Embedding-projection pair for (a,b,c,d)
conTuple4 :: ConDescrSource
Constructor description for (a,b,c,d)
Quintuple: (a,b,c,d,e)
epTuple5 :: EP (a, b, c, d, e) (a :*: (b :*: (c :*: (d :*: e))))Source
Embedding-projection pair for (a,b,c,d,e)
conTuple5 :: ConDescrSource
Constructor description for (a,b,c,d,e)
Sextuple: (a,b,c,d,e,f)
epTuple6 :: EP (a, b, c, d, e, f) (a :*: (b :*: (c :*: (d :*: (e :*: f)))))Source
Embedding-projection pair for (a,b,c,d,e,f)
conTuple6 :: ConDescrSource
Constructor description for (a,b,c,d,e,f)
Septuple: (a,b,c,d,e,f,h)
epTuple7 :: EP (a, b, c, d, e, f, h) (a :*: (b :*: (c :*: (d :*: (e :*: (f :*: h))))))Source
Embedding-projection pair for (a,b,c,d,e,f,h)
conTuple7 :: ConDescrSource
Constructor description for (a,b,c,d,e,f,h)
Produced by Haddock version 2.4.2