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


-- | native Haskell implementation of OpenPGP (RFC4880)
--   
--   native Haskell implementation of OpenPGP (RFC4880)
@package hOpenPGP
@version 1.11

module Codec.Encryption.OpenPGP.Types
type TimeStamp = Word32
type Exportability = Bool
type TrustLevel = Word8
type TrustAmount = Word8
type AlmostPublicDomainRegex = ByteString
type Revocability = Bool
type RevocationReason = ByteString
type KeyServer = ByteString
type URL = ByteString
type NotationName = ByteString
type NotationValue = ByteString
type SignatureHash = ByteString
type PacketVersion = Word8
type Salt = ByteString
type Count = Int
type V3Expiration = Word16
type CompressedDataPayload = ByteString
type FileName = ByteString
type ImageData = ByteString
type NestedFlag = Bool
type IV = ByteString
data SymmetricAlgorithm
Plaintext :: SymmetricAlgorithm
IDEA :: SymmetricAlgorithm
TripleDES :: SymmetricAlgorithm
CAST5 :: SymmetricAlgorithm
Blowfish :: SymmetricAlgorithm
ReservedSAFER :: SymmetricAlgorithm
ReservedDES :: SymmetricAlgorithm
AES128 :: SymmetricAlgorithm
AES192 :: SymmetricAlgorithm
AES256 :: SymmetricAlgorithm
Twofish :: SymmetricAlgorithm
OtherSA :: Word8 -> SymmetricAlgorithm
data NotationFlag
HumanReadable :: NotationFlag
OtherNF :: Word8 -> NotationFlag
data SigSubPacket
SigSubPacket :: Bool -> SigSubPacketPayload -> SigSubPacket
_sspCriticality :: SigSubPacket -> Bool
_sspPayload :: SigSubPacket -> SigSubPacketPayload
data SigSubPacketPayload
SigCreationTime :: TimeStamp -> SigSubPacketPayload
SigExpirationTime :: TimeStamp -> SigSubPacketPayload
ExportableCertification :: Exportability -> SigSubPacketPayload
TrustSignature :: TrustLevel -> TrustAmount -> SigSubPacketPayload
RegularExpression :: AlmostPublicDomainRegex -> SigSubPacketPayload
Revocable :: Revocability -> SigSubPacketPayload
KeyExpirationTime :: TimeStamp -> SigSubPacketPayload
PreferredSymmetricAlgorithms :: [SymmetricAlgorithm] -> SigSubPacketPayload
RevocationKey :: (Set RevocationClass) -> PubKeyAlgorithm -> TwentyOctetFingerprint -> SigSubPacketPayload
Issuer :: EightOctetKeyId -> SigSubPacketPayload
NotationData :: (Set NotationFlag) -> NotationName -> NotationValue -> SigSubPacketPayload
PreferredHashAlgorithms :: [HashAlgorithm] -> SigSubPacketPayload
PreferredCompressionAlgorithms :: [CompressionAlgorithm] -> SigSubPacketPayload
KeyServerPreferences :: (Set KSPFlag) -> SigSubPacketPayload
PreferredKeyServer :: KeyServer -> SigSubPacketPayload
PrimaryUserId :: Bool -> SigSubPacketPayload
PolicyURL :: URL -> SigSubPacketPayload
KeyFlags :: (Set KeyFlag) -> SigSubPacketPayload
SignersUserId :: String -> SigSubPacketPayload
ReasonForRevocation :: RevocationCode -> RevocationReason -> SigSubPacketPayload
Features :: (Set FeatureFlag) -> SigSubPacketPayload
SignatureTarget :: PubKeyAlgorithm -> HashAlgorithm -> SignatureHash -> SigSubPacketPayload
EmbeddedSignature :: SignaturePayload -> SigSubPacketPayload
UserDefinedSigSub :: Word8 -> ByteString -> SigSubPacketPayload
OtherSigSub :: Word8 -> ByteString -> SigSubPacketPayload
data HashAlgorithm
DeprecatedMD5 :: HashAlgorithm
SHA1 :: HashAlgorithm
RIPEMD160 :: HashAlgorithm
SHA256 :: HashAlgorithm
SHA384 :: HashAlgorithm
SHA512 :: HashAlgorithm
SHA224 :: HashAlgorithm
OtherHA :: Word8 -> HashAlgorithm
data CompressionAlgorithm
Uncompressed :: CompressionAlgorithm
ZIP :: CompressionAlgorithm
ZLIB :: CompressionAlgorithm
BZip2 :: CompressionAlgorithm
OtherCA :: Word8 -> CompressionAlgorithm
class (Eq a, Ord a) => FutureVal a
fromFVal :: FutureVal a => a -> Word8
toFVal :: FutureVal a => Word8 -> a
data PubKeyAlgorithm
RSA :: PubKeyAlgorithm
DeprecatedRSAEncryptOnly :: PubKeyAlgorithm
DeprecatedRSASignOnly :: PubKeyAlgorithm
ElgamalEncryptOnly :: PubKeyAlgorithm
DSA :: PubKeyAlgorithm
ECDH :: PubKeyAlgorithm
ECDSA :: PubKeyAlgorithm
ForbiddenElgamal :: PubKeyAlgorithm
DH :: PubKeyAlgorithm
OtherPKA :: Word8 -> PubKeyAlgorithm
class (Eq a, Ord a) => FutureFlag a
fromFFlag :: FutureFlag a => a -> Int
toFFlag :: FutureFlag a => Int -> a
data KSPFlag
NoModify :: KSPFlag
KSPOther :: Int -> KSPFlag
data KeyFlag
GroupKey :: KeyFlag
AuthKey :: KeyFlag
SplitKey :: KeyFlag
EncryptStorageKey :: KeyFlag
EncryptCommunicationsKey :: KeyFlag
SignDataKey :: KeyFlag
CertifyKeysKey :: KeyFlag
KFOther :: Int -> KeyFlag
data RevocationClass
SensitiveRK :: RevocationClass
RClOther :: Word8 -> RevocationClass
data RevocationCode
NoReason :: RevocationCode
KeySuperseded :: RevocationCode
KeyMaterialCompromised :: RevocationCode
KeyRetiredAndNoLongerUsed :: RevocationCode
UserIdInfoNoLongerValid :: RevocationCode
RCoOther :: Word8 -> RevocationCode
data FeatureFlag
ModificationDetection :: FeatureFlag
FeatureOther :: Int -> FeatureFlag
newtype MPI
MPI :: Integer -> MPI
unMPI :: MPI -> Integer
data SignaturePayload
SigV3 :: SigType -> Word32 -> EightOctetKeyId -> PubKeyAlgorithm -> HashAlgorithm -> Word16 -> [MPI] -> SignaturePayload
SigV4 :: SigType -> PubKeyAlgorithm -> HashAlgorithm -> [SigSubPacket] -> [SigSubPacket] -> Word16 -> [MPI] -> SignaturePayload
SigVOther :: Word8 -> ByteString -> SignaturePayload
data KeyVersion
DeprecatedV3 :: KeyVersion
V4 :: KeyVersion
data PKPayload
PKPayload :: KeyVersion -> TimeStamp -> V3Expiration -> PubKeyAlgorithm -> PKey -> PKPayload
_keyVersion :: PKPayload -> KeyVersion
_timestamp :: PKPayload -> TimeStamp
_v3exp :: PKPayload -> V3Expiration
_pkalgo :: PKPayload -> PubKeyAlgorithm
_pubkey :: PKPayload -> PKey
data SKAddendum
SUS16bit :: SymmetricAlgorithm -> S2K -> IV -> ByteString -> SKAddendum
SUSSHA1 :: SymmetricAlgorithm -> S2K -> IV -> ByteString -> SKAddendum
SUSym :: SymmetricAlgorithm -> IV -> ByteString -> SKAddendum
SUUnencrypted :: SKey -> Word16 -> SKAddendum
data DataType
BinaryData :: DataType
TextData :: DataType
UTF8Data :: DataType
OtherData :: Word8 -> DataType
data S2K
Simple :: HashAlgorithm -> S2K
Salted :: HashAlgorithm -> Salt -> S2K
IteratedSalted :: HashAlgorithm -> Salt -> Count -> S2K
OtherS2K :: Word8 -> ByteString -> S2K
data UserAttrSubPacket
ImageAttribute :: ImageHeader -> ImageData -> UserAttrSubPacket
OtherUASub :: Word8 -> ByteString -> UserAttrSubPacket
data ImageHeader
ImageHV1 :: ImageFormat -> ImageHeader
data ImageFormat
JPEG :: ImageFormat
OtherImage :: Word8 -> ImageFormat
data SigType
BinarySig :: SigType
CanonicalTextSig :: SigType
StandaloneSig :: SigType
GenericCert :: SigType
PersonaCert :: SigType
CasualCert :: SigType
PositiveCert :: SigType
SubkeyBindingSig :: SigType
PrimaryKeyBindingSig :: SigType
SignatureDirectlyOnAKey :: SigType
KeyRevocationSig :: SigType
SubkeyRevocationSig :: SigType
CertRevocationSig :: SigType
TimestampSig :: SigType
ThirdPartyConfirmationSig :: SigType
OtherSig :: Word8 -> SigType
data PKey
RSAPubKey :: PublicKey -> PKey
DSAPubKey :: PublicKey -> PKey
ElGamalPubKey :: [Integer] -> PKey
UnknownPKey :: ByteString -> PKey
data SKey
RSAPrivateKey :: PrivateKey -> SKey
DSAPrivateKey :: PrivateKey -> SKey
ElGamalPrivateKey :: [Integer] -> SKey
UnknownSKey :: ByteString -> SKey
newtype Block a
Block :: [a] -> Block a
unBlock :: Block a -> [a]
newtype EightOctetKeyId
EightOctetKeyId :: ByteString -> EightOctetKeyId
unEOKI :: EightOctetKeyId -> ByteString
newtype TwentyOctetFingerprint
TwentyOctetFingerprint :: ByteString -> TwentyOctetFingerprint
unTOF :: TwentyOctetFingerprint -> ByteString
newtype SpacedFingerprint
SpacedFingerprint :: TwentyOctetFingerprint -> SpacedFingerprint
unSpacedFingerprint :: SpacedFingerprint -> TwentyOctetFingerprint
w8sToHex :: [Word8] -> String
hexToW8s :: ReadS Word8
data TK
TK :: (PKPayload, Maybe SKAddendum) -> [SignaturePayload] -> [(String, [SignaturePayload])] -> [([UserAttrSubPacket], [SignaturePayload])] -> [(Pkt, [SignaturePayload])] -> TK
_tkKey :: TK -> (PKPayload, Maybe SKAddendum)
_tkRevs :: TK -> [SignaturePayload]
_tkUIDs :: TK -> [(String, [SignaturePayload])]
_tkUAts :: TK -> [([UserAttrSubPacket], [SignaturePayload])]
_tkSubs :: TK -> [(Pkt, [SignaturePayload])]
type Keyring = IxSet TK
class Packet a where data family PacketType a :: *
packetType :: Packet a => a -> PacketType a
packetCode :: Packet a => PacketType a -> Word8
toPkt :: Packet a => a -> Pkt
fromPkt :: Packet a => Pkt -> a
data Pkt
PKESKPkt :: PacketVersion -> EightOctetKeyId -> PubKeyAlgorithm -> [MPI] -> Pkt
SignaturePkt :: SignaturePayload -> Pkt
SKESKPkt :: PacketVersion -> SymmetricAlgorithm -> S2K -> (Maybe ByteString) -> Pkt
OnePassSignaturePkt :: PacketVersion -> SigType -> HashAlgorithm -> PubKeyAlgorithm -> EightOctetKeyId -> NestedFlag -> Pkt
SecretKeyPkt :: PKPayload -> SKAddendum -> Pkt
PublicKeyPkt :: PKPayload -> Pkt
SecretSubkeyPkt :: PKPayload -> SKAddendum -> Pkt
CompressedDataPkt :: CompressionAlgorithm -> CompressedDataPayload -> Pkt
SymEncDataPkt :: ByteString -> Pkt
MarkerPkt :: ByteString -> Pkt
LiteralDataPkt :: DataType -> FileName -> TimeStamp -> ByteString -> Pkt
TrustPkt :: ByteString -> Pkt
UserIdPkt :: String -> Pkt
PublicSubkeyPkt :: PKPayload -> Pkt
UserAttributePkt :: [UserAttrSubPacket] -> Pkt
SymEncIntegrityProtectedDataPkt :: PacketVersion -> ByteString -> Pkt
ModificationDetectionCodePkt :: ByteString -> Pkt
OtherPacketPkt :: Word8 -> ByteString -> Pkt
BrokenPacketPkt :: String -> Word8 -> ByteString -> Pkt
pktTag :: Pkt -> Word8
data PKESK
PKESK :: PacketVersion -> EightOctetKeyId -> PubKeyAlgorithm -> [MPI] -> PKESK
_pkeskPacketVersion :: PKESK -> PacketVersion
_pkeskEightOctetKeyId :: PKESK -> EightOctetKeyId
_pkeskPubKeyAlgorithm :: PKESK -> PubKeyAlgorithm
_pkeskMPIs :: PKESK -> [MPI]
data Signature
Signature :: SignaturePayload -> Signature
_signaturePayload :: Signature -> SignaturePayload
data SKESK
SKESK :: PacketVersion -> SymmetricAlgorithm -> S2K -> Maybe ByteString -> SKESK
_skeskPacketVersion :: SKESK -> PacketVersion
_skeskSymmetricAlgorithm :: SKESK -> SymmetricAlgorithm
_skeskS2K :: SKESK -> S2K
_skeskESK :: SKESK -> Maybe ByteString
data OnePassSignature
OnePassSignature :: PacketVersion -> SigType -> HashAlgorithm -> PubKeyAlgorithm -> EightOctetKeyId -> NestedFlag -> OnePassSignature
_onePassSignaturePacketVersion :: OnePassSignature -> PacketVersion
_onePassSignatureSigType :: OnePassSignature -> SigType
_onePassSignatureHashAlgorithm :: OnePassSignature -> HashAlgorithm
_onePassSignaturePubKeyAlgorithm :: OnePassSignature -> PubKeyAlgorithm
_onePassSignatureEightOctetKeyId :: OnePassSignature -> EightOctetKeyId
_onePassSignatureNestedFlag :: OnePassSignature -> NestedFlag
data SecretKey
SecretKey :: PKPayload -> SKAddendum -> SecretKey
_secretKeyPKPayload :: SecretKey -> PKPayload
_secretKeySKAddendum :: SecretKey -> SKAddendum
data PublicKey
PublicKey :: PKPayload -> PublicKey
_publicKeyPKPayload :: PublicKey -> PKPayload
data SecretSubkey
SecretSubkey :: PKPayload -> SKAddendum -> SecretSubkey
_secretSubkeyPKPayload :: SecretSubkey -> PKPayload
_secretSubkeySKAddendum :: SecretSubkey -> SKAddendum
data CompressedData
CompressedData :: CompressionAlgorithm -> CompressedDataPayload -> CompressedData
_compressedDataCompressionAlgorithm :: CompressedData -> CompressionAlgorithm
_compressedDataPayload :: CompressedData -> CompressedDataPayload
data SymEncData
SymEncData :: ByteString -> SymEncData
_symEncDataPayload :: SymEncData -> ByteString
data Marker
Marker :: ByteString -> Marker
_markerPayload :: Marker -> ByteString
data LiteralData
LiteralData :: DataType -> FileName -> TimeStamp -> ByteString -> LiteralData
_literalDataDataType :: LiteralData -> DataType
_literalDataFileName :: LiteralData -> FileName
_literalDataTimeStamp :: LiteralData -> TimeStamp
_literalDataPayload :: LiteralData -> ByteString
data Trust
Trust :: ByteString -> Trust
_trustPayload :: Trust -> ByteString
data UserId
UserId :: String -> UserId
_userIdPayload :: UserId -> String
data PublicSubkey
PublicSubkey :: PKPayload -> PublicSubkey
_publicSubkeyPKPayload :: PublicSubkey -> PKPayload
data UserAttribute
UserAttribute :: [UserAttrSubPacket] -> UserAttribute
_userAttributeSubPackets :: UserAttribute -> [UserAttrSubPacket]
data SymEncIntegrityProtectedData
SymEncIntegrityProtectedData :: PacketVersion -> ByteString -> SymEncIntegrityProtectedData
_symEncIntegrityProtectedDataPacketVersion :: SymEncIntegrityProtectedData -> PacketVersion
_symEncIntegrityProtectedDataPayload :: SymEncIntegrityProtectedData -> ByteString
data ModificationDetectionCode
ModificationDetectionCode :: ByteString -> ModificationDetectionCode
_modificationDetectionCodePayload :: ModificationDetectionCode -> ByteString
data OtherPacket
OtherPacket :: Word8 -> ByteString -> OtherPacket
_otherPacketType :: OtherPacket -> Word8
_otherPacketPayload :: OtherPacket -> ByteString
data BrokenPacket
BrokenPacket :: String -> Word8 -> ByteString -> BrokenPacket
_brokenPacketParseError :: BrokenPacket -> String
_brokenPacketType :: BrokenPacket -> Word8
_brokenPacketPayload :: BrokenPacket -> ByteString
data Verification
Verification :: PKPayload -> SignaturePayload -> Verification
_verificationSigner :: Verification -> PKPayload
_verificationSignature :: Verification -> SignaturePayload
pkeskPubKeyAlgorithm :: Lens' PKESK PubKeyAlgorithm
pkeskPacketVersion :: Lens' PKESK PacketVersion
pkeskMPIs :: Lens' PKESK [MPI]
pkeskEightOctetKeyId :: Lens' PKESK EightOctetKeyId
signaturePayload :: Iso' Signature SignaturePayload
skeskSymmetricAlgorithm :: Lens' SKESK SymmetricAlgorithm
skeskS2K :: Lens' SKESK S2K
skeskPacketVersion :: Lens' SKESK PacketVersion
skeskESK :: Lens' SKESK (Maybe ByteString)
onePassSignatureSigType :: Lens' OnePassSignature SigType
onePassSignaturePubKeyAlgorithm :: Lens' OnePassSignature PubKeyAlgorithm
onePassSignaturePacketVersion :: Lens' OnePassSignature PacketVersion
onePassSignatureNestedFlag :: Lens' OnePassSignature NestedFlag
onePassSignatureHashAlgorithm :: Lens' OnePassSignature HashAlgorithm
onePassSignatureEightOctetKeyId :: Lens' OnePassSignature EightOctetKeyId
secretKeySKAddendum :: Lens' SecretKey SKAddendum
secretKeyPKPayload :: Lens' SecretKey PKPayload
v3exp :: Lens' PKPayload V3Expiration
timestamp :: Lens' PKPayload TimeStamp
pubkey :: Lens' PKPayload PKey
pkalgo :: Lens' PKPayload PubKeyAlgorithm
keyVersion :: Lens' PKPayload KeyVersion
publicKeyPKPayload :: Iso' PublicKey PKPayload
secretSubkeySKAddendum :: Lens' SecretSubkey SKAddendum
secretSubkeyPKPayload :: Lens' SecretSubkey PKPayload
compressedDataPayload :: Lens' CompressedData CompressedDataPayload
compressedDataCompressionAlgorithm :: Lens' CompressedData CompressionAlgorithm
symEncDataPayload :: Iso' SymEncData ByteString
markerPayload :: Iso' Marker ByteString
literalDataTimeStamp :: Lens' LiteralData TimeStamp
literalDataPayload :: Lens' LiteralData ByteString
literalDataFileName :: Lens' LiteralData FileName
literalDataDataType :: Lens' LiteralData DataType
trustPayload :: Iso' Trust ByteString
userIdPayload :: Iso' UserId String
publicSubkeyPKPayload :: Iso' PublicSubkey PKPayload
userAttributeSubPackets :: Iso' UserAttribute [UserAttrSubPacket]
symEncIntegrityProtectedDataPayload :: Lens' SymEncIntegrityProtectedData ByteString
symEncIntegrityProtectedDataPacketVersion :: Lens' SymEncIntegrityProtectedData PacketVersion
modificationDetectionCodePayload :: Iso' ModificationDetectionCode ByteString
otherPacketType :: Lens' OtherPacket Word8
otherPacketPayload :: Lens' OtherPacket ByteString
tkUIDs :: Lens' TK [(String, [SignaturePayload])]
tkUAts :: Lens' TK [([UserAttrSubPacket], [SignaturePayload])]
tkSubs :: Lens' TK [(Pkt, [SignaturePayload])]
tkRevs :: Lens' TK [SignaturePayload]
tkKey :: Lens' TK (PKPayload, Maybe SKAddendum)
verificationSigner :: Lens' Verification PKPayload
verificationSignature :: Lens' Verification SignaturePayload
sspPayload :: Lens' SigSubPacket SigSubPacketPayload
sspCriticality :: Lens' SigSubPacket Bool
instance Typeable SymmetricAlgorithm
instance Typeable NotationFlag
instance Typeable HashAlgorithm
instance Typeable CompressionAlgorithm
instance Typeable PubKeyAlgorithm
instance Typeable KSPFlag
instance Typeable KeyFlag
instance Typeable RevocationClass
instance Typeable RevocationCode
instance Typeable FeatureFlag
instance Typeable MPI
instance Typeable KeyVersion
instance Typeable DataType
instance Typeable S2K
instance Typeable ImageFormat
instance Typeable ImageHeader
instance Typeable UserAttrSubPacket
instance Typeable SigType
instance Typeable PKey
instance Typeable PKPayload
instance Typeable SKey
instance Typeable SKAddendum
instance Typeable EightOctetKeyId
instance Typeable TwentyOctetFingerprint
instance Typeable SigSubPacketPayload
instance Typeable SignaturePayload
instance Typeable SigSubPacket
instance Typeable Pkt
instance Typeable TK
instance Typeable PKESK
instance Typeable Signature
instance Typeable SKESK
instance Typeable OnePassSignature
instance Typeable SecretKey
instance Typeable PublicKey
instance Typeable SecretSubkey
instance Typeable CompressedData
instance Typeable SymEncData
instance Typeable Marker
instance Typeable LiteralData
instance Typeable Trust
instance Typeable UserId
instance Typeable PublicSubkey
instance Typeable UserAttribute
instance Typeable SymEncIntegrityProtectedData
instance Typeable ModificationDetectionCode
instance Typeable OtherPacket
instance Typeable BrokenPacket
instance Data SymmetricAlgorithm
instance Generic SymmetricAlgorithm
instance Show SymmetricAlgorithm
instance Data NotationFlag
instance Generic NotationFlag
instance Show NotationFlag
instance Data HashAlgorithm
instance Generic HashAlgorithm
instance Show HashAlgorithm
instance Show CompressionAlgorithm
instance Data CompressionAlgorithm
instance Generic CompressionAlgorithm
instance Show PubKeyAlgorithm
instance Data PubKeyAlgorithm
instance Generic PubKeyAlgorithm
instance Data KSPFlag
instance Generic KSPFlag
instance Show KSPFlag
instance Data KeyFlag
instance Generic KeyFlag
instance Show KeyFlag
instance Data RevocationClass
instance Generic RevocationClass
instance Show RevocationClass
instance Data RevocationCode
instance Generic RevocationCode
instance Show RevocationCode
instance Data FeatureFlag
instance Generic FeatureFlag
instance Show FeatureFlag
instance Data MPI
instance Eq MPI
instance Generic MPI
instance Show MPI
instance Data KeyVersion
instance Eq KeyVersion
instance Generic KeyVersion
instance Ord KeyVersion
instance Show KeyVersion
instance Show DataType
instance Data DataType
instance Generic DataType
instance Data S2K
instance Eq S2K
instance Generic S2K
instance Show S2K
instance Data ImageFormat
instance Generic ImageFormat
instance Show ImageFormat
instance Data ImageHeader
instance Eq ImageHeader
instance Generic ImageHeader
instance Show ImageHeader
instance Data UserAttrSubPacket
instance Eq UserAttrSubPacket
instance Generic UserAttrSubPacket
instance Show UserAttrSubPacket
instance Data SigType
instance Generic SigType
instance Show SigType
instance Data PKey
instance Eq PKey
instance Generic PKey
instance Ord PKey
instance Show PKey
instance Data PKPayload
instance Eq PKPayload
instance Generic PKPayload
instance Show PKPayload
instance Data SKey
instance Eq SKey
instance Generic SKey
instance Show SKey
instance Data SKAddendum
instance Eq SKAddendum
instance Generic SKAddendum
instance Show SKAddendum
instance Show a => Show (Block a)
instance Eq a => Eq (Block a)
instance Eq EightOctetKeyId
instance Ord EightOctetKeyId
instance Data EightOctetKeyId
instance Generic EightOctetKeyId
instance Data TwentyOctetFingerprint
instance Eq TwentyOctetFingerprint
instance Generic TwentyOctetFingerprint
instance Ord TwentyOctetFingerprint
instance Data SigSubPacketPayload
instance Eq SigSubPacketPayload
instance Generic SigSubPacketPayload
instance Show SigSubPacketPayload
instance Data SignaturePayload
instance Eq SignaturePayload
instance Generic SignaturePayload
instance Show SignaturePayload
instance Data SigSubPacket
instance Eq SigSubPacket
instance Generic SigSubPacket
instance Data Pkt
instance Eq Pkt
instance Generic Pkt
instance Show Pkt
instance Data TK
instance Eq TK
instance Show TK
instance Data PKESK
instance Eq PKESK
instance Show PKESK
instance Data Signature
instance Eq Signature
instance Show Signature
instance Data SKESK
instance Eq SKESK
instance Show SKESK
instance Data OnePassSignature
instance Eq OnePassSignature
instance Show OnePassSignature
instance Data SecretKey
instance Eq SecretKey
instance Show SecretKey
instance Data PublicKey
instance Eq PublicKey
instance Show PublicKey
instance Data SecretSubkey
instance Eq SecretSubkey
instance Show SecretSubkey
instance Data CompressedData
instance Eq CompressedData
instance Show CompressedData
instance Data SymEncData
instance Eq SymEncData
instance Show SymEncData
instance Data Marker
instance Eq Marker
instance Show Marker
instance Data LiteralData
instance Eq LiteralData
instance Show LiteralData
instance Data Trust
instance Eq Trust
instance Show Trust
instance Data UserId
instance Eq UserId
instance Show UserId
instance Data PublicSubkey
instance Eq PublicSubkey
instance Show PublicSubkey
instance Data UserAttribute
instance Eq UserAttribute
instance Show UserAttribute
instance Data SymEncIntegrityProtectedData
instance Eq SymEncIntegrityProtectedData
instance Show SymEncIntegrityProtectedData
instance Data ModificationDetectionCode
instance Eq ModificationDetectionCode
instance Show ModificationDetectionCode
instance Data OtherPacket
instance Eq OtherPacket
instance Show OtherPacket
instance Data BrokenPacket
instance Eq BrokenPacket
instance Show BrokenPacket
instance Show (PacketType BrokenPacket)
instance Eq (PacketType BrokenPacket)
instance Show (PacketType OtherPacket)
instance Eq (PacketType OtherPacket)
instance Show (PacketType ModificationDetectionCode)
instance Eq (PacketType ModificationDetectionCode)
instance Show (PacketType SymEncIntegrityProtectedData)
instance Eq (PacketType SymEncIntegrityProtectedData)
instance Show (PacketType UserAttribute)
instance Eq (PacketType UserAttribute)
instance Show (PacketType PublicSubkey)
instance Eq (PacketType PublicSubkey)
instance Show (PacketType UserId)
instance Eq (PacketType UserId)
instance Show (PacketType Trust)
instance Eq (PacketType Trust)
instance Show (PacketType LiteralData)
instance Eq (PacketType LiteralData)
instance Show (PacketType Marker)
instance Eq (PacketType Marker)
instance Show (PacketType SymEncData)
instance Eq (PacketType SymEncData)
instance Show (PacketType CompressedData)
instance Eq (PacketType CompressedData)
instance Show (PacketType SecretSubkey)
instance Eq (PacketType SecretSubkey)
instance Show (PacketType PublicKey)
instance Eq (PacketType PublicKey)
instance Show (PacketType SecretKey)
instance Eq (PacketType SecretKey)
instance Show (PacketType OnePassSignature)
instance Eq (PacketType OnePassSignature)
instance Show (PacketType SKESK)
instance Eq (PacketType SKESK)
instance Show (PacketType Signature)
instance Eq (PacketType Signature)
instance Show (PacketType PKESK)
instance Eq (PacketType PKESK)
instance Datatype D1SymmetricAlgorithm
instance Constructor C1_0SymmetricAlgorithm
instance Constructor C1_1SymmetricAlgorithm
instance Constructor C1_2SymmetricAlgorithm
instance Constructor C1_3SymmetricAlgorithm
instance Constructor C1_4SymmetricAlgorithm
instance Constructor C1_5SymmetricAlgorithm
instance Constructor C1_6SymmetricAlgorithm
instance Constructor C1_7SymmetricAlgorithm
instance Constructor C1_8SymmetricAlgorithm
instance Constructor C1_9SymmetricAlgorithm
instance Constructor C1_10SymmetricAlgorithm
instance Constructor C1_11SymmetricAlgorithm
instance Datatype D1NotationFlag
instance Constructor C1_0NotationFlag
instance Constructor C1_1NotationFlag
instance Datatype D1HashAlgorithm
instance Constructor C1_0HashAlgorithm
instance Constructor C1_1HashAlgorithm
instance Constructor C1_2HashAlgorithm
instance Constructor C1_3HashAlgorithm
instance Constructor C1_4HashAlgorithm
instance Constructor C1_5HashAlgorithm
instance Constructor C1_6HashAlgorithm
instance Constructor C1_7HashAlgorithm
instance Datatype D1CompressionAlgorithm
instance Constructor C1_0CompressionAlgorithm
instance Constructor C1_1CompressionAlgorithm
instance Constructor C1_2CompressionAlgorithm
instance Constructor C1_3CompressionAlgorithm
instance Constructor C1_4CompressionAlgorithm
instance Datatype D1PubKeyAlgorithm
instance Constructor C1_0PubKeyAlgorithm
instance Constructor C1_1PubKeyAlgorithm
instance Constructor C1_2PubKeyAlgorithm
instance Constructor C1_3PubKeyAlgorithm
instance Constructor C1_4PubKeyAlgorithm
instance Constructor C1_5PubKeyAlgorithm
instance Constructor C1_6PubKeyAlgorithm
instance Constructor C1_7PubKeyAlgorithm
instance Constructor C1_8PubKeyAlgorithm
instance Constructor C1_9PubKeyAlgorithm
instance Datatype D1KSPFlag
instance Constructor C1_0KSPFlag
instance Constructor C1_1KSPFlag
instance Datatype D1KeyFlag
instance Constructor C1_0KeyFlag
instance Constructor C1_1KeyFlag
instance Constructor C1_2KeyFlag
instance Constructor C1_3KeyFlag
instance Constructor C1_4KeyFlag
instance Constructor C1_5KeyFlag
instance Constructor C1_6KeyFlag
instance Constructor C1_7KeyFlag
instance Datatype D1RevocationClass
instance Constructor C1_0RevocationClass
instance Constructor C1_1RevocationClass
instance Datatype D1RevocationCode
instance Constructor C1_0RevocationCode
instance Constructor C1_1RevocationCode
instance Constructor C1_2RevocationCode
instance Constructor C1_3RevocationCode
instance Constructor C1_4RevocationCode
instance Constructor C1_5RevocationCode
instance Datatype D1FeatureFlag
instance Constructor C1_0FeatureFlag
instance Constructor C1_1FeatureFlag
instance Datatype D1MPI
instance Constructor C1_0MPI
instance Selector S1_0_0MPI
instance Datatype D1KeyVersion
instance Constructor C1_0KeyVersion
instance Constructor C1_1KeyVersion
instance Datatype D1DataType
instance Constructor C1_0DataType
instance Constructor C1_1DataType
instance Constructor C1_2DataType
instance Constructor C1_3DataType
instance Datatype D1S2K
instance Constructor C1_0S2K
instance Constructor C1_1S2K
instance Constructor C1_2S2K
instance Constructor C1_3S2K
instance Datatype D1ImageFormat
instance Constructor C1_0ImageFormat
instance Constructor C1_1ImageFormat
instance Datatype D1ImageHeader
instance Constructor C1_0ImageHeader
instance Datatype D1UserAttrSubPacket
instance Constructor C1_0UserAttrSubPacket
instance Constructor C1_1UserAttrSubPacket
instance Datatype D1SigType
instance Constructor C1_0SigType
instance Constructor C1_1SigType
instance Constructor C1_2SigType
instance Constructor C1_3SigType
instance Constructor C1_4SigType
instance Constructor C1_5SigType
instance Constructor C1_6SigType
instance Constructor C1_7SigType
instance Constructor C1_8SigType
instance Constructor C1_9SigType
instance Constructor C1_10SigType
instance Constructor C1_11SigType
instance Constructor C1_12SigType
instance Constructor C1_13SigType
instance Constructor C1_14SigType
instance Constructor C1_15SigType
instance Datatype D1PKey
instance Constructor C1_0PKey
instance Constructor C1_1PKey
instance Constructor C1_2PKey
instance Constructor C1_3PKey
instance Datatype D1PKPayload
instance Constructor C1_0PKPayload
instance Selector S1_0_0PKPayload
instance Selector S1_0_1PKPayload
instance Selector S1_0_2PKPayload
instance Selector S1_0_3PKPayload
instance Selector S1_0_4PKPayload
instance Datatype D1SKey
instance Constructor C1_0SKey
instance Constructor C1_1SKey
instance Constructor C1_2SKey
instance Constructor C1_3SKey
instance Datatype D1SKAddendum
instance Constructor C1_0SKAddendum
instance Constructor C1_1SKAddendum
instance Constructor C1_2SKAddendum
instance Constructor C1_3SKAddendum
instance Datatype D1EightOctetKeyId
instance Constructor C1_0EightOctetKeyId
instance Selector S1_0_0EightOctetKeyId
instance Datatype D1TwentyOctetFingerprint
instance Constructor C1_0TwentyOctetFingerprint
instance Selector S1_0_0TwentyOctetFingerprint
instance Datatype D1SigSubPacketPayload
instance Constructor C1_0SigSubPacketPayload
instance Constructor C1_1SigSubPacketPayload
instance Constructor C1_2SigSubPacketPayload
instance Constructor C1_3SigSubPacketPayload
instance Constructor C1_4SigSubPacketPayload
instance Constructor C1_5SigSubPacketPayload
instance Constructor C1_6SigSubPacketPayload
instance Constructor C1_7SigSubPacketPayload
instance Constructor C1_8SigSubPacketPayload
instance Constructor C1_9SigSubPacketPayload
instance Constructor C1_10SigSubPacketPayload
instance Constructor C1_11SigSubPacketPayload
instance Constructor C1_12SigSubPacketPayload
instance Constructor C1_13SigSubPacketPayload
instance Constructor C1_14SigSubPacketPayload
instance Constructor C1_15SigSubPacketPayload
instance Constructor C1_16SigSubPacketPayload
instance Constructor C1_17SigSubPacketPayload
instance Constructor C1_18SigSubPacketPayload
instance Constructor C1_19SigSubPacketPayload
instance Constructor C1_20SigSubPacketPayload
instance Constructor C1_21SigSubPacketPayload
instance Constructor C1_22SigSubPacketPayload
instance Constructor C1_23SigSubPacketPayload
instance Constructor C1_24SigSubPacketPayload
instance Datatype D1SignaturePayload
instance Constructor C1_0SignaturePayload
instance Constructor C1_1SignaturePayload
instance Constructor C1_2SignaturePayload
instance Datatype D1SigSubPacket
instance Constructor C1_0SigSubPacket
instance Selector S1_0_0SigSubPacket
instance Selector S1_0_1SigSubPacket
instance Datatype D1Pkt
instance Constructor C1_0Pkt
instance Constructor C1_1Pkt
instance Constructor C1_2Pkt
instance Constructor C1_3Pkt
instance Constructor C1_4Pkt
instance Constructor C1_5Pkt
instance Constructor C1_6Pkt
instance Constructor C1_7Pkt
instance Constructor C1_8Pkt
instance Constructor C1_9Pkt
instance Constructor C1_10Pkt
instance Constructor C1_11Pkt
instance Constructor C1_12Pkt
instance Constructor C1_13Pkt
instance Constructor C1_14Pkt
instance Constructor C1_15Pkt
instance Constructor C1_16Pkt
instance Constructor C1_17Pkt
instance Constructor C1_18Pkt
instance Packet BrokenPacket
instance Packet OtherPacket
instance Packet ModificationDetectionCode
instance Packet SymEncIntegrityProtectedData
instance Packet UserAttribute
instance Packet PublicSubkey
instance Packet UserId
instance Packet Trust
instance Packet LiteralData
instance Packet Marker
instance Packet SymEncData
instance Packet CompressedData
instance Packet SecretSubkey
instance Packet PublicKey
instance Packet SecretKey
instance Packet OnePassSignature
instance Packet SKESK
instance Packet Signature
instance Packet PKESK
instance Ord Pkt
instance Hashable Pkt
instance Ord TK
instance Show SpacedFingerprint
instance Pretty TwentyOctetFingerprint
instance Hashable TwentyOctetFingerprint
instance Read TwentyOctetFingerprint
instance Show TwentyOctetFingerprint
instance Hashable EightOctetKeyId
instance Read EightOctetKeyId
instance Show EightOctetKeyId
instance Hashable SKey
instance Hashable PKey
instance Hashable PrivateKey
instance Hashable PublicKey
instance Hashable PrivateKey
instance Hashable PublicKey
instance Hashable Params
instance Ord PrivateKey
instance Ord PrivateKey
instance Ord PublicKey
instance Ord PublicKey
instance Hashable SigType
instance FutureVal SigType
instance Ord SigType
instance Eq SigType
instance Hashable ImageFormat
instance FutureVal ImageFormat
instance Ord ImageFormat
instance Eq ImageFormat
instance Hashable ImageHeader
instance Ord ImageHeader
instance Ord UserAttrSubPacket
instance Hashable UserAttrSubPacket
instance Hashable S2K
instance FutureVal DataType
instance Ord DataType
instance Eq DataType
instance Hashable DataType
instance Hashable SKAddendum
instance Ord SKAddendum
instance Hashable PKPayload
instance Ord PKPayload
instance Hashable KeyVersion
instance Hashable SignaturePayload
instance Hashable MPI
instance Hashable a => Hashable (Set a)
instance Hashable FeatureFlag
instance FutureFlag FeatureFlag
instance Ord FeatureFlag
instance Eq FeatureFlag
instance Hashable RevocationCode
instance FutureVal RevocationCode
instance Ord RevocationCode
instance Eq RevocationCode
instance Hashable RevocationClass
instance FutureFlag RevocationClass
instance Ord RevocationClass
instance Eq RevocationClass
instance Hashable KeyFlag
instance FutureFlag KeyFlag
instance Ord KeyFlag
instance Eq KeyFlag
instance Hashable KSPFlag
instance FutureFlag KSPFlag
instance Ord KSPFlag
instance Eq KSPFlag
instance Hashable PubKeyAlgorithm
instance FutureVal PubKeyAlgorithm
instance Ord PubKeyAlgorithm
instance Eq PubKeyAlgorithm
instance Hashable CompressionAlgorithm
instance FutureVal CompressionAlgorithm
instance Ord CompressionAlgorithm
instance Eq CompressionAlgorithm
instance Hashable HashAlgorithm
instance FutureVal HashAlgorithm
instance Ord HashAlgorithm
instance Eq HashAlgorithm
instance Hashable SigSubPacketPayload
instance Hashable SigSubPacket
instance Show SigSubPacket
instance Hashable NotationFlag
instance FutureFlag NotationFlag
instance Ord NotationFlag
instance Eq NotationFlag
instance Hashable SymmetricAlgorithm
instance FutureVal SymmetricAlgorithm
instance Ord SymmetricAlgorithm
instance Eq SymmetricAlgorithm

