Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Langs.Rdf.Syntax

Description

An RDF 1.1 syntax model

Synopsis

newtype BlankNode = BlankNode {
- unBlankNode :: String
}
_BlankNode :: Name
data RdfsClass = RdfsClass {
}
_RdfsClass :: Name
newtype Dataset = Dataset {
- unDataset :: Set Quad
}
_Dataset :: Name
data Description = Description {
- descriptionSubject :: Node
- descriptionGraph :: Graph
}
_Description :: Name
_Description_subject :: Name
_Description_graph :: Name
newtype Graph = Graph {
- unGraph :: Set Triple
}
_Graph :: Name
newtype Iri = Iri {
- unIri :: String
}
_Iri :: Name
data IriOrLiteral
- = IriOrLiteralIri Iri
- | IriOrLiteralLiteral Literal
_IriOrLiteral :: Name
_IriOrLiteral_iri :: Name
_IriOrLiteral_literal :: Name
newtype LangStrings = LangStrings {
- unLangStrings :: Map (Maybe LanguageTag) String
}
_LangStrings :: Name
newtype LanguageTag = LanguageTag {
- unLanguageTag :: String
}
_LanguageTag :: Name
data Literal = Literal {
- literalLexicalForm :: String
- literalDatatypeIri :: Iri
- literalLanguageTag :: Maybe LanguageTag
}
_Literal :: Name
_Literal_lexicalForm :: Name
_Literal_datatypeIri :: Name
_Literal_languageTag :: Name
data Node
- = NodeIri Iri
- | NodeBnode BlankNode
- | NodeLiteral Literal
_Node :: Name
_Node_iri :: Name
_Node_bnode :: Name
_Node_literal :: Name
data Property = Property {
- propertyDomain :: Set RdfsClass
- propertyRange :: Set RdfsClass
- propertySubPropertyOf :: Set Property
}
_Property :: Name
_Property_domain :: Name
_Property_range :: Name
_Property_subPropertyOf :: Name
data Quad = Quad {
- quadSubject :: Resource
- quadPredicate :: Iri
- quadObject :: Node
- quadGraph :: Maybe Iri
}
_Quad :: Name
_Quad_subject :: Name
_Quad_predicate :: Name
_Quad_object :: Name
_Quad_graph :: Name
data Resource
- = ResourceIri Iri
- | ResourceBnode BlankNode
_Resource :: Name
_Resource_iri :: Name
_Resource_bnode :: Name
data Triple = Triple {
- tripleSubject :: Resource
- triplePredicate :: Iri
- tripleObject :: Node
}
_Triple :: Name
_Triple_subject :: Name
_Triple_predicate :: Name
_Triple_object :: Name

Documentation

newtype BlankNode Source #

Constructors

BlankNode
Fields unBlankNode :: String

Instances

Instances details

Read BlankNode Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS BlankNode # readList :: ReadS [BlankNode] # readPrec :: ReadPrec BlankNode # readListPrec :: ReadPrec [BlankNode] #
Show BlankNode Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> BlankNode -> ShowS # show :: BlankNode -> String # showList :: [BlankNode] -> ShowS #
Eq BlankNode Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: BlankNode -> BlankNode -> Bool # (/=) :: BlankNode -> BlankNode -> Bool #
Ord BlankNode Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods compare :: BlankNode -> BlankNode -> Ordering # (<) :: BlankNode -> BlankNode -> Bool # (<=) :: BlankNode -> BlankNode -> Bool # (>) :: BlankNode -> BlankNode -> Bool # (>=) :: BlankNode -> BlankNode -> Bool # max :: BlankNode -> BlankNode -> BlankNode # min :: BlankNode -> BlankNode -> BlankNode #

_BlankNode :: Name Source #

data RdfsClass Source #

Stand-in for rdfs:Class

Constructors

RdfsClass

Instances

Instances details

Read RdfsClass Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS RdfsClass # readList :: ReadS [RdfsClass] # readPrec :: ReadPrec RdfsClass # readListPrec :: ReadPrec [RdfsClass] #
Show RdfsClass Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> RdfsClass -> ShowS # show :: RdfsClass -> String # showList :: [RdfsClass] -> ShowS #
Eq RdfsClass Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: RdfsClass -> RdfsClass -> Bool # (/=) :: RdfsClass -> RdfsClass -> Bool #
Ord RdfsClass Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods compare :: RdfsClass -> RdfsClass -> Ordering # (<) :: RdfsClass -> RdfsClass -> Bool # (<=) :: RdfsClass -> RdfsClass -> Bool # (>) :: RdfsClass -> RdfsClass -> Bool # (>=) :: RdfsClass -> RdfsClass -> Bool # max :: RdfsClass -> RdfsClass -> RdfsClass # min :: RdfsClass -> RdfsClass -> RdfsClass #

