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
class ToObject a where
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 #

Minimal complete definition

triples

Methods

triples :: a -> RDFGen Triples #

class ToObject a where #

Minimal complete definition

object

Methods

object :: a -> RDFGen Object #

Instances

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

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

type Triples = DList Triple #

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

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

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

appBaseIRI :: Endo IRI -> RDFGen IRI #

newBlankNode :: RDFGen BlankNode #