Safe Haskell	None
Language	Haskell2010

Data.XRD.Types

Contents

Document fields
URI building helper

Synopsis

Documentation

data XRD Source #

Constructors

XRD
Fields xrdID :: Maybe Text xrdExpires :: Maybe UTCTime xrdSubject :: Maybe Subject xrdAliases :: [Subject] xrdProperties :: [Property] xrdLinks :: [Link]

Instances

Eq XRD Source #
Methods (==) :: XRD -> XRD -> Bool # (/=) :: XRD -> XRD -> Bool #
Show XRD Source #
Methods showsPrec :: Int -> XRD -> ShowS # show :: XRD -> String # showList :: [XRD] -> ShowS #
Generic XRD Source #
Associated Types type Rep XRD :: * -> * # Methods from :: XRD -> Rep XRD x # to :: Rep XRD x -> XRD #
type Rep XRD Source #
type Rep XRD = D1 * (MetaData "XRD" "Data.XRD.Types" "oasis-xrd-1.0-E5i91RPA6iP40fB0vtMXUY" False) (C1 * (MetaCons "XRD" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "xrdID") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))) ((::) (S1 * (MetaSel (Just Symbol "xrdExpires") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe UTCTime))) (S1 * (MetaSel (Just Symbol "xrdSubject") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Subject))))) ((::) (S1 * (MetaSel (Just Symbol "xrdAliases") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Subject])) ((::) (S1 * (MetaSel (Just Symbol "xrdProperties") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Property])) (S1 * (MetaSel (Just Symbol "xrdLinks") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Link]))))))

emptyXRD :: XRD Source #

Document fields

newtype Subject Source #

Constructors

Subject (URIRef Absolute)

Instances

Eq Subject Source #
Methods (==) :: Subject -> Subject -> Bool # (/=) :: Subject -> Subject -> Bool #
Ord Subject Source #
Methods compare :: Subject -> Subject -> Ordering # (<) :: Subject -> Subject -> Bool # (<=) :: Subject -> Subject -> Bool # (>) :: Subject -> Subject -> Bool # (>=) :: Subject -> Subject -> Bool # max :: Subject -> Subject -> Subject # min :: Subject -> Subject -> Subject #
Show Subject Source #
Methods showsPrec :: Int -> Subject -> ShowS # show :: Subject -> String # showList :: [Subject] -> ShowS #
Generic Subject Source #
Associated Types type Rep Subject :: * -> * # Methods from :: Subject -> Rep Subject x # to :: Rep Subject x -> Subject #
type Rep Subject Source #
type Rep Subject = D1 * (MetaData "Subject" "Data.XRD.Types" "oasis-xrd-1.0-E5i91RPA6iP40fB0vtMXUY" True) (C1 * (MetaCons "Subject" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (URIRef Absolute))))

subject :: Text -> Either URIParseError Subject Source #

data Property Source #

Constructors

Property (URIRef Absolute) (Maybe Text)

Instances

Eq Property Source #
Methods (==) :: Property -> Property -> Bool # (/=) :: Property -> Property -> Bool #
Ord Property Source #
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 #
Show Property Source #
Methods showsPrec :: Int -> Property -> ShowS # show :: Property -> String # showList :: [Property] -> ShowS #
Generic Property Source #
Associated Types type Rep Property :: * -> * # Methods from :: Property -> Rep Property x # to :: Rep Property x -> Property #
type Rep Property Source #
type Rep Property = D1 * (MetaData "Property" "Data.XRD.Types" "oasis-xrd-1.0-E5i91RPA6iP40fB0vtMXUY" False) (C1 * (MetaCons "Property" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (URIRef Absolute))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text)))))

property :: Text -> Maybe Text -> Either URIParseError Property Source #

property_ :: Text -> Either URIParseError Property Source #

data Link Source #

Constructors

Link
Fields linkRel :: Maybe LinkRel linkType :: Maybe LinkType linkHref :: Maybe (URIRef Absolute) linkTemplate :: Maybe Text linkTitles :: [Title] linkProperties :: [Property]

Instances

Eq Link Source #
Methods (==) :: Link -> Link -> Bool # (/=) :: Link -> Link -> Bool #
Ord Link Source #
Methods compare :: Link -> Link -> Ordering # (<) :: Link -> Link -> Bool # (<=) :: Link -> Link -> Bool # (>) :: Link -> Link -> Bool # (>=) :: Link -> Link -> Bool # max :: Link -> Link -> Link # min :: Link -> Link -> Link #
Show Link Source #
Methods showsPrec :: Int -> Link -> ShowS # show :: Link -> String # showList :: [Link] -> ShowS #
Generic Link Source #
Associated Types type Rep Link :: * -> * # Methods from :: Link -> Rep Link x # to :: Rep Link x -> Link #
type Rep Link Source #
type Rep Link = D1 * (MetaData "Link" "Data.XRD.Types" "oasis-xrd-1.0-E5i91RPA6iP40fB0vtMXUY" False) (C1 * (MetaCons "Link" PrefixI True) ((::) ((::) (S1 * (MetaSel (Just Symbol "linkRel") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe LinkRel))) ((::) (S1 * (MetaSel (Just Symbol "linkType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe LinkType))) (S1 * (MetaSel (Just Symbol "linkHref") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (URIRef Absolute)))))) ((::) (S1 * (MetaSel (Just Symbol "linkTemplate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))) ((::) (S1 * (MetaSel (Just Symbol "linkTitles") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Title])) (S1 * (MetaSel (Just Symbol "linkProperties") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Property]))))))

emptyLink :: Link Source #

data LinkRel Source #

Constructors

LinkRelURI (URIRef Absolute)
LinkRelRegistered Text

