Safe Haskell	None
Language	Haskell2010

SAML2.XML

Synopsis

module SAML2.XML.Types
module SAML2.Core.Datatypes
data URI
xpTrimAnyElem :: PU XmlTree
xpTrimElemNS :: Namespace -> String -> PU a -> PU a
xpXmlLang :: PU Language
type IP = String
xpIP :: PU IP
data Identified b a
- = Identified !a
- | Unidentified !b
class Eq b => Identifiable b a | a -> b where
- identifier :: a -> b
- identifiedValues :: [a]
- reidentify :: b -> Identified b a
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
samlToDocFirstChild :: XmlPickler a => a -> XmlTree
samlToXML :: XmlPickler a => a -> ByteString
docToSAML :: XmlPickler a => XmlTree -> Either String a
docToXMLWithoutRoot :: XmlTree -> ByteString
docToXMLWithRoot :: XmlTree -> ByteString
xmlToSAML :: XmlPickler a => ByteString -> Either String a
xmlToDoc :: ByteString -> Maybe XmlTree
xmlToDocE :: ByteString -> Either String XmlTree

Documentation

module SAML2.XML.Types

module SAML2.Core.Datatypes

data URI Source #

Represents a general universal resource identifier using its component parts.

For example, for the URI

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

the components are:

Instances

Instances details

Data URI

Instance details

Defined in Network.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 :: forall r r'. (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 #

Generic URI

Instance details

Defined in Network.URI

Associated Types

type Rep URI

Instance details

Defined in Network.URI

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

Methods

from :: URI -> Rep URI x #

to :: Rep URI x -> URI #

Show URI

Instance details

Defined in Network.URI

Methods

showsPrec :: Int -> URI -> ShowS #

show :: URI -> String #

showList :: [URI] -> ShowS #

NFData URI

Instance details

Defined in Network.URI

Methods

rnf :: URI -> () #

Eq URI

Instance details

Defined in Network.URI

Methods

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

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

Ord URI

Instance details

Defined in Network.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 #

XmlPickler LocalizedURI Source #

Instance details

Defined in SAML2.Metadata.Metadata

Methods

xpickle :: PU LocalizedURI Source #

Identifiable URI Binding Source #

Instance details

Defined in SAML2.Bindings.Identifiers

Methods

identifier :: Binding -> URI Source #

identifiedValues :: [Binding] Source #

reidentify :: URI -> Identified URI Binding Source #

Identifiable URI ActionNamespace Source #

Instance details

Defined in SAML2.Core.Identifiers

Methods

identifier :: ActionNamespace -> URI Source #

identifiedValues :: [ActionNamespace] Source #

reidentify :: URI -> Identified URI ActionNamespace Source #

Identifiable URI AttributeNameFormat Source #

Instance details

Defined in SAML2.Core.Identifiers

Methods

identifier :: AttributeNameFormat -> URI Source #

identifiedValues :: [AttributeNameFormat] Source #

reidentify :: URI -> Identified URI AttributeNameFormat Source #

Identifiable URI Consent Source #

Instance details

Defined in SAML2.Core.Identifiers

Methods

identifier :: Consent -> URI Source #

identifiedValues :: [Consent] Source #

reidentify :: URI -> Identified URI Consent Source #

Identifiable URI NameIDFormat Source #

Instance details

Defined in SAML2.Core.Identifiers

Methods

identifier :: NameIDFormat -> URI Source #

identifiedValues :: [NameIDFormat] Source #

reidentify :: URI -> Identified URI NameIDFormat Source #

Identifiable URI StatusCode1 Source #

Instance details

Defined in SAML2.Core.Protocols

Methods

identifier :: StatusCode1 -> URI Source #

identifiedValues :: [StatusCode1] Source #

reidentify :: URI -> Identified URI StatusCode1 Source #

Identifiable URI StatusCode2 Source #

Instance details

Defined in SAML2.Core.Protocols

Methods

identifier :: StatusCode2 -> URI Source #

identifiedValues :: [StatusCode2] Source #

reidentify :: URI -> Identified URI StatusCode2 Source #

Identifiable URI ConfirmationMethod Source #

Instance details

Defined in SAML2.Profiles.ConfirmationMethod

Methods

identifier :: ConfirmationMethod -> URI Source #

identifiedValues :: [ConfirmationMethod] Source #

reidentify :: URI -> Identified URI ConfirmationMethod Source #

Identifiable URI CanonicalizationAlgorithm Source #

Instance details

Defined in SAML2.XML.Canonical

Methods

identifier :: CanonicalizationAlgorithm -> URI Source #

identifiedValues :: [CanonicalizationAlgorithm] Source #

reidentify :: URI -> Identified URI CanonicalizationAlgorithm Source #

