partial-isomorphisms-0.2: Partial isomorphisms.

Control.Isomorphism.Partial.TH

Synopsis

Documentation

constructorIso :: Name -> ExpQSource

Construct a partial isomorphism expression for a constructor, given the constructor's name.

defineIsomorphisms :: Name -> Q [Dec]Source

Construct partial isomorphism definitions for all constructors of a datatype, given the datatype's name. The names of the partial isomorphisms are constructed by spelling the constructor names with an initial lower-case letter.