Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Query

Description

A model for language-agnostic graph pattern queries

Synopsis

data ComparisonConstraint
- = ComparisonConstraintEqual
- | ComparisonConstraintNotEqual
- | ComparisonConstraintLessThan
- | ComparisonConstraintGreaterThan
- | ComparisonConstraintLessThanOrEqual
- | ComparisonConstraintGreaterThanOrEqual
_ComparisonConstraint :: Name
_ComparisonConstraint_equal :: Name
_ComparisonConstraint_notEqual :: Name
_ComparisonConstraint_lessThan :: Name
_ComparisonConstraint_greaterThan :: Name
_ComparisonConstraint_lessThanOrEqual :: Name
_ComparisonConstraint_greaterThanOrEqual :: Name
data Edge = Edge {
- edgeType :: Name
- edgeOut :: Maybe Name
- edgeIn :: Maybe Name
}
_Edge :: Name
_Edge_type :: Name
_Edge_out :: Name
_Edge_in :: Name
data GraphPattern = GraphPattern {
- graphPatternGraph :: Name
- graphPatternPatterns :: [Pattern]
}
_GraphPattern :: Name
_GraphPattern_graph :: Name
_GraphPattern_patterns :: Name
data Node
- = NodeTerm Term
- | NodeVariable Variable
- | NodeWildcard
_Node :: Name
_Node_term :: Name
_Node_variable :: Name
_Node_wildcard :: Name
data Path
- = PathStep Step
- | PathRegex RegexSequence
- | PathInverse Path
_Path :: Name
_Path_step :: Name
_Path_regex :: Name
_Path_inverse :: Name
data Pattern
- = PatternTriple TriplePattern
- | PatternNegation Pattern
- | PatternConjunction [Pattern]
- | PatternDisjunction [Pattern]
- | PatternGraph GraphPattern
_Pattern :: Name
_Pattern_triple :: Name
_Pattern_negation :: Name
_Pattern_conjunction :: Name
_Pattern_disjunction :: Name
_Pattern_graph :: Name
data Query = Query {
- queryVariables :: [Variable]
- queryPatterns :: [Pattern]
}
_Query :: Name
_Query_variables :: Name
_Query_patterns :: Name
data Range = Range {
- rangeMin :: Int
- rangeMax :: Int
}
_Range :: Name
_Range_min :: Name
_Range_max :: Name
data RegexQuantifier
- = RegexQuantifierOne
- | RegexQuantifierZeroOrOne
- | RegexQuantifierZeroOrMore
- | RegexQuantifierOneOrMore
- | RegexQuantifierExactly Int
- | RegexQuantifierAtLeast Int
- | RegexQuantifierRange Range
_RegexQuantifier :: Name
_RegexQuantifier_one :: Name
_RegexQuantifier_zeroOrOne :: Name
_RegexQuantifier_zeroOrMore :: Name
_RegexQuantifier_oneOrMore :: Name
_RegexQuantifier_exactly :: Name
_RegexQuantifier_atLeast :: Name
_RegexQuantifier_range :: Name
data RegexSequence = RegexSequence {
- regexSequencePath :: Path
- regexSequenceQuantifier :: RegexQuantifier
}
_RegexSequence :: Name
_RegexSequence_path :: Name
_RegexSequence_quantifier :: Name
data Step
- = StepEdge Edge
- | StepProject Projection
- | StepCompare ComparisonConstraint
_Step :: Name
_Step_edge :: Name
_Step_project :: Name
_Step_compare :: Name
data TriplePattern = TriplePattern {
- triplePatternSubject :: Node
- triplePatternPredicate :: Path
- triplePatternObject :: Node
}
_TriplePattern :: Name
_TriplePattern_subject :: Name
_TriplePattern_predicate :: Name
_TriplePattern_object :: Name
newtype Variable = Variable {
- unVariable :: String
}
_Variable :: Name

Documentation

data ComparisonConstraint Source #

One of several comparison operators

Constructors

