Safe Haskell	Safe-Inferred
Language	Haskell2010

SAML2.Core.Assertions

Description

SAML Assertions

saml-core-2.0-os §2

Synopsis

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 {
- nameBaseID :: BaseID XString
- nameIDFormat :: IdentifiedURI NameIDFormat
- nameSPProvidedID :: Maybe XString
}
simpleNameID :: NameIDFormat -> XString -> NameID
xpNameIDDefaulting :: IdentifiedURI NameIDFormat -> PU NameID
xpNameID :: PU NameID
type EncryptedNameID = EncryptedElement NameID
data Identifier
- = IdentifierName NameID
- | IdentifierBase (BaseID Nodes)
type EncryptedID = EncryptedElement Identifier
data EncryptedElement a = EncryptedElement {
- encryptedData :: EncryptedData
- encryptedKey :: [EncryptedKey]
}
xpEncryptedElement :: PU (EncryptedElement a)
data PossiblyEncrypted a
- = NotEncrypted !a
- | SoEncrypted (EncryptedElement a)
xpPossiblyEncrypted :: (XmlPickler a, XmlPickler (EncryptedElement a)) => PU (PossiblyEncrypted a)
data AssertionRef
- = AssertionRefID AssertionIDRef
- | AssertionURIRef AnyURI
- | AssertionRef (PossiblyEncrypted Assertion)
newtype Issuer = Issuer {
- issuer :: NameID
}
newtype AssertionIDRef = AssertionIDRef {
- assertionIDRef :: ID
}
data Assertion = Assertion {
- assertionVersion :: SAMLVersion
- assertionID :: ID
- assertionIssueInstant :: DateTime
- assertionIssuer :: Issuer
- assertionSignature :: Maybe Signature
- assertionSubject :: Subject
- assertionConditions :: Maybe Conditions
- assertionAdvice :: Maybe Advice
- assertionStatement :: [Statement]
}
type EncryptedAssertion = EncryptedElement Assertion
data Subject = Subject {
- subjectIdentifier :: Maybe (PossiblyEncrypted Identifier)
- subjectConfirmation :: [SubjectConfirmation]
}
noSubject :: Subject
data SubjectConfirmation = SubjectConfirmation {
- subjectConfirmationMethod :: IdentifiedURI ConfirmationMethod
- subjectConfirmationIdentifier :: Maybe (PossiblyEncrypted Identifier)
- subjectConfirmationData :: Maybe SubjectConfirmationData
}
data SubjectConfirmationData = SubjectConfirmationData {
- subjectConfirmationNotBefore, subjectConfirmationNotOnOrAfter :: Maybe DateTime
- subjectConfirmationRecipient :: Maybe AnyURI
- subjectConfirmationInResponseTo :: Maybe ID
- subjectConfirmationAddress :: Maybe IP
- subjectConfirmationKeyInfo :: [KeyInfo]
- subjectConfirmationXML :: Nodes
}
data Conditions = Conditions {
- conditionsNotBefore, conditionsNotOnOrAfter :: Maybe DateTime
- conditions :: [Condition]
}
data Condition
- = Condition Node
- | AudienceRestriction (List1 Audience)
- | OneTimeUse
- | ProxyRestriction {
  - proxyRestrictionCount :: Maybe NonNegativeInteger
  - proxyRestrictionAudience :: [Audience]
  }
