Safe Haskell | None |
---|---|
Language | Haskell2010 |
XML Signature Syntax and Processing
http://www.w3.org/TR/xmldsig-core1/ (selected portions)
Synopsis
- nsFrag :: String -> URI
- nsFrag11 :: String -> URI
- ns :: Namespace
- ns11 :: Namespace
- xpElem :: String -> PU a -> PU a
- xpElem11 :: String -> PU a -> PU a
- type CryptoBinary = Integer
- xpCryptoBinary :: PU CryptoBinary
- data Signature = Signature {}
- class Signable a where
- data SignatureValue = SignatureValue {}
- data SignedInfo = SignedInfo {}
- data CanonicalizationMethod = CanonicalizationMethod {}
- simpleCanonicalization :: CanonicalizationAlgorithm -> CanonicalizationMethod
- data SignatureMethod = SignatureMethod {}
- data Reference = Reference {}
- newtype Transforms = Transforms {}
- data Transform = Transform {}
- simpleTransform :: TransformAlgorithm -> Transform
- data TransformElement
- data DigestMethod = DigestMethod {}
- simpleDigest :: DigestAlgorithm -> DigestMethod
- data KeyInfo = KeyInfo {}
- xpKeyInfoType :: PU KeyInfo
- data KeyInfoElement
- = KeyName XString
- | KeyInfoKeyValue KeyValue
- | RetrievalMethod { }
- | X509Data { }
- | PGPData { }
- | SPKIData { }
- | MgmtData XString
- | KeyInfoElement Node
- data KeyValue
- = DSAKeyValue { }
- | RSAKeyValue { }
- | ECKeyValue { }
- | KeyValue Node
- data ECKeyValue
- type ECPoint = CryptoBinary
- data ECFieldID
- = ECPrime {
- ecP :: CryptoBinary
- | ECTnB { }
- | ECPnB {
- ecM :: PositiveInteger
- ecK1, ecK2, ecK3 :: PositiveInteger
- | ECGnB { }
- | ECFieldID Node
- = ECPrime {
- data ECCurve = ECCurve {}
- data ECValidationData = ECValidationData {}
- type X509DistinguishedName = XString
- xpX509DistinguishedName :: PU X509DistinguishedName
- data X509Element
- data SPKIElement
- data Object = Object {}
- data ObjectElement
- data Manifest = Manifest {}
- data SignatureProperties = SignatureProperties {}
- data SignatureProperty = SignatureProperty {}
- data EncodingAlgorithm = EncodingBase64
- data DigestAlgorithm
- data MACAlgorithm = MACHMAC_SHA1
- data SignatureAlgorithm
- data TransformAlgorithm
Documentation
type CryptoBinary = Integer Source #
§4.1
§4.2
class Signable a where Source #
Instances
data SignatureValue Source #
§4.3
Instances
Eq SignatureValue Source # | |
Defined in SAML2.XML.Signature.Types (==) :: SignatureValue -> SignatureValue -> Bool # (/=) :: SignatureValue -> SignatureValue -> Bool # | |
Show SignatureValue Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> SignatureValue -> ShowS # show :: SignatureValue -> String # showList :: [SignatureValue] -> ShowS # | |
XmlPickler SignatureValue Source # | |
Defined in SAML2.XML.Signature.Types xpickle :: PU SignatureValue # |
data SignedInfo Source #
§4.4
Instances
Eq SignedInfo Source # | |
Defined in SAML2.XML.Signature.Types (==) :: SignedInfo -> SignedInfo -> Bool # (/=) :: SignedInfo -> SignedInfo -> Bool # | |
Show SignedInfo Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> SignedInfo -> ShowS # show :: SignedInfo -> String # showList :: [SignedInfo] -> ShowS # | |
XmlPickler SignedInfo Source # | |
Defined in SAML2.XML.Signature.Types xpickle :: PU SignedInfo # |
data CanonicalizationMethod Source #
§4.4.1
Instances
Eq CanonicalizationMethod Source # | |
Defined in SAML2.XML.Signature.Types | |
Show CanonicalizationMethod Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> CanonicalizationMethod -> ShowS # show :: CanonicalizationMethod -> String # showList :: [CanonicalizationMethod] -> ShowS # | |
XmlPickler CanonicalizationMethod Source # | |
Defined in SAML2.XML.Signature.Types |
data SignatureMethod Source #
§4.4.2
Instances
Eq SignatureMethod Source # | |
Defined in SAML2.XML.Signature.Types (==) :: SignatureMethod -> SignatureMethod -> Bool # (/=) :: SignatureMethod -> SignatureMethod -> Bool # | |
Show SignatureMethod Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> SignatureMethod -> ShowS # show :: SignatureMethod -> String # showList :: [SignatureMethod] -> ShowS # | |
XmlPickler SignatureMethod Source # | |
Defined in SAML2.XML.Signature.Types |
§4.4.3
newtype Transforms Source #
§4.4.3.4
Instances
Eq Transforms Source # | |
Defined in SAML2.XML.Signature.Types (==) :: Transforms -> Transforms -> Bool # (/=) :: Transforms -> Transforms -> Bool # | |
Show Transforms Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> Transforms -> ShowS # show :: Transforms -> String # showList :: [Transforms] -> ShowS # | |
XmlPickler Transforms Source # | |
Defined in SAML2.XML.Signature.Types xpickle :: PU Transforms # |
data TransformElement Source #
Instances
Eq TransformElement Source # | |
Defined in SAML2.XML.Signature.Types (==) :: TransformElement -> TransformElement -> Bool # (/=) :: TransformElement -> TransformElement -> Bool # | |
Show TransformElement Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> TransformElement -> ShowS # show :: TransformElement -> String # showList :: [TransformElement] -> ShowS # | |
XmlPickler TransformElement Source # | |
Defined in SAML2.XML.Signature.Types |
data DigestMethod Source #
§4.4.3.5
Instances
Eq DigestMethod Source # | |
Defined in SAML2.XML.Signature.Types (==) :: DigestMethod -> DigestMethod -> Bool # (/=) :: DigestMethod -> DigestMethod -> Bool # | |
Show DigestMethod Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> DigestMethod -> ShowS # show :: DigestMethod -> String # showList :: [DigestMethod] -> ShowS # | |
XmlPickler DigestMethod Source # | |
Defined in SAML2.XML.Signature.Types xpickle :: PU DigestMethod # |
§4.5
data KeyInfoElement Source #
KeyName XString | §4.5.1 |
KeyInfoKeyValue KeyValue | §4.5.2 |
RetrievalMethod | §4.5.3 |
X509Data | §4.5.4 |
PGPData | §4.5.5 |
SPKIData | §4.5.6 |
MgmtData XString | §4.5.7 |
KeyInfoElement Node |
Instances
Eq KeyInfoElement Source # | |
Defined in SAML2.XML.Signature.Types (==) :: KeyInfoElement -> KeyInfoElement -> Bool # (/=) :: KeyInfoElement -> KeyInfoElement -> Bool # | |
Show KeyInfoElement Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> KeyInfoElement -> ShowS # show :: KeyInfoElement -> String # showList :: [KeyInfoElement] -> ShowS # | |
XmlPickler KeyInfoElement Source # | |
Defined in SAML2.XML.Signature.Types xpickle :: PU KeyInfoElement # |
§4.5.2
DSAKeyValue | §4.5.2.1 |
RSAKeyValue | §4.5.2.2 |
ECKeyValue | §4.5.2.3 |
KeyValue Node |
data ECKeyValue Source #
ECParameters | §4.5.2.3.1 |
ECNamedCurve | |
Instances
Eq ECKeyValue Source # | |
Defined in SAML2.XML.Signature.Types (==) :: ECKeyValue -> ECKeyValue -> Bool # (/=) :: ECKeyValue -> ECKeyValue -> Bool # | |
Show ECKeyValue Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> ECKeyValue -> ShowS # show :: ECKeyValue -> String # showList :: [ECKeyValue] -> ShowS # | |
XmlPickler ECKeyValue Source # | |
Defined in SAML2.XML.Signature.Types xpickle :: PU ECKeyValue # |
type ECPoint = CryptoBinary Source #
ECPrime | |
| |
ECTnB | |
| |
ECPnB | |
| |
ECGnB | |
ECFieldID Node |
data ECValidationData Source #
Instances
Eq ECValidationData Source # | |
Defined in SAML2.XML.Signature.Types (==) :: ECValidationData -> ECValidationData -> Bool # (/=) :: ECValidationData -> ECValidationData -> Bool # | |
Show ECValidationData Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> ECValidationData -> ShowS # show :: ECValidationData -> String # showList :: [ECValidationData] -> ShowS # | |
XmlPickler ECValidationData Source # | |
Defined in SAML2.XML.Signature.Types |
type X509DistinguishedName = XString Source #
§4.5.4.1
data X509Element Source #
X509IssuerSerial | |
X509SKI Base64Binary | |
X509SubjectName X509DistinguishedName | |
X509Certificate SignedCertificate | |
X509CRL SignedCRL | |
X509Digest | |
X509Element Node |
Instances
Eq X509Element Source # | |
Defined in SAML2.XML.Signature.Types (==) :: X509Element -> X509Element -> Bool # (/=) :: X509Element -> X509Element -> Bool # | |
Show X509Element Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> X509Element -> ShowS # show :: X509Element -> String # showList :: [X509Element] -> ShowS # | |
XmlPickler X509Element Source # | |
Defined in SAML2.XML.Signature.Types xpickle :: PU X509Element # |
data SPKIElement Source #
§4.4.6
Instances
Eq SPKIElement Source # | |
Defined in SAML2.XML.Signature.Types (==) :: SPKIElement -> SPKIElement -> Bool # (/=) :: SPKIElement -> SPKIElement -> Bool # | |
Show SPKIElement Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> SPKIElement -> ShowS # show :: SPKIElement -> String # showList :: [SPKIElement] -> ShowS # | |
XmlPickler SPKIElement Source # | |
Defined in SAML2.XML.Signature.Types xpickle :: PU SPKIElement # |
§4.5
data ObjectElement Source #
ObjectSignature Signature | |
ObjectSignatureProperties SignatureProperties | |
ObjectManifest Manifest | |
ObjectElement Node |
Instances
Eq ObjectElement Source # | |
Defined in SAML2.XML.Signature.Types (==) :: ObjectElement -> ObjectElement -> Bool # (/=) :: ObjectElement -> ObjectElement -> Bool # | |
Show ObjectElement Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> ObjectElement -> ShowS # show :: ObjectElement -> String # showList :: [ObjectElement] -> ShowS # | |
XmlPickler ObjectElement Source # | |
Defined in SAML2.XML.Signature.Types xpickle :: PU ObjectElement # |
§5.1
data SignatureProperties Source #
§5.2
Instances
Eq SignatureProperties Source # | |
Defined in SAML2.XML.Signature.Types (==) :: SignatureProperties -> SignatureProperties -> Bool # (/=) :: SignatureProperties -> SignatureProperties -> Bool # | |
Show SignatureProperties Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> SignatureProperties -> ShowS # show :: SignatureProperties -> String # showList :: [SignatureProperties] -> ShowS # | |
XmlPickler SignatureProperties Source # | |
Defined in SAML2.XML.Signature.Types |
data SignatureProperty Source #
Instances
Eq SignatureProperty Source # | |
Defined in SAML2.XML.Signature.Types (==) :: SignatureProperty -> SignatureProperty -> Bool # (/=) :: SignatureProperty -> SignatureProperty -> Bool # | |
Show SignatureProperty Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> SignatureProperty -> ShowS # show :: SignatureProperty -> String # showList :: [SignatureProperty] -> ShowS # | |
XmlPickler SignatureProperty Source # | |
Defined in SAML2.XML.Signature.Types |
data EncodingAlgorithm Source #
§6.1
Instances
data DigestAlgorithm Source #
§6.2
DigestSHA1 | §6.2.1 |
DigestSHA224 | §6.2.2 |
DigestSHA256 | §6.2.3 |
DigestSHA384 | §6.2.4 |
DigestSHA512 | §6.2.5 |
DigestRIPEMD160 | xmlenc §5.7.4 |
Instances
data MACAlgorithm Source #
§6.3
MACHMAC_SHA1 | §6.3.1 |
Instances
data SignatureAlgorithm Source #
§6.4
Instances
data TransformAlgorithm Source #
§6.6
TransformCanonicalization CanonicalizationAlgorithm | §6.6.1 |
TransformBase64 | §6.6.2 |
TransformXPath | §6.6.3 |
TransformEnvelopedSignature | §6.6.4 |
TransformXSLT | §6.6.5 |
Instances
Eq TransformAlgorithm Source # | |
Defined in SAML2.XML.Signature.Types (==) :: TransformAlgorithm -> TransformAlgorithm -> Bool # (/=) :: TransformAlgorithm -> TransformAlgorithm -> Bool # | |
Show TransformAlgorithm Source # | |
Defined in SAML2.XML.Signature.Types showsPrec :: Int -> TransformAlgorithm -> ShowS # show :: TransformAlgorithm -> String # showList :: [TransformAlgorithm] -> ShowS # | |
Identifiable URI TransformAlgorithm Source # | |
Defined in SAML2.XML.Signature.Types |