Safe Haskell	Safe-Inferred
Language	Haskell2010

TPDB.Data.Rule

Documentation

data Relation Source #

Constructors

Strict
Weak
Equal

Instances

Instances details

Show Relation Source #
Instance details Defined in TPDB.Data.Rule Methods showsPrec :: Int -> Relation -> ShowS # show :: Relation -> String # showList :: [Relation] -> ShowS #
Eq Relation Source #
Instance details Defined in TPDB.Data.Rule Methods (==) :: Relation -> Relation -> Bool # (/=) :: Relation -> Relation -> Bool #
Ord Relation Source #
Instance details 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 #

data Rule a Source #

Constructors

Rule
Fields lhs :: !a rhs :: !a relation :: !Relation top :: !Bool original_variable :: !(Maybe Identifier)

Instances

Instances details

Functor Rule Source #
Instance details Defined in TPDB.Data.Rule Methods fmap :: (a -> b) -> Rule a -> Rule b # (<$) :: a -> Rule b -> Rule a #
Eq a => Eq (Rule a) Source #
Instance details Defined in TPDB.Data.Rule Methods (==) :: Rule a -> Rule a -> Bool # (/=) :: Rule a -> Rule a -> Bool #
Ord a => Ord (Rule a) Source #
Instance details 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) Source #
Instance details Defined in TPDB.Plain.Write Methods pretty :: Rule a -> Doc ann # prettyList :: [Rule a] -> Doc ann #
Variables r => Variables (Rule r) Source #
Instance details Defined in TPDB.Data Associated Types type Var (Rule r) Source # Methods variables :: Rule r -> Set (Var (Rule r)) Source #
Reader u => Reader (Rule u) Source #
Instance details Defined in TPDB.Plain.Read Methods reader :: Parser (Rule u) Source #
(TermC v c, XmlContent (Term v c)) => XmlContent (Rule (Term v c)) Source #
Instance details Defined in TPDB.Data.Xml Methods toContents :: Rule (Term v c) -> [Node] Source # parseContents :: Cursor -> [Rule (Term v c)] Source #
(Typeable t, XmlContent t) => XmlContent (Rule t) Source #
Instance details Defined in TPDB.CPF.Proof.Write Methods toContents :: Rule t -> [Node] Source # parseContents :: Cursor -> [Rule t] Source #
type Var (Rule r) Source #
Instance details Defined in TPDB.Data type Var (Rule r) = Var r

strict :: Rule a -> Bool Source #

weak :: Rule a -> Bool Source #

equal :: Rule a -> Bool Source #