Hydra.Constraints

A model for path- and pattern-based graph constraints, which may be considered as part of the schema of a graph

Documentation

data PathEquation

A declared equivalence between two abstract paths in a graph

Constructors

PathEquation

Fields

• pathEquationLeft :: Path
• pathEquationRight :: Path

Instances

Read PathEquation

Defined in Hydra.Constraints

Methods

readsPrec :: Int -> ReadS PathEquation

readList :: ReadS [PathEquation]

readPrec :: ReadPrec PathEquation

readListPrec :: ReadPrec [PathEquation]

Show PathEquation

Defined in Hydra.Constraints

Methods

showsPrec :: Int -> PathEquation -> ShowS

show :: PathEquation -> String

showList :: [PathEquation] -> ShowS

Eq PathEquation

Defined in Hydra.Constraints

Methods

(==) :: PathEquation -> PathEquation -> Bool

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

Ord PathEquation

Defined in Hydra.Constraints

Methods

compare :: PathEquation -> PathEquation -> Ordering

(<) :: PathEquation -> PathEquation -> Bool

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

(>) :: PathEquation -> PathEquation -> Bool

(>=) :: PathEquation -> PathEquation -> Bool

max :: PathEquation -> PathEquation -> PathEquation

min :: PathEquation -> PathEquation -> PathEquation

_PathEquation :: Name

_PathEquation_left :: Name

_PathEquation_right :: Name

data PatternImplication

A pattern which, if it matches in a given graph, implies that another pattern must also match. Query variables are shared between the two patterns.

Constructors

PatternImplication

Fields

• patternImplicationAntecedent :: Pattern
• patternImplicationConsequent :: Pattern

Instances

Read PatternImplication

Defined in Hydra.Constraints

Methods

readsPrec :: Int -> ReadS PatternImplication

readList :: ReadS [PatternImplication]

readPrec :: ReadPrec PatternImplication

readListPrec :: ReadPrec [PatternImplication]

Show PatternImplication

Defined in Hydra.Constraints

Methods

showsPrec :: Int -> PatternImplication -> ShowS

show :: PatternImplication -> String

showList :: [PatternImplication] -> ShowS

Eq PatternImplication

Defined in Hydra.Constraints

Methods

(==) :: PatternImplication -> PatternImplication -> Bool

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

Ord PatternImplication

Defined in Hydra.Constraints

Methods

compare :: PatternImplication -> PatternImplication -> Ordering

(<) :: PatternImplication -> PatternImplication -> Bool

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

(>) :: PatternImplication -> PatternImplication -> Bool

(>=) :: PatternImplication -> PatternImplication -> Bool

max :: PatternImplication -> PatternImplication -> PatternImplication

min :: PatternImplication -> PatternImplication -> PatternImplication

_PatternImplication :: Name

_PatternImplication_antecedent :: Name

_PatternImplication_consequent :: Name