hydra-0.1.0: Type-aware transformations for data and functional programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Ext.Rdf.Syntax

Description

An RDF 1.1 syntax model

Synopsis

Documentation

data RdfsClass Source #

Stand-in for rdfs:Class

Constructors

RdfsClass 

newtype Dataset Source #

Constructors

Dataset 

Fields

Instances

Instances details
Read Dataset Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Show Dataset Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Eq Dataset Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

(==) :: Dataset -> Dataset -> Bool #

(/=) :: Dataset -> Dataset -> Bool #

Ord Dataset Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

data Description Source #

A graph of RDF statements together with a distinguished subject and/or object node

newtype Graph Source #

Constructors

Graph 

Fields

Instances

Instances details
Read Graph Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Show Graph Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

showsPrec :: Int -> Graph -> ShowS #

show :: Graph -> String #

showList :: [Graph] -> ShowS #

Eq Graph Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

(==) :: Graph -> Graph -> Bool #

(/=) :: Graph -> Graph -> Bool #

Ord Graph Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

compare :: Graph -> Graph -> Ordering #

(<) :: Graph -> Graph -> Bool #

(<=) :: Graph -> Graph -> Bool #

(>) :: Graph -> Graph -> Bool #

(>=) :: Graph -> Graph -> Bool #

max :: Graph -> Graph -> Graph #

min :: Graph -> Graph -> Graph #

newtype Iri Source #

An Internationalized Resource Identifier

Constructors

Iri 

Fields

  • unIri :: String

    An Internationalized Resource Identifier

Instances

Instances details
Read Iri Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Show Iri Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

showsPrec :: Int -> Iri -> ShowS #

show :: Iri -> String #

showList :: [Iri] -> ShowS #

Eq Iri Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

(==) :: Iri -> Iri -> Bool #

(/=) :: Iri -> Iri -> Bool #

Ord Iri Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

compare :: Iri -> Iri -> Ordering #

(<) :: Iri -> Iri -> Bool #

(<=) :: Iri -> Iri -> Bool #

(>) :: Iri -> Iri -> Bool #

(>=) :: Iri -> Iri -> Bool #

max :: Iri -> Iri -> Iri #

min :: Iri -> Iri -> Iri #

data IriOrLiteral Source #

An IRI or a literal; this type is a convenience for downstream models like SHACL which may exclude blank nodes

newtype LangStrings Source #

A convenience type which provides at most one string value per language, and optionally a value without a language

Constructors

LangStrings 

Fields

data Literal Source #

A value such as a string, number, or date

Constructors

Literal 

Fields

Instances

Instances details
Read Literal Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Show Literal Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Eq Literal Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

(==) :: Literal -> Literal -> Bool #

(/=) :: Literal -> Literal -> Bool #

Ord Literal Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

data Node Source #

Instances

Instances details
Read Node Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Show Node Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

showsPrec :: Int -> Node -> ShowS #

show :: Node -> String #

showList :: [Node] -> ShowS #

Eq Node Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

(==) :: Node -> Node -> Bool #

(/=) :: Node -> Node -> Bool #

Ord Node Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

compare :: Node -> Node -> Ordering #

(<) :: Node -> Node -> Bool #

(<=) :: Node -> Node -> Bool #

(>) :: Node -> Node -> Bool #

(>=) :: Node -> Node -> Bool #

max :: Node -> Node -> Node #

min :: Node -> Node -> Node #

data Property Source #

A type representing an RDF property, and encapsulating its domain, range, and subclass relationships

Constructors

Property 

Fields

Instances

Instances details
Read Property Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Show Property Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Eq Property Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Ord Property Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

data Quad Source #

An RDF triple with an optional named graph component

Instances

Instances details
Read Quad Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Show Quad Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

showsPrec :: Int -> Quad -> ShowS #

show :: Quad -> String #

showList :: [Quad] -> ShowS #

Eq Quad Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

(==) :: Quad -> Quad -> Bool #

(/=) :: Quad -> Quad -> Bool #

Ord Quad Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

compare :: Quad -> Quad -> Ordering #

(<) :: Quad -> Quad -> Bool #

(<=) :: Quad -> Quad -> Bool #

(>) :: Quad -> Quad -> Bool #

(>=) :: Quad -> Quad -> Bool #

max :: Quad -> Quad -> Quad #

min :: Quad -> Quad -> Quad #

data Triple Source #

An RDF triple defined by a subject, predicate, and object

Instances

Instances details
Read Triple Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Show Triple Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Eq Triple Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax

Methods

(==) :: Triple -> Triple -> Bool #

(/=) :: Triple -> Triple -> Bool #

Ord Triple Source # 
Instance details

Defined in Hydra.Ext.Rdf.Syntax