Documentation

baseURL :: Text Source #

graphNameURI :: Node Source #

verticesURI :: Node Source #

linksURI :: Node Source #

vertexURI :: Node Source #

linkURI :: Node Source #

linkNameURI :: Node Source #

vertexNameURI :: Node Source #

sourcePropURI :: Node Source #

targetPropURI :: Node Source #

inversePropURI :: Node Source #

rdfReversibleLink :: Text -> Text -> Text -> Text -> Triples Source #

rdfLink :: Text -> Object -> Object -> Triples Source #

rdfVertex :: Text -> Triples Source #

graphsToRDF :: (Monad m, ReversibleGraphMonoid mon Bool) => Text -> Map Text (Graph mon Text) -> m (Map Text (RDF TList)) Source #

namedGraphToTriples :: (Monad m, ReversibleGraphMonoid mon Bool) => Text -> InGraphM mon Text m Triples Source #

graphToTriples :: (Monad m, ReversibleGraphMonoid mon Bool) => InGraphM mon Text m Triples Source #

graphToRDF :: (Monad m, ReversibleGraphMonoid mon Bool) => Text -> InGraphM mon Text m (RDF TList) Source #

rdfToGraph :: MonadFail m => RDF TList -> Node -> m (Graph Four Node) Source #

type Graphs = Map Node (Graph Four Node) Source #

rdfToGraphs :: MonadFail m => RDF TList -> m Graphs Source #

rdfFileToGraphs :: RdfParser p => p -> String -> IO Graphs Source #

convertVertex :: MonadFail m => RDF TList -> Triple -> m Node Source #

convertLink :: MonadFail m => RDF TList -> Triple -> m ((Node, Node), (Node, Node)) Source #

getUniqueObject :: MonadFail m => [Triple] -> m Node Source #