SAML2.XML

Documentation

module SAML2.XML.Types

module SAML2.Core.Datatypes

data URI :: *

Represents a general universal resource identifier using its component parts.

For example, for the URI

  foo://[e-mail]:42/ghc?query#frag

the components are:

Instances

Eq URI

Methods

(==) :: URI -> URI -> Bool

(/=) :: URI -> URI -> Bool

Data URI

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> URI -> c URI

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c URI

toConstr :: URI -> Constr

dataTypeOf :: URI -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c URI)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c URI)

gmapT :: (forall b. Data b => b -> b) -> URI -> URI

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> URI -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> URI -> r

gmapQ :: (forall d. Data d => d -> u) -> URI -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> URI -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> URI -> m URI

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> URI -> m URI

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> URI -> m URI

Ord URI

Methods

compare :: URI -> URI -> Ordering

(<) :: URI -> URI -> Bool

(<=) :: URI -> URI -> Bool

(>) :: URI -> URI -> Bool

(>=) :: URI -> URI -> Bool

max :: URI -> URI -> URI

min :: URI -> URI -> URI

Show URI

Methods

showsPrec :: Int -> URI -> ShowS

show :: URI -> String

showList :: [URI] -> ShowS

Generic URI

Associated Types

type Rep URI :: * -> *

Methods

from :: URI -> Rep URI x

to :: Rep URI x -> URI

NFData URI

Methods

rnf :: URI -> ()

XmlPickler LocalizedURI

Methods

xpickle :: PU LocalizedURI

Identifiable URI CanonicalizationAlgorithm

Methods

identifier :: CanonicalizationAlgorithm -> URI

identifiedValues :: [CanonicalizationAlgorithm]

reidentify :: URI -> Identified URI CanonicalizationAlgorithm

Identifiable URI TransformAlgorithm

Methods

identifier :: TransformAlgorithm -> URI

identifiedValues :: [TransformAlgorithm]

reidentify :: URI -> Identified URI TransformAlgorithm

Identifiable URI SignatureAlgorithm

Methods

identifier :: SignatureAlgorithm -> URI

identifiedValues :: [SignatureAlgorithm]

reidentify :: URI -> Identified URI SignatureAlgorithm

Identifiable URI MACAlgorithm

Methods

identifier :: MACAlgorithm -> URI

identifiedValues :: [MACAlgorithm]

reidentify :: URI -> Identified URI MACAlgorithm

Identifiable URI DigestAlgorithm

Methods

identifier :: DigestAlgorithm -> URI

identifiedValues :: [DigestAlgorithm]

reidentify :: URI -> Identified URI DigestAlgorithm

Identifiable URI EncodingAlgorithm

Methods

identifier :: EncodingAlgorithm -> URI

identifiedValues :: [EncodingAlgorithm]

reidentify :: URI -> Identified URI EncodingAlgorithm

Identifiable URI EncryptionAlgorithm

Methods

identifier :: EncryptionAlgorithm -> URI

identifiedValues :: [EncryptionAlgorithm]

reidentify :: URI -> Identified URI EncryptionAlgorithm

Identifiable URI ConfirmationMethod

Methods

identifier :: ConfirmationMethod -> URI

identifiedValues :: [ConfirmationMethod]

reidentify :: URI -> Identified URI ConfirmationMethod

Identifiable URI Consent

Methods

identifier :: Consent -> URI

identifiedValues :: [Consent]

reidentify :: URI -> Identified URI Consent

Identifiable URI NameIDFormat

Methods

identifier :: NameIDFormat -> URI

identifiedValues :: [NameIDFormat]

reidentify :: URI -> Identified URI NameIDFormat

Identifiable URI AttributeNameFormat

Methods

identifier :: AttributeNameFormat -> URI

identifiedValues :: [AttributeNameFormat]

reidentify :: URI -> Identified URI AttributeNameFormat

Identifiable URI ActionNamespace

Methods

identifier :: ActionNamespace -> URI

identifiedValues :: [ActionNamespace]

reidentify :: URI -> Identified URI ActionNamespace

Identifiable URI Binding

Methods

identifier :: Binding -> URI

identifiedValues :: [Binding]

reidentify :: URI -> Identified URI Binding

Identifiable URI StatusCode2

Methods

identifier :: StatusCode2 -> URI

identifiedValues :: [StatusCode2]

reidentify :: URI -> Identified URI StatusCode2

Identifiable URI StatusCode1

Methods

identifier :: StatusCode1 -> URI

identifiedValues :: [StatusCode1]

reidentify :: URI -> Identified URI StatusCode1

Identifiable URI a => XmlPickler (Identified URI a)

Methods

xpickle :: PU (Identified URI a)

type Rep URI

type Rep URI = D1 * (MetaData "URI" "Network.URI" "network-uri-2.6.1.0-RmiO7Es4EVIxdXQfHHaUt" False) (C1 * (MetaCons "URI" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "uriScheme") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)) (S1 * (MetaSel (Just Symbol "uriAuthority") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe URIAuth)))) ((:*:) * (S1 * (MetaSel (Just Symbol "uriPath") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)) ((:*:) * (S1 * (MetaSel (Just Symbol "uriQuery") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)) (S1 * (MetaSel (Just Symbol "uriFragment") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))))))

xpTrimAnyElem :: PU XmlTree

xpTrimElemNS :: Namespace -> String -> PU a -> PU a

xpXmlLang :: PU Language

type IP = String

xpIP :: PU IP

data Identified b a

Constructors

Identified !a

Unidentified !b

Instances