ComparisonConstraintEqual
ComparisonConstraintNotEqual
ComparisonConstraintLessThan
ComparisonConstraintGreaterThan
ComparisonConstraintLessThanOrEqual
ComparisonConstraintGreaterThanOrEqual

Instances

Instances details

Read ComparisonConstraint Source #
Instance details Defined in Hydra.Query Methods readsPrec :: Int -> ReadS ComparisonConstraint # readList :: ReadS [ComparisonConstraint] # readPrec :: ReadPrec ComparisonConstraint # readListPrec :: ReadPrec [ComparisonConstraint] #
Show ComparisonConstraint Source #
Instance details Defined in Hydra.Query Methods showsPrec :: Int -> ComparisonConstraint -> ShowS # show :: ComparisonConstraint -> String # showList :: [ComparisonConstraint] -> ShowS #
Eq ComparisonConstraint Source #
Instance details Defined in Hydra.Query Methods (==) :: ComparisonConstraint -> ComparisonConstraint -> Bool # (/=) :: ComparisonConstraint -> ComparisonConstraint -> Bool #
Ord ComparisonConstraint Source #
Instance details Defined in Hydra.Query Methods compare :: ComparisonConstraint -> ComparisonConstraint -> Ordering # (<) :: ComparisonConstraint -> ComparisonConstraint -> Bool # (<=) :: ComparisonConstraint -> ComparisonConstraint -> Bool # (>) :: ComparisonConstraint -> ComparisonConstraint -> Bool # (>=) :: ComparisonConstraint -> ComparisonConstraint -> Bool # max :: ComparisonConstraint -> ComparisonConstraint -> ComparisonConstraint # min :: ComparisonConstraint -> ComparisonConstraint -> ComparisonConstraint #

_ComparisonConstraint :: Name Source #

_ComparisonConstraint_equal :: Name Source #

_ComparisonConstraint_notEqual :: Name Source #

_ComparisonConstraint_lessThan :: Name Source #

_ComparisonConstraint_greaterThan :: Name Source #

_ComparisonConstraint_lessThanOrEqual :: Name Source #

_ComparisonConstraint_greaterThanOrEqual :: Name Source #

data Edge Source #

An abstract edge based on a record type

Constructors

Edge
Fields edgeType :: Name The name of a record type, for which the edge also specifies an out- and an in- projection edgeOut :: Maybe Name The field representing the out-projection of the edge. Defaults to `out`. edgeIn :: Maybe Name The field representing the in-projection of the edge. Defaults to 'in'.

Instances

Instances details

Read Edge Source #
Instance details Defined in Hydra.Query Methods readsPrec :: Int -> ReadS Edge # readList :: ReadS [Edge] # readPrec :: ReadPrec Edge # readListPrec :: ReadPrec [Edge] #
Show Edge Source #
Instance details Defined in Hydra.Query Methods showsPrec :: Int -> Edge -> ShowS # show :: Edge -> String # showList :: [Edge] -> ShowS #
Eq Edge Source #
Instance details Defined in Hydra.Query Methods (==) :: Edge -> Edge -> Bool # (/=) :: Edge -> Edge -> Bool #
Ord Edge Source #
Instance details Defined in Hydra.Query Methods compare :: Edge -> Edge -> Ordering # (<) :: Edge -> Edge -> Bool # (<=) :: Edge -> Edge -> Bool # (>) :: Edge -> Edge -> Bool # (>=) :: Edge -> Edge -> Bool # max :: Edge -> Edge -> Edge # min :: Edge -> Edge -> Edge #

_Edge :: Name Source #

_Edge_type :: Name Source #

_Edge_out :: Name Source #

_Edge_in :: Name Source #

data GraphPattern Source #

A query pattern which matches within a designated component subgraph

Constructors

GraphPattern
Fields graphPatternGraph :: Name The name of the component graph graphPatternPatterns :: [Pattern] The patterns to match within the subgraph

Instances

Instances details

