logic-classes-1.5.3: Framework for propositional and first order logic, theorem proving

Safe Haskell	None
Language	Haskell98

Data.Logic.Types.Harrison.Equal

Synopsis

Documentation

data FOLEQ Source

Constructors

EQUALS TermType TermType
R String [TermType]

Instances

Eq FOLEQ Source
Ord FOLEQ Source
Show FOLEQ Source
HasFixity FOLEQ Source
Pretty FOLEQ Source
Constants FOLEQ Source
Atom FOLEQ TermType String Source
Apply FOLEQ PredName TermType Source	Using PredName for the predicate type is not quite appropriate here, but we need to implement this instance so we can use it as a superclass of AtomEq below.
AtomEq FOLEQ PredName TermType Source
Show (Formula FOLEQ) Source
HasFixity (Formula FOLEQ) Source
Formula (Formula FOLEQ) FOLEQ => PropositionalFormula (Formula FOLEQ) FOLEQ Source
Formula (Formula FOLEQ) FOLEQ => Literal (Formula FOLEQ) FOLEQ Source

data PredName Source

Constructors

(:=:)
Named String

Instances

Eq PredName Source
Data PredName Source
Ord PredName Source
Show PredName Source
IsString PredName Source
Pretty PredName Source
Constants PredName Source
Arity PredName Source
Predicate PredName Source
Apply FOLEQ PredName TermType Source	Using PredName for the predicate type is not quite appropriate here, but we need to implement this instance so we can use it as a superclass of AtomEq below.
AtomEq FOLEQ PredName TermType Source