Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell

摘要

This paper introduces a type-preserving XML Schema-Haskell data binding (or, translation) UUXML, and shows how to customize it by exploiting the theory of canonical isomorphisms to automatically infer coercions between the machine-generated types and an equivalent, more natural, user-defined set of types. We show how to implement the inference mechanism in Generic Haskell.