RDFSaver

trait RDFSaver
class Object
trait Matchable
class Any

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 addStarContent[A](ls: List[A], node: RDFNode, pred: IRI, saver: A => RDFSaver[RDFNode]): RDFSaver[Unit]
def fromIO[A](x: IO[A]): RDFSaver[A]
def listSaver[A](ls: List[A], saver: A => RDFSaver[RDFNode]): RDFSaver[List[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 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 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]]