Read GraphPattern Source #
Instance details Defined in Hydra.Query Methods readsPrec :: Int -> ReadS GraphPattern # readList :: ReadS [GraphPattern] # readPrec :: ReadPrec GraphPattern # readListPrec :: ReadPrec [GraphPattern] #
Show GraphPattern Source #
Instance details Defined in Hydra.Query Methods showsPrec :: Int -> GraphPattern -> ShowS # show :: GraphPattern -> String # showList :: [GraphPattern] -> ShowS #
Eq GraphPattern Source #
Instance details Defined in Hydra.Query Methods (==) :: GraphPattern -> GraphPattern -> Bool # (/=) :: GraphPattern -> GraphPattern -> Bool #
Ord GraphPattern Source #
Instance details Defined in Hydra.Query Methods compare :: GraphPattern -> GraphPattern -> Ordering # (<) :: GraphPattern -> GraphPattern -> Bool # (<=) :: GraphPattern -> GraphPattern -> Bool # (>) :: GraphPattern -> GraphPattern -> Bool # (>=) :: GraphPattern -> GraphPattern -> Bool # max :: GraphPattern -> GraphPattern -> GraphPattern # min :: GraphPattern -> GraphPattern -> GraphPattern #

_GraphPattern :: Name Source #

_GraphPattern_graph :: Name Source #

_GraphPattern_patterns :: Name Source #

data Node Source #

A node in a query expression; it may be a term, a variable, or a wildcard

Constructors

NodeTerm Term	A graph term; an expression which is valid in the graph being matched
NodeVariable Variable	A query variable, not to be confused with a variable term
NodeWildcard	An anonymous variable which we do not care to join across patterns

Instances

Instances details

Read Node Source #
Instance details Defined in Hydra.Query Methods readsPrec :: Int -> ReadS Node # readList :: ReadS [Node] # readPrec :: ReadPrec Node # readListPrec :: ReadPrec [Node] #
Show Node Source #
Instance details Defined in Hydra.Query Methods showsPrec :: Int -> Node -> ShowS # show :: Node -> String # showList :: [Node] -> ShowS #
Eq Node Source #
Instance details Defined in Hydra.Query Methods (==) :: Node -> Node -> Bool # (/=) :: Node -> Node -> Bool #
Ord Node Source #
Instance details Defined in Hydra.Query Methods compare :: Node -> Node -> Ordering # (<) :: Node -> Node -> Bool # (<=) :: Node -> Node -> Bool # (>) :: Node -> Node -> Bool # (>=) :: Node -> Node -> Bool # max :: Node -> Node -> Node # min :: Node -> Node -> Node #

_Node :: Name Source #

_Node_term :: Name Source #

_Node_variable :: Name Source #

_Node_wildcard :: Name Source #

data Path Source #

A query path

Constructors

PathStep Step	A path given by a single step
PathRegex RegexSequence	A path given by a regular expression quantifier applied to another path
PathInverse Path	A path given by the inverse of another path

Instances

Instances details

Read Path Source #
Instance details Defined in Hydra.Query Methods readsPrec :: Int -> ReadS Path # readList :: ReadS [Path] # readPrec :: ReadPrec Path # readListPrec :: ReadPrec [Path] #
Show Path Source #
Instance details Defined in Hydra.Query Methods showsPrec :: Int -> Path -> ShowS # show :: Path -> String # showList :: [Path] -> ShowS #
Eq Path Source #
Instance details Defined in Hydra.Query Methods (==) :: Path -> Path -> Bool # (/=) :: Path -> Path -> Bool #
Ord Path Source #
Instance details Defined in Hydra.Query Methods compare :: Path -> Path -> Ordering # (<) :: Path -> Path -> Bool # (<=) :: Path -> Path -> Bool # (>) :: Path -> Path -> Bool # (>=) :: Path -> Path -> Bool # max :: Path -> Path -> Path # min :: Path -> Path -> Path #

_Path :: Name Source #

_Path_step :: Name Source #

_Path_regex :: Name Source #

_Path_inverse :: Name Source #

data Pattern Source #

A query pattern

Constructors

PatternTriple TriplePattern	A subjectpredicateobject pattern
PatternNegation Pattern	The negation of another pattern
PatternConjunction [Pattern]	The conjunction (`and`) of several other patterns
PatternDisjunction [Pattern]	The disjunction (inclusive `or`) of several other patterns
PatternGraph GraphPattern	A pattern which matches within a named subgraph