module Codec.Encryption.OpenPGP.Serialize
putSKAddendum :: SKAddendum -> Put
getSecretKey :: PKPayload -> Get SKey
instance Serialize TK
instance Serialize SignaturePayload
instance Serialize PKPayload
instance Serialize a => Serialize (Block a)
instance Serialize Pkt
instance Serialize OtherPacket
instance Serialize ModificationDetectionCode
instance Serialize SymEncIntegrityProtectedData
instance Serialize UserAttribute
instance Serialize PublicSubkey
instance Serialize UserId
instance Serialize Trust
instance Serialize LiteralData
instance Serialize Marker
instance Serialize SymEncData
instance Serialize CompressedData
instance Serialize SecretSubkey
instance Serialize PublicKey
instance Serialize SecretKey
instance Serialize OnePassSignature
instance Serialize SKESK
instance Serialize Signature
instance Serialize PKESK
instance Serialize S2K
instance Serialize UserAttrSubPacket
instance Serialize SigType
instance Serialize MPI
instance Serialize SymmetricAlgorithm
instance Serialize HashAlgorithm
instance Serialize PubKeyAlgorithm
instance Serialize CompressionAlgorithm
instance Serialize SigSubPacket

module Codec.Encryption.OpenPGP.Compression
decompressPkt :: Pkt -> [Pkt]
compressPkts :: CompressionAlgorithm -> [Pkt] -> Pkt

module Codec.Encryption.OpenPGP.Expirations
isTKTimeValid :: UTCTime -> TK -> Bool
getKeyExpirationTimesFromSignature :: SignaturePayload -> [TimeStamp]

module Codec.Encryption.OpenPGP.Fingerprint
eightOctetKeyID :: PKPayload -> Either String EightOctetKeyId
fingerprint :: PKPayload -> TwentyOctetFingerprint

module Codec.Encryption.OpenPGP.KeyInfo
pubkeySize :: PKey -> Either [Char] Int
pkalgoAbbrev :: PubKeyAlgorithm -> [Char]

module Data.Conduit.OpenPGP.Keyring.Instances
instance Semigroup TK
instance Ord SignaturePayload
instance Indexable TK

module Codec.Encryption.OpenPGP.KeyringParser
parseAChunk :: (Monoid s, Show s) => Parser s r -> s -> ([(r, s)], Maybe (Maybe (r -> r), Parser s r)) -> (([(r, s)], Maybe (Maybe (r -> r), Parser s r)), [r])
finalizeParsing :: Monoid s => ([(r, s)], Maybe (Maybe (r -> r), Parser s r)) -> (([(r, s)], Maybe (Maybe (r -> r), Parser s r)), [r])
parseTK :: Bool -> Parser [Pkt] (Maybe TK)
data UidOrUat
I :: String -> UidOrUat
A :: [UserAttrSubPacket] -> UidOrUat
splitUs :: [(UidOrUat, [SignaturePayload])] -> ([(String, [SignaturePayload])], [([UserAttrSubPacket], [SignaturePayload])])
publicTK :: Bool -> Parser [Pkt] (Maybe TK)
secretTK :: Bool -> Parser [Pkt] (Maybe TK)
brokenTK :: Int -> Parser [Pkt] (Maybe TK)
pkPayload :: Parser [Pkt] (PKPayload, Maybe SKAddendum)
signature :: Bool -> [SigType] -> Parser [Pkt] [SignaturePayload]
signedUID :: Bool -> Parser [Pkt] (UidOrUat, [SignaturePayload])
signedUAt :: Bool -> Parser [Pkt] (UidOrUat, [SignaturePayload])
signedOrRevokedPubSubkey :: Bool -> Parser [Pkt] [(Pkt, [SignaturePayload])]
brokenPubSubkey :: Parser [Pkt] [(Pkt, [SignaturePayload])]
rawOrSignedOrRevokedSecSubkey :: Bool -> Parser [Pkt] [(Pkt, [SignaturePayload])]
brokenSecSubkey :: Parser [Pkt] [(Pkt, [SignaturePayload])]
skPayload :: Parser [Pkt] (PKPayload, Maybe SKAddendum)
broken :: Int -> Parser [Pkt] Pkt
instance Show UidOrUat

module Data.Conduit.OpenPGP.Keyring
conduitToTKs :: Monad m => Conduit Pkt m TK
conduitToTKsDropping :: Monad m => Conduit Pkt m TK
sinkKeyringMap :: Monad m => Sink TK m Keyring
instance Eq Phase
instance Ord Phase
instance Show Phase

module Codec.Encryption.OpenPGP.KeySelection
parseEightOctetKeyId :: Text -> Either String EightOctetKeyId
parseFingerprint :: Text -> Either String TwentyOctetFingerprint

module Codec.Encryption.OpenPGP.S2K
string2Key :: S2K -> Int -> ByteString -> ByteString
skesk2Key :: SKESK -> ByteString -> ByteString

module Codec.Encryption.OpenPGP.CFB
decrypt :: SymmetricAlgorithm -> ByteString -> ByteString -> Either String ByteString
decryptNoNonce :: SymmetricAlgorithm -> IV -> ByteString -> ByteString -> Either String ByteString
decryptOpenPGPCfb :: SymmetricAlgorithm -> ByteString -> ByteString -> Either String ByteString
encryptNoNonce :: SymmetricAlgorithm -> S2K -> IV -> ByteString -> ByteString -> Either String ByteString

module Codec.Encryption.OpenPGP.SecretKey
decryptPrivateKey :: (PKPayload, SKAddendum) -> ByteString -> SKAddendum

-- | 8-octet salt, IV must be length of cipher blocksize
encryptPrivateKey :: ByteString -> IV -> SKAddendum -> ByteString -> SKAddendum

-- | generates pseudo-random salt and IV
encryptPrivateKeyIO :: SKAddendum -> ByteString -> IO SKAddendum
reencryptSecretKeyIO :: SecretKey -> ByteString -> IO SecretKey

module Codec.Encryption.OpenPGP.Signatures
verifySigWith :: (Pkt -> Maybe UTCTime -> ByteString -> Either String Verification) -> Pkt -> PktStreamContext -> Maybe UTCTime -> Either String Verification
verifyAgainstKeyring :: Keyring -> Pkt -> Maybe UTCTime -> ByteString -> Either String Verification
verifyAgainstKeys :: [TK] -> Pkt -> Maybe UTCTime -> ByteString -> Either String Verification
verifyTKWith :: (Pkt -> PktStreamContext -> Maybe UTCTime -> Either String Verification) -> Maybe UTCTime -> TK -> Either String TK

module Data.Conduit.OpenPGP.Compression
conduitCompress :: MonadThrow m => CompressionAlgorithm -> Conduit Pkt m Pkt
conduitDecompress :: MonadThrow m => Conduit Pkt m Pkt

module Data.Conduit.OpenPGP.Decrypt
conduitDecrypt :: (MonadBaseControl IO m, MonadResource m) => InputCallback IO -> Conduit Pkt m Pkt
instance Eq RecursorState
instance Show RecursorState
instance Default RecursorState

module Data.Conduit.OpenPGP.Filter
conduitPktFilter :: Monad m => FilterPredicates -> Conduit Pkt m Pkt
conduitTKFilter :: Monad m => FilterPredicates -> Conduit TK m TK
data FilterPredicates

-- | <a>old</a>-style filter predicate, hopefully to be deprecated
UnifiedFilterPredicate :: (Expr UPredicate) -> FilterPredicates

-- | a more flexible fp for transferable keys, hopefully to be deprecated
TransitionalTKFP :: (Exp (Reader TK) Bool) -> FilterPredicates

-- | an even more flexible fp for transferable keys
RTKFilterPredicate :: (Reader TK Bool) -> FilterPredicates

-- | an even more flexible fp for context-less packets
RPFilterPredicate :: (Reader Pkt Bool) -> FilterPredicates
data Expr a
EAny :: Expr a
E :: a -> Expr a
EAnd :: (Expr a) -> (Expr a) -> Expr a
EOr :: (Expr a) -> (Expr a) -> Expr a
ENot :: (Expr a) -> Expr a
data PKPVar

-- | public key version
PKPVVersion :: PKPVar

-- | public key algorithm
PKPVPKA :: PKPVar

-- | public key size (in bits)
PKPVKeysize :: PKPVar

-- | public key creation time
PKPVTimestamp :: PKPVar

-- | public key's eight-octet key ID
PKPVEOKI :: PKPVar

-- | public key's twenty-octet fingerprint
PKPVTOF :: PKPVar
data PKPOp
PKEquals :: PKPOp
PKLessThan :: PKPOp
PKGreaterThan :: PKPOp
data PKPValue
PKPInt :: Int -> PKPValue
PKPPKA :: PubKeyAlgorithm -> PKPValue
PKPEOKI :: (Either String EightOctetKeyId) -> PKPValue
PKPTOF :: TwentyOctetFingerprint -> PKPValue
data SPVar

-- | signature packet version
SPVVersion :: SPVar

-- | signature packet tyep
SPVSigType :: SPVar

-- | signature packet public key algorithm
SPVPKA :: SPVar

-- | signature packet hash algorithm
SPVHA :: SPVar
data SPOp
SPEquals :: SPOp
SPLessThan :: SPOp
SPGreaterThan :: SPOp
data SPValue
SPInt :: Int -> SPValue
SPSigType :: SigType -> SPValue
SPPKA :: PubKeyAlgorithm -> SPValue
SPHA :: HashAlgorithm -> SPValue
data OVar

-- | OpenPGP packet tag
OVTag :: OVar

-- | packet length (length of what, though?)
OVLength :: OVar
data OOp
OEquals :: OOp
OLessThan :: OOp
OGreaterThan :: OOp
data OValue
OInt :: Int -> OValue
OInteger :: Integer -> OValue
data UPredicate
UPKPP :: PKPVar -> UOp -> PKPValue -> UPredicate
USPP :: SPVar -> UOp -> SPValue -> UPredicate
UOP :: OVar -> UOp -> OValue -> UPredicate
data UOp

-- | (==)
UEquals :: UOp

-- | (&lt;)
ULessThan :: UOp

-- | (&gt;)
UGreaterThan :: UOp
data Exp m a
I :: Integer -> Exp m Integer
B :: Bool -> Exp m Bool
S :: String -> Exp m String
Lift :: b -> Exp m b
Ap :: Exp m (b -> c) -> Exp m b -> Exp m c
AnyAll :: ((b -> m Bool) -> [b] -> m Bool) -> (b -> Exp m Bool) -> Exp m [b] -> Exp m Bool
MA :: m b -> Exp m b
unop :: (a -> b) -> Exp m a -> Exp m b
binop :: (a -> a -> b) -> Exp m a -> Exp m a -> Exp m b
instance Enum PKPOp
instance Eq PKPValue
instance Enum SPOp
instance Eq SPValue
instance Enum OOp
instance Eq OValue
instance Enum UOp
instance Ord OValue
instance Ord SPValue
instance Ord PKPValue

module Data.Conduit.OpenPGP.Verify
conduitVerify :: Monad m => Keyring -> Maybe UTCTime -> Conduit Pkt m (Either String Verification)