_RdfsClass :: Name Source #

newtype Dataset Source #

Constructors

Dataset
Fields unDataset :: Set Quad

Instances

Instances details

Read Dataset Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS Dataset # readList :: ReadS [Dataset] # readPrec :: ReadPrec Dataset # readListPrec :: ReadPrec [Dataset] #
Show Dataset Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> Dataset -> ShowS # show :: Dataset -> String # showList :: [Dataset] -> ShowS #
Eq Dataset Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: Dataset -> Dataset -> Bool # (/=) :: Dataset -> Dataset -> Bool #
Ord Dataset Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods compare :: Dataset -> Dataset -> Ordering # (<) :: Dataset -> Dataset -> Bool # (<=) :: Dataset -> Dataset -> Bool # (>) :: Dataset -> Dataset -> Bool # (>=) :: Dataset -> Dataset -> Bool # max :: Dataset -> Dataset -> Dataset # min :: Dataset -> Dataset -> Dataset #

_Dataset :: Name Source #

data Description Source #

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

Constructors

Description
Fields descriptionSubject :: Node descriptionGraph :: Graph

Instances

Instances details

Read Description Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS Description # readList :: ReadS [Description] # readPrec :: ReadPrec Description # readListPrec :: ReadPrec [Description] #
Show Description Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> Description -> ShowS # show :: Description -> String # showList :: [Description] -> ShowS #
Eq Description Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: Description -> Description -> Bool # (/=) :: Description -> Description -> Bool #
Ord Description Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods compare :: Description -> Description -> Ordering # (<) :: Description -> Description -> Bool # (<=) :: Description -> Description -> Bool # (>) :: Description -> Description -> Bool # (>=) :: Description -> Description -> Bool # max :: Description -> Description -> Description # min :: Description -> Description -> Description #

_Description :: Name Source #

_Description_subject :: Name Source #

_Description_graph :: Name Source #

newtype Graph Source #

Constructors

Graph
Fields unGraph :: Set Triple

Instances

Instances details

Read Graph Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS Graph # readList :: ReadS [Graph] # readPrec :: ReadPrec Graph # readListPrec :: ReadPrec [Graph] #
Show Graph Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> Graph -> ShowS # show :: Graph -> String # showList :: [Graph] -> ShowS #
Eq Graph Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: Graph -> Graph -> Bool # (/=) :: Graph -> Graph -> Bool #
Ord Graph Source #
Instance details Defined in Hydra.Langs.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 #

_Graph :: Name Source #

newtype Iri Source #

An Internationalized Resource Identifier

Constructors

Iri
Fields unIri :: String

Instances

Instances details

Read Iri Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS Iri # readList :: ReadS [Iri] # readPrec :: ReadPrec Iri # readListPrec :: ReadPrec [Iri] #
Show Iri Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> Iri -> ShowS # show :: Iri -> String # showList :: [Iri] -> ShowS #
Eq Iri Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: Iri -> Iri -> Bool # (/=) :: Iri -> Iri -> Bool #
Ord Iri Source #
Instance details Defined in Hydra.Langs.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 #

_Iri :: Name Source #

data IriOrLiteral Source #

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

Constructors

IriOrLiteralIri Iri
IriOrLiteralLiteral Literal

Instances

Instances details

Read IriOrLiteral Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS IriOrLiteral # readList :: ReadS [IriOrLiteral] # readPrec :: ReadPrec IriOrLiteral # readListPrec :: ReadPrec [IriOrLiteral] #
Show IriOrLiteral Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> IriOrLiteral -> ShowS # show :: IriOrLiteral -> String # showList :: [IriOrLiteral] -> ShowS #
Eq IriOrLiteral Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: IriOrLiteral -> IriOrLiteral -> Bool # (/=) :: IriOrLiteral -> IriOrLiteral -> Bool #
Ord IriOrLiteral Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods compare :: IriOrLiteral -> IriOrLiteral -> Ordering # (<) :: IriOrLiteral -> IriOrLiteral -> Bool # (<=) :: IriOrLiteral -> IriOrLiteral -> Bool # (>) :: IriOrLiteral -> IriOrLiteral -> Bool # (>=) :: IriOrLiteral -> IriOrLiteral -> Bool # max :: IriOrLiteral -> IriOrLiteral -> IriOrLiteral # min :: IriOrLiteral -> IriOrLiteral -> IriOrLiteral #

