Swish.RDF.GraphClass

This module defines a Labelled Directed Graph and Label classes, and the Arc datatype.

Documentation

class (Eq (lg lb), Eq lb) => LDGraph lg lb where

Methods

setArcs :: [Arc lb] -> lg lb -> lg lb

getArcs :: lg lb -> [Arc lb]

extract :: Selector lb -> lg lb -> lg lb

add :: lg lb -> lg lb -> lg lb

delete :: lg lb -> lg lb -> lg lb

labels :: lg lb -> [lb]

nodes :: lg lb -> [lb]

containedIn :: lg lb -> lg lb -> Bool

update :: ([Arc lb] -> [Arc lb]) -> lg lb -> lg lb

Instances

Label lb => LDGraph NSGraph lb

Label lb => LDGraph GraphMem lb

replaceArcs :: LDGraph lg lb => lg lb -> [Arc lb] -> lg lb

Function to replace arcs in a graph with a given list of arcs

class (Eq lb, Show lb, Ord lb) => Label lb where

Methods

labelIsVar :: lb -> Bool

labelHash :: Int -> lb -> Int

getLocal :: lb -> String

makeLabel :: String -> lb

Instances

Label RDFLabel

Label LabelMem

Label lb => Label (ScopedLabel lb)

data Arc lb

Constructors

Arc

Fields

asubj :: lb

apred :: lb

aobj :: lb

Instances

Functor Arc

Foldable Arc

Traversable Arc

Eq lb => Eq (Arc lb)

Ord lb => Ord (Arc lb)

Show lb => Show (Arc lb)

arcSubj :: Arc lb -> lb

arcPred :: Arc lb -> lb

arcObj :: Arc lb -> lb

arc :: lb -> lb -> lb -> Arc lb

arcToTriple :: Arc lb -> (lb, lb, lb)

arcFromTriple :: (lb, lb, lb) -> Arc lb

type Selector lb = Arc lb -> Bool

hasLabel :: Eq lb => lb -> Arc lb -> Bool

arcLabels :: Arc lb -> [lb]