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

Abstract

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.