_IriOrLiteral :: Name Source #

_IriOrLiteral_iri :: Name Source #

_IriOrLiteral_literal :: Name Source #

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 unLangStrings :: Map (Maybe LanguageTag) String

Instances

Instances details

Read LangStrings Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS LangStrings # readList :: ReadS [LangStrings] # readPrec :: ReadPrec LangStrings # readListPrec :: ReadPrec [LangStrings] #
Show LangStrings Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> LangStrings -> ShowS # show :: LangStrings -> String # showList :: [LangStrings] -> ShowS #
Eq LangStrings Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: LangStrings -> LangStrings -> Bool # (/=) :: LangStrings -> LangStrings -> Bool #
Ord LangStrings Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods compare :: LangStrings -> LangStrings -> Ordering # (<) :: LangStrings -> LangStrings -> Bool # (<=) :: LangStrings -> LangStrings -> Bool # (>) :: LangStrings -> LangStrings -> Bool # (>=) :: LangStrings -> LangStrings -> Bool # max :: LangStrings -> LangStrings -> LangStrings # min :: LangStrings -> LangStrings -> LangStrings #

_LangStrings :: Name Source #

newtype LanguageTag Source #

A BCP47 language tag

Constructors

LanguageTag
Fields unLanguageTag :: String

Instances

Instances details

Read LanguageTag Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS LanguageTag # readList :: ReadS [LanguageTag] # readPrec :: ReadPrec LanguageTag # readListPrec :: ReadPrec [LanguageTag] #
Show LanguageTag Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> LanguageTag -> ShowS # show :: LanguageTag -> String # showList :: [LanguageTag] -> ShowS #
Eq LanguageTag Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: LanguageTag -> LanguageTag -> Bool # (/=) :: LanguageTag -> LanguageTag -> Bool #
Ord LanguageTag Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods compare :: LanguageTag -> LanguageTag -> Ordering # (<) :: LanguageTag -> LanguageTag -> Bool # (<=) :: LanguageTag -> LanguageTag -> Bool # (>) :: LanguageTag -> LanguageTag -> Bool # (>=) :: LanguageTag -> LanguageTag -> Bool # max :: LanguageTag -> LanguageTag -> LanguageTag # min :: LanguageTag -> LanguageTag -> LanguageTag #

_LanguageTag :: Name Source #

data Literal Source #

A value such as a string, number, or date

Constructors

Literal
Fields literalLexicalForm :: String a Unicode string, which should be in Normal Form C literalDatatypeIri :: Iri an IRI identifying a datatype that determines how the lexical form maps to a literal value literalLanguageTag :: Maybe LanguageTag An optional language tag, present if and only if the datatype IRI is http://www.w3.org/1999/02/22-rdf-syntax-ns#langString

Instances

Instances details

Read Literal Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS Literal # readList :: ReadS [Literal] # readPrec :: ReadPrec Literal # readListPrec :: ReadPrec [Literal] #
Show Literal Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #
Eq Literal Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Ord Literal Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods compare :: Literal -> Literal -> Ordering # (<) :: Literal -> Literal -> Bool # (<=) :: Literal -> Literal -> Bool # (>) :: Literal -> Literal -> Bool # (>=) :: Literal -> Literal -> Bool # max :: Literal -> Literal -> Literal # min :: Literal -> Literal -> Literal #

_Literal :: Name Source #

_Literal_lexicalForm :: Name Source #

_Literal_datatypeIri :: Name Source #

_Literal_languageTag :: Name Source #

data Node Source #

Constructors

NodeIri Iri
NodeBnode BlankNode
NodeLiteral Literal

Instances

Instances details

Read Node Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS Node # readList :: ReadS [Node] # readPrec :: ReadPrec Node # readListPrec :: ReadPrec [Node] #
Show Node Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> Node -> ShowS # show :: Node -> String # showList :: [Node] -> ShowS #
Eq Node Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: Node -> Node -> Bool # (/=) :: Node -> Node -> Bool #
Ord Node Source #
Instance details Defined in Hydra.Langs.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 #

