srdf
srdf
es.weso.rdf
InferenceEngine
InferenceEngine
MsgRDFException
NONE
OWL
PREFIXES
Prefix
PrefixMap
PrefixMap
RDFBuilder
RDFException
RDFException
RDFReader
RDFReasoner
RDFS
ThrownException
es.weso.rdf.locations
Location
es.weso.rdf.nodes
BNode
BNode
BooleanLiteral
BooleanLiteral
DatatypeLiteral
DecimalLiteral
DecimalLiteral
DoubleLiteral
DoubleLiteral
IRI
IRI
IntegerLiteral
IntegerLiteral
Lang
LangLiteral
Literal
RDFNode
RDFNode
RDFNodeException
StringLiteral
es.weso.rdf.operations
Comparisons
Datetime
NumericDecimal
NumericDouble
NumericInt
NumericLiteral
PrimitiveLiteral
Graph
es.weso.rdf.parser
RDFParser
es.weso.rdf.path
AlternativePath
InversePath
OneOrMorePath
PredicatePath
SHACLPath
SHACLPath
SequencePath
ZeroOrMorePath
ZeroOrOnePath
es.weso.rdf.saver
RDFSaver
es.weso.rdf.triples
RDFTriple
RDFTriple
es.weso.utils
NormalizeBNodes
PrefixMapUtils
XMLUtils
srdf
/
es.weso.rdf.saver
/
RDFSaver
RDFSaver
trait
RDFSaver
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Type members
Value members
Type members
Types
type
RDFSaver
[
A
] =
StateT
[
IO
,
RDFBuilder
,
A
]
Value members
Concrete methods
def
addContent
[
A
](
x:
A
,
node:
RDFNode
,
pred:
IRI
,
saver:
A
=>
RDFSaver
[
RDFNode
]):
RDFSaver
[
Unit
]
def
addListContent
[
A
](
ls:
List
[
A
],
node:
RDFNode
,
pred:
IRI
,
saver:
A
=>
RDFSaver
[
RDFNode
]):
RDFSaver
[
Unit
]
def
addPrefix
(
alias:
String
,
iri:
IRI
):
RDFSaver
[
Unit
]
def
addPrefixMap
(
pm:
PrefixMap
):
RDFSaver
[
Unit
]
def
addStarContent
[
A
](
ls:
List
[
A
],
node:
RDFNode
,
pred:
IRI
,
saver:
A
=>
RDFSaver
[
RDFNode
]):
RDFSaver
[
Unit
]
def
addTriple
(
s:
RDFNode
,
p:
IRI
,
o:
RDFNode
):
RDFSaver
[
Unit
]
def
addTripleObjects
(
s:
RDFNode
,
p:
IRI
,
os:
List
[
RDFNode
]):
RDFSaver
[
Unit
]
def
createBNode
():
RDFSaver
[
RDFNode
]
def
fromIO
[
A
](
x:
IO
[
A
]):
RDFSaver
[
A
]
def
getRDF
:
RDFSaver
[
RDFBuilder
]
def
iri
(
i:
IRI
):
RDFSaver
[
RDFNode
]
def
listSaver
[
A
](
ls:
List
[
A
],
saver:
A
=>
RDFSaver
[
RDFNode
]):
RDFSaver
[
List
[
RDFNode
]]
def
makeId
(
v:
Option
[
IRI
]):
RDFSaver
[
RDFNode
]
def
makePath
(
path:
SHACLPath
):
RDFSaver
[
RDFNode
]
def
maybeAddContent
[
A
](
maybe:
Option
[
A
],
node:
RDFNode
,
pred:
IRI
,
saver:
A
=>
RDFSaver
[
RDFNode
]):
RDFSaver
[
Unit
]
def
maybeAddListContent
[
A
](
maybeLs:
Option
[
List
[
A
]],
node:
RDFNode
,
pred:
IRI
,
saver:
A
=>
RDFSaver
[
RDFNode
]):
RDFSaver
[
Unit
]
def
maybeAddStarContent
[
A
](
maybeLs:
Option
[
List
[
A
]],
node:
RDFNode
,
pred:
IRI
,
saver:
A
=>
RDFSaver
[
RDFNode
]):
RDFSaver
[
Unit
]
def
maybeAddTriple
[
A
](
node:
RDFNode
,
pred:
IRI
,
maybe:
Option
[
RDFNode
]):
RDFSaver
[
Unit
]
def
mkRDFList
(
ls:
List
[
RDFNode
]):
RDFSaver
[
RDFNode
]
def
modify
(
upd:
RDFBuilder
=>
IO
[
RDFBuilder
]):
RDFSaver
[
Unit
]
def
modifyGet
[
A
](
upd:
RDFBuilder
=>
IO
[(
A
,
RDFBuilder
)]):
RDFSaver
[
A
]
def
ok
[
A
](
x:
A
):
RDFSaver
[
A
]
def
optSaver
[
A
](
maybe:
Option
[
A
],
saver:
A
=>
RDFSaver
[
RDFNode
]):
RDFSaver
[
Option
[
RDFNode
]]
def
rdfBoolean
(
x:
Boolean
):
RDFSaver
[
RDFNode
]
def
rdfInt
(
x:
Int
):
RDFSaver
[
RDFNode
]
def
rdfString
(
x:
String
):
RDFSaver
[
RDFNode
]
def
saveAsRDFList
[
A
](
ls:
List
[
A
],
saver:
A
=>
RDFSaver
[
RDFNode
]):
RDFSaver
[
RDFNode
]
def
saveList
[
A
](
ls:
List
[
A
],
f:
A
=>
RDFSaver
[
Unit
]):
RDFSaver
[
Unit
]
def
saveToRDFList
[
A
](
ls:
List
[
A
],
f:
A
=>
RDFSaver
[
RDFNode
]):
RDFSaver
[
RDFNode
]
def
sequence
[
A
](
ls:
List
[
RDFSaver
[
A
]]):
RDFSaver
[
List
[
A
]]
def
setRDF
(
rdf:
RDFBuilder
):
RDFSaver
[
Unit
]