Instances

Eq LinkRel Source #
Methods (==) :: LinkRel -> LinkRel -> Bool # (/=) :: LinkRel -> LinkRel -> Bool #
Ord LinkRel Source #
Methods compare :: LinkRel -> LinkRel -> Ordering # (<) :: LinkRel -> LinkRel -> Bool # (<=) :: LinkRel -> LinkRel -> Bool # (>) :: LinkRel -> LinkRel -> Bool # (>=) :: LinkRel -> LinkRel -> Bool # max :: LinkRel -> LinkRel -> LinkRel # min :: LinkRel -> LinkRel -> LinkRel #
Show LinkRel Source #
Methods showsPrec :: Int -> LinkRel -> ShowS # show :: LinkRel -> String # showList :: [LinkRel] -> ShowS #
Generic LinkRel Source #
Associated Types type Rep LinkRel :: * -> * # Methods from :: LinkRel -> Rep LinkRel x # to :: Rep LinkRel x -> LinkRel #
type Rep LinkRel Source #
type Rep LinkRel = D1 * (MetaData "LinkRel" "Data.XRD.Types" "oasis-xrd-1.0-E5i91RPA6iP40fB0vtMXUY" False) ((:+:) * (C1 * (MetaCons "LinkRelURI" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (URIRef Absolute)))) (C1 * (MetaCons "LinkRelRegistered" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))))

linkRelURI :: Text -> Either URIParseError LinkRel Source #

linkRelText :: LinkRel -> Text Source #

newtype LinkType Source #

Constructors

LinkType Text

Instances

Eq LinkType Source #
Methods (==) :: LinkType -> LinkType -> Bool # (/=) :: LinkType -> LinkType -> Bool #
Ord LinkType Source #
Methods compare :: LinkType -> LinkType -> Ordering # (<) :: LinkType -> LinkType -> Bool # (<=) :: LinkType -> LinkType -> Bool # (>) :: LinkType -> LinkType -> Bool # (>=) :: LinkType -> LinkType -> Bool # max :: LinkType -> LinkType -> LinkType # min :: LinkType -> LinkType -> LinkType #
Show LinkType Source #
Methods showsPrec :: Int -> LinkType -> ShowS # show :: LinkType -> String # showList :: [LinkType] -> ShowS #
Generic LinkType Source #
Associated Types type Rep LinkType :: * -> * # Methods from :: LinkType -> Rep LinkType x # to :: Rep LinkType x -> LinkType #
type Rep LinkType Source #
type Rep LinkType = D1 * (MetaData "LinkType" "Data.XRD.Types" "oasis-xrd-1.0-E5i91RPA6iP40fB0vtMXUY" True) (C1 * (MetaCons "LinkType" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

data Title Source #

Constructors

Title (Maybe Text) Text

Instances

Eq Title Source #
Methods (==) :: Title -> Title -> Bool # (/=) :: Title -> Title -> Bool #
Ord Title Source #
Methods compare :: Title -> Title -> Ordering # (<) :: Title -> Title -> Bool # (<=) :: Title -> Title -> Bool # (>) :: Title -> Title -> Bool # (>=) :: Title -> Title -> Bool # max :: Title -> Title -> Title # min :: Title -> Title -> Title #
Show Title Source #
Methods showsPrec :: Int -> Title -> ShowS # show :: Title -> String # showList :: [Title] -> ShowS #
Generic Title Source #
Associated Types type Rep Title :: * -> * # Methods from :: Title -> Rep Title x # to :: Rep Title x -> Title #
type Rep Title Source #
type Rep Title = D1 * (MetaData "Title" "Data.XRD.Types" "oasis-xrd-1.0-E5i91RPA6iP40fB0vtMXUY" False) (C1 * (MetaCons "Title" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe Text))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))))

URI building helper

uri :: Text -> Either URIParseError (URIRef Absolute) Source #

data URIParseError :: * #

Constructors

MalformedScheme SchemaError
MalformedUserInfo
MalformedQuery
MalformedFragment
MalformedHost
MalformedPort
MalformedPath
OtherError String	Catchall for unpredictable errors

Instances

Eq URIParseError
Methods (==) :: URIParseError -> URIParseError -> Bool # (/=) :: URIParseError -> URIParseError -> Bool #
Read URIParseError
Methods readsPrec :: Int -> ReadS URIParseError # readList :: ReadS [URIParseError] # readPrec :: ReadPrec URIParseError # readListPrec :: ReadPrec [URIParseError] #
Show URIParseError
Methods showsPrec :: Int -> URIParseError -> ShowS # show :: URIParseError -> String # showList :: [URIParseError] -> ShowS #
Generic URIParseError
Associated Types type Rep URIParseError :: * -> * # Methods from :: URIParseError -> Rep URIParseError x # to :: Rep URIParseError x -> URIParseError #
type Rep URIParseError
type Rep URIParseError = D1 * (MetaData "URIParseError" "URI.ByteString.Types" "uri-bytestring-0.3.1.1-KSTApW5KrorDDU08vEXaTs" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "MalformedScheme" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SchemaError))) (C1 * (MetaCons "MalformedUserInfo" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "MalformedQuery" PrefixI False) (U1 )) (C1 (MetaCons "MalformedFragment" PrefixI False) (U1 )))) ((:+:) ((:+:) * (C1 * (MetaCons "MalformedHost" PrefixI False) (U1 )) (C1 (MetaCons "MalformedPort" PrefixI False) (U1 ))) ((:+:) (C1 * (MetaCons "MalformedPath" PrefixI False) (U1 )) (C1 (MetaCons "OtherError" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))))))

uriText :: URIRef Absolute -> Text Source #