TPDB.Data.Rule

Documentation

data Relation

Constructors

Strict

Weak

Equal

Instances

Eq Relation

Defined in TPDB.Data.Rule

Methods

(==) :: Relation -> Relation -> Bool

(/=) :: Relation -> Relation -> Bool

Ord Relation

Defined in TPDB.Data.Rule

Methods

compare :: Relation -> Relation -> Ordering

(<) :: Relation -> Relation -> Bool

(<=) :: Relation -> Relation -> Bool

(>) :: Relation -> Relation -> Bool

(>=) :: Relation -> Relation -> Bool

max :: Relation -> Relation -> Relation

min :: Relation -> Relation -> Relation

Show Relation

Defined in TPDB.Data.Rule

Methods

showsPrec :: Int -> Relation -> ShowS

show :: Relation -> String

showList :: [Relation] -> ShowS

data Rule a

Constructors

Rule

Fields

• lhs :: a
• rhs :: a
• relation :: Relation
• top :: Bool

Instances

Functor Rule

Defined in TPDB.Data.Rule

Methods

fmap :: (a -> b) -> Rule a -> Rule b

(<$) :: a -> Rule b -> Rule a

Eq a => Eq (Rule a)

Defined in TPDB.Data.Rule

Methods

(==) :: Rule a -> Rule a -> Bool

(/=) :: Rule a -> Rule a -> Bool

Ord a => Ord (Rule a)

Defined in TPDB.Data.Rule

Methods

compare :: Rule a -> Rule a -> Ordering

(<) :: Rule a -> Rule a -> Bool

(<=) :: Rule a -> Rule a -> Bool

(>) :: Rule a -> Rule a -> Bool

(>=) :: Rule a -> Rule a -> Bool

max :: Rule a -> Rule a -> Rule a

min :: Rule a -> Rule a -> Rule a

PrettyTerm a => Pretty (Rule a)

Defined in TPDB.Plain.Write

Methods

pretty :: Rule a -> Doc ann

prettyList :: [Rule a] -> Doc ann

Variables r => Variables (Rule r)

Defined in TPDB.Data

Associated Types

type Var (Rule r)

Methods

variables :: Rule r -> Set (Var (Rule r))

Reader u => Reader (Rule u)

Defined in TPDB.Plain.Read

Methods

reader :: Parser (Rule u)

(Typeable t, XmlContent t) => XmlContent (Rule t)

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: Rule t -> [Node]

parseContents :: Cursor -> [Rule t]

XmlContent (Term v c) => XmlContent (Rule (Term v c))

Defined in TPDB.Data.Xml

Methods

toContents :: Rule (Term v c) -> [Node]

parseContents :: Cursor -> [Rule (Term v c)]

type Var (Rule r)

Defined in TPDB.Data

type Var (Rule r) = Var r

strict :: Rule a -> Bool

weak :: Rule a -> Bool

equal :: Rule a -> Bool