newtype Audience = Audience {
- audience :: AnyURI
}
type Advice = [AdviceElement]
data AdviceElement
- = AdviceAssertion AssertionRef
- | Advice Node
data Statement
- = StatementAuthn AuthnStatement
- | StatementAttribute AttributeStatement
- | StatementAuthzDecision AuthzDecisionStatement
- | Statement Node
data AuthnStatement = AuthnStatement {
- authnStatementInstant :: DateTime
- authnStatementSessionIndex :: Maybe XString
- authnStatementSessionNotOnOrAfter :: Maybe DateTime
- authnStatementSubjectLocality :: Maybe SubjectLocality
- authnStatementContext :: AuthnContext
}
data SubjectLocality = SubjectLocality {
- subjectLocalityAddress :: Maybe IP
- subjectLocalityDNSName :: Maybe XString
}
data AuthnContext = AuthnContext {
- authnContextClassRef :: Maybe AnyURI
- authnContextDecl :: Maybe AuthnContextDecl
- authnContextAuthenticatingAuthority :: [AnyURI]
}
data AuthnContextDecl
- = AuthnContextDecl Nodes
- | AuthnContextDeclRef AnyURI
newtype AttributeStatement = AttributeStatement {
- attributeStatement :: List1 (PossiblyEncrypted Attribute)
}
data Attribute = Attribute {
- attributeName :: XString
- attributeNameFormat :: IdentifiedURI AttributeNameFormat
- attributeFriendlyName :: Maybe XString
- attributeAttrs :: Nodes
- attributeValues :: [Nodes]
}
xpAttributeType :: PU Attribute
type EncryptedAttribute = EncryptedElement Attribute
data AuthzDecisionStatement = AuthzDecisionStatement {
- authzDecisionStatementResource :: AnyURI
- authzDecisionStatementDecision :: DecisionType
- authzDecisionStatementAction :: List1 Action
- authzDecisionStatementEvidence :: Evidence
}
data DecisionType
- = DecisionTypePermit
- | DecisionTypeDeny
- | DecisionTypeIndeterminate
data Action = Action {
- actionNamespace :: IdentifiedURI ActionNamespace
- action :: XString
}
newtype Evidence = Evidence {
- evidence :: [AssertionRef]
}

Documentation

ns :: Namespace Source #

xpElem :: String -> PU a -> PU a Source #

data BaseID id Source #

§2.2.1

Constructors

BaseID
Fields baseNameQualifier :: Maybe XString baseSPNameQualifier :: Maybe XString baseID :: !id

Instances

Instances details

Show id => Show (BaseID id) Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> BaseID id -> ShowS # show :: BaseID id -> String # showList :: [BaseID id] -> ShowS #
Eq id => Eq (BaseID id) Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: BaseID id -> BaseID id -> Bool # (/=) :: BaseID id -> BaseID id -> Bool #

xpBaseID :: PU id -> PU (BaseID id) Source #

data NameID Source #

§2.2.3

Constructors

NameID
Fields nameBaseID :: BaseID XString nameIDFormat :: IdentifiedURI NameIDFormat nameSPProvidedID :: Maybe XString

Instances

Instances details

Show NameID Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> NameID -> ShowS # show :: NameID -> String # showList :: [NameID] -> ShowS #
Eq NameID Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: NameID -> NameID -> Bool # (/=) :: NameID -> NameID -> Bool #
XmlPickler EncryptedNameID Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU EncryptedNameID Source #
XmlPickler NameID Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU NameID Source #

simpleNameID :: NameIDFormat -> XString -> NameID Source #

xpNameIDDefaulting :: IdentifiedURI NameIDFormat -> PU NameID Source #

xpNameID :: PU NameID Source #

type EncryptedNameID = EncryptedElement NameID Source #

data Identifier Source #

Constructors

IdentifierName NameID
IdentifierBase (BaseID Nodes)

Instances

Instances details

Show Identifier Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> Identifier -> ShowS # show :: Identifier -> String # showList :: [Identifier] -> ShowS #
Eq Identifier Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: Identifier -> Identifier -> Bool # (/=) :: Identifier -> Identifier -> Bool #
XmlPickler EncryptedID Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU EncryptedID Source #
XmlPickler Identifier Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU Identifier Source #

type EncryptedID = EncryptedElement Identifier Source #

§2.2.4

data EncryptedElement a Source #

Constructors

EncryptedElement
Fields encryptedData :: EncryptedData encryptedKey :: [EncryptedKey]

Instances

Instances details