Instances

Instances details

Read Pattern Source #
Instance details Defined in Hydra.Query Methods readsPrec :: Int -> ReadS Pattern # readList :: ReadS [Pattern] # readPrec :: ReadPrec Pattern # readListPrec :: ReadPrec [Pattern] #
Show Pattern Source #
Instance details Defined in Hydra.Query Methods showsPrec :: Int -> Pattern -> ShowS # show :: Pattern -> String # showList :: [Pattern] -> ShowS #
Eq Pattern Source #
Instance details Defined in Hydra.Query Methods (==) :: Pattern -> Pattern -> Bool # (/=) :: Pattern -> Pattern -> Bool #
Ord Pattern Source #
Instance details Defined in Hydra.Query Methods compare :: Pattern -> Pattern -> Ordering # (<) :: Pattern -> Pattern -> Bool # (<=) :: Pattern -> Pattern -> Bool # (>) :: Pattern -> Pattern -> Bool # (>=) :: Pattern -> Pattern -> Bool # max :: Pattern -> Pattern -> Pattern # min :: Pattern -> Pattern -> Pattern #

_Pattern :: Name Source #

_Pattern_triple :: Name Source #

_Pattern_negation :: Name Source #

_Pattern_conjunction :: Name Source #

_Pattern_disjunction :: Name Source #

_Pattern_graph :: Name Source #

data Query Source #

A SELECT-style graph pattern matching query

Constructors

Query
Fields queryVariables :: [Variable] The variables selected by the query queryPatterns :: [Pattern] The patterns to be matched

Instances

Instances details

Read Query Source #
Instance details Defined in Hydra.Query Methods readsPrec :: Int -> ReadS Query # readList :: ReadS [Query] # readPrec :: ReadPrec Query # readListPrec :: ReadPrec [Query] #
Show Query Source #
Instance details Defined in Hydra.Query Methods showsPrec :: Int -> Query -> ShowS # show :: Query -> String # showList :: [Query] -> ShowS #
Eq Query Source #
Instance details Defined in Hydra.Query Methods (==) :: Query -> Query -> Bool # (/=) :: Query -> Query -> Bool #
Ord Query Source #
Instance details Defined in Hydra.Query Methods compare :: Query -> Query -> Ordering # (<) :: Query -> Query -> Bool # (<=) :: Query -> Query -> Bool # (>) :: Query -> Query -> Bool # (>=) :: Query -> Query -> Bool # max :: Query -> Query -> Query # min :: Query -> Query -> Query #

_Query :: Name Source #

_Query_variables :: Name Source #

_Query_patterns :: Name Source #

data Range Source #

A range from min to max, inclusive

Constructors

Range
Fields rangeMin :: Int rangeMax :: Int

Instances

Instances details

Read Range Source #
Instance details Defined in Hydra.Query Methods readsPrec :: Int -> ReadS Range # readList :: ReadS [Range] # readPrec :: ReadPrec Range # readListPrec :: ReadPrec [Range] #
Show Range Source #
Instance details Defined in Hydra.Query Methods showsPrec :: Int -> Range -> ShowS # show :: Range -> String # showList :: [Range] -> ShowS #
Eq Range Source #
Instance details Defined in Hydra.Query Methods (==) :: Range -> Range -> Bool # (/=) :: Range -> Range -> Bool #
Ord Range Source #
Instance details Defined in Hydra.Query Methods compare :: Range -> Range -> Ordering # (<) :: Range -> Range -> Bool # (<=) :: Range -> Range -> Bool # (>) :: Range -> Range -> Bool # (>=) :: Range -> Range -> Bool # max :: Range -> Range -> Range # min :: Range -> Range -> Range #

_Range :: Name Source #

_Range_min :: Name Source #

_Range_max :: Name Source #

data RegexQuantifier Source #

A regular expression quantifier

Constructors

