logic-TPTP-0.1: Import, export and other utilities for TPTP, a syntax for first-order logicSource codeContentsIndex
class Diffable a b where
diff :: a -> a -> b
data DiffResult d
= Same
| SameHead d
| Differ d d
| DontCare
type T0Diff = DiffResult (Term0 (TermFix DiffResult))
type F0Diff = DiffResult (Formula0 (TermFix DiffResult) (FormulaFix DiffResult))
isSame :: forall t. DiffResult t -> Bool
diffGenF :: Gen Formula
diffGenT :: Gen Term
printSampleDiffs :: IO ()
class Diffable a b whereSource
diff :: a -> a -> bSource
show/hide Instances
data DiffResult d Source
SameBoth arguments are the same.
SameHead dThe arguments are recursive expressions of the same form, but their subterms differ. Return a "decorated" term that shows where the differences are
Differ d dThe arguments differ and are not of similar form (don't recurse)
show/hide Instances
type T0Diff = DiffResult (Term0 (TermFix DiffResult))Source
type F0Diff = DiffResult (Formula0 (TermFix DiffResult) (FormulaFix DiffResult))Source
isSame :: forall t. DiffResult t -> BoolSource
diffGenF :: Gen FormulaSource
Less random generator for generating formulae suitable for testing diff
diffGenT :: Gen TermSource
printSampleDiffs :: IO ()Source
Produced by Haddock version 2.4.2