Add RULES for nub functions (#517)
authorDavid Feuer <David.Feuer@gmail.com>
Sun, 28 Jan 2018 01:10:50 +0000 (20:10 -0500)
committerGitHub <noreply@github.com>
Sun, 28 Jan 2018 01:10:50 +0000 (20:10 -0500)
commit3ff171561d009e0656cab63c1ef86d8ab8d57588
treefe4fe94182d8e3b418465000a8db773d79492330
parentb7f1c8693e40b7c767b79734ee77e4706e1418e3
Add RULES for nub functions (#517)

* Add rewrite rules to allow the nub functions in `ListUtils`
  to participate in fold/build fusion.

* For the sake of simplicity, define `nubOrd` and `nubInt` in terms
  of `nubOrdOn` and `nubIntOn`.
Data/Containers/ListUtils.hs
tests/listutils-properties.hs