RegexQuantifierOne	No quantifier; matches a single occurrence
RegexQuantifierZeroOrOne	The ? quanifier; matches zero or one occurrence
RegexQuantifierZeroOrMore	The * quantifier; matches any number of occurrences
RegexQuantifierOneOrMore	The + quantifier; matches one or more occurrences
RegexQuantifierExactly Int	The {n} quantifier; matches exactly n occurrences
RegexQuantifierAtLeast Int	The {n,} quantifier; matches at least n occurrences
RegexQuantifierRange Range	The {n, m} quantifier; matches between n and m (inclusive) occurrences

Instances

Instances details

Read RegexQuantifier Source #
Instance details Defined in Hydra.Query Methods readsPrec :: Int -> ReadS RegexQuantifier # readList :: ReadS [RegexQuantifier] # readPrec :: ReadPrec RegexQuantifier # readListPrec :: ReadPrec [RegexQuantifier] #
Show RegexQuantifier Source #
Instance details Defined in Hydra.Query Methods showsPrec :: Int -> RegexQuantifier -> ShowS # show :: RegexQuantifier -> String # showList :: [RegexQuantifier] -> ShowS #
Eq RegexQuantifier Source #
Instance details Defined in Hydra.Query Methods (==) :: RegexQuantifier -> RegexQuantifier -> Bool # (/=) :: RegexQuantifier -> RegexQuantifier -> Bool #
Ord RegexQuantifier Source #
Instance details Defined in Hydra.Query Methods compare :: RegexQuantifier -> RegexQuantifier -> Ordering # (<) :: RegexQuantifier -> RegexQuantifier -> Bool # (<=) :: RegexQuantifier -> RegexQuantifier -> Bool # (>) :: RegexQuantifier -> RegexQuantifier -> Bool # (>=) :: RegexQuantifier -> RegexQuantifier -> Bool # max :: RegexQuantifier -> RegexQuantifier -> RegexQuantifier # min :: RegexQuantifier -> RegexQuantifier -> RegexQuantifier #

_RegexQuantifier :: Name Source #

_RegexQuantifier_one :: Name Source #

_RegexQuantifier_zeroOrOne :: Name Source #

_RegexQuantifier_zeroOrMore :: Name Source #

_RegexQuantifier_oneOrMore :: Name Source #

_RegexQuantifier_exactly :: Name Source #

_RegexQuantifier_atLeast :: Name Source #

_RegexQuantifier_range :: Name Source #

data RegexSequence Source #

A path with a regex quantifier

Constructors

RegexSequence
Fields regexSequencePath :: Path regexSequenceQuantifier :: RegexQuantifier

Instances

Instances details

Read RegexSequence Source #
Instance details Defined in Hydra.Query Methods readsPrec :: Int -> ReadS RegexSequence # readList :: ReadS [RegexSequence] # readPrec :: ReadPrec RegexSequence # readListPrec :: ReadPrec [RegexSequence] #
Show RegexSequence Source #
Instance details Defined in Hydra.Query Methods showsPrec :: Int -> RegexSequence -> ShowS # show :: RegexSequence -> String # showList :: [RegexSequence] -> ShowS #
Eq RegexSequence Source #
Instance details Defined in Hydra.Query Methods (==) :: RegexSequence -> RegexSequence -> Bool # (/=) :: RegexSequence -> RegexSequence -> Bool #
Ord RegexSequence Source #
Instance details Defined in Hydra.Query Methods compare :: RegexSequence -> RegexSequence -> Ordering # (<) :: RegexSequence -> RegexSequence -> Bool # (<=) :: RegexSequence -> RegexSequence -> Bool # (>) :: RegexSequence -> RegexSequence -> Bool # (>=) :: RegexSequence -> RegexSequence -> Bool # max :: RegexSequence -> RegexSequence -> RegexSequence # min :: RegexSequence -> RegexSequence -> RegexSequence #

_RegexSequence :: Name Source #

_RegexSequence_path :: Name Source #

_RegexSequence_quantifier :: Name Source #

data Step Source #

An atomic function as part of a query. When applied to a graph, steps are typed by function types.

