Copyright	Travis Whitaker 2016
License	MIT
Maintainer	pi.boy.travis@gmail.com
Stability	Provisional
Portability	Portable
Safe Haskell	Safe
Language	Haskell2010

Data.RDF.ToRDF

Description

This module provides a simple DSL for mapping Haskell data to RDF graphs.

Synopsis

class ToRDF a where
- triples :: a -> RDFGen Triples
class ToObject a where
- object :: a -> RDFGen Object
toTriples :: ToRDF a => IRI -> a -> [Triple]
type Triples = DList Triple
type RDFGen a = ReaderT IRI (State Word64) a
runRDFGen :: RDFGen a -> IRI -> a
appBaseIRI :: Endo IRI -> RDFGen IRI
newBlankNode :: RDFGen BlankNode

Documentation

class ToRDF a where Source #

Methods

triples :: a -> RDFGen Triples Source #

class ToObject a where Source #

Methods

object :: a -> RDFGen Object Source #

Instances

ToObject Double Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Double -> RDFGen Object Source #
ToObject Float Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Float -> RDFGen Object Source #
ToObject Int Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Int -> RDFGen Object Source #
ToObject Int8 Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Int8 -> RDFGen Object Source #
ToObject Int16 Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Int16 -> RDFGen Object Source #
ToObject Int32 Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Int32 -> RDFGen Object Source #
ToObject Int64 Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Int64 -> RDFGen Object Source #
ToObject Integer Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Integer -> RDFGen Object Source #
ToObject Word Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Word -> RDFGen Object Source #
ToObject Word8 Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Word8 -> RDFGen Object Source #
ToObject Word16 Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Word16 -> RDFGen Object Source #
ToObject Word32 Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Word32 -> RDFGen Object Source #
ToObject Word64 Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Word64 -> RDFGen Object Source #
ToObject Text Source #	Forces the lazy `Text`.
Instance details Defined in Data.RDF.ToRDF Methods object :: Text -> RDFGen Object Source #
ToObject Text Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: Text -> RDFGen Object Source #
ToObject String Source #
Instance details Defined in Data.RDF.ToRDF Methods object :: String -> RDFGen Object Source #

toTriples :: ToRDF a => IRI -> a -> [Triple] Source #

type Triples = DList Triple Source #

type RDFGen a = ReaderT IRI (State Word64) a Source #

RDF generator monad. Provides ReaderT for the base IRI, and StateT for a monotonically increasing blank node identifier.

runRDFGen :: RDFGen a -> IRI -> a Source #

appBaseIRI :: Endo IRI -> RDFGen IRI Source #

newBlankNode :: RDFGen BlankNode Source #