_Node :: Name Source #

_Node_iri :: Name Source #

_Node_bnode :: Name Source #

_Node_literal :: Name Source #

data Property Source #

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

Constructors

Property
Fields propertyDomain :: Set RdfsClass State that any resource that has a given property is an instance of one or more classes propertyRange :: Set RdfsClass States that the values of a property are instances of one or more classes propertySubPropertyOf :: Set Property

Instances

Instances details

Read Property Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS Property # readList :: ReadS [Property] # readPrec :: ReadPrec Property # readListPrec :: ReadPrec [Property] #
Show Property Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> Property -> ShowS # show :: Property -> String # showList :: [Property] -> ShowS #
Eq Property Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: Property -> Property -> Bool # (/=) :: Property -> Property -> Bool #
Ord Property Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods compare :: Property -> Property -> Ordering # (<) :: Property -> Property -> Bool # (<=) :: Property -> Property -> Bool # (>) :: Property -> Property -> Bool # (>=) :: Property -> Property -> Bool # max :: Property -> Property -> Property # min :: Property -> Property -> Property #

_Property :: Name Source #

_Property_domain :: Name Source #

_Property_range :: Name Source #

_Property_subPropertyOf :: Name Source #

data Quad Source #

An RDF triple with an optional named graph component

Constructors

Quad
Fields quadSubject :: Resource quadPredicate :: Iri quadObject :: Node quadGraph :: Maybe Iri

Instances

Instances details

Read Quad Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS Quad # readList :: ReadS [Quad] # readPrec :: ReadPrec Quad # readListPrec :: ReadPrec [Quad] #
Show Quad Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> Quad -> ShowS # show :: Quad -> String # showList :: [Quad] -> ShowS #
Eq Quad Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: Quad -> Quad -> Bool # (/=) :: Quad -> Quad -> Bool #
Ord Quad Source #
Instance details Defined in Hydra.Langs.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 #

_Quad :: Name Source #

_Quad_subject :: Name Source #

_Quad_predicate :: Name Source #

_Quad_object :: Name Source #

_Quad_graph :: Name Source #

data Resource Source #

Constructors

ResourceIri Iri
ResourceBnode BlankNode

Instances

Instances details

Read Resource Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS Resource # readList :: ReadS [Resource] # readPrec :: ReadPrec Resource # readListPrec :: ReadPrec [Resource] #
Show Resource Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> Resource -> ShowS # show :: Resource -> String # showList :: [Resource] -> ShowS #
Eq Resource Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: Resource -> Resource -> Bool # (/=) :: Resource -> Resource -> Bool #
Ord Resource Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods compare :: Resource -> Resource -> Ordering # (<) :: Resource -> Resource -> Bool # (<=) :: Resource -> Resource -> Bool # (>) :: Resource -> Resource -> Bool # (>=) :: Resource -> Resource -> Bool # max :: Resource -> Resource -> Resource # min :: Resource -> Resource -> Resource #

_Resource :: Name Source #

_Resource_iri :: Name Source #

_Resource_bnode :: Name Source #

data Triple Source #

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

Constructors

Triple
Fields tripleSubject :: Resource triplePredicate :: Iri tripleObject :: Node

Instances

Instances details

Read Triple Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods readsPrec :: Int -> ReadS Triple # readList :: ReadS [Triple] # readPrec :: ReadPrec Triple # readListPrec :: ReadPrec [Triple] #
Show Triple Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods showsPrec :: Int -> Triple -> ShowS # show :: Triple -> String # showList :: [Triple] -> ShowS #
Eq Triple Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods (==) :: Triple -> Triple -> Bool # (/=) :: Triple -> Triple -> Bool #
Ord Triple Source #
Instance details Defined in Hydra.Langs.Rdf.Syntax Methods compare :: Triple -> Triple -> Ordering # (<) :: Triple -> Triple -> Bool # (<=) :: Triple -> Triple -> Bool # (>) :: Triple -> Triple -> Bool # (>=) :: Triple -> Triple -> Bool # max :: Triple -> Triple -> Triple # min :: Triple -> Triple -> Triple #

_Triple :: Name Source #

_Triple_subject :: Name Source #

_Triple_predicate :: Name Source #

_Triple_object :: Name Source #