Safe Haskell | None |
---|---|
Language | Haskell2010 |
XML Signature Syntax and Processing
http://www.w3.org/TR/xmldsig-core1/ (selected portions)
- 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 #
data SignatureValue Source #
§4.3
§4.4.3
newtype Transforms Source #
§4.4.3.4
data TransformElement Source #
data DigestMethod Source #
§4.4.3.5
§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 |
§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 | |
type ECPoint = CryptoBinary Source #
ECPrime | |
| |
ECTnB | |
| |
ECPnB | |
| |
ECGnB | |
ECFieldID Node |
data ECValidationData Source #
type X509DistinguishedName = XString Source #
§4.5.4.1
data X509Element Source #
data SPKIElement Source #
§4.4.6
§4.5
data ObjectElement Source #
§5.1
data EncodingAlgorithm Source #
§6.1
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 |