| Copyright | Travis Whitaker 2016 |
|---|---|
| License | MIT |
| Maintainer | pi.boy.travis@gmail.com |
| Stability | Provisional |
| Portability | Portable |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Data.RDF.Types
Contents
Description
This module provides types for representing RDF data based on the abstract syntax described in RDF 1.1 Concepts and Abstract Syntax.
- data RDFGraph = RDFGraph {
- rdfLabel :: !(Maybe IRI)
- rdfTriples :: [Triple]
- data Quad = Quad {
- quadTriple :: !Triple
- quadGraph :: !(Maybe IRI)
- data Triple = Triple !Subject !Predicate !Object
- data Subject
- newtype Predicate = Predicate {
- unPredicate :: IRI
- data Object
- newtype BlankNode = BlankNode {
- unBlankNode :: Text
- data Literal = Literal {
- litString :: !Text
- litType :: !LiteralType
- data LiteralType
- data IRI = IRI {}
- data IRIAuth = IRIAuth {}
Graphs
A contiguous RDF graph with optional label. Note that a contiguous graph within an RDF data set will not appear as a single contiguous graph to this library if the graph's constituent triples are not contiguous in the original data set. This strategy allows for incremental processing of RDF data in constant space.
Constructors
| RDFGraph | |
Fields
| |
An RDF quad, i.e. a triple belonging to a named graph.
An RDF triple.
Triple Components
An RDF subject, i.e. either an IRI or a BlankNode.
This type has an IsString instance, allowing string literals to be
interpreted as Subjects with -XOverloadedStrings, like so:
>>>"<http://example.com> :: SubjectIRISubject (IRI (...))>>>"_:some-node" :: SubjectBlankSubject (BlankNode {unBlankNode = "some-node"})
Constructors
| IRISubject !IRI | |
| BlankSubject !BlankNode |
Instances
| Eq Subject Source # | |
| Ord Subject Source # | |
| Read Subject Source # | |
| Show Subject Source # | |
| IsString Subject Source # | This instance uses |
| Generic Subject Source # | |
| NFData Subject Source # | |
| type Rep Subject Source # | |
An RDF predicate.
This type has an IsString instance, allowing string literals to be
interpreted as Predicates with -XOverloadedStrings, like so:
>>>"<http://example.com>" :: PredicatePredicate {unPredicate = IRI (...)}
Constructors
| Predicate | |
Fields
| |
Instances
| Eq Predicate Source # | |
| Ord Predicate Source # | |
| Read Predicate Source # | |
| Show Predicate Source # | |
| IsString Predicate Source # | This instance uses |
| Generic Predicate Source # | |
| NFData Predicate Source # | |
| type Rep Predicate Source # | |
An RDF object, i.e. either an IRI, a Literal, or a BlankNode.
This type has an IsString instance, allowing string literals to be
interpreted as Objects with -XOverloadedStrings, like so:
>>>"<http://example.com>" :: ObjectIRIObject (IRI (...))>>>"_:some-node" :: ObjectBlankObject (BlankNode {unBlankNode = "some-node"})>>>"computer" :: ObjectLiteralObject (Literal {litString = "computer", litType = LiteralUntyped})
The precedence for literal interpretation is IRI > BlankNode > Literal. To
force a literal that is also a valid blank node label or IRI to be
interpreted as a LiteralObject, wrap it in an extra set of double quotes:
>>>"\"_:some-node\"" :: ObjectLiteralObject (Literal {litString = "_:some-node", litType = LiteralUntyped})
Constructors
| IRIObject !IRI | |
| BlankObject !BlankNode | |
| LiteralObject !Literal |
Instances
| Eq Object Source # | |
| Ord Object Source # | |
| Read Object Source # | |
| Show Object Source # | |
| IsString Object Source # | This instance uses |
| Generic Object Source # | |
| NFData Object Source # | |
| type Rep Object Source # | |
Terms
A blank node with its local label, without the preceeding "_:". Other programs processing RDF are permitted to discard these node labels, i.e. all blank node labels are local to a specific representation of an RDF data set.
This type has an IsString instance, allowing string literals to be
interpreted as BlankNodes with -XOverloadedStrings, like so:
>>>"_:some-node" :: BlankNodeBlankNode {unBlankNode = "some-node"}
Constructors
| BlankNode | |
Fields
| |
Instances
| Eq BlankNode Source # | |
| Ord BlankNode Source # | |
| Read BlankNode Source # | |
| Show BlankNode Source # | |
| IsString BlankNode Source # | This instance uses |
| Generic BlankNode Source # | |
| NFData BlankNode Source # | |
| type Rep BlankNode Source # | |
An RDF literal. As stipulated by the RDF standard, the litType is merely
metadata; all RDF processing programs must try to handle literals that are
ill-typed.
This type has an IsString instance, allowing string literals to be
interpreted as Literals with -XOverloadedStrings, like so:
>>>"computer" :: LiteralLiteral {litString = "computer", litType = LiteralUntyped}
For untyped literals the extra double quotes are not required. They are required for typed literals:
>>>"\"computer\"@en" :: LiteralLiteral {litString = "computer", litType = LiteralLangType "en"}
>>>"\"computer\"^^<http://computer.machine/machine>" :: LiteralLiteral { litString = "computer", litType = LiteralIRIType (...)}
Constructors
| Literal | |
Fields
| |
Instances
| Eq Literal Source # | |
| Ord Literal Source # | |
| Read Literal Source # | |
| Show Literal Source # | |
| IsString Literal Source # | This instance uses |
| Generic Literal Source # | |
| NFData Literal Source # | |
| type Rep Literal Source # | |
data LiteralType Source #
An RDF literal type. As stipulated by the RDF standard, this is merely metadata; all RDF processing programs must try to handle literals that are ill-typed.
Constructors
| LiteralIRIType !IRI | |
| LiteralLangType !Text | |
| LiteralUntyped |
Instances
IRIs
An Internationalized Resource Identifier. This library preferentially follows RFC 3987 over the RDF 1.1 specification, as the two standards disagree about precisely what constitutes an IRI. A notable exception is the handling of IRI fragments; this library follows the RDF 1.1 specification, allowing IRI fragments to occur in absolute IRIs, even though this is expressly prohibited by RFC 3987.
Unlike the network-uri package's behavior with URI fields, this library
does not include the sentinel tokens in the parsed fields. For example,
when parsing http://example.com, network-uri will provide the string
http: as the scheme, while this library will provide http as the
scheme.
This type has an IsString instnace, allowing string literals to be
interpreted as IRIs with -XOverloadedStrings, like so:
>>>"http://example.com" :: IRIIRI { iriScheme = "http" , iriAuth = Just (IRIAuth { iriUser = Nothing , iriHost = "example.com" , iriPort = Nothing }) , iriPath = "" , iriQuery = Nothing , iriFragment = Nothing }
Constructors
| IRI | |
Fields
| |
Instances
| Eq IRI Source # | |
| Ord IRI Source # | |
| Read IRI Source # | |
| Show IRI Source # | |
| IsString IRI Source # | This instance uses |
| Generic IRI Source # | |
| NFData IRI Source # | |
| type Rep IRI Source # | |
An IRI Authority, as described by RFC 3987.
Constructors
| IRIAuth | |