Safe Haskell | None |
---|---|
Language | Haskell2010 |
SAML Assertions
- ns :: Namespace
- xpElem :: String -> PU a -> PU a
- data BaseID id = BaseID {
- baseNameQualifier :: Maybe XString
- baseSPNameQualifier :: Maybe XString
- baseID :: !id
- xpBaseID :: PU id -> PU (BaseID id)
- data NameID = NameID {}
- simpleNameID :: NameIDFormat -> XString -> NameID
- xpNameIDDefaulting :: IdentifiedURI NameIDFormat -> PU NameID
- xpNameID :: PU NameID
- type EncryptedNameID = EncryptedElement NameID
- data Identifier
- type EncryptedID = EncryptedElement Identifier
- data EncryptedElement a = EncryptedElement {}
- xpEncryptedElement :: PU (EncryptedElement a)
- data PossiblyEncrypted a
- = NotEncrypted !a
- | SoEncrypted (EncryptedElement a)
- xpPossiblyEncrypted :: (XmlPickler a, XmlPickler (EncryptedElement a)) => PU (PossiblyEncrypted a)
- data AssertionRef
- newtype Issuer = Issuer {}
- newtype AssertionIDRef = AssertionIDRef {
- assertionIDRef :: ID
- data Assertion = Assertion {}
- type EncryptedAssertion = EncryptedElement Assertion
- data Subject = Subject {}
- noSubject :: Subject
- data SubjectConfirmation = SubjectConfirmation {}
- data SubjectConfirmationData = SubjectConfirmationData {}
- data Conditions = Conditions {}
- data Condition
- newtype Audience = Audience {}
- type Advice = [AdviceElement]
- data AdviceElement
- data Statement
- data AuthnStatement = AuthnStatement {}
- data SubjectLocality = SubjectLocality {}
- data AuthnContext = AuthnContext {}
- data AuthnContextDecl
- newtype AttributeStatement = AttributeStatement {}
- data Attribute = Attribute {}
- xpAttributeType :: PU Attribute
- type EncryptedAttribute = EncryptedElement Attribute
- data AuthzDecisionStatement = AuthzDecisionStatement {}
- data DecisionType
- data Action = Action {}
- newtype Evidence = Evidence {
- evidence :: [AssertionRef]
Documentation
§2.2.1
BaseID | |
|
§2.2.3
simpleNameID :: NameIDFormat -> XString -> NameID Source #
type EncryptedNameID = EncryptedElement NameID Source #
data Identifier Source #
type EncryptedID = EncryptedElement Identifier Source #
§2.2.4
data EncryptedElement a Source #
xpEncryptedElement :: PU (EncryptedElement a) Source #
data PossiblyEncrypted a Source #
Eq a => Eq (PossiblyEncrypted a) Source # | |
Show a => Show (PossiblyEncrypted a) Source # | |
xpPossiblyEncrypted :: (XmlPickler a, XmlPickler (EncryptedElement a)) => PU (PossiblyEncrypted a) Source #
data AssertionRef Source #
§2.2.5
newtype AssertionIDRef Source #
§2.3.1
§2.3.3
type EncryptedAssertion = EncryptedElement Assertion Source #
§2.3.4
§2.4.1
data Conditions Source #
§2.5.1
Condition Node | §2.5.1.3 |
AudienceRestriction (List1 Audience) | §2.5.1.4 |
OneTimeUse | §2.5.1.5 |
ProxyRestriction | §2.5.1.6 |
§2.5.1.4
type Advice = [AdviceElement] Source #
§2.6.1
data AdviceElement Source #
§2.7.1
data SubjectLocality Source #
§2.7.2.1
data AuthnContextDecl Source #
newtype AttributeStatement Source #
§2.7.3
§2.7.3.1
Attribute | |
|
type EncryptedAttribute = EncryptedElement Attribute Source #
§2.7.3.2
data DecisionType Source #
§2.7.4.1
§2.7.4.2