(Eq b, Eq a) => Eq (Identified b a)

Methods

(==) :: Identified b a -> Identified b a -> Bool

(/=) :: Identified b a -> Identified b a -> Bool

(Show b, Show a) => Show (Identified b a)

Methods

showsPrec :: Int -> Identified b a -> ShowS

show :: Identified b a -> String

showList :: [Identified b a] -> ShowS

Default a => Default (Identified b a)

Methods

def :: Identified b a

Identifiable URI a => XmlPickler (Identified URI a)

Methods

xpickle :: PU (Identified URI a)

XmlPickler (Identified XString LogoutReason)

Methods

xpickle :: PU (Identified XString LogoutReason)

class Eq b => Identifiable b a | a -> b where

Minimal complete definition

identifier

Methods

identifier :: a -> b

identifiedValues :: [a]

identifiedValues :: (Bounded a, Enum a) => [a]

reidentify :: b -> Identified b a

Instances

Identifiable URI CanonicalizationAlgorithm

Methods

identifier :: CanonicalizationAlgorithm -> URI

identifiedValues :: [CanonicalizationAlgorithm]

reidentify :: URI -> Identified URI CanonicalizationAlgorithm

Identifiable URI TransformAlgorithm

Methods

identifier :: TransformAlgorithm -> URI

identifiedValues :: [TransformAlgorithm]

reidentify :: URI -> Identified URI TransformAlgorithm

Identifiable URI SignatureAlgorithm

Methods

identifier :: SignatureAlgorithm -> URI

identifiedValues :: [SignatureAlgorithm]

reidentify :: URI -> Identified URI SignatureAlgorithm

Identifiable URI MACAlgorithm

Methods

identifier :: MACAlgorithm -> URI

identifiedValues :: [MACAlgorithm]

reidentify :: URI -> Identified URI MACAlgorithm

Identifiable URI DigestAlgorithm

Methods

identifier :: DigestAlgorithm -> URI

identifiedValues :: [DigestAlgorithm]

reidentify :: URI -> Identified URI DigestAlgorithm

Identifiable URI EncodingAlgorithm

Methods

identifier :: EncodingAlgorithm -> URI

identifiedValues :: [EncodingAlgorithm]

reidentify :: URI -> Identified URI EncodingAlgorithm

Identifiable URI EncryptionAlgorithm

Methods

identifier :: EncryptionAlgorithm -> URI

identifiedValues :: [EncryptionAlgorithm]

reidentify :: URI -> Identified URI EncryptionAlgorithm

Identifiable URI ConfirmationMethod

Methods

identifier :: ConfirmationMethod -> URI

identifiedValues :: [ConfirmationMethod]

reidentify :: URI -> Identified URI ConfirmationMethod

Identifiable URI Consent

Methods

identifier :: Consent -> URI

identifiedValues :: [Consent]

reidentify :: URI -> Identified URI Consent

Identifiable URI NameIDFormat

Methods

identifier :: NameIDFormat -> URI

identifiedValues :: [NameIDFormat]

reidentify :: URI -> Identified URI NameIDFormat

Identifiable URI AttributeNameFormat

Methods

identifier :: AttributeNameFormat -> URI

identifiedValues :: [AttributeNameFormat]

reidentify :: URI -> Identified URI AttributeNameFormat

Identifiable URI ActionNamespace

Methods

identifier :: ActionNamespace -> URI

identifiedValues :: [ActionNamespace]

reidentify :: URI -> Identified URI ActionNamespace

Identifiable URI Binding

Methods

identifier :: Binding -> URI

identifiedValues :: [Binding]

reidentify :: URI -> Identified URI Binding

Identifiable URI StatusCode2

Methods

identifier :: StatusCode2 -> URI

identifiedValues :: [StatusCode2]

reidentify :: URI -> Identified URI StatusCode2

Identifiable URI StatusCode1

Methods

identifier :: StatusCode1 -> URI

identifiedValues :: [StatusCode1]

reidentify :: URI -> Identified URI StatusCode1

Identifiable XString DecisionType

Methods

identifier :: DecisionType -> XString

identifiedValues :: [DecisionType]

reidentify :: XString -> Identified XString DecisionType

Identifiable XString KeyTypes

Methods

identifier :: KeyTypes -> XString

identifiedValues :: [KeyTypes]

reidentify :: XString -> Identified XString KeyTypes

Identifiable XString ContactType

Methods

identifier :: ContactType -> XString

identifiedValues :: [ContactType]

reidentify :: XString -> Identified XString ContactType

Identifiable XString LogoutReason

Methods

identifier :: LogoutReason -> XString

identifiedValues :: [LogoutReason]

reidentify :: XString -> Identified XString LogoutReason

Identifiable XString AuthnContextComparisonType

Methods

identifier :: AuthnContextComparisonType -> XString

identifiedValues :: [AuthnContextComparisonType]

reidentify :: XString -> Identified XString AuthnContextComparisonType

unidentify :: Identifiable b a => Identified b a -> b

xpIdentified :: Identifiable b a => PU b -> PU (Identified b a)

xpIdentifier :: Identifiable b a => PU b -> String -> PU a

type IdentifiedURI = Identified URI

samlToDoc :: XmlPickler a => a -> XmlTree

samlToXML :: XmlPickler a => a -> ByteString

docToSAML :: XmlPickler a => XmlTree -> Either String a

docToXML :: XmlTree -> ByteString

xmlToSAML :: XmlPickler a => ByteString -> Either String a

xmlToDoc :: ByteString -> Maybe XmlTree