Portability | see LANGUAGE pragmas (... GHC) |
---|---|

Stability | experimental |

Maintainer | nicolas.frisby@gmail.com |

Safe Haskell | None |

This omnibus module is the only necessary import for using the `yoko`

generic
programming library.

(Some sophisticated functions' types might require the import of the Data.Yoko.TypeBasics or Data.Yoko.Each modules.)

The Data.Yoko.HCompos module defines the generic homomorphism; see the paper "A Pattern for Almost Homomorphic Functions" at http://www.ittc.ku.edu/~nfrisby/frisby-wgp-2012.pdf, published at the Workshop on Generic Programming 2012. Much more details in my dissertation: http://www.ittc.ku.edu/~nfrisby/frisby-dissertation.pdf.

`dc`

type variables abstract over *fields types*.

`dcs`

and `sum`

type variables abstract over sums of *fields types*.

Types of the form

are `DC`

t*disbanded data types*; for each fields type
`dc`

in the resulting sum,

. That means they all correspond
to constructors from `Codomain`

dc ~ t`t`

.

A complete Template Haskell deriver is provided in the Data.Yoko.TH module.

It works for the data types that `instant-generics` works on, excluding indexed data types. Yell loudly if you need that... then send me an email :) HTH!