| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
SAML2.Core.Assertions
Description
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
Constructors
| BaseID | |
Fields
| |
§2.2.3
Constructors
| NameID | |
Fields | |
simpleNameID :: NameIDFormat -> XString -> NameID Source #
type EncryptedNameID = EncryptedElement NameID Source #
type EncryptedID = EncryptedElement Identifier Source #
§2.2.4
data EncryptedElement a Source #
Constructors
| EncryptedElement | |
Fields | |
xpEncryptedElement :: PU (EncryptedElement a) Source #
data PossiblyEncrypted a Source #
Constructors
| NotEncrypted !a | |
| SoEncrypted (EncryptedElement a) |
Instances
| 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 #
Constructors
| AssertionRefID AssertionIDRef | |
| AssertionURIRef AnyURI | §2.3.2 |
| AssertionRef (PossiblyEncrypted Assertion) |
Instances
§2.2.5
newtype AssertionIDRef Source #
§2.3.1
Constructors
| AssertionIDRef | |
Fields
| |
Instances
§2.3.3
Constructors
| Assertion | |
Fields
| |
type EncryptedAssertion = EncryptedElement Assertion Source #
§2.3.4
§2.4.1
Constructors
| Subject | |
Constructors
| 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
§2.7.1
data AuthnContextDecl Source #
Constructors
| AuthnContextDecl Nodes | |
| AuthnContextDeclRef AnyURI |
§2.7.3.1
Constructors
| Attribute | |
Fields
| |
type EncryptedAttribute = EncryptedElement Attribute Source #
§2.7.3.2
data DecisionType Source #
§2.7.4.1
§2.7.4.2
Constructors
| Action | |
Fields | |