logic-TPTP-0.1: Import, export and other utilities for TPTP, a syntax for first-order logic Source code Contents Index

Codec.TPTP.Diff

Synopsis

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 ()

Documentation

class Diffable a b where Source

Methods diff :: a -> a -> b Source Instances Diffable Term (TermFix DiffResult) Diffable Term (TermFix DiffResult) Diffable Formula (FormulaFix DiffResult) Diffable Formula (FormulaFix DiffResult)

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 Instances Functor DiffResult Typeable1 DiffResult Pretty F0Diff Pretty T0Diff Eq d => Eq (DiffResult d) Data d => Data (DiffResult d) Ord d => Ord (DiffResult d) Read d => Read (DiffResult d) Show d => Show (DiffResult d)

type T0Diff = DiffResult (Term0 (TermFix DiffResult)) Source

type F0Diff = DiffResult (Formula0 (TermFix DiffResult) (FormulaFix DiffResult)) Source

isSame :: forall t. DiffResult t -> Bool Source

diffGenF :: Gen Formula Source

Less random generator for generating formulae suitable for testing diff

diffGenT :: Gen Term Source

printSampleDiffs :: IO () Source

Produced by Haddock version 2.4.2