XmlPickler EncryptedAssertion Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU EncryptedAssertion Source #
XmlPickler EncryptedAttribute Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU EncryptedAttribute Source #
XmlPickler EncryptedID Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU EncryptedID Source #
XmlPickler EncryptedNameID Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU EncryptedNameID Source #
XmlPickler NewEncryptedID Source #
Instance details Defined in SAML2.Core.Protocols Methods xpickle :: PU NewEncryptedID Source #
Show (EncryptedElement a) Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> EncryptedElement a -> ShowS # show :: EncryptedElement a -> String # showList :: [EncryptedElement a] -> ShowS #
Eq (EncryptedElement a) Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: EncryptedElement a -> EncryptedElement a -> Bool # (/=) :: EncryptedElement a -> EncryptedElement a -> Bool #

xpEncryptedElement :: PU (EncryptedElement a) Source #

data PossiblyEncrypted a Source #

Constructors

NotEncrypted !a
SoEncrypted (EncryptedElement a)

Instances

Instances details

Show a => Show (PossiblyEncrypted a) Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> PossiblyEncrypted a -> ShowS # show :: PossiblyEncrypted a -> String # showList :: [PossiblyEncrypted a] -> ShowS #
Eq a => Eq (PossiblyEncrypted a) Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: PossiblyEncrypted a -> PossiblyEncrypted a -> Bool # (/=) :: PossiblyEncrypted a -> PossiblyEncrypted a -> Bool #

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

Instances details

Show AssertionRef Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> AssertionRef -> ShowS # show :: AssertionRef -> String # showList :: [AssertionRef] -> ShowS #
Eq AssertionRef Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: AssertionRef -> AssertionRef -> Bool # (/=) :: AssertionRef -> AssertionRef -> Bool #
XmlPickler AssertionRef Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU AssertionRef Source #

newtype Issuer Source #

§2.2.5

Constructors

Issuer
Fields issuer :: NameID

Instances

Instances details

Show Issuer Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> Issuer -> ShowS # show :: Issuer -> String # showList :: [Issuer] -> ShowS #
Eq Issuer Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: Issuer -> Issuer -> Bool # (/=) :: Issuer -> Issuer -> Bool #
XmlPickler Issuer Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU Issuer Source #

newtype AssertionIDRef Source #

§2.3.1

Constructors

AssertionIDRef
Fields assertionIDRef :: ID

Instances

Instances details

Show AssertionIDRef Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> AssertionIDRef -> ShowS # show :: AssertionIDRef -> String # showList :: [AssertionIDRef] -> ShowS #
Eq AssertionIDRef Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: AssertionIDRef -> AssertionIDRef -> Bool # (/=) :: AssertionIDRef -> AssertionIDRef -> Bool #
XmlPickler AssertionIDRef Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU AssertionIDRef Source #

data Assertion Source #

§2.3.3

Constructors

Assertion
Fields assertionVersion :: SAMLVersion assertionID :: ID assertionIssueInstant :: DateTime assertionIssuer :: Issuer assertionSignature :: Maybe Signature assertionSubject :: Subject use `noSubject` to omit assertionConditions :: Maybe Conditions assertionAdvice :: Maybe Advice assertionStatement :: [Statement]

Instances

Instances details

Show Assertion Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> Assertion -> ShowS # show :: Assertion -> String # showList :: [Assertion] -> ShowS #
Eq Assertion Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: Assertion -> Assertion -> Bool # (/=) :: Assertion -> Assertion -> Bool #
Signable Assertion Source #
Instance details Defined in SAML2.Core.Assertions Methods signature' :: Lens' Assertion (Maybe Signature) Source # signedID :: Assertion -> ID Source #
XmlPickler Assertion Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU Assertion Source #
XmlPickler EncryptedAssertion Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU EncryptedAssertion Source #

type EncryptedAssertion = EncryptedElement Assertion Source #

§2.3.4

data Subject Source #

§2.4.1

Constructors

Subject
Fields subjectIdentifier :: Maybe (PossiblyEncrypted Identifier) subjectConfirmation :: [SubjectConfirmation]

Instances

Instances details

