Represents a general universal resource identifier using its component parts.

For example, for the (full) IRI

  foo://anonymous@www.haskell.org:42/ghc?query#frag

or the abbreviated IRI

  prefix:iFragement

or the simple IRI

 iFragement

The isAbbrev flag is set, if an iri i is abbreviated. With a prefix map pm or pm' it can be expanded using expandIRI pm i, expandIRI' pm' i, expandCurie pm i, and expandCurie' pm ' i yielding a new IRI which stores both, the abbreviated and absolute IRI.

Type for authority value within a IRI

Blank IRI

converts IRI to String of expanded form. if available. Also showing Auth

converts IRI to String of abbreviated form. if available. Also showing Auth info.

check that we have a full (possibly expanded) IRI (i.e. for comparisons)

check that we have a simple IRI that is a (possibly expanded) abbreviated IRI without prefix

check whether the IRI is a URN (uniform resource name)

addSuffixToIRI s iri adds a suffix s to iri.

s is added to the iFragement if iri is abbreviated. s is added to the query or the path of iri if iri contains an absolute IRI (either being an absolute IRI or being an expanded abbreviated IRI)

Parses an IRI reference enclosed in <, > or a CURIE

Turn a string containing a CURIE into an IRI

Turn a string containing an IRI or a CURIE into an IRI. Returns Nothing if the string is not a valid IRI; (an absolute IRI enclosed in < and > with optional fragment identifier or a CURIE).

Parse a IRI reference to an IRI value. Returns Nothing if the string is not a valid IRI reference. (an absolute or relative IRI with optional fragment identifier).

Turn a string containing an RFC3987 IRI into an IRI. Returns Nothing if the string is not a valid IRI; (an absolute IRI with optional fragment identifier).

Prefix part of CURIE in prefix_part:reference http://www.w3.org/TR/2009/REC-xml-names-20091208/#NT-NCName

mergeCurie merges the CURIE c into IRI i, appending their string representations

Expands a CURIE to an IRI. Nothing iff there is no IRI i assigned to the prefix of c or the concatenation of i and iriPath c is not a valid IRI.

expandIRI pm iri returns the expanded iri with a declaration from pm. If no declaration is found, return iri unchanged.

Same as expandIRI but with a Map String String as prefix map. See expandCurie' for more details.

Returns a new IRI which represents the value of the first IRI interpreted as relative to the second IRI. For example:

"foo" `relativeTo` "http://bar.org/" = "http://bar.org/foo"

Returns a new IRI which represents the relative location of the first IRI with respect to the second IRI. Thus, the values supplied are expected to be absolute IRIs, and the result returned may be a relative IRI.

Example:

"http://example.com/Root/sub1/name2#frag"
  `relativeFrom` "http://example.com/Root/sub2/name2#frag"
  == "../sub1/name2#frag"

There is no single correct implementation of this function, but any acceptable implementation must satisfy the following:

(uabs `relativeFrom` ubase) `relativeTo` ubase == uabs

For any valid absolute IRI. (cf. http://lists.w3.org/Archives/Public/iri/2003Jan/0008.html http://lists.w3.org/Archives/Public/iri/2003Jan/0005.html)

Converts a Simple_ID to an IRI

check that we have a nullIRI

set the Range attribute of IRIs setIRIRange :: Range -> IRI -> IRI setIRIRange r i = i { iriPos = r }

checks if a string (bound to be localPart of an IRI) contains "://" cssIRI :: String -> String cssIRI i | isInfixOf "://" i = Full | otherwise = Abbreviated

show IRI as abbreviated, when possible

show IRI in angle brackets as full IRI

a default ontology name

Extracts Id from URI