logic-TPTP-0.2.0.4: Import, export etc. for TPTP, a syntax for first-order logic

Codec.TPTP.Diff

Synopsis

Documentation

class Diffable a b whereSource

Methods

diff :: a -> a -> bSource

data DiffResult d Source

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 

isSame :: forall t. DiffResult t -> BoolSource

diffGenF :: Gen FormulaSource

Less random generator for generating formulae suitable for testing diff