Show Subject Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> Subject -> ShowS # show :: Subject -> String # showList :: [Subject] -> ShowS #
Eq Subject Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: Subject -> Subject -> Bool # (/=) :: Subject -> Subject -> Bool #
XmlPickler Subject Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU Subject Source #

noSubject :: Subject Source #

data SubjectConfirmation Source #

§2.4.1.1

Constructors

SubjectConfirmation
Fields subjectConfirmationMethod :: IdentifiedURI ConfirmationMethod subjectConfirmationIdentifier :: Maybe (PossiblyEncrypted Identifier) subjectConfirmationData :: Maybe SubjectConfirmationData

Instances

Instances details

Show SubjectConfirmation Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> SubjectConfirmation -> ShowS # show :: SubjectConfirmation -> String # showList :: [SubjectConfirmation] -> ShowS #
Eq SubjectConfirmation Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: SubjectConfirmation -> SubjectConfirmation -> Bool # (/=) :: SubjectConfirmation -> SubjectConfirmation -> Bool #
XmlPickler SubjectConfirmation Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU SubjectConfirmation Source #

data SubjectConfirmationData Source #

§2.4.1.2

Constructors

SubjectConfirmationData
Fields subjectConfirmationNotBefore, subjectConfirmationNotOnOrAfter :: Maybe DateTime subjectConfirmationRecipient :: Maybe AnyURI subjectConfirmationInResponseTo :: Maybe ID subjectConfirmationAddress :: Maybe IP subjectConfirmationKeyInfo :: [KeyInfo] subjectConfirmationXML :: Nodes anything

Instances

Instances details

Show SubjectConfirmationData Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> SubjectConfirmationData -> ShowS # show :: SubjectConfirmationData -> String # showList :: [SubjectConfirmationData] -> ShowS #
Eq SubjectConfirmationData Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: SubjectConfirmationData -> SubjectConfirmationData -> Bool # (/=) :: SubjectConfirmationData -> SubjectConfirmationData -> Bool #
XmlPickler SubjectConfirmationData Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU SubjectConfirmationData Source #

data Conditions Source #

§2.5.1

Constructors

Conditions
Fields conditionsNotBefore, conditionsNotOnOrAfter :: Maybe DateTime conditions :: [Condition]

Instances

Instances details

Show Conditions Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> Conditions -> ShowS # show :: Conditions -> String # showList :: [Conditions] -> ShowS #
Eq Conditions Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: Conditions -> Conditions -> Bool # (/=) :: Conditions -> Conditions -> Bool #
XmlPickler Conditions Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU Conditions Source #

data Condition Source #

Constructors

Condition Node	§2.5.1.3
AudienceRestriction (List1 Audience)	§2.5.1.4
OneTimeUse	§2.5.1.5
ProxyRestriction	§2.5.1.6
Fields proxyRestrictionCount :: Maybe NonNegativeInteger proxyRestrictionAudience :: [Audience]

Instances

Instances details

Show Condition Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> Condition -> ShowS # show :: Condition -> String # showList :: [Condition] -> ShowS #
Eq Condition Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: Condition -> Condition -> Bool # (/=) :: Condition -> Condition -> Bool #
XmlPickler Condition Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU Condition Source #

newtype Audience Source #

§2.5.1.4

Constructors

Audience
Fields audience :: AnyURI

Instances

Instances details

Show Audience Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> Audience -> ShowS # show :: Audience -> String # showList :: [Audience] -> ShowS #
Eq Audience Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: Audience -> Audience -> Bool # (/=) :: Audience -> Audience -> Bool #
XmlPickler Audience Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU Audience Source #

type Advice = [AdviceElement] Source #

§2.6.1

data AdviceElement Source #

Constructors

AdviceAssertion AssertionRef
Advice Node

Instances

Instances details

Show AdviceElement Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> AdviceElement -> ShowS # show :: AdviceElement -> String # showList :: [AdviceElement] -> ShowS #
Eq AdviceElement Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: AdviceElement -> AdviceElement -> Bool # (/=) :: AdviceElement -> AdviceElement -> Bool #
XmlPickler AdviceElement Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU AdviceElement Source #