Constructors

StepEdge Edge	An out-to-in traversal of an abstract edge
StepProject Projection	A projection from a record through one of its fields
StepCompare ComparisonConstraint	A comparison of two terms

Instances

Instances details

Read Step Source #
Instance details Defined in Hydra.Query Methods readsPrec :: Int -> ReadS Step # readList :: ReadS [Step] # readPrec :: ReadPrec Step # readListPrec :: ReadPrec [Step] #
Show Step Source #
Instance details Defined in Hydra.Query Methods showsPrec :: Int -> Step -> ShowS # show :: Step -> String # showList :: [Step] -> ShowS #
Eq Step Source #
Instance details Defined in Hydra.Query Methods (==) :: Step -> Step -> Bool # (/=) :: Step -> Step -> Bool #
Ord Step Source #
Instance details Defined in Hydra.Query Methods compare :: Step -> Step -> Ordering # (<) :: Step -> Step -> Bool # (<=) :: Step -> Step -> Bool # (>) :: Step -> Step -> Bool # (>=) :: Step -> Step -> Bool # max :: Step -> Step -> Step # min :: Step -> Step -> Step #

_Step :: Name Source #

_Step_edge :: Name Source #

_Step_project :: Name Source #

_Step_compare :: Name Source #

data TriplePattern Source #

A subjectpredicateobject pattern

Constructors

TriplePattern
Fields triplePatternSubject :: Node triplePatternPredicate :: Path triplePatternObject :: Node

Instances

Instances details

Read TriplePattern Source #
Instance details Defined in Hydra.Query Methods readsPrec :: Int -> ReadS TriplePattern # readList :: ReadS [TriplePattern] # readPrec :: ReadPrec TriplePattern # readListPrec :: ReadPrec [TriplePattern] #
Show TriplePattern Source #
Instance details Defined in Hydra.Query Methods showsPrec :: Int -> TriplePattern -> ShowS # show :: TriplePattern -> String # showList :: [TriplePattern] -> ShowS #
Eq TriplePattern Source #
Instance details Defined in Hydra.Query Methods (==) :: TriplePattern -> TriplePattern -> Bool # (/=) :: TriplePattern -> TriplePattern -> Bool #
Ord TriplePattern Source #
Instance details Defined in Hydra.Query Methods compare :: TriplePattern -> TriplePattern -> Ordering # (<) :: TriplePattern -> TriplePattern -> Bool # (<=) :: TriplePattern -> TriplePattern -> Bool # (>) :: TriplePattern -> TriplePattern -> Bool # (>=) :: TriplePattern -> TriplePattern -> Bool # max :: TriplePattern -> TriplePattern -> TriplePattern # min :: TriplePattern -> TriplePattern -> TriplePattern #

_TriplePattern :: Name Source #

_TriplePattern_subject :: Name Source #

_TriplePattern_predicate :: Name Source #

_TriplePattern_object :: Name Source #

newtype Variable Source #

A query variable

Constructors

Variable
Fields unVariable :: String

Instances

Instances details

Read Variable Source #
Instance details Defined in Hydra.Query Methods readsPrec :: Int -> ReadS Variable # readList :: ReadS [Variable] # readPrec :: ReadPrec Variable # readListPrec :: ReadPrec [Variable] #
Show Variable Source #
Instance details Defined in Hydra.Query Methods showsPrec :: Int -> Variable -> ShowS # show :: Variable -> String # showList :: [Variable] -> ShowS #
Eq Variable Source #
Instance details Defined in Hydra.Query Methods (==) :: Variable -> Variable -> Bool # (/=) :: Variable -> Variable -> Bool #
Ord Variable Source #
Instance details Defined in Hydra.Query Methods compare :: Variable -> Variable -> Ordering # (<) :: Variable -> Variable -> Bool # (<=) :: Variable -> Variable -> Bool # (>) :: Variable -> Variable -> Bool # (>=) :: Variable -> Variable -> Bool # max :: Variable -> Variable -> Variable # min :: Variable -> Variable -> Variable #

_Variable :: Name Source #