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
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.