Data.Library.UUIRI

Documentation

newtype UUIRI

Constructors

UUIRI (UUID, IRI)

Instances

Eq UUIRI

ToJSON UUIRI

FromJSON UUIRI

SafeCopy UUIRI

iri :: UUIRI -> IRI

returns the IRI part of the UUIRI

uuid :: UUIRI -> UUID

returns the UUID part of the UUIRI

toUUIRI :: UUID -> Text -> UUIRI

a constructor for UUIRIs

fromUUIRI :: UUIRI -> (UUID, Text)

returns the UUIRI tuple with the IRI translated to Text

isRelative :: UUIRI -> Bool

is the IRI part of the UUIRI a relative IRI ?

isAbsolute :: UUIRI -> Bool

is the IRI part of the UUIRI an absolute IRI ?

extension :: UUIRI -> Maybe Text

returns the IRI extension of a given UUIRI

domain :: UUIRI -> Maybe Text

returns the IRI domain of a given UUIRI

protocol :: UUIRI -> Maybe Text

returns the IRI protocol of a given UUIRI

dirs :: UUIRI -> [Text]

returns the IRI directories of a given UUIRI