data Statement Source #

§2.7.1

Constructors

StatementAuthn AuthnStatement
StatementAttribute AttributeStatement
StatementAuthzDecision AuthzDecisionStatement
Statement Node

Instances

Instances details

Show Statement Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String # showList :: [Statement] -> ShowS #
Eq Statement Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: Statement -> Statement -> Bool # (/=) :: Statement -> Statement -> Bool #
XmlPickler Statement Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU Statement Source #

data AuthnStatement Source #

§2.7.2

Constructors

AuthnStatement
Fields authnStatementInstant :: DateTime authnStatementSessionIndex :: Maybe XString authnStatementSessionNotOnOrAfter :: Maybe DateTime authnStatementSubjectLocality :: Maybe SubjectLocality authnStatementContext :: AuthnContext

Instances

Instances details

Show AuthnStatement Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> AuthnStatement -> ShowS # show :: AuthnStatement -> String # showList :: [AuthnStatement] -> ShowS #
Eq AuthnStatement Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: AuthnStatement -> AuthnStatement -> Bool # (/=) :: AuthnStatement -> AuthnStatement -> Bool #
XmlPickler AuthnStatement Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU AuthnStatement Source #

data SubjectLocality Source #

§2.7.2.1

Constructors

SubjectLocality
Fields subjectLocalityAddress :: Maybe IP subjectLocalityDNSName :: Maybe XString

Instances

Instances details

Show SubjectLocality Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> SubjectLocality -> ShowS # show :: SubjectLocality -> String # showList :: [SubjectLocality] -> ShowS #
Eq SubjectLocality Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: SubjectLocality -> SubjectLocality -> Bool # (/=) :: SubjectLocality -> SubjectLocality -> Bool #
XmlPickler SubjectLocality Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU SubjectLocality Source #

data AuthnContext Source #

§2.7.2.2

Constructors

AuthnContext
Fields authnContextClassRef :: Maybe AnyURI authnContextDecl :: Maybe AuthnContextDecl authnContextAuthenticatingAuthority :: [AnyURI]

Instances

Instances details

Show AuthnContext Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> AuthnContext -> ShowS # show :: AuthnContext -> String # showList :: [AuthnContext] -> ShowS #
Eq AuthnContext Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: AuthnContext -> AuthnContext -> Bool # (/=) :: AuthnContext -> AuthnContext -> Bool #
XmlPickler AuthnContext Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU AuthnContext Source #

data AuthnContextDecl Source #

Constructors

AuthnContextDecl Nodes
AuthnContextDeclRef AnyURI

Instances

Instances details

Show AuthnContextDecl Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> AuthnContextDecl -> ShowS # show :: AuthnContextDecl -> String # showList :: [AuthnContextDecl] -> ShowS #
Eq AuthnContextDecl Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: AuthnContextDecl -> AuthnContextDecl -> Bool # (/=) :: AuthnContextDecl -> AuthnContextDecl -> Bool #
XmlPickler AuthnContextDecl Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU AuthnContextDecl Source #

newtype AttributeStatement Source #

§2.7.3

Constructors

AttributeStatement
Fields attributeStatement :: List1 (PossiblyEncrypted Attribute)

Instances

Instances details

Show AttributeStatement Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> AttributeStatement -> ShowS # show :: AttributeStatement -> String # showList :: [AttributeStatement] -> ShowS #
Eq AttributeStatement Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: AttributeStatement -> AttributeStatement -> Bool # (/=) :: AttributeStatement -> AttributeStatement -> Bool #
XmlPickler AttributeStatement Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU AttributeStatement Source #

data Attribute Source #

§2.7.3.1

Constructors

Attribute
Fields attributeName :: XString attributeNameFormat :: IdentifiedURI AttributeNameFormat attributeFriendlyName :: Maybe XString attributeAttrs :: Nodes attributeValues :: [Nodes] §2.7.3.1.1

Instances

Instances details

