|
|
|
|
Synopsis |
|
|
|
Documentation |
|
class Diffable a b where | Source |
|
| Methods | | | Instances | |
|
|
|
Constructors | Same | Both arguments are the same.
| SameHead d | The arguments are recursive expressions of the same form, but their subterms differ. Return a "decorated" term that shows where the differences are
| Differ d d | The arguments differ and are not of similar form (don't recurse)
| DontCare | |
| Instances | |
|
|
|
|
|
|
|
|
|
Less random generator for generating formulae suitable for testing diff
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |