Tests of memoising rewriting.
Positioned rewriting tests.
Rewriting tests that operate on normal class values, i.
Rewriting tests.
Tests based on examples from the paper "Uniform boilerplate and list processing" by Mitchell and Runciman, from Haskell Workshop 2007.
Supporting definitions for the memo rewriter tests.
Support for PositionedRewriterTests.