Skip to main content
Article thumbnail
Location of Repository

Testing properties of generic functions

By P. Jansson, J.T. Jeuring, L. Cabenda, G. Engels, J. Kleerekoper, S. Mak, M. Overeem and Kees Visser


A datatype-generic function is a family of functions indexed\ud by (the structure of) a type. Examples include equality tests, maps and\ud pretty printers. Property based testing tools like QuickCheck and Gast\ud support the de¯nition of properties and test-data generators, and they\ud check if a monomorphic property is satis¯ed by the test cases. Generic\ud functions satisfy generic properties and this paper discusses specifying\ud and testing such properties. It shows how generic properties and gener-\ud ators can be expressed, and explains three bugs we found and corrected\ud in the Generic Haskell librar

Topics: Wiskunde en Informatica
Publisher: Springer
Year: 2007
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.