Identifiable URI EncryptionAlgorithm Source #

Instance details

Defined in SAML2.XML.Encryption

Methods

identifier :: EncryptionAlgorithm -> URI Source #

identifiedValues :: [EncryptionAlgorithm] Source #

reidentify :: URI -> Identified URI EncryptionAlgorithm Source #

Identifiable URI DigestAlgorithm Source #

Instance details

Defined in SAML2.XML.Signature.Types

Methods

identifier :: DigestAlgorithm -> URI Source #

identifiedValues :: [DigestAlgorithm] Source #

reidentify :: URI -> Identified URI DigestAlgorithm Source #

Identifiable URI EncodingAlgorithm Source #

Instance details

Defined in SAML2.XML.Signature.Types

Methods

identifier :: EncodingAlgorithm -> URI Source #

identifiedValues :: [EncodingAlgorithm] Source #

reidentify :: URI -> Identified URI EncodingAlgorithm Source #

Identifiable URI MACAlgorithm Source #

Instance details

Defined in SAML2.XML.Signature.Types

Methods

identifier :: MACAlgorithm -> URI Source #

identifiedValues :: [MACAlgorithm] Source #

reidentify :: URI -> Identified URI MACAlgorithm Source #

Identifiable URI SignatureAlgorithm Source #

Instance details

Defined in SAML2.XML.Signature.Types

Methods

identifier :: SignatureAlgorithm -> URI Source #

identifiedValues :: [SignatureAlgorithm] Source #

reidentify :: URI -> Identified URI SignatureAlgorithm Source #

Identifiable URI TransformAlgorithm Source #

Instance details

Defined in SAML2.XML.Signature.Types

Methods

identifier :: TransformAlgorithm -> URI Source #

identifiedValues :: [TransformAlgorithm] Source #

reidentify :: URI -> Identified URI TransformAlgorithm Source #

Lift URI

Instance details

Defined in Network.URI

Methods

lift :: Quote m => URI -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => URI -> Code m URI #

Identifiable URI a => XmlPickler (Identified URI a) Source #

Instance details

Defined in SAML2.XML

Methods

xpickle :: PU (Identified URI a) Source #

type Rep URI

Instance details

Defined in Network.URI

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

xpTrimAnyElem :: PU XmlTree Source #

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

xpXmlLang :: PU Language Source #

type IP = String Source #

xpIP :: PU IP Source #

data Identified b a Source #

Constructors

Identified !a
Unidentified !b

Instances

Instances details

(Show a, Show b) => Show (Identified b a) Source #
Instance details Defined in SAML2.XML Methods showsPrec :: Int -> Identified b a -> ShowS # show :: Identified b a -> String # showList :: [Identified b a] -> ShowS #
Default a => Default (Identified b a) Source #
Instance details Defined in SAML2.XML Methods def :: Identified b a Source #
(Eq a, Eq b) => Eq (Identified b a) Source #
Instance details Defined in SAML2.XML Methods (==) :: Identified b a -> Identified b a -> Bool # (/=) :: Identified b a -> Identified b a -> Bool #
XmlPickler (Identified XString LogoutReason) Source #
Instance details Defined in SAML2.Core.Protocols Methods xpickle :: PU (Identified XString LogoutReason) Source #
Identifiable URI a => XmlPickler (Identified URI a) Source #
Instance details Defined in SAML2.XML Methods xpickle :: PU (Identified URI a) Source #

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

Minimal complete definition

identifier

Methods

identifier :: a -> b Source #

identifiedValues :: [a] Source #

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

reidentify :: b -> Identified b a Source #

Instances

Instances details

