Safe Haskell | None |
---|---|
Language | Haskell2010 |
Metadata for SAML V2.0
Synopsis
- ns :: Namespace
- xpElem :: String -> PU a -> PU a
- type EntityID = AnyURI
- xpEntityID :: PU EntityID
- data Endpoint = Endpoint {}
- data IndexedEndpoint = IndexedEndpoint {}
- data Localized a = Localized {
- localizedLang :: Language
- localized :: a
- xpLocalized :: PU a -> PU (Localized a)
- type LocalizedName = Localized String
- type LocalizedURI = Localized AnyURI
- data Metadata
- = EntityDescriptor {
- entityID :: EntityID
- metadataID :: Maybe ID
- metadataValidUntil :: Maybe DateTime
- metadataCacheDuration :: Maybe Duration
- entityAttrs :: Nodes
- metadataSignature :: Maybe Signature
- metadataExtensions :: Extensions
- entityDescriptors :: Descriptors
- entityOrganization :: Maybe Organization
- entityContactPerson :: [Contact]
- entityAditionalMetadataLocation :: [AdditionalMetadataLocation]
- | EntitiesDescriptor { }
- = EntityDescriptor {
- newtype Extensions = Extensions {
- extensions :: Nodes
- data Descriptors
- = Descriptors { }
- | AffiliationDescriptor {
- affiliationDescriptorAffiliationOwnerID :: EntityID
- affiliationDescriptorID :: Maybe ID
- affiliationDescriptorValidUntil :: Maybe DateTime
- affiliationDescriptorCacheDuration :: Maybe Duration
- affiliationDescriptorAttrs :: Nodes
- affiliationDescriptorSignature :: Maybe Signature
- affiliationDescriptorExtensions :: Extensions
- affiliationDescriptorAffiliateMember :: List1 EntityID
- affiliationDescriptorKeyDescriptor :: [KeyDescriptor]
- data Descriptor
- = Descriptor { }
- | IDPSSODescriptor {
- descriptorRole :: !RoleDescriptor
- descriptorSSO :: !SSODescriptor
- descriptorWantAuthnRequestsSigned :: Boolean
- descriptorSingleSignOnService :: List1 Endpoint
- descriptorNameIDMappingService :: [Endpoint]
- descriptorAssertionIDRequestService :: [Endpoint]
- descriptorAttributeProfile :: [AnyURI]
- descriptorAttribute :: [Attribute]
- | SPSSODescriptor { }
- | AuthnAuthorityDescriptor { }
- | AttributeAuthorityDescriptor { }
- | PDPDescriptor { }
- data Organization = Organization {}
- data Contact = ContactPerson {}
- data ContactType
- data AdditionalMetadataLocation = AdditionalMetadataLocation {}
- data RoleDescriptor = RoleDescriptor {
- roleDescriptorID :: Maybe ID
- roleDescriptorValidUntil :: Maybe DateTime
- roleDescriptorCacheDuration :: Maybe Duration
- roleDescriptorProtocolSupportEnumeration :: [AnyURI]
- roleDescriptorErrorURL :: Maybe AnyURI
- roleDescriptorAttrs :: Nodes
- roleDescriptorSignature :: Maybe Signature
- roleDescriptorExtensions :: Extensions
- roleDescriptorKeyDescriptor :: [KeyDescriptor]
- roleDescriptorOrganization :: Maybe Organization
- roleDescriptorContactPerson :: [Contact]
- data KeyDescriptor = KeyDescriptor {}
- data KeyTypes
- keyType :: KeyTypes -> KeyTypes -> Bool
- data SSODescriptor = SSODescriptor {}
- data AttributeConsumingService = AttributeConsumingService {}
- data RequestedAttribute = RequestedAttribute {}
Documentation
xpEntityID :: PU EntityID Source #
§2.2.2
data IndexedEndpoint Source #
§2.2.3
Instances
Eq IndexedEndpoint Source # | |
Defined in SAML2.Metadata.Metadata (==) :: IndexedEndpoint -> IndexedEndpoint -> Bool # (/=) :: IndexedEndpoint -> IndexedEndpoint -> Bool # | |
Show IndexedEndpoint Source # | |
Defined in SAML2.Metadata.Metadata showsPrec :: Int -> IndexedEndpoint -> ShowS # show :: IndexedEndpoint -> String # showList :: [IndexedEndpoint] -> ShowS # | |
XmlPickler IndexedEndpoint Source # | |
Defined in SAML2.Metadata.Metadata |
Localized | |
|
Instances
XmlPickler LocalizedURI Source # | |
Defined in SAML2.Metadata.Metadata xpickle :: PU LocalizedURI # | |
XmlPickler LocalizedName Source # | |
Defined in SAML2.Metadata.Metadata xpickle :: PU LocalizedName # | |
Eq a => Eq (Localized a) Source # | |
Show a => Show (Localized a) Source # | |
type LocalizedName = Localized String Source #
§2.2.4
type LocalizedURI = Localized AnyURI Source #
§2.2.5
newtype Extensions Source #
§2.3.1 empty list means missing
Instances
Eq Extensions Source # | |
Defined in SAML2.Metadata.Metadata (==) :: Extensions -> Extensions -> Bool # (/=) :: Extensions -> Extensions -> Bool # | |
Show Extensions Source # | |
Defined in SAML2.Metadata.Metadata showsPrec :: Int -> Extensions -> ShowS # show :: Extensions -> String # showList :: [Extensions] -> ShowS # | |
Semigroup Extensions Source # | |
Defined in SAML2.Metadata.Metadata (<>) :: Extensions -> Extensions -> Extensions # sconcat :: NonEmpty Extensions -> Extensions # stimes :: Integral b => b -> Extensions -> Extensions # | |
Monoid Extensions Source # | |
Defined in SAML2.Metadata.Metadata mempty :: Extensions # mappend :: Extensions -> Extensions -> Extensions # mconcat :: [Extensions] -> Extensions # | |
XmlPickler Extensions Source # | |
Defined in SAML2.Metadata.Metadata xpickle :: PU Extensions # |
data Descriptors Source #
Instances
Eq Descriptors Source # | |
Defined in SAML2.Metadata.Metadata (==) :: Descriptors -> Descriptors -> Bool # (/=) :: Descriptors -> Descriptors -> Bool # | |
Show Descriptors Source # | |
Defined in SAML2.Metadata.Metadata showsPrec :: Int -> Descriptors -> ShowS # show :: Descriptors -> String # showList :: [Descriptors] -> ShowS # | |
XmlPickler Descriptors Source # | |
Defined in SAML2.Metadata.Metadata xpickle :: PU Descriptors # |
data Descriptor Source #
Instances
Eq Descriptor Source # | |
Defined in SAML2.Metadata.Metadata (==) :: Descriptor -> Descriptor -> Bool # (/=) :: Descriptor -> Descriptor -> Bool # | |
Show Descriptor Source # | |
Defined in SAML2.Metadata.Metadata showsPrec :: Int -> Descriptor -> ShowS # show :: Descriptor -> String # showList :: [Descriptor] -> ShowS # | |
XmlPickler Descriptor Source # | |
Defined in SAML2.Metadata.Metadata xpickle :: PU Descriptor # |
data Organization Source #
§2.3.2.1
Instances
Eq Organization Source # | |
Defined in SAML2.Metadata.Metadata (==) :: Organization -> Organization -> Bool # (/=) :: Organization -> Organization -> Bool # | |
Show Organization Source # | |
Defined in SAML2.Metadata.Metadata showsPrec :: Int -> Organization -> ShowS # show :: Organization -> String # showList :: [Organization] -> ShowS # | |
XmlPickler Organization Source # | |
Defined in SAML2.Metadata.Metadata xpickle :: PU Organization # |
§2.3.2.2
data ContactType Source #
ContactTypeTechnical | |
ContactTypeSupport | |
ContactTypeAdministrative | |
ContactTypeBilling | |
ContactTypeOther |
Instances
data AdditionalMetadataLocation Source #
§2.3.2.3
Instances
Eq AdditionalMetadataLocation Source # | |
Defined in SAML2.Metadata.Metadata | |
Show AdditionalMetadataLocation Source # | |
Defined in SAML2.Metadata.Metadata showsPrec :: Int -> AdditionalMetadataLocation -> ShowS # show :: AdditionalMetadataLocation -> String # showList :: [AdditionalMetadataLocation] -> ShowS # | |
XmlPickler AdditionalMetadataLocation Source # | |
Defined in SAML2.Metadata.Metadata |
data RoleDescriptor Source #
§2.4.1
Instances
Eq RoleDescriptor Source # | |
Defined in SAML2.Metadata.Metadata (==) :: RoleDescriptor -> RoleDescriptor -> Bool # (/=) :: RoleDescriptor -> RoleDescriptor -> Bool # | |
Show RoleDescriptor Source # | |
Defined in SAML2.Metadata.Metadata showsPrec :: Int -> RoleDescriptor -> ShowS # show :: RoleDescriptor -> String # showList :: [RoleDescriptor] -> ShowS # | |
XmlPickler RoleDescriptor Source # | |
Defined in SAML2.Metadata.Metadata xpickle :: PU RoleDescriptor # | |
Signable RoleDescriptor Source # | |
Defined in SAML2.Metadata.Metadata signature' :: Lens' RoleDescriptor (Maybe Signature) Source # signedID :: RoleDescriptor -> ID Source # |
data KeyDescriptor Source #
§2.4.1.1
Instances
Eq KeyDescriptor Source # | |
Defined in SAML2.Metadata.Metadata (==) :: KeyDescriptor -> KeyDescriptor -> Bool # (/=) :: KeyDescriptor -> KeyDescriptor -> Bool # | |
Show KeyDescriptor Source # | |
Defined in SAML2.Metadata.Metadata showsPrec :: Int -> KeyDescriptor -> ShowS # show :: KeyDescriptor -> String # showList :: [KeyDescriptor] -> ShowS # | |
XmlPickler KeyDescriptor Source # | |
Defined in SAML2.Metadata.Metadata xpickle :: PU KeyDescriptor # |
Instances
Bounded KeyTypes Source # | |
Enum KeyTypes Source # | |
Eq KeyTypes Source # | |
Show KeyTypes Source # | |
XmlPickler KeyTypes Source # | |
Defined in SAML2.Metadata.Metadata | |
Identifiable XString KeyTypes Source # | |
Defined in SAML2.Metadata.Metadata identifier :: KeyTypes -> XString Source # identifiedValues :: [KeyTypes] Source # reidentify :: XString -> Identified XString KeyTypes Source # |
keyType :: KeyTypes -> KeyTypes -> Bool Source #
Does the second KeyTypes include the first type of use?
data SSODescriptor Source #
§2.4.2
Instances
Eq SSODescriptor Source # | |
Defined in SAML2.Metadata.Metadata (==) :: SSODescriptor -> SSODescriptor -> Bool # (/=) :: SSODescriptor -> SSODescriptor -> Bool # | |
Show SSODescriptor Source # | |
Defined in SAML2.Metadata.Metadata showsPrec :: Int -> SSODescriptor -> ShowS # show :: SSODescriptor -> String # showList :: [SSODescriptor] -> ShowS # | |
XmlPickler SSODescriptor Source # | |
Defined in SAML2.Metadata.Metadata xpickle :: PU SSODescriptor # |
data AttributeConsumingService Source #
§2.4.4.1
Instances
Eq AttributeConsumingService Source # | |
Defined in SAML2.Metadata.Metadata | |
Show AttributeConsumingService Source # | |
Defined in SAML2.Metadata.Metadata showsPrec :: Int -> AttributeConsumingService -> ShowS # show :: AttributeConsumingService -> String # showList :: [AttributeConsumingService] -> ShowS # | |
XmlPickler AttributeConsumingService Source # | |
Defined in SAML2.Metadata.Metadata |
data RequestedAttribute Source #
§2.4.4.1.1
Instances
Eq RequestedAttribute Source # | |
Defined in SAML2.Metadata.Metadata (==) :: RequestedAttribute -> RequestedAttribute -> Bool # (/=) :: RequestedAttribute -> RequestedAttribute -> Bool # | |
Show RequestedAttribute Source # | |
Defined in SAML2.Metadata.Metadata showsPrec :: Int -> RequestedAttribute -> ShowS # show :: RequestedAttribute -> String # showList :: [RequestedAttribute] -> ShowS # | |
XmlPickler RequestedAttribute Source # | |
Defined in SAML2.Metadata.Metadata |