Tests of memoising rewriting.
Positioned rewriting tests.
Rewriting tests that operate on normal class values, i.e., not instances of products or collection class values.
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.
Support for PositionedRewriterTests. These need to be here rather than in the PositionedRewriterTests class since the latter would require them to be instantiated with an instance of that class.