Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
- sortTriples :: Triples -> Triples
- equalSubjects :: Triple -> Triple -> Bool
- equalPredicates :: Triple -> Triple -> Bool
- equalObjects :: Triple -> Triple -> Bool
- subjectOf :: Triple -> Node
- predicateOf :: Triple -> Node
- objectOf :: Triple -> Node
- isEmpty :: RDF rdf => rdf -> Bool
- rdfContainsNode :: forall rdf. RDF rdf => rdf -> Node -> Bool
- tripleContainsNode :: Node -> Triple -> Bool
- removeDupes :: Triples -> Triples
- listSubjectsWithPredicate :: RDF rdf => rdf -> Predicate -> [Subject]
- listObjectsOfPredicate :: RDF rdf => rdf -> Predicate -> [Object]
- isIsomorphic :: forall rdf1 rdf2. (RDF rdf1, RDF rdf2) => rdf1 -> rdf2 -> Bool
- expandTriples :: RDF rdf => rdf -> Triples
- fromEither :: RDF rdf => Either ParseFailure rdf -> rdf
Query functions
sortTriples :: Triples -> Triples Source
Answer the given list of triples in sorted order.
equalSubjects :: Triple -> Triple -> Bool Source
Determine whether two triples have equal subjects.
equalPredicates :: Triple -> Triple -> Bool Source
Determine whether two triples have equal predicates.
equalObjects :: Triple -> Triple -> Bool Source
Determine whether two triples have equal objects.
predicateOf :: Triple -> Node Source
Answer the predicate node of the triple.
rdfContainsNode :: forall rdf. RDF rdf => rdf -> Node -> Bool Source
Answer if rdf contains node.
tripleContainsNode :: Node -> Triple -> Bool Source
Answer if triple contains node.
removeDupes :: Triples -> Triples Source
Remove duplicate triples, returning unique triples. This function may return the triples in a different order than given.
listSubjectsWithPredicate :: RDF rdf => rdf -> Predicate -> [Subject] Source
Lists of all subjects of triples with the given predicate.
listObjectsOfPredicate :: RDF rdf => rdf -> Predicate -> [Object] Source
Lists of all objects of triples with the given predicate.
RDF graph functions
isIsomorphic :: forall rdf1 rdf2. (RDF rdf1, RDF rdf2) => rdf1 -> rdf2 -> Bool Source
This determines if two RDF representations are equal regardless of blank node names, triple order and prefixes. In math terms, this is the simeq latex operator, or ~=
expandTriples :: RDF rdf => rdf -> Triples Source
Expand the triples in a graph with the prefix map and base URL for that graph.
fromEither :: RDF rdf => Either ParseFailure rdf -> rdf Source
Convert a parse result into an RDF if it was successful and error and terminate if not.