Identifiable XString DecisionType Source #
Instance details Defined in SAML2.Core.Assertions Methods identifier :: DecisionType -> XString Source # identifiedValues :: [DecisionType] Source # reidentify :: XString -> Identified XString DecisionType Source #
Identifiable XString AuthnContextComparisonType Source #
Instance details Defined in SAML2.Core.Protocols Methods identifier :: AuthnContextComparisonType -> XString Source # identifiedValues :: [AuthnContextComparisonType] Source # reidentify :: XString -> Identified XString AuthnContextComparisonType Source #
Identifiable XString LogoutReason Source #
Instance details Defined in SAML2.Core.Protocols Methods identifier :: LogoutReason -> XString Source # identifiedValues :: [LogoutReason] Source # reidentify :: XString -> Identified XString LogoutReason Source #
Identifiable XString ContactType Source #
Instance details Defined in SAML2.Metadata.Metadata Methods identifier :: ContactType -> XString Source # identifiedValues :: [ContactType] Source # reidentify :: XString -> Identified XString ContactType Source #
Identifiable XString KeyTypes Source #
Instance details Defined in SAML2.Metadata.Metadata Methods identifier :: KeyTypes -> XString Source # identifiedValues :: [KeyTypes] Source # reidentify :: XString -> Identified XString KeyTypes Source #
Identifiable URI Binding Source #
Instance details Defined in SAML2.Bindings.Identifiers Methods identifier :: Binding -> URI Source # identifiedValues :: [Binding] Source # reidentify :: URI -> Identified URI Binding Source #
Identifiable URI ActionNamespace Source #
Instance details Defined in SAML2.Core.Identifiers Methods identifier :: ActionNamespace -> URI Source # identifiedValues :: [ActionNamespace] Source # reidentify :: URI -> Identified URI ActionNamespace Source #
Identifiable URI AttributeNameFormat Source #
Instance details Defined in SAML2.Core.Identifiers Methods identifier :: AttributeNameFormat -> URI Source # identifiedValues :: [AttributeNameFormat] Source # reidentify :: URI -> Identified URI AttributeNameFormat Source #
Identifiable URI Consent Source #
Instance details Defined in SAML2.Core.Identifiers Methods identifier :: Consent -> URI Source # identifiedValues :: [Consent] Source # reidentify :: URI -> Identified URI Consent Source #
Identifiable URI NameIDFormat Source #
Instance details Defined in SAML2.Core.Identifiers Methods identifier :: NameIDFormat -> URI Source # identifiedValues :: [NameIDFormat] Source # reidentify :: URI -> Identified URI NameIDFormat Source #
Identifiable URI StatusCode1 Source #
Instance details Defined in SAML2.Core.Protocols Methods identifier :: StatusCode1 -> URI Source # identifiedValues :: [StatusCode1] Source # reidentify :: URI -> Identified URI StatusCode1 Source #
Identifiable URI StatusCode2 Source #
Instance details Defined in SAML2.Core.Protocols Methods identifier :: StatusCode2 -> URI Source # identifiedValues :: [StatusCode2] Source # reidentify :: URI -> Identified URI StatusCode2 Source #
Identifiable URI ConfirmationMethod Source #
Instance details Defined in SAML2.Profiles.ConfirmationMethod Methods identifier :: ConfirmationMethod -> URI Source # identifiedValues :: [ConfirmationMethod] Source # reidentify :: URI -> Identified URI ConfirmationMethod Source #
Identifiable URI CanonicalizationAlgorithm Source #
Instance details Defined in SAML2.XML.Canonical Methods identifier :: CanonicalizationAlgorithm -> URI Source # identifiedValues :: [CanonicalizationAlgorithm] Source # reidentify :: URI -> Identified URI CanonicalizationAlgorithm Source #
Identifiable URI EncryptionAlgorithm Source #
Instance details Defined in SAML2.XML.Encryption Methods identifier :: EncryptionAlgorithm -> URI Source # identifiedValues :: [EncryptionAlgorithm] Source # reidentify :: URI -> Identified URI EncryptionAlgorithm Source #
Identifiable URI DigestAlgorithm Source #
Instance details Defined in SAML2.XML.Signature.Types Methods identifier :: DigestAlgorithm -> URI Source # identifiedValues :: [DigestAlgorithm] Source # reidentify :: URI -> Identified URI DigestAlgorithm Source #
Identifiable URI EncodingAlgorithm Source #
Instance details Defined in SAML2.XML.Signature.Types Methods identifier :: EncodingAlgorithm -> URI Source # identifiedValues :: [EncodingAlgorithm] Source # reidentify :: URI -> Identified URI EncodingAlgorithm Source #
Identifiable URI MACAlgorithm Source #
Instance details Defined in SAML2.XML.Signature.Types Methods identifier :: MACAlgorithm -> URI Source # identifiedValues :: [MACAlgorithm] Source # reidentify :: URI -> Identified URI MACAlgorithm Source #
Identifiable URI SignatureAlgorithm Source #
Instance details Defined in SAML2.XML.Signature.Types Methods identifier :: SignatureAlgorithm -> URI Source # identifiedValues :: [SignatureAlgorithm] Source # reidentify :: URI -> Identified URI SignatureAlgorithm Source #
Identifiable URI TransformAlgorithm Source #
Instance details Defined in SAML2.XML.Signature.Types Methods identifier :: TransformAlgorithm -> URI Source # identifiedValues :: [TransformAlgorithm] Source # reidentify :: URI -> Identified URI TransformAlgorithm Source #

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

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

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

type IdentifiedURI = Identified URI Source #

samlToDoc :: XmlPickler a => a -> XmlTree Source #

samlToDocFirstChild :: XmlPickler a => a -> XmlTree Source #

From the input xml forest, take the first child of the first tree.

samlToXML :: XmlPickler a => a -> ByteString Source #

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

docToXMLWithoutRoot :: XmlTree -> ByteString Source #