Show Attribute Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> Attribute -> ShowS # show :: Attribute -> String # showList :: [Attribute] -> ShowS #
Eq Attribute Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: Attribute -> Attribute -> Bool # (/=) :: Attribute -> Attribute -> Bool #
XmlPickler Attribute Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU Attribute Source #
XmlPickler EncryptedAttribute Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU EncryptedAttribute Source #

xpAttributeType :: PU Attribute Source #

type EncryptedAttribute = EncryptedElement Attribute Source #

§2.7.3.2

data AuthzDecisionStatement Source #

§2.7.4

Constructors

AuthzDecisionStatement
Fields authzDecisionStatementResource :: AnyURI authzDecisionStatementDecision :: DecisionType authzDecisionStatementAction :: List1 Action authzDecisionStatementEvidence :: Evidence

Instances

Instances details

Show AuthzDecisionStatement Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> AuthzDecisionStatement -> ShowS # show :: AuthzDecisionStatement -> String # showList :: [AuthzDecisionStatement] -> ShowS #
Eq AuthzDecisionStatement Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: AuthzDecisionStatement -> AuthzDecisionStatement -> Bool # (/=) :: AuthzDecisionStatement -> AuthzDecisionStatement -> Bool #
XmlPickler AuthzDecisionStatement Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU AuthzDecisionStatement Source #

data DecisionType Source #

§2.7.4.1

Constructors

DecisionTypePermit
DecisionTypeDeny
DecisionTypeIndeterminate

Instances

Instances details

Bounded DecisionType Source #
Instance details Defined in SAML2.Core.Assertions Methods minBound :: DecisionType # maxBound :: DecisionType #
Enum DecisionType Source #
Instance details Defined in SAML2.Core.Assertions Methods succ :: DecisionType -> DecisionType # pred :: DecisionType -> DecisionType # toEnum :: Int -> DecisionType # fromEnum :: DecisionType -> Int # enumFrom :: DecisionType -> [DecisionType] # enumFromThen :: DecisionType -> DecisionType -> [DecisionType] # enumFromTo :: DecisionType -> DecisionType -> [DecisionType] # enumFromThenTo :: DecisionType -> DecisionType -> DecisionType -> [DecisionType] #
Show DecisionType Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> DecisionType -> ShowS # show :: DecisionType -> String # showList :: [DecisionType] -> ShowS #
Eq DecisionType Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: DecisionType -> DecisionType -> Bool # (/=) :: DecisionType -> DecisionType -> Bool #
XmlPickler DecisionType Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU DecisionType Source #
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 #

data Action Source #

§2.7.4.2

Constructors

Action
Fields actionNamespace :: IdentifiedURI ActionNamespace action :: XString

Instances

Instances details

Show Action Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> Action -> ShowS # show :: Action -> String # showList :: [Action] -> ShowS #
Eq Action Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: Action -> Action -> Bool # (/=) :: Action -> Action -> Bool #
XmlPickler Action Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU Action Source #

newtype Evidence Source #

§2.7.4.3

Constructors

Evidence
Fields evidence :: [AssertionRef]

Instances

Instances details

Monoid Evidence Source #
Instance details Defined in SAML2.Core.Assertions Methods mempty :: Evidence # mappend :: Evidence -> Evidence -> Evidence # mconcat :: [Evidence] -> Evidence #
Semigroup Evidence Source #
Instance details Defined in SAML2.Core.Assertions Methods (<>) :: Evidence -> Evidence -> Evidence # sconcat :: NonEmpty Evidence -> Evidence # stimes :: Integral b => b -> Evidence -> Evidence #
Show Evidence Source #
Instance details Defined in SAML2.Core.Assertions Methods showsPrec :: Int -> Evidence -> ShowS # show :: Evidence -> String # showList :: [Evidence] -> ShowS #
Eq Evidence Source #
Instance details Defined in SAML2.Core.Assertions Methods (==) :: Evidence -> Evidence -> Bool # (/=) :: Evidence -> Evidence -> Bool #
XmlPickler Evidence Source #
Instance details Defined in SAML2.Core.Assertions Methods xpickle :: PU Evidence Source #