-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Verifying XML signatures
--   
--   A small library, that calls xmlsec, for verifying XML. It also
--   contains a wrapper for use with HXT
@package xml-verify
@version 0.1.0.2


module Crypto.PubKey.Xml.Errors
data XmlVerifyError
XmlSecInitFailed :: XmlVerifyError
XmlSecIncomp :: XmlVerifyError
XmlSecCryptoFail :: XmlVerifyError
CryptoInitFailed :: XmlVerifyError
XmlCryptoFailed :: XmlVerifyError
XmlParseFail :: XmlVerifyError
XmlNoStartNode :: XmlVerifyError
XmlSigCreateFail :: XmlVerifyError
XmlPemLoadFail :: XmlVerifyError
XmlPemNameFail :: XmlVerifyError
VeryifyFail :: XmlVerifyError
throwXmlError :: IO (Either XmlVerifyError a) -> IO a
instance GHC.Show.Show Crypto.PubKey.Xml.Errors.XmlVerifyError
instance GHC.Exception.Type.Exception Crypto.PubKey.Xml.Errors.XmlVerifyError


module Crypto.PubKey.Xml

-- | verify XML document with given public key
verifyXml :: MonadIO m => XmlTree -> PubKey -> m (Either XmlVerifyError Bool)

-- | verify XML file with given public key
verifyXmlFile :: MonadIO m => FilePath -> PubKey -> m (Either XmlVerifyError Bool)

-- | Verify XML against a public key provided in a pem file
verifyXmlPem :: MonadIO m => XmlTree -> FilePath -> m (Either XmlVerifyError Bool)

-- | verify XML file against a public key in a pem file
verifyXmlFilePem :: MonadIO m => FilePath -> FilePath -> m (Either XmlVerifyError Bool)


module Crypto.PubKey.Xml.Arrows

-- | Filters out XML if key validation fails
isSigned :: ArrowIOIf a => PubKey -> a XmlTree XmlTree

-- | Filters out XML if key validation fails
isSignedPem :: ArrowIOIf a => FilePath -> a XmlTree XmlTree