hOpenPGP-2.5.1: native Haskell implementation of OpenPGP (RFC4880)

Safe HaskellNone
LanguageHaskell2010

Codec.Encryption.OpenPGP.Types

Documentation

data SymmetricAlgorithm #

Instances

Eq SymmetricAlgorithm # 
Data SymmetricAlgorithm # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SymmetricAlgorithm -> c SymmetricAlgorithm #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SymmetricAlgorithm #

toConstr :: SymmetricAlgorithm -> Constr #

dataTypeOf :: SymmetricAlgorithm -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SymmetricAlgorithm) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SymmetricAlgorithm) #

gmapT :: (forall b. Data b => b -> b) -> SymmetricAlgorithm -> SymmetricAlgorithm #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SymmetricAlgorithm -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SymmetricAlgorithm -> r #

gmapQ :: (forall d. Data d => d -> u) -> SymmetricAlgorithm -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SymmetricAlgorithm -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SymmetricAlgorithm -> m SymmetricAlgorithm #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SymmetricAlgorithm -> m SymmetricAlgorithm #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SymmetricAlgorithm -> m SymmetricAlgorithm #

Ord SymmetricAlgorithm # 
Show SymmetricAlgorithm # 
Generic SymmetricAlgorithm # 
ToJSON SymmetricAlgorithm # 
FromJSON SymmetricAlgorithm # 
Hashable SymmetricAlgorithm # 
Pretty SymmetricAlgorithm # 
FutureVal SymmetricAlgorithm # 
type Rep SymmetricAlgorithm # 
type Rep SymmetricAlgorithm = D1 (MetaData "SymmetricAlgorithm" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Plaintext" PrefixI False) U1) ((:+:) (C1 (MetaCons "IDEA" PrefixI False) U1) (C1 (MetaCons "TripleDES" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "CAST5" PrefixI False) U1) (C1 (MetaCons "Blowfish" PrefixI False) U1)) ((:+:) (C1 (MetaCons "ReservedSAFER" PrefixI False) U1) (C1 (MetaCons "ReservedDES" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "AES128" PrefixI False) U1) (C1 (MetaCons "AES192" PrefixI False) U1)) ((:+:) (C1 (MetaCons "AES256" PrefixI False) U1) (C1 (MetaCons "Twofish" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "Camellia128" PrefixI False) U1) (C1 (MetaCons "Camellia192" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Camellia256" PrefixI False) U1) (C1 (MetaCons "OtherSA" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)))))))

data NotationFlag #

Constructors

HumanReadable 
OtherNF Word8 

Instances

Eq NotationFlag # 
Data NotationFlag # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NotationFlag -> c NotationFlag #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NotationFlag #

toConstr :: NotationFlag -> Constr #

dataTypeOf :: NotationFlag -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c NotationFlag) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NotationFlag) #

gmapT :: (forall b. Data b => b -> b) -> NotationFlag -> NotationFlag #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NotationFlag -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NotationFlag -> r #

gmapQ :: (forall d. Data d => d -> u) -> NotationFlag -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> NotationFlag -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NotationFlag -> m NotationFlag #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NotationFlag -> m NotationFlag #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NotationFlag -> m NotationFlag #

Ord NotationFlag # 
Show NotationFlag # 
Generic NotationFlag # 

Associated Types

type Rep NotationFlag :: * -> * #

ToJSON NotationFlag # 
FromJSON NotationFlag # 
Hashable NotationFlag # 
Pretty NotationFlag # 
FutureFlag NotationFlag # 
type Rep NotationFlag # 
type Rep NotationFlag = D1 (MetaData "NotationFlag" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) (C1 (MetaCons "HumanReadable" PrefixI False) U1) (C1 (MetaCons "OtherNF" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8))))

newtype ThirtyTwoBitTimeStamp #

Instances

Bounded ThirtyTwoBitTimeStamp # 
Enum ThirtyTwoBitTimeStamp # 
Eq ThirtyTwoBitTimeStamp # 
Integral ThirtyTwoBitTimeStamp # 
Data ThirtyTwoBitTimeStamp # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ThirtyTwoBitTimeStamp -> c ThirtyTwoBitTimeStamp #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ThirtyTwoBitTimeStamp #

toConstr :: ThirtyTwoBitTimeStamp -> Constr #

dataTypeOf :: ThirtyTwoBitTimeStamp -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ThirtyTwoBitTimeStamp) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ThirtyTwoBitTimeStamp) #

gmapT :: (forall b. Data b => b -> b) -> ThirtyTwoBitTimeStamp -> ThirtyTwoBitTimeStamp #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ThirtyTwoBitTimeStamp -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ThirtyTwoBitTimeStamp -> r #

gmapQ :: (forall d. Data d => d -> u) -> ThirtyTwoBitTimeStamp -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ThirtyTwoBitTimeStamp -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ThirtyTwoBitTimeStamp -> m ThirtyTwoBitTimeStamp #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ThirtyTwoBitTimeStamp -> m ThirtyTwoBitTimeStamp #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ThirtyTwoBitTimeStamp -> m ThirtyTwoBitTimeStamp #

Num ThirtyTwoBitTimeStamp # 
Ord ThirtyTwoBitTimeStamp # 
Real ThirtyTwoBitTimeStamp # 
Show ThirtyTwoBitTimeStamp # 
Generic ThirtyTwoBitTimeStamp # 
ToJSON ThirtyTwoBitTimeStamp # 
FromJSON ThirtyTwoBitTimeStamp # 
Hashable ThirtyTwoBitTimeStamp # 
Pretty ThirtyTwoBitTimeStamp # 
Newtype ThirtyTwoBitTimeStamp Word32 # 
type Rep ThirtyTwoBitTimeStamp # 
type Rep ThirtyTwoBitTimeStamp = D1 (MetaData "ThirtyTwoBitTimeStamp" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "ThirtyTwoBitTimeStamp" PrefixI True) (S1 (MetaSel (Just Symbol "unThirtyTwoBitTimeStamp") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))

durU :: (Integral a, Show a) => a -> Maybe (String, a) #

newtype ThirtyTwoBitDuration #

Instances

Bounded ThirtyTwoBitDuration # 
Enum ThirtyTwoBitDuration # 
Eq ThirtyTwoBitDuration # 
Integral ThirtyTwoBitDuration # 
Data ThirtyTwoBitDuration # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ThirtyTwoBitDuration -> c ThirtyTwoBitDuration #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ThirtyTwoBitDuration #

toConstr :: ThirtyTwoBitDuration -> Constr #

dataTypeOf :: ThirtyTwoBitDuration -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ThirtyTwoBitDuration) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ThirtyTwoBitDuration) #

gmapT :: (forall b. Data b => b -> b) -> ThirtyTwoBitDuration -> ThirtyTwoBitDuration #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ThirtyTwoBitDuration -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ThirtyTwoBitDuration -> r #

gmapQ :: (forall d. Data d => d -> u) -> ThirtyTwoBitDuration -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ThirtyTwoBitDuration -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ThirtyTwoBitDuration -> m ThirtyTwoBitDuration #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ThirtyTwoBitDuration -> m ThirtyTwoBitDuration #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ThirtyTwoBitDuration -> m ThirtyTwoBitDuration #

Num ThirtyTwoBitDuration # 
Ord ThirtyTwoBitDuration # 
Real ThirtyTwoBitDuration # 
Show ThirtyTwoBitDuration # 
Generic ThirtyTwoBitDuration # 
ToJSON ThirtyTwoBitDuration # 
FromJSON ThirtyTwoBitDuration # 
Hashable ThirtyTwoBitDuration # 
Pretty ThirtyTwoBitDuration # 
Newtype ThirtyTwoBitDuration Word32 # 
type Rep ThirtyTwoBitDuration # 
type Rep ThirtyTwoBitDuration = D1 (MetaData "ThirtyTwoBitDuration" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "ThirtyTwoBitDuration" PrefixI True) (S1 (MetaSel (Just Symbol "unThirtyTwoBitDuration") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word32)))

data RevocationClass #

Constructors

SensitiveRK 
RClOther Word8 

Instances

Eq RevocationClass # 
Data RevocationClass # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RevocationClass -> c RevocationClass #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RevocationClass #

toConstr :: RevocationClass -> Constr #

dataTypeOf :: RevocationClass -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RevocationClass) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RevocationClass) #

gmapT :: (forall b. Data b => b -> b) -> RevocationClass -> RevocationClass #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RevocationClass -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RevocationClass -> r #

gmapQ :: (forall d. Data d => d -> u) -> RevocationClass -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> RevocationClass -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RevocationClass -> m RevocationClass #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RevocationClass -> m RevocationClass #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RevocationClass -> m RevocationClass #

Ord RevocationClass # 
Show RevocationClass # 
Generic RevocationClass # 
ToJSON RevocationClass # 
FromJSON RevocationClass # 
Hashable RevocationClass # 
Pretty RevocationClass # 
FutureFlag RevocationClass # 
type Rep RevocationClass # 
type Rep RevocationClass = D1 (MetaData "RevocationClass" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) (C1 (MetaCons "SensitiveRK" PrefixI False) U1) (C1 (MetaCons "RClOther" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8))))

data PubKeyAlgorithm #

Instances

Eq PubKeyAlgorithm # 
Data PubKeyAlgorithm # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PubKeyAlgorithm -> c PubKeyAlgorithm #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PubKeyAlgorithm #

toConstr :: PubKeyAlgorithm -> Constr #

dataTypeOf :: PubKeyAlgorithm -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PubKeyAlgorithm) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PubKeyAlgorithm) #

gmapT :: (forall b. Data b => b -> b) -> PubKeyAlgorithm -> PubKeyAlgorithm #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PubKeyAlgorithm -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PubKeyAlgorithm -> r #

gmapQ :: (forall d. Data d => d -> u) -> PubKeyAlgorithm -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PubKeyAlgorithm -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PubKeyAlgorithm -> m PubKeyAlgorithm #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PubKeyAlgorithm -> m PubKeyAlgorithm #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PubKeyAlgorithm -> m PubKeyAlgorithm #

Ord PubKeyAlgorithm # 
Show PubKeyAlgorithm # 
Generic PubKeyAlgorithm # 
ToJSON PubKeyAlgorithm # 
FromJSON PubKeyAlgorithm # 
Hashable PubKeyAlgorithm # 
Pretty PubKeyAlgorithm # 
FutureVal PubKeyAlgorithm # 
type Rep PubKeyAlgorithm # 
type Rep PubKeyAlgorithm = D1 (MetaData "PubKeyAlgorithm" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "RSA" PrefixI False) U1) (C1 (MetaCons "DeprecatedRSAEncryptOnly" PrefixI False) U1)) ((:+:) (C1 (MetaCons "DeprecatedRSASignOnly" PrefixI False) U1) ((:+:) (C1 (MetaCons "ElgamalEncryptOnly" PrefixI False) U1) (C1 (MetaCons "DSA" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "ECDH" PrefixI False) U1) (C1 (MetaCons "ECDSA" PrefixI False) U1)) ((:+:) (C1 (MetaCons "ForbiddenElgamal" PrefixI False) U1) ((:+:) (C1 (MetaCons "DH" PrefixI False) U1) (C1 (MetaCons "OtherPKA" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)))))))

newtype TwentyOctetFingerprint #

Constructors

TwentyOctetFingerprint 

Fields

Instances

Eq TwentyOctetFingerprint # 
Data TwentyOctetFingerprint # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TwentyOctetFingerprint -> c TwentyOctetFingerprint #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TwentyOctetFingerprint #

toConstr :: TwentyOctetFingerprint -> Constr #

dataTypeOf :: TwentyOctetFingerprint -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TwentyOctetFingerprint) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TwentyOctetFingerprint) #

gmapT :: (forall b. Data b => b -> b) -> TwentyOctetFingerprint -> TwentyOctetFingerprint #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TwentyOctetFingerprint -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TwentyOctetFingerprint -> r #

gmapQ :: (forall d. Data d => d -> u) -> TwentyOctetFingerprint -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TwentyOctetFingerprint -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TwentyOctetFingerprint -> m TwentyOctetFingerprint #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TwentyOctetFingerprint -> m TwentyOctetFingerprint #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TwentyOctetFingerprint -> m TwentyOctetFingerprint #

Ord TwentyOctetFingerprint # 
Read TwentyOctetFingerprint # 
Show TwentyOctetFingerprint # 
Generic TwentyOctetFingerprint # 
ToJSON TwentyOctetFingerprint # 
FromJSON TwentyOctetFingerprint # 
Hashable TwentyOctetFingerprint # 
Pretty TwentyOctetFingerprint # 
Newtype SpacedFingerprint TwentyOctetFingerprint # 
Newtype TwentyOctetFingerprint ByteString # 
type Rep TwentyOctetFingerprint # 
type Rep TwentyOctetFingerprint = D1 (MetaData "TwentyOctetFingerprint" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "TwentyOctetFingerprint" PrefixI True) (S1 (MetaSel (Just Symbol "unTOF") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

newtype EightOctetKeyId #

Constructors

EightOctetKeyId 

Fields

Instances

Eq EightOctetKeyId # 
Data EightOctetKeyId # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EightOctetKeyId -> c EightOctetKeyId #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EightOctetKeyId #

toConstr :: EightOctetKeyId -> Constr #

dataTypeOf :: EightOctetKeyId -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c EightOctetKeyId) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EightOctetKeyId) #

gmapT :: (forall b. Data b => b -> b) -> EightOctetKeyId -> EightOctetKeyId #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EightOctetKeyId -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EightOctetKeyId -> r #

gmapQ :: (forall d. Data d => d -> u) -> EightOctetKeyId -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> EightOctetKeyId -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EightOctetKeyId -> m EightOctetKeyId #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EightOctetKeyId -> m EightOctetKeyId #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EightOctetKeyId -> m EightOctetKeyId #

Ord EightOctetKeyId # 
Read EightOctetKeyId # 
Show EightOctetKeyId # 
Generic EightOctetKeyId # 
ToJSON EightOctetKeyId # 
FromJSON EightOctetKeyId # 
Hashable EightOctetKeyId # 
Pretty EightOctetKeyId # 
Newtype EightOctetKeyId ByteString # 
type Rep EightOctetKeyId # 
type Rep EightOctetKeyId = D1 (MetaData "EightOctetKeyId" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "EightOctetKeyId" PrefixI True) (S1 (MetaSel (Just Symbol "unEOKI") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

newtype NotationName #

Constructors

NotationName 

Instances

Eq NotationName # 
Data NotationName # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NotationName -> c NotationName #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NotationName #

toConstr :: NotationName -> Constr #

dataTypeOf :: NotationName -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c NotationName) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NotationName) #

gmapT :: (forall b. Data b => b -> b) -> NotationName -> NotationName #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NotationName -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NotationName -> r #

gmapQ :: (forall d. Data d => d -> u) -> NotationName -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> NotationName -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NotationName -> m NotationName #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NotationName -> m NotationName #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NotationName -> m NotationName #

Ord NotationName # 
Show NotationName # 
Generic NotationName # 

Associated Types

type Rep NotationName :: * -> * #

ToJSON NotationName # 
FromJSON NotationName # 
Hashable NotationName # 
Pretty NotationName # 
Newtype NotationName ByteString # 
type Rep NotationName # 
type Rep NotationName = D1 (MetaData "NotationName" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "NotationName" PrefixI True) (S1 (MetaSel (Just Symbol "unNotationName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

newtype NotationValue #

Constructors

NotationValue 

Instances

Eq NotationValue # 
Data NotationValue # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NotationValue -> c NotationValue #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NotationValue #

toConstr :: NotationValue -> Constr #

dataTypeOf :: NotationValue -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c NotationValue) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NotationValue) #

gmapT :: (forall b. Data b => b -> b) -> NotationValue -> NotationValue #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NotationValue -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NotationValue -> r #

gmapQ :: (forall d. Data d => d -> u) -> NotationValue -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> NotationValue -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NotationValue -> m NotationValue #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NotationValue -> m NotationValue #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NotationValue -> m NotationValue #

Ord NotationValue # 
Show NotationValue # 
Generic NotationValue # 

Associated Types

type Rep NotationValue :: * -> * #

ToJSON NotationValue # 
FromJSON NotationValue # 
Hashable NotationValue # 
Pretty NotationValue # 
Newtype NotationValue ByteString # 
type Rep NotationValue # 
type Rep NotationValue = D1 (MetaData "NotationValue" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "NotationValue" PrefixI True) (S1 (MetaSel (Just Symbol "unNotationValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

data HashAlgorithm #

Instances

Eq HashAlgorithm # 
Data HashAlgorithm # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HashAlgorithm -> c HashAlgorithm #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HashAlgorithm #

toConstr :: HashAlgorithm -> Constr #

dataTypeOf :: HashAlgorithm -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c HashAlgorithm) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HashAlgorithm) #

gmapT :: (forall b. Data b => b -> b) -> HashAlgorithm -> HashAlgorithm #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HashAlgorithm -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HashAlgorithm -> r #

gmapQ :: (forall d. Data d => d -> u) -> HashAlgorithm -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> HashAlgorithm -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> HashAlgorithm -> m HashAlgorithm #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HashAlgorithm -> m HashAlgorithm #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HashAlgorithm -> m HashAlgorithm #

Ord HashAlgorithm # 
Show HashAlgorithm # 
Generic HashAlgorithm # 

Associated Types

type Rep HashAlgorithm :: * -> * #

ToJSON HashAlgorithm # 
FromJSON HashAlgorithm # 
Hashable HashAlgorithm # 
Pretty HashAlgorithm # 
FutureVal HashAlgorithm # 
type Rep HashAlgorithm # 
type Rep HashAlgorithm = D1 (MetaData "HashAlgorithm" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "DeprecatedMD5" PrefixI False) U1) (C1 (MetaCons "SHA1" PrefixI False) U1)) ((:+:) (C1 (MetaCons "RIPEMD160" PrefixI False) U1) (C1 (MetaCons "SHA256" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "SHA384" PrefixI False) U1) (C1 (MetaCons "SHA512" PrefixI False) U1)) ((:+:) (C1 (MetaCons "SHA224" PrefixI False) U1) (C1 (MetaCons "OtherHA" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8))))))

data CompressionAlgorithm #

Instances

Eq CompressionAlgorithm # 
Data CompressionAlgorithm # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompressionAlgorithm -> c CompressionAlgorithm #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CompressionAlgorithm #

toConstr :: CompressionAlgorithm -> Constr #

dataTypeOf :: CompressionAlgorithm -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CompressionAlgorithm) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CompressionAlgorithm) #

gmapT :: (forall b. Data b => b -> b) -> CompressionAlgorithm -> CompressionAlgorithm #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompressionAlgorithm -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompressionAlgorithm -> r #

gmapQ :: (forall d. Data d => d -> u) -> CompressionAlgorithm -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CompressionAlgorithm -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompressionAlgorithm -> m CompressionAlgorithm #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompressionAlgorithm -> m CompressionAlgorithm #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompressionAlgorithm -> m CompressionAlgorithm #

Ord CompressionAlgorithm # 
Show CompressionAlgorithm # 
Generic CompressionAlgorithm # 
ToJSON CompressionAlgorithm # 
FromJSON CompressionAlgorithm # 
Hashable CompressionAlgorithm # 
Pretty CompressionAlgorithm # 
FutureVal CompressionAlgorithm # 
type Rep CompressionAlgorithm # 
type Rep CompressionAlgorithm = D1 (MetaData "CompressionAlgorithm" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) ((:+:) (C1 (MetaCons "Uncompressed" PrefixI False) U1) (C1 (MetaCons "ZIP" PrefixI False) U1)) ((:+:) (C1 (MetaCons "ZLIB" PrefixI False) U1) ((:+:) (C1 (MetaCons "BZip2" PrefixI False) U1) (C1 (MetaCons "OtherCA" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8))))))

data KSPFlag #

Constructors

NoModify 
KSPOther Int 

Instances

Eq KSPFlag # 

Methods

(==) :: KSPFlag -> KSPFlag -> Bool #

(/=) :: KSPFlag -> KSPFlag -> Bool #

Data KSPFlag # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> KSPFlag -> c KSPFlag #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c KSPFlag #

toConstr :: KSPFlag -> Constr #

dataTypeOf :: KSPFlag -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c KSPFlag) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c KSPFlag) #

gmapT :: (forall b. Data b => b -> b) -> KSPFlag -> KSPFlag #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> KSPFlag -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> KSPFlag -> r #

gmapQ :: (forall d. Data d => d -> u) -> KSPFlag -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> KSPFlag -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> KSPFlag -> m KSPFlag #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> KSPFlag -> m KSPFlag #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> KSPFlag -> m KSPFlag #

Ord KSPFlag # 
Show KSPFlag # 
Generic KSPFlag # 

Associated Types

type Rep KSPFlag :: * -> * #

Methods

from :: KSPFlag -> Rep KSPFlag x #

to :: Rep KSPFlag x -> KSPFlag #

ToJSON KSPFlag # 
FromJSON KSPFlag # 
Hashable KSPFlag # 

Methods

hashWithSalt :: Int -> KSPFlag -> Int #

hash :: KSPFlag -> Int #

Pretty KSPFlag # 

Methods

pretty :: KSPFlag -> Doc e #

prettyList :: [KSPFlag] -> Doc e #

FutureFlag KSPFlag # 
type Rep KSPFlag # 
type Rep KSPFlag = D1 (MetaData "KSPFlag" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) (C1 (MetaCons "NoModify" PrefixI False) U1) (C1 (MetaCons "KSPOther" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))

data KeyFlag #

Instances

Eq KeyFlag # 

Methods

(==) :: KeyFlag -> KeyFlag -> Bool #

(/=) :: KeyFlag -> KeyFlag -> Bool #

Data KeyFlag # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> KeyFlag -> c KeyFlag #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c KeyFlag #

toConstr :: KeyFlag -> Constr #

dataTypeOf :: KeyFlag -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c KeyFlag) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c KeyFlag) #

gmapT :: (forall b. Data b => b -> b) -> KeyFlag -> KeyFlag #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> KeyFlag -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> KeyFlag -> r #

gmapQ :: (forall d. Data d => d -> u) -> KeyFlag -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> KeyFlag -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> KeyFlag -> m KeyFlag #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> KeyFlag -> m KeyFlag #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> KeyFlag -> m KeyFlag #

Ord KeyFlag # 
Show KeyFlag # 
Generic KeyFlag # 

Associated Types

type Rep KeyFlag :: * -> * #

Methods

from :: KeyFlag -> Rep KeyFlag x #

to :: Rep KeyFlag x -> KeyFlag #

ToJSON KeyFlag # 
FromJSON KeyFlag # 
Hashable KeyFlag # 

Methods

hashWithSalt :: Int -> KeyFlag -> Int #

hash :: KeyFlag -> Int #

Pretty KeyFlag # 

Methods

pretty :: KeyFlag -> Doc e #

prettyList :: [KeyFlag] -> Doc e #

FutureFlag KeyFlag # 
type Rep KeyFlag # 
type Rep KeyFlag = D1 (MetaData "KeyFlag" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "GroupKey" PrefixI False) U1) (C1 (MetaCons "AuthKey" PrefixI False) U1)) ((:+:) (C1 (MetaCons "SplitKey" PrefixI False) U1) (C1 (MetaCons "EncryptStorageKey" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "EncryptCommunicationsKey" PrefixI False) U1) (C1 (MetaCons "SignDataKey" PrefixI False) U1)) ((:+:) (C1 (MetaCons "CertifyKeysKey" PrefixI False) U1) (C1 (MetaCons "KFOther" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))))

data RevocationCode #

Instances

Eq RevocationCode # 
Data RevocationCode # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RevocationCode -> c RevocationCode #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RevocationCode #

toConstr :: RevocationCode -> Constr #

dataTypeOf :: RevocationCode -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RevocationCode) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RevocationCode) #

gmapT :: (forall b. Data b => b -> b) -> RevocationCode -> RevocationCode #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RevocationCode -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RevocationCode -> r #

gmapQ :: (forall d. Data d => d -> u) -> RevocationCode -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> RevocationCode -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RevocationCode -> m RevocationCode #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RevocationCode -> m RevocationCode #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RevocationCode -> m RevocationCode #

Ord RevocationCode # 
Show RevocationCode # 
Generic RevocationCode # 

Associated Types

type Rep RevocationCode :: * -> * #

ToJSON RevocationCode # 
FromJSON RevocationCode # 
Hashable RevocationCode # 
Pretty RevocationCode # 
FutureVal RevocationCode # 
type Rep RevocationCode # 
type Rep RevocationCode = D1 (MetaData "RevocationCode" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) ((:+:) (C1 (MetaCons "NoReason" PrefixI False) U1) ((:+:) (C1 (MetaCons "KeySuperseded" PrefixI False) U1) (C1 (MetaCons "KeyMaterialCompromised" PrefixI False) U1))) ((:+:) (C1 (MetaCons "KeyRetiredAndNoLongerUsed" PrefixI False) U1) ((:+:) (C1 (MetaCons "UserIdInfoNoLongerValid" PrefixI False) U1) (C1 (MetaCons "RCoOther" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8))))))

data FeatureFlag #

Instances

Eq FeatureFlag # 
Data FeatureFlag # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FeatureFlag -> c FeatureFlag #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FeatureFlag #

toConstr :: FeatureFlag -> Constr #

dataTypeOf :: FeatureFlag -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FeatureFlag) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FeatureFlag) #

gmapT :: (forall b. Data b => b -> b) -> FeatureFlag -> FeatureFlag #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FeatureFlag -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FeatureFlag -> r #

gmapQ :: (forall d. Data d => d -> u) -> FeatureFlag -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FeatureFlag -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FeatureFlag -> m FeatureFlag #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FeatureFlag -> m FeatureFlag #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FeatureFlag -> m FeatureFlag #

Ord FeatureFlag # 
Show FeatureFlag # 
Generic FeatureFlag # 

Associated Types

type Rep FeatureFlag :: * -> * #

ToJSON FeatureFlag # 
FromJSON FeatureFlag # 
Hashable FeatureFlag # 
Pretty FeatureFlag # 

Methods

pretty :: FeatureFlag -> Doc e #

prettyList :: [FeatureFlag] -> Doc e #

FutureFlag FeatureFlag # 
type Rep FeatureFlag # 
type Rep FeatureFlag = D1 (MetaData "FeatureFlag" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) (C1 (MetaCons "ModificationDetection" PrefixI False) U1) (C1 (MetaCons "FeatureOther" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))

newtype URL #

Constructors

URL 

Fields

Instances

Eq URL # 

Methods

(==) :: URL -> URL -> Bool #

(/=) :: URL -> URL -> Bool #

Data URL # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> URL -> c URL #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c URL #

toConstr :: URL -> Constr #

dataTypeOf :: URL -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c URL) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c URL) #

gmapT :: (forall b. Data b => b -> b) -> URL -> URL #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> URL -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> URL -> r #

gmapQ :: (forall d. Data d => d -> u) -> URL -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> URL -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> URL -> m URL #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> URL -> m URL #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> URL -> m URL #

Ord URL # 

Methods

compare :: URL -> URL -> Ordering #

(<) :: URL -> URL -> Bool #

(<=) :: URL -> URL -> Bool #

(>) :: URL -> URL -> Bool #

(>=) :: URL -> URL -> Bool #

max :: URL -> URL -> URL #

min :: URL -> URL -> URL #

Show URL # 

Methods

showsPrec :: Int -> URL -> ShowS #

show :: URL -> String #

showList :: [URL] -> ShowS #

Generic URL # 

Associated Types

type Rep URL :: * -> * #

Methods

from :: URL -> Rep URL x #

to :: Rep URL x -> URL #

ToJSON URL # 

Methods

toJSON :: URL -> Value #

toEncoding :: URL -> Encoding #

FromJSON URL # 

Methods

parseJSON :: Value -> Parser URL #

Hashable URL # 

Methods

hashWithSalt :: Int -> URL -> Int #

hash :: URL -> Int #

Pretty URL # 

Methods

pretty :: URL -> Doc e #

prettyList :: [URL] -> Doc e #

Newtype URL URI # 

Methods

pack :: URI -> URL #

unpack :: URL -> URI #

type Rep URL # 
type Rep URL = D1 (MetaData "URL" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "URL" PrefixI True) (S1 (MetaSel (Just Symbol "unURL") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 URI)))

data SigType #

Instances

Eq SigType # 

Methods

(==) :: SigType -> SigType -> Bool #

(/=) :: SigType -> SigType -> Bool #

Data SigType # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SigType -> c SigType #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SigType #

toConstr :: SigType -> Constr #

dataTypeOf :: SigType -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SigType) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SigType) #

gmapT :: (forall b. Data b => b -> b) -> SigType -> SigType #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SigType -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SigType -> r #

gmapQ :: (forall d. Data d => d -> u) -> SigType -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SigType -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SigType -> m SigType #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SigType -> m SigType #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SigType -> m SigType #

Ord SigType # 
Show SigType # 
Generic SigType # 

Associated Types

type Rep SigType :: * -> * #

Methods

from :: SigType -> Rep SigType x #

to :: Rep SigType x -> SigType #

ToJSON SigType # 
FromJSON SigType # 
Hashable SigType # 

Methods

hashWithSalt :: Int -> SigType -> Int #

hash :: SigType -> Int #

Pretty SigType # 

Methods

pretty :: SigType -> Doc e #

prettyList :: [SigType] -> Doc e #

FutureVal SigType # 
type Rep SigType # 
type Rep SigType = D1 (MetaData "SigType" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "BinarySig" PrefixI False) U1) (C1 (MetaCons "CanonicalTextSig" PrefixI False) U1)) ((:+:) (C1 (MetaCons "StandaloneSig" PrefixI False) U1) (C1 (MetaCons "GenericCert" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "PersonaCert" PrefixI False) U1) (C1 (MetaCons "CasualCert" PrefixI False) U1)) ((:+:) (C1 (MetaCons "PositiveCert" PrefixI False) U1) (C1 (MetaCons "SubkeyBindingSig" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "PrimaryKeyBindingSig" PrefixI False) U1) (C1 (MetaCons "SignatureDirectlyOnAKey" PrefixI False) U1)) ((:+:) (C1 (MetaCons "KeyRevocationSig" PrefixI False) U1) (C1 (MetaCons "SubkeyRevocationSig" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "CertRevocationSig" PrefixI False) U1) (C1 (MetaCons "TimestampSig" PrefixI False) U1)) ((:+:) (C1 (MetaCons "ThirdPartyConfirmationSig" PrefixI False) U1) (C1 (MetaCons "OtherSig" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)))))))

newtype MPI #

Constructors

MPI 

Fields

Instances

Eq MPI # 

Methods

(==) :: MPI -> MPI -> Bool #

(/=) :: MPI -> MPI -> Bool #

Data MPI # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPI -> c MPI #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPI #

toConstr :: MPI -> Constr #

dataTypeOf :: MPI -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MPI) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPI) #

gmapT :: (forall b. Data b => b -> b) -> MPI -> MPI #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPI -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPI -> r #

gmapQ :: (forall d. Data d => d -> u) -> MPI -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MPI -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPI -> m MPI #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPI -> m MPI #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPI -> m MPI #

Show MPI # 

Methods

showsPrec :: Int -> MPI -> ShowS #

show :: MPI -> String #

showList :: [MPI] -> ShowS #

Generic MPI # 

Associated Types

type Rep MPI :: * -> * #

Methods

from :: MPI -> Rep MPI x #

to :: Rep MPI x -> MPI #

ToJSON MPI # 

Methods

toJSON :: MPI -> Value #

toEncoding :: MPI -> Encoding #

FromJSON MPI # 

Methods

parseJSON :: Value -> Parser MPI #

Hashable MPI # 

Methods

hashWithSalt :: Int -> MPI -> Int #

hash :: MPI -> Int #

Pretty MPI # 

Methods

pretty :: MPI -> Doc e #

prettyList :: [MPI] -> Doc e #

Newtype MPI Integer # 

Methods

pack :: Integer -> MPI #

unpack :: MPI -> Integer #

type Rep MPI # 
type Rep MPI = D1 (MetaData "MPI" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "MPI" PrefixI True) (S1 (MetaSel (Just Symbol "unMPI") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

data SignaturePayload #

Instances

Eq SignaturePayload # 
Data SignaturePayload # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SignaturePayload -> c SignaturePayload #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SignaturePayload #

toConstr :: SignaturePayload -> Constr #

dataTypeOf :: SignaturePayload -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SignaturePayload) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SignaturePayload) #

gmapT :: (forall b. Data b => b -> b) -> SignaturePayload -> SignaturePayload #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SignaturePayload -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SignaturePayload -> r #

gmapQ :: (forall d. Data d => d -> u) -> SignaturePayload -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SignaturePayload -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SignaturePayload -> m SignaturePayload #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SignaturePayload -> m SignaturePayload #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SignaturePayload -> m SignaturePayload #

Show SignaturePayload # 
Generic SignaturePayload # 
ToJSON SignaturePayload # 
Hashable SignaturePayload # 
Pretty SignaturePayload # 
type Rep SignaturePayload # 
type Rep SignaturePayload = D1 (MetaData "SignaturePayload" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) (C1 (MetaCons "SigV3" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SigType)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ThirtyTwoBitTimeStamp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 EightOctetKeyId)))) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PubKeyAlgorithm)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HashAlgorithm))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty MPI))))))) ((:+:) (C1 (MetaCons "SigV4" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SigType)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PubKeyAlgorithm)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HashAlgorithm)))) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SigSubPacket])) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SigSubPacket]))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty MPI))))))) (C1 (MetaCons "SigVOther" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))))))

data SigSubPacketPayload #

Instances

Eq SigSubPacketPayload # 
Data SigSubPacketPayload # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SigSubPacketPayload -> c SigSubPacketPayload #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SigSubPacketPayload #

toConstr :: SigSubPacketPayload -> Constr #

dataTypeOf :: SigSubPacketPayload -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SigSubPacketPayload) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SigSubPacketPayload) #

gmapT :: (forall b. Data b => b -> b) -> SigSubPacketPayload -> SigSubPacketPayload #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SigSubPacketPayload -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SigSubPacketPayload -> r #

gmapQ :: (forall d. Data d => d -> u) -> SigSubPacketPayload -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SigSubPacketPayload -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SigSubPacketPayload -> m SigSubPacketPayload #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SigSubPacketPayload -> m SigSubPacketPayload #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SigSubPacketPayload -> m SigSubPacketPayload #

Show SigSubPacketPayload # 
Generic SigSubPacketPayload # 
ToJSON SigSubPacketPayload # 
FromJSON SigSubPacketPayload # 
Hashable SigSubPacketPayload # 
Pretty SigSubPacketPayload # 
type Rep SigSubPacketPayload # 
type Rep SigSubPacketPayload = D1 (MetaData "SigSubPacketPayload" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "SigCreationTime" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ThirtyTwoBitTimeStamp))) ((:+:) (C1 (MetaCons "SigExpirationTime" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ThirtyTwoBitDuration))) (C1 (MetaCons "ExportableCertification" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exportability))))) ((:+:) (C1 (MetaCons "TrustSignature" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TrustLevel)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TrustAmount)))) ((:+:) (C1 (MetaCons "RegularExpression" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AlmostPublicDomainRegex))) (C1 (MetaCons "Revocable" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Revocability)))))) ((:+:) ((:+:) (C1 (MetaCons "KeyExpirationTime" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ThirtyTwoBitDuration))) ((:+:) (C1 (MetaCons "PreferredSymmetricAlgorithms" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SymmetricAlgorithm]))) (C1 (MetaCons "RevocationKey" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set RevocationClass))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PubKeyAlgorithm)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TwentyOctetFingerprint))))))) ((:+:) (C1 (MetaCons "Issuer" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 EightOctetKeyId))) ((:+:) (C1 (MetaCons "NotationData" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set NotationFlag))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NotationName)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NotationValue))))) (C1 (MetaCons "PreferredHashAlgorithms" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [HashAlgorithm]))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "PreferredCompressionAlgorithms" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [CompressionAlgorithm]))) ((:+:) (C1 (MetaCons "KeyServerPreferences" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set KSPFlag)))) (C1 (MetaCons "PreferredKeyServer" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 KeyServer))))) ((:+:) (C1 (MetaCons "PrimaryUserId" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((:+:) (C1 (MetaCons "PolicyURL" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 URL))) (C1 (MetaCons "KeyFlags" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set KeyFlag))))))) ((:+:) ((:+:) (C1 (MetaCons "SignersUserId" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) ((:+:) (C1 (MetaCons "ReasonForRevocation" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RevocationCode)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RevocationReason)))) (C1 (MetaCons "Features" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set FeatureFlag)))))) ((:+:) ((:+:) (C1 (MetaCons "SignatureTarget" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PubKeyAlgorithm)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HashAlgorithm)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SignatureHash))))) (C1 (MetaCons "EmbeddedSignature" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SignaturePayload)))) ((:+:) (C1 (MetaCons "UserDefinedSigSub" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))) (C1 (MetaCons "OtherSigSub" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))))))))

uc3 :: (a -> b -> c -> d) -> (a, b, c) -> d #

data SigSubPacket #

Instances

Eq SigSubPacket # 
Data SigSubPacket # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SigSubPacket -> c SigSubPacket #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SigSubPacket #

toConstr :: SigSubPacket -> Constr #

dataTypeOf :: SigSubPacket -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SigSubPacket) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SigSubPacket) #

gmapT :: (forall b. Data b => b -> b) -> SigSubPacket -> SigSubPacket #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SigSubPacket -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SigSubPacket -> r #

gmapQ :: (forall d. Data d => d -> u) -> SigSubPacket -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SigSubPacket -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SigSubPacket -> m SigSubPacket #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SigSubPacket -> m SigSubPacket #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SigSubPacket -> m SigSubPacket #

Show SigSubPacket # 
Generic SigSubPacket # 

Associated Types

type Rep SigSubPacket :: * -> * #

ToJSON SigSubPacket # 
FromJSON SigSubPacket # 
Hashable SigSubPacket # 
Pretty SigSubPacket # 
type Rep SigSubPacket # 
type Rep SigSubPacket = D1 (MetaData "SigSubPacket" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) (C1 (MetaCons "SigSubPacket" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_sspCriticality") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "_sspPayload") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SigSubPacketPayload))))

data KeyVersion #

Constructors

DeprecatedV3 
V4 

Instances

Eq KeyVersion # 
Data KeyVersion # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> KeyVersion -> c KeyVersion #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c KeyVersion #

toConstr :: KeyVersion -> Constr #

dataTypeOf :: KeyVersion -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c KeyVersion) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c KeyVersion) #

gmapT :: (forall b. Data b => b -> b) -> KeyVersion -> KeyVersion #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> KeyVersion -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> KeyVersion -> r #

gmapQ :: (forall d. Data d => d -> u) -> KeyVersion -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> KeyVersion -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> KeyVersion -> m KeyVersion #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> KeyVersion -> m KeyVersion #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> KeyVersion -> m KeyVersion #

Ord KeyVersion # 
Show KeyVersion # 
Generic KeyVersion # 

Associated Types

type Rep KeyVersion :: * -> * #

ToJSON KeyVersion # 
FromJSON KeyVersion # 
Hashable KeyVersion # 
Pretty KeyVersion # 

Methods

pretty :: KeyVersion -> Doc e #

prettyList :: [KeyVersion] -> Doc e #

type Rep KeyVersion # 
type Rep KeyVersion = D1 (MetaData "KeyVersion" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) (C1 (MetaCons "DeprecatedV3" PrefixI False) U1) (C1 (MetaCons "V4" PrefixI False) U1))

newtype IV #

Constructors

IV 

Fields

Instances

Eq IV # 

Methods

(==) :: IV -> IV -> Bool #

(/=) :: IV -> IV -> Bool #

Data IV # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IV -> c IV #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IV #

toConstr :: IV -> Constr #

dataTypeOf :: IV -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c IV) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IV) #

gmapT :: (forall b. Data b => b -> b) -> IV -> IV #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IV -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IV -> r #

gmapQ :: (forall d. Data d => d -> u) -> IV -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> IV -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> IV -> m IV #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IV -> m IV #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IV -> m IV #

Show IV # 

Methods

showsPrec :: Int -> IV -> ShowS #

show :: IV -> String #

showList :: [IV] -> ShowS #

Generic IV # 

Associated Types

type Rep IV :: * -> * #

Methods

from :: IV -> Rep IV x #

to :: Rep IV x -> IV #

Monoid IV # 

Methods

mempty :: IV #

mappend :: IV -> IV -> IV #

mconcat :: [IV] -> IV #

ToJSON IV # 

Methods

toJSON :: IV -> Value #

toEncoding :: IV -> Encoding #

Byteable IV # 

Methods

toBytes :: IV -> ByteString #

byteableLength :: IV -> Int #

withBytePtr :: IV -> (Ptr Word8 -> IO b) -> IO b #

ByteArrayAccess IV # 

Methods

length :: IV -> Int #

withByteArray :: IV -> (Ptr p -> IO a) -> IO a #

Hashable IV # 

Methods

hashWithSalt :: Int -> IV -> Int #

hash :: IV -> Int #

Pretty IV # 

Methods

pretty :: IV -> Doc e #

prettyList :: [IV] -> Doc e #

Newtype IV ByteString # 

Methods

pack :: ByteString -> IV #

unpack :: IV -> ByteString #

type Rep IV # 
type Rep IV = D1 (MetaData "IV" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "IV" PrefixI True) (S1 (MetaSel (Just Symbol "unIV") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

data DataType #

Instances

Eq DataType # 
Data DataType # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataType -> c DataType #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DataType #

toConstr :: DataType -> Constr #

dataTypeOf :: DataType -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c DataType) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DataType) #

gmapT :: (forall b. Data b => b -> b) -> DataType -> DataType #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataType -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataType -> r #

gmapQ :: (forall d. Data d => d -> u) -> DataType -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DataType -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataType -> m DataType #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataType -> m DataType #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataType -> m DataType #

Ord DataType # 
Show DataType # 
Generic DataType # 

Associated Types

type Rep DataType :: * -> * #

Methods

from :: DataType -> Rep DataType x #

to :: Rep DataType x -> DataType #

ToJSON DataType # 
FromJSON DataType # 
Hashable DataType # 

Methods

hashWithSalt :: Int -> DataType -> Int #

hash :: DataType -> Int #

Pretty DataType # 

Methods

pretty :: DataType -> Doc e #

prettyList :: [DataType] -> Doc e #

FutureVal DataType # 
type Rep DataType # 
type Rep DataType = D1 (MetaData "DataType" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) ((:+:) (C1 (MetaCons "BinaryData" PrefixI False) U1) (C1 (MetaCons "TextData" PrefixI False) U1)) ((:+:) (C1 (MetaCons "UTF8Data" PrefixI False) U1) (C1 (MetaCons "OtherData" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)))))

newtype Salt #

Constructors

Salt 

Fields

Instances

Eq Salt # 

Methods

(==) :: Salt -> Salt -> Bool #

(/=) :: Salt -> Salt -> Bool #

Data Salt # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Salt -> c Salt #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Salt #

toConstr :: Salt -> Constr #

dataTypeOf :: Salt -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Salt) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Salt) #

gmapT :: (forall b. Data b => b -> b) -> Salt -> Salt #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Salt -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Salt -> r #

gmapQ :: (forall d. Data d => d -> u) -> Salt -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Salt -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Salt -> m Salt #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Salt -> m Salt #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Salt -> m Salt #

Show Salt # 

Methods

showsPrec :: Int -> Salt -> ShowS #

show :: Salt -> String #

showList :: [Salt] -> ShowS #

Generic Salt # 

Associated Types

type Rep Salt :: * -> * #

Methods

from :: Salt -> Rep Salt x #

to :: Rep Salt x -> Salt #

ToJSON Salt # 
Byteable Salt # 

Methods

toBytes :: Salt -> ByteString #

byteableLength :: Salt -> Int #

withBytePtr :: Salt -> (Ptr Word8 -> IO b) -> IO b #

Hashable Salt # 

Methods

hashWithSalt :: Int -> Salt -> Int #

hash :: Salt -> Int #

Pretty Salt # 

Methods

pretty :: Salt -> Doc e #

prettyList :: [Salt] -> Doc e #

Newtype Salt ByteString # 
type Rep Salt # 
type Rep Salt = D1 (MetaData "Salt" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "Salt" PrefixI True) (S1 (MetaSel (Just Symbol "unSalt") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

newtype IterationCount #

Constructors

IterationCount 

Instances

Bounded IterationCount # 
Enum IterationCount # 
Eq IterationCount # 
Integral IterationCount # 
Data IterationCount # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IterationCount -> c IterationCount #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IterationCount #

toConstr :: IterationCount -> Constr #

dataTypeOf :: IterationCount -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c IterationCount) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IterationCount) #

gmapT :: (forall b. Data b => b -> b) -> IterationCount -> IterationCount #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IterationCount -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IterationCount -> r #

gmapQ :: (forall d. Data d => d -> u) -> IterationCount -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> IterationCount -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> IterationCount -> m IterationCount #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IterationCount -> m IterationCount #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IterationCount -> m IterationCount #

Num IterationCount # 
Ord IterationCount # 
Real IterationCount # 
Show IterationCount # 
Generic IterationCount # 

Associated Types

type Rep IterationCount :: * -> * #

ToJSON IterationCount # 
FromJSON IterationCount # 
Hashable IterationCount # 
Pretty IterationCount # 
Newtype IterationCount Int # 
type Rep IterationCount # 
type Rep IterationCount = D1 (MetaData "IterationCount" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "IterationCount" PrefixI True) (S1 (MetaSel (Just Symbol "unIterationCount") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data S2K #

Instances

Eq S2K # 

Methods

(==) :: S2K -> S2K -> Bool #

(/=) :: S2K -> S2K -> Bool #

Data S2K # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> S2K -> c S2K #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c S2K #

toConstr :: S2K -> Constr #

dataTypeOf :: S2K -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c S2K) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c S2K) #

gmapT :: (forall b. Data b => b -> b) -> S2K -> S2K #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> S2K -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> S2K -> r #

gmapQ :: (forall d. Data d => d -> u) -> S2K -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> S2K -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> S2K -> m S2K #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> S2K -> m S2K #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> S2K -> m S2K #

Show S2K # 

Methods

showsPrec :: Int -> S2K -> ShowS #

show :: S2K -> String #

showList :: [S2K] -> ShowS #

Generic S2K # 

Associated Types

type Rep S2K :: * -> * #

Methods

from :: S2K -> Rep S2K x #

to :: Rep S2K x -> S2K #

ToJSON S2K # 

Methods

toJSON :: S2K -> Value #

toEncoding :: S2K -> Encoding #

Hashable S2K # 

Methods

hashWithSalt :: Int -> S2K -> Int #

hash :: S2K -> Int #

Pretty S2K # 

Methods

pretty :: S2K -> Doc e #

prettyList :: [S2K] -> Doc e #

type Rep S2K # 

data ImageFormat #

Constructors

JPEG 
OtherImage Word8 

Instances

Eq ImageFormat # 
Data ImageFormat # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageFormat -> c ImageFormat #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageFormat #

toConstr :: ImageFormat -> Constr #

dataTypeOf :: ImageFormat -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ImageFormat) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageFormat) #

gmapT :: (forall b. Data b => b -> b) -> ImageFormat -> ImageFormat #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageFormat -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageFormat -> r #

gmapQ :: (forall d. Data d => d -> u) -> ImageFormat -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageFormat -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageFormat -> m ImageFormat #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageFormat -> m ImageFormat #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageFormat -> m ImageFormat #

Ord ImageFormat # 
Show ImageFormat # 
Generic ImageFormat # 

Associated Types

type Rep ImageFormat :: * -> * #

ToJSON ImageFormat # 
FromJSON ImageFormat # 
Hashable ImageFormat # 
Pretty ImageFormat # 

Methods

pretty :: ImageFormat -> Doc e #

prettyList :: [ImageFormat] -> Doc e #

FutureVal ImageFormat # 
type Rep ImageFormat # 
type Rep ImageFormat = D1 (MetaData "ImageFormat" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) (C1 (MetaCons "JPEG" PrefixI False) U1) (C1 (MetaCons "OtherImage" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8))))

data ImageHeader #

Constructors

ImageHV1 ImageFormat 

Instances

Eq ImageHeader # 
Data ImageHeader # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ImageHeader -> c ImageHeader #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ImageHeader #

toConstr :: ImageHeader -> Constr #

dataTypeOf :: ImageHeader -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ImageHeader) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ImageHeader) #

gmapT :: (forall b. Data b => b -> b) -> ImageHeader -> ImageHeader #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ImageHeader -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ImageHeader -> r #

gmapQ :: (forall d. Data d => d -> u) -> ImageHeader -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ImageHeader -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ImageHeader -> m ImageHeader #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageHeader -> m ImageHeader #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ImageHeader -> m ImageHeader #

Ord ImageHeader # 
Show ImageHeader # 
Generic ImageHeader # 

Associated Types

type Rep ImageHeader :: * -> * #

ToJSON ImageHeader # 
FromJSON ImageHeader # 
Hashable ImageHeader # 
Pretty ImageHeader # 

Methods

pretty :: ImageHeader -> Doc e #

prettyList :: [ImageHeader] -> Doc e #

type Rep ImageHeader # 
type Rep ImageHeader = D1 (MetaData "ImageHeader" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) (C1 (MetaCons "ImageHV1" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ImageFormat)))

data UserAttrSubPacket #

Instances

Eq UserAttrSubPacket # 
Data UserAttrSubPacket # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UserAttrSubPacket -> c UserAttrSubPacket #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UserAttrSubPacket #

toConstr :: UserAttrSubPacket -> Constr #

dataTypeOf :: UserAttrSubPacket -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c UserAttrSubPacket) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UserAttrSubPacket) #

gmapT :: (forall b. Data b => b -> b) -> UserAttrSubPacket -> UserAttrSubPacket #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UserAttrSubPacket -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UserAttrSubPacket -> r #

gmapQ :: (forall d. Data d => d -> u) -> UserAttrSubPacket -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UserAttrSubPacket -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UserAttrSubPacket -> m UserAttrSubPacket #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UserAttrSubPacket -> m UserAttrSubPacket #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UserAttrSubPacket -> m UserAttrSubPacket #

Ord UserAttrSubPacket # 
Show UserAttrSubPacket # 
Generic UserAttrSubPacket # 
ToJSON UserAttrSubPacket # 
Hashable UserAttrSubPacket # 
Pretty UserAttrSubPacket # 
type Rep UserAttrSubPacket # 

data ECCCurve #

Instances

Eq ECCCurve # 
Data ECCCurve # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ECCCurve -> c ECCCurve #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ECCCurve #

toConstr :: ECCCurve -> Constr #

dataTypeOf :: ECCCurve -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ECCCurve) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ECCCurve) #

gmapT :: (forall b. Data b => b -> b) -> ECCCurve -> ECCCurve #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ECCCurve -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ECCCurve -> r #

gmapQ :: (forall d. Data d => d -> u) -> ECCCurve -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ECCCurve -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ECCCurve -> m ECCCurve #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ECCCurve -> m ECCCurve #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ECCCurve -> m ECCCurve #

Ord ECCCurve # 
Show ECCCurve # 
Generic ECCCurve # 

Associated Types

type Rep ECCCurve :: * -> * #

Methods

from :: ECCCurve -> Rep ECCCurve x #

to :: Rep ECCCurve x -> ECCCurve #

Hashable ECCCurve # 

Methods

hashWithSalt :: Int -> ECCCurve -> Int #

hash :: ECCCurve -> Int #

type Rep ECCCurve # 
type Rep ECCCurve = D1 (MetaData "ECCCurve" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) (C1 (MetaCons "BrokenNISTP256" PrefixI False) U1) ((:+:) (C1 (MetaCons "BrokenNISTP384" PrefixI False) U1) (C1 (MetaCons "BrokenNISTP521" PrefixI False) U1)))

newtype Block a #

Constructors

Block 

Fields

Instances

Eq a => Eq (Block a) # 

Methods

(==) :: Block a -> Block a -> Bool #

(/=) :: Block a -> Block a -> Bool #

Show a => Show (Block a) # 

Methods

showsPrec :: Int -> Block a -> ShowS #

show :: Block a -> String #

showList :: [Block a] -> ShowS #

newtype DSA_PublicKey #

Constructors

DSA_PublicKey 

Instances

Eq DSA_PublicKey # 
Data DSA_PublicKey # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DSA_PublicKey -> c DSA_PublicKey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DSA_PublicKey #

toConstr :: DSA_PublicKey -> Constr #

dataTypeOf :: DSA_PublicKey -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c DSA_PublicKey) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DSA_PublicKey) #

gmapT :: (forall b. Data b => b -> b) -> DSA_PublicKey -> DSA_PublicKey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DSA_PublicKey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DSA_PublicKey -> r #

gmapQ :: (forall d. Data d => d -> u) -> DSA_PublicKey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DSA_PublicKey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DSA_PublicKey -> m DSA_PublicKey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DSA_PublicKey -> m DSA_PublicKey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DSA_PublicKey -> m DSA_PublicKey #

Ord DSA_PublicKey # 
Show DSA_PublicKey # 
Generic DSA_PublicKey # 

Associated Types

type Rep DSA_PublicKey :: * -> * #

ToJSON DSA_PublicKey # 
Hashable DSA_PublicKey # 
Pretty DSA_PublicKey # 
type Rep DSA_PublicKey # 
type Rep DSA_PublicKey = D1 (MetaData "DSA_PublicKey" "Codec.Encryption.OpenPGP.Types.Internal.CryptoniteNewtypes" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "DSA_PublicKey" PrefixI True) (S1 (MetaSel (Just Symbol "unDSA_PublicKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PublicKey)))

newtype RSA_PublicKey #

Constructors

RSA_PublicKey 

Instances

Eq RSA_PublicKey # 
Data RSA_PublicKey # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RSA_PublicKey -> c RSA_PublicKey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RSA_PublicKey #

toConstr :: RSA_PublicKey -> Constr #

dataTypeOf :: RSA_PublicKey -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RSA_PublicKey) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RSA_PublicKey) #

gmapT :: (forall b. Data b => b -> b) -> RSA_PublicKey -> RSA_PublicKey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RSA_PublicKey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RSA_PublicKey -> r #

gmapQ :: (forall d. Data d => d -> u) -> RSA_PublicKey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> RSA_PublicKey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RSA_PublicKey -> m RSA_PublicKey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RSA_PublicKey -> m RSA_PublicKey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RSA_PublicKey -> m RSA_PublicKey #

Ord RSA_PublicKey # 
Show RSA_PublicKey # 
Generic RSA_PublicKey # 

Associated Types

type Rep RSA_PublicKey :: * -> * #

ToJSON RSA_PublicKey # 
Hashable RSA_PublicKey # 
Pretty RSA_PublicKey # 
type Rep RSA_PublicKey # 
type Rep RSA_PublicKey = D1 (MetaData "RSA_PublicKey" "Codec.Encryption.OpenPGP.Types.Internal.CryptoniteNewtypes" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "RSA_PublicKey" PrefixI True) (S1 (MetaSel (Just Symbol "unRSA_PublicKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PublicKey)))

newtype ECDSA_PublicKey #

Instances

Eq ECDSA_PublicKey # 
Data ECDSA_PublicKey # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ECDSA_PublicKey -> c ECDSA_PublicKey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ECDSA_PublicKey #

toConstr :: ECDSA_PublicKey -> Constr #

dataTypeOf :: ECDSA_PublicKey -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ECDSA_PublicKey) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ECDSA_PublicKey) #

gmapT :: (forall b. Data b => b -> b) -> ECDSA_PublicKey -> ECDSA_PublicKey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ECDSA_PublicKey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ECDSA_PublicKey -> r #

gmapQ :: (forall d. Data d => d -> u) -> ECDSA_PublicKey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ECDSA_PublicKey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ECDSA_PublicKey -> m ECDSA_PublicKey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ECDSA_PublicKey -> m ECDSA_PublicKey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ECDSA_PublicKey -> m ECDSA_PublicKey #

Ord ECDSA_PublicKey # 
Show ECDSA_PublicKey # 
Generic ECDSA_PublicKey # 
ToJSON ECDSA_PublicKey # 
Hashable ECDSA_PublicKey # 
Pretty ECDSA_PublicKey # 
type Rep ECDSA_PublicKey # 
type Rep ECDSA_PublicKey = D1 (MetaData "ECDSA_PublicKey" "Codec.Encryption.OpenPGP.Types.Internal.CryptoniteNewtypes" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "ECDSA_PublicKey" PrefixI True) (S1 (MetaSel (Just Symbol "unECDSA_PublicKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PublicKey)))

newtype DSA_PrivateKey #

Instances

Eq DSA_PrivateKey # 
Data DSA_PrivateKey # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DSA_PrivateKey -> c DSA_PrivateKey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DSA_PrivateKey #

toConstr :: DSA_PrivateKey -> Constr #

dataTypeOf :: DSA_PrivateKey -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c DSA_PrivateKey) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DSA_PrivateKey) #

gmapT :: (forall b. Data b => b -> b) -> DSA_PrivateKey -> DSA_PrivateKey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DSA_PrivateKey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DSA_PrivateKey -> r #

gmapQ :: (forall d. Data d => d -> u) -> DSA_PrivateKey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DSA_PrivateKey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DSA_PrivateKey -> m DSA_PrivateKey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DSA_PrivateKey -> m DSA_PrivateKey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DSA_PrivateKey -> m DSA_PrivateKey #

Ord DSA_PrivateKey # 
Show DSA_PrivateKey # 
Generic DSA_PrivateKey # 

Associated Types

type Rep DSA_PrivateKey :: * -> * #

ToJSON DSA_PrivateKey # 
Hashable DSA_PrivateKey # 
Pretty DSA_PrivateKey # 
type Rep DSA_PrivateKey # 
type Rep DSA_PrivateKey = D1 (MetaData "DSA_PrivateKey" "Codec.Encryption.OpenPGP.Types.Internal.CryptoniteNewtypes" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "DSA_PrivateKey" PrefixI True) (S1 (MetaSel (Just Symbol "unDSA_PrivateKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PrivateKey)))

newtype RSA_PrivateKey #

Instances

Eq RSA_PrivateKey # 
Data RSA_PrivateKey # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RSA_PrivateKey -> c RSA_PrivateKey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RSA_PrivateKey #

toConstr :: RSA_PrivateKey -> Constr #

dataTypeOf :: RSA_PrivateKey -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RSA_PrivateKey) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RSA_PrivateKey) #

gmapT :: (forall b. Data b => b -> b) -> RSA_PrivateKey -> RSA_PrivateKey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RSA_PrivateKey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RSA_PrivateKey -> r #

gmapQ :: (forall d. Data d => d -> u) -> RSA_PrivateKey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> RSA_PrivateKey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RSA_PrivateKey -> m RSA_PrivateKey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RSA_PrivateKey -> m RSA_PrivateKey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RSA_PrivateKey -> m RSA_PrivateKey #

Ord RSA_PrivateKey # 
Show RSA_PrivateKey # 
Generic RSA_PrivateKey # 

Associated Types

type Rep RSA_PrivateKey :: * -> * #

ToJSON RSA_PrivateKey # 
Hashable RSA_PrivateKey # 
Pretty RSA_PrivateKey # 
type Rep RSA_PrivateKey # 
type Rep RSA_PrivateKey = D1 (MetaData "RSA_PrivateKey" "Codec.Encryption.OpenPGP.Types.Internal.CryptoniteNewtypes" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "RSA_PrivateKey" PrefixI True) (S1 (MetaSel (Just Symbol "unRSA_PrivateKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PrivateKey)))

newtype ECDSA_PrivateKey #

Instances

Eq ECDSA_PrivateKey # 
Data ECDSA_PrivateKey # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ECDSA_PrivateKey -> c ECDSA_PrivateKey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ECDSA_PrivateKey #

toConstr :: ECDSA_PrivateKey -> Constr #

dataTypeOf :: ECDSA_PrivateKey -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ECDSA_PrivateKey) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ECDSA_PrivateKey) #

gmapT :: (forall b. Data b => b -> b) -> ECDSA_PrivateKey -> ECDSA_PrivateKey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ECDSA_PrivateKey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ECDSA_PrivateKey -> r #

gmapQ :: (forall d. Data d => d -> u) -> ECDSA_PrivateKey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ECDSA_PrivateKey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ECDSA_PrivateKey -> m ECDSA_PrivateKey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ECDSA_PrivateKey -> m ECDSA_PrivateKey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ECDSA_PrivateKey -> m ECDSA_PrivateKey #

Ord ECDSA_PrivateKey # 
Show ECDSA_PrivateKey # 
Generic ECDSA_PrivateKey # 
ToJSON ECDSA_PrivateKey # 
Hashable ECDSA_PrivateKey # 
Pretty ECDSA_PrivateKey # 
type Rep ECDSA_PrivateKey # 
type Rep ECDSA_PrivateKey = D1 (MetaData "ECDSA_PrivateKey" "Codec.Encryption.OpenPGP.Types.Internal.CryptoniteNewtypes" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "ECDSA_PrivateKey" PrefixI True) (S1 (MetaSel (Just Symbol "unECDSA_PrivateKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PrivateKey)))

newtype DSA_Params #

Constructors

DSA_Params 

Fields

Instances

Eq DSA_Params # 
Data DSA_Params # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DSA_Params -> c DSA_Params #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DSA_Params #

toConstr :: DSA_Params -> Constr #

dataTypeOf :: DSA_Params -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c DSA_Params) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DSA_Params) #

gmapT :: (forall b. Data b => b -> b) -> DSA_Params -> DSA_Params #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DSA_Params -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DSA_Params -> r #

gmapQ :: (forall d. Data d => d -> u) -> DSA_Params -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DSA_Params -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DSA_Params -> m DSA_Params #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DSA_Params -> m DSA_Params #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DSA_Params -> m DSA_Params #

Show DSA_Params # 
Generic DSA_Params # 

Associated Types

type Rep DSA_Params :: * -> * #

ToJSON DSA_Params # 
Hashable DSA_Params # 
Pretty DSA_Params # 

Methods

pretty :: DSA_Params -> Doc e #

prettyList :: [DSA_Params] -> Doc e #

type Rep DSA_Params # 
type Rep DSA_Params = D1 (MetaData "DSA_Params" "Codec.Encryption.OpenPGP.Types.Internal.CryptoniteNewtypes" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" True) (C1 (MetaCons "DSA_Params" PrefixI True) (S1 (MetaSel (Just Symbol "unDSA_Params") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Params)))

class Packet a where #

Minimal complete definition

packetType, packetCode, toPkt, fromPkt

Associated Types

data PacketType a :: * #

Methods

packetType :: a -> PacketType a #

packetCode :: PacketType a -> Word8 #

toPkt :: a -> Pkt #

fromPkt :: Pkt -> a #

Instances

Packet BrokenPacket # 
Packet OtherPacket # 
Packet ModificationDetectionCode # 
Packet SymEncIntegrityProtectedData # 
Packet UserAttribute # 
Packet PublicSubkey # 
Packet UserId # 
Packet Trust # 

Associated Types

data PacketType Trust :: * #

Packet LiteralData # 
Packet Marker # 
Packet SymEncData # 
Packet CompressedData # 
Packet SecretSubkey # 
Packet PublicKey # 
Packet SecretKey # 
Packet OnePassSignature # 
Packet SKESK # 

Associated Types

data PacketType SKESK :: * #

Packet Signature # 
Packet PKESK # 

Associated Types

data PacketType PKESK :: * #

data PKESK #

Instances

Eq PKESK # 

Methods

(==) :: PKESK -> PKESK -> Bool #

(/=) :: PKESK -> PKESK -> Bool #

Data PKESK # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PKESK -> c PKESK #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PKESK #

toConstr :: PKESK -> Constr #

dataTypeOf :: PKESK -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PKESK) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PKESK) #

gmapT :: (forall b. Data b => b -> b) -> PKESK -> PKESK #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PKESK -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PKESK -> r #

gmapQ :: (forall d. Data d => d -> u) -> PKESK -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PKESK -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PKESK -> m PKESK #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PKESK -> m PKESK #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PKESK -> m PKESK #

Show PKESK # 

Methods

showsPrec :: Int -> PKESK -> ShowS #

show :: PKESK -> String #

showList :: [PKESK] -> ShowS #

Pretty PKESK # 

Methods

pretty :: PKESK -> Doc e #

prettyList :: [PKESK] -> Doc e #

Packet PKESK # 

Associated Types

data PacketType PKESK :: * #

Eq (PacketType PKESK) # 
Show (PacketType PKESK) # 
data PacketType PKESK # 

data Signature #

Instances

Eq Signature # 
Data Signature # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Signature -> c Signature #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Signature #

toConstr :: Signature -> Constr #

dataTypeOf :: Signature -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Signature) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Signature) #

gmapT :: (forall b. Data b => b -> b) -> Signature -> Signature #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Signature -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Signature -> r #

gmapQ :: (forall d. Data d => d -> u) -> Signature -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Signature -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Signature -> m Signature #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Signature -> m Signature #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Signature -> m Signature #

Show Signature # 
Pretty Signature # 

Methods

pretty :: Signature -> Doc e #

prettyList :: [Signature] -> Doc e #

Packet Signature # 
Eq (PacketType Signature) # 
Show (PacketType Signature) # 
data PacketType Signature # 

data SKESK #

Instances

Eq SKESK # 

Methods

(==) :: SKESK -> SKESK -> Bool #

(/=) :: SKESK -> SKESK -> Bool #

Data SKESK # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SKESK -> c SKESK #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SKESK #

toConstr :: SKESK -> Constr #

dataTypeOf :: SKESK -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SKESK) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SKESK) #

gmapT :: (forall b. Data b => b -> b) -> SKESK -> SKESK #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SKESK -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SKESK -> r #

gmapQ :: (forall d. Data d => d -> u) -> SKESK -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SKESK -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SKESK -> m SKESK #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SKESK -> m SKESK #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SKESK -> m SKESK #

Show SKESK # 

Methods

showsPrec :: Int -> SKESK -> ShowS #

show :: SKESK -> String #

showList :: [SKESK] -> ShowS #

Pretty SKESK # 

Methods

pretty :: SKESK -> Doc e #

prettyList :: [SKESK] -> Doc e #

Packet SKESK # 

Associated Types

data PacketType SKESK :: * #

Eq (PacketType SKESK) # 
Show (PacketType SKESK) # 
data PacketType SKESK # 

data OnePassSignature #

Instances

Eq OnePassSignature # 
Data OnePassSignature # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OnePassSignature -> c OnePassSignature #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OnePassSignature #

toConstr :: OnePassSignature -> Constr #

dataTypeOf :: OnePassSignature -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c OnePassSignature) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OnePassSignature) #

gmapT :: (forall b. Data b => b -> b) -> OnePassSignature -> OnePassSignature #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OnePassSignature -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OnePassSignature -> r #

gmapQ :: (forall d. Data d => d -> u) -> OnePassSignature -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OnePassSignature -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OnePassSignature -> m OnePassSignature #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OnePassSignature -> m OnePassSignature #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OnePassSignature -> m OnePassSignature #

Show OnePassSignature # 
Pretty OnePassSignature # 
Packet OnePassSignature # 
Eq (PacketType OnePassSignature) # 
Show (PacketType OnePassSignature) # 
data PacketType OnePassSignature # 

data SecretKey #

Instances

Eq SecretKey # 
Data SecretKey # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SecretKey -> c SecretKey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SecretKey #

toConstr :: SecretKey -> Constr #

dataTypeOf :: SecretKey -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SecretKey) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecretKey) #

gmapT :: (forall b. Data b => b -> b) -> SecretKey -> SecretKey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SecretKey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SecretKey -> r #

gmapQ :: (forall d. Data d => d -> u) -> SecretKey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SecretKey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SecretKey -> m SecretKey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SecretKey -> m SecretKey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SecretKey -> m SecretKey #

Show SecretKey # 
Pretty SecretKey # 

Methods

pretty :: SecretKey -> Doc e #

prettyList :: [SecretKey] -> Doc e #

Packet SecretKey # 
Eq (PacketType SecretKey) # 
Show (PacketType SecretKey) # 
data PacketType SecretKey # 

data PublicKey #

Constructors

PublicKey 

Instances

Eq PublicKey # 
Data PublicKey # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PublicKey -> c PublicKey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PublicKey #

toConstr :: PublicKey -> Constr #

dataTypeOf :: PublicKey -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PublicKey) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PublicKey) #

gmapT :: (forall b. Data b => b -> b) -> PublicKey -> PublicKey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PublicKey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PublicKey -> r #

gmapQ :: (forall d. Data d => d -> u) -> PublicKey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PublicKey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PublicKey -> m PublicKey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PublicKey -> m PublicKey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PublicKey -> m PublicKey #

Show PublicKey # 
Pretty PublicKey # 

Methods

pretty :: PublicKey -> Doc e #

prettyList :: [PublicKey] -> Doc e #

Packet PublicKey # 
Eq (PacketType PublicKey) # 
Show (PacketType PublicKey) # 
data PacketType PublicKey # 

data SecretSubkey #

Instances

Eq SecretSubkey # 
Data SecretSubkey # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SecretSubkey -> c SecretSubkey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SecretSubkey #

toConstr :: SecretSubkey -> Constr #

dataTypeOf :: SecretSubkey -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SecretSubkey) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecretSubkey) #

gmapT :: (forall b. Data b => b -> b) -> SecretSubkey -> SecretSubkey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SecretSubkey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SecretSubkey -> r #

gmapQ :: (forall d. Data d => d -> u) -> SecretSubkey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SecretSubkey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SecretSubkey -> m SecretSubkey #

Show SecretSubkey # 
Pretty SecretSubkey # 
Packet SecretSubkey # 
Eq (PacketType SecretSubkey) # 
Show (PacketType SecretSubkey) # 
data PacketType SecretSubkey # 

data CompressedData #

Instances

Eq CompressedData # 
Data CompressedData # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompressedData -> c CompressedData #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CompressedData #

toConstr :: CompressedData -> Constr #

dataTypeOf :: CompressedData -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CompressedData) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CompressedData) #

gmapT :: (forall b. Data b => b -> b) -> CompressedData -> CompressedData #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompressedData -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompressedData -> r #

gmapQ :: (forall d. Data d => d -> u) -> CompressedData -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CompressedData -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompressedData -> m CompressedData #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompressedData -> m CompressedData #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompressedData -> m CompressedData #

Show CompressedData # 
Pretty CompressedData # 
Packet CompressedData # 
Eq (PacketType CompressedData) # 
Show (PacketType CompressedData) # 
data PacketType CompressedData # 

data SymEncData #

Constructors

SymEncData 

Instances

Eq SymEncData # 
Data SymEncData # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SymEncData -> c SymEncData #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SymEncData #

toConstr :: SymEncData -> Constr #

dataTypeOf :: SymEncData -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SymEncData) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SymEncData) #

gmapT :: (forall b. Data b => b -> b) -> SymEncData -> SymEncData #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SymEncData -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SymEncData -> r #

gmapQ :: (forall d. Data d => d -> u) -> SymEncData -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SymEncData -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SymEncData -> m SymEncData #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SymEncData -> m SymEncData #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SymEncData -> m SymEncData #

Show SymEncData # 
Pretty SymEncData # 

Methods

pretty :: SymEncData -> Doc e #

prettyList :: [SymEncData] -> Doc e #

Packet SymEncData # 
Eq (PacketType SymEncData) # 
Show (PacketType SymEncData) # 
data PacketType SymEncData # 

data Marker #

Constructors

Marker 

Instances

Eq Marker # 

Methods

(==) :: Marker -> Marker -> Bool #

(/=) :: Marker -> Marker -> Bool #

Data Marker # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Marker -> c Marker #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Marker #

toConstr :: Marker -> Constr #

dataTypeOf :: Marker -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Marker) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Marker) #

gmapT :: (forall b. Data b => b -> b) -> Marker -> Marker #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Marker -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Marker -> r #

gmapQ :: (forall d. Data d => d -> u) -> Marker -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Marker -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Marker -> m Marker #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Marker -> m Marker #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Marker -> m Marker #

Show Marker # 
Pretty Marker # 

Methods

pretty :: Marker -> Doc e #

prettyList :: [Marker] -> Doc e #

Packet Marker # 
Eq (PacketType Marker) # 
Show (PacketType Marker) # 
data PacketType Marker # 

data LiteralData #

Instances

Eq LiteralData # 
Data LiteralData # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LiteralData -> c LiteralData #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LiteralData #

toConstr :: LiteralData -> Constr #

dataTypeOf :: LiteralData -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c LiteralData) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LiteralData) #

gmapT :: (forall b. Data b => b -> b) -> LiteralData -> LiteralData #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LiteralData -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LiteralData -> r #

gmapQ :: (forall d. Data d => d -> u) -> LiteralData -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LiteralData -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LiteralData -> m LiteralData #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LiteralData -> m LiteralData #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LiteralData -> m LiteralData #

Show LiteralData # 
Pretty LiteralData # 

Methods

pretty :: LiteralData -> Doc e #

prettyList :: [LiteralData] -> Doc e #

Packet LiteralData # 
Eq (PacketType LiteralData) # 
Show (PacketType LiteralData) # 
data PacketType LiteralData # 

data Trust #

Constructors

Trust 

Instances

Eq Trust # 

Methods

(==) :: Trust -> Trust -> Bool #

(/=) :: Trust -> Trust -> Bool #

Data Trust # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Trust -> c Trust #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Trust #

toConstr :: Trust -> Constr #

dataTypeOf :: Trust -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Trust) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Trust) #

gmapT :: (forall b. Data b => b -> b) -> Trust -> Trust #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Trust -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Trust -> r #

gmapQ :: (forall d. Data d => d -> u) -> Trust -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Trust -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Trust -> m Trust #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Trust -> m Trust #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Trust -> m Trust #

Show Trust # 

Methods

showsPrec :: Int -> Trust -> ShowS #

show :: Trust -> String #

showList :: [Trust] -> ShowS #

Pretty Trust # 

Methods

pretty :: Trust -> Doc e #

prettyList :: [Trust] -> Doc e #

Packet Trust # 

Associated Types

data PacketType Trust :: * #

Eq (PacketType Trust) # 
Show (PacketType Trust) # 
data PacketType Trust # 

data UserId #

Constructors

UserId 

Fields

Instances

Eq UserId # 

Methods

(==) :: UserId -> UserId -> Bool #

(/=) :: UserId -> UserId -> Bool #

Data UserId # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UserId -> c UserId #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UserId #

toConstr :: UserId -> Constr #

dataTypeOf :: UserId -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c UserId) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UserId) #

gmapT :: (forall b. Data b => b -> b) -> UserId -> UserId #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UserId -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UserId -> r #

gmapQ :: (forall d. Data d => d -> u) -> UserId -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UserId -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UserId -> m UserId #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UserId -> m UserId #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UserId -> m UserId #

Show UserId # 
Pretty UserId # 

Methods

pretty :: UserId -> Doc e #

prettyList :: [UserId] -> Doc e #

Packet UserId # 
Eq (PacketType UserId) # 
Show (PacketType UserId) # 
data PacketType UserId # 

data PublicSubkey #

Instances

Eq PublicSubkey # 
Data PublicSubkey # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PublicSubkey -> c PublicSubkey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PublicSubkey #

toConstr :: PublicSubkey -> Constr #

dataTypeOf :: PublicSubkey -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PublicSubkey) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PublicSubkey) #

gmapT :: (forall b. Data b => b -> b) -> PublicSubkey -> PublicSubkey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PublicSubkey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PublicSubkey -> r #

gmapQ :: (forall d. Data d => d -> u) -> PublicSubkey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PublicSubkey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PublicSubkey -> m PublicSubkey #

Show PublicSubkey # 
Pretty PublicSubkey # 
Packet PublicSubkey # 
Eq (PacketType PublicSubkey) # 
Show (PacketType PublicSubkey) # 
data PacketType PublicSubkey # 

data UserAttribute #

Instances

Eq UserAttribute # 
Data UserAttribute # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UserAttribute -> c UserAttribute #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UserAttribute #

toConstr :: UserAttribute -> Constr #

dataTypeOf :: UserAttribute -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c UserAttribute) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UserAttribute) #

gmapT :: (forall b. Data b => b -> b) -> UserAttribute -> UserAttribute #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UserAttribute -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UserAttribute -> r #

gmapQ :: (forall d. Data d => d -> u) -> UserAttribute -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UserAttribute -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UserAttribute -> m UserAttribute #

Show UserAttribute # 
Pretty UserAttribute # 
Packet UserAttribute # 
Eq (PacketType UserAttribute) # 
Show (PacketType UserAttribute) # 
data PacketType UserAttribute # 

data SymEncIntegrityProtectedData #

Instances

Eq SymEncIntegrityProtectedData # 
Data SymEncIntegrityProtectedData # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SymEncIntegrityProtectedData -> c SymEncIntegrityProtectedData #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SymEncIntegrityProtectedData #

toConstr :: SymEncIntegrityProtectedData -> Constr #

dataTypeOf :: SymEncIntegrityProtectedData -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SymEncIntegrityProtectedData) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SymEncIntegrityProtectedData) #

gmapT :: (forall b. Data b => b -> b) -> SymEncIntegrityProtectedData -> SymEncIntegrityProtectedData #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SymEncIntegrityProtectedData -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SymEncIntegrityProtectedData -> r #

gmapQ :: (forall d. Data d => d -> u) -> SymEncIntegrityProtectedData -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SymEncIntegrityProtectedData -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SymEncIntegrityProtectedData -> m SymEncIntegrityProtectedData #

Show SymEncIntegrityProtectedData # 
Pretty SymEncIntegrityProtectedData # 
Packet SymEncIntegrityProtectedData # 
Eq (PacketType SymEncIntegrityProtectedData) # 
Show (PacketType SymEncIntegrityProtectedData) # 
data PacketType SymEncIntegrityProtectedData # 

data ModificationDetectionCode #

Instances

Eq ModificationDetectionCode # 
Data ModificationDetectionCode # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModificationDetectionCode -> c ModificationDetectionCode #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModificationDetectionCode #

toConstr :: ModificationDetectionCode -> Constr #

dataTypeOf :: ModificationDetectionCode -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ModificationDetectionCode) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModificationDetectionCode) #

gmapT :: (forall b. Data b => b -> b) -> ModificationDetectionCode -> ModificationDetectionCode #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModificationDetectionCode -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModificationDetectionCode -> r #

gmapQ :: (forall d. Data d => d -> u) -> ModificationDetectionCode -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ModificationDetectionCode -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModificationDetectionCode -> m ModificationDetectionCode #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModificationDetectionCode -> m ModificationDetectionCode #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModificationDetectionCode -> m ModificationDetectionCode #

Show ModificationDetectionCode # 
Pretty ModificationDetectionCode # 
Packet ModificationDetectionCode # 
Eq (PacketType ModificationDetectionCode) # 
Show (PacketType ModificationDetectionCode) # 
data PacketType ModificationDetectionCode # 

data OtherPacket #

Instances

Eq OtherPacket # 
Data OtherPacket # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OtherPacket -> c OtherPacket #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OtherPacket #

toConstr :: OtherPacket -> Constr #

dataTypeOf :: OtherPacket -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c OtherPacket) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OtherPacket) #

gmapT :: (forall b. Data b => b -> b) -> OtherPacket -> OtherPacket #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OtherPacket -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OtherPacket -> r #

gmapQ :: (forall d. Data d => d -> u) -> OtherPacket -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OtherPacket -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OtherPacket -> m OtherPacket #

Show OtherPacket # 
Pretty OtherPacket # 

Methods

pretty :: OtherPacket -> Doc e #

prettyList :: [OtherPacket] -> Doc e #

Packet OtherPacket # 
Eq (PacketType OtherPacket) # 
Show (PacketType OtherPacket) # 
data PacketType OtherPacket # 

data BrokenPacket #

Instances

Eq BrokenPacket # 
Data BrokenPacket # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BrokenPacket -> c BrokenPacket #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BrokenPacket #

toConstr :: BrokenPacket -> Constr #

dataTypeOf :: BrokenPacket -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c BrokenPacket) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BrokenPacket) #

gmapT :: (forall b. Data b => b -> b) -> BrokenPacket -> BrokenPacket #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BrokenPacket -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BrokenPacket -> r #

gmapQ :: (forall d. Data d => d -> u) -> BrokenPacket -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> BrokenPacket -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BrokenPacket -> m BrokenPacket #

Show BrokenPacket # 
Pretty BrokenPacket # 
Packet BrokenPacket # 
Eq (PacketType BrokenPacket) # 
Show (PacketType BrokenPacket) # 
data PacketType BrokenPacket # 

data PKey #

Instances

Eq PKey # 

Methods

(==) :: PKey -> PKey -> Bool #

(/=) :: PKey -> PKey -> Bool #

Data PKey # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PKey -> c PKey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PKey #

toConstr :: PKey -> Constr #

dataTypeOf :: PKey -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PKey) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PKey) #

gmapT :: (forall b. Data b => b -> b) -> PKey -> PKey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PKey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PKey -> r #

gmapQ :: (forall d. Data d => d -> u) -> PKey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PKey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PKey -> m PKey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PKey -> m PKey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PKey -> m PKey #

Ord PKey # 

Methods

compare :: PKey -> PKey -> Ordering #

(<) :: PKey -> PKey -> Bool #

(<=) :: PKey -> PKey -> Bool #

(>) :: PKey -> PKey -> Bool #

(>=) :: PKey -> PKey -> Bool #

max :: PKey -> PKey -> PKey #

min :: PKey -> PKey -> PKey #

Show PKey # 

Methods

showsPrec :: Int -> PKey -> ShowS #

show :: PKey -> String #

showList :: [PKey] -> ShowS #

Generic PKey # 

Associated Types

type Rep PKey :: * -> * #

Methods

from :: PKey -> Rep PKey x #

to :: Rep PKey x -> PKey #

ToJSON PKey # 
Hashable PKey # 

Methods

hashWithSalt :: Int -> PKey -> Int #

hash :: PKey -> Int #

Pretty PKey # 

Methods

pretty :: PKey -> Doc e #

prettyList :: [PKey] -> Doc e #

type Rep PKey # 

data SKey #

Instances

Eq SKey # 

Methods

(==) :: SKey -> SKey -> Bool #

(/=) :: SKey -> SKey -> Bool #

Data SKey # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SKey -> c SKey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SKey #

toConstr :: SKey -> Constr #

dataTypeOf :: SKey -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SKey) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SKey) #

gmapT :: (forall b. Data b => b -> b) -> SKey -> SKey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SKey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SKey -> r #

gmapQ :: (forall d. Data d => d -> u) -> SKey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SKey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SKey -> m SKey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SKey -> m SKey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SKey -> m SKey #

Show SKey # 

Methods

showsPrec :: Int -> SKey -> ShowS #

show :: SKey -> String #

showList :: [SKey] -> ShowS #

Generic SKey # 

Associated Types

type Rep SKey :: * -> * #

Methods

from :: SKey -> Rep SKey x #

to :: Rep SKey x -> SKey #

ToJSON SKey # 
Hashable SKey # 

Methods

hashWithSalt :: Int -> SKey -> Int #

hash :: SKey -> Int #

Pretty SKey # 

Methods

pretty :: SKey -> Doc e #

prettyList :: [SKey] -> Doc e #

type Rep SKey # 

data PKPayload #

Instances

Eq PKPayload # 
Data PKPayload # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PKPayload -> c PKPayload #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PKPayload #

toConstr :: PKPayload -> Constr #

dataTypeOf :: PKPayload -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PKPayload) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PKPayload) #

gmapT :: (forall b. Data b => b -> b) -> PKPayload -> PKPayload #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PKPayload -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PKPayload -> r #

gmapQ :: (forall d. Data d => d -> u) -> PKPayload -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PKPayload -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PKPayload -> m PKPayload #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PKPayload -> m PKPayload #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PKPayload -> m PKPayload #

Ord PKPayload # 
Show PKPayload # 
Generic PKPayload # 

Associated Types

type Rep PKPayload :: * -> * #

ToJSON PKPayload # 
Hashable PKPayload # 
Pretty PKPayload # 

Methods

pretty :: PKPayload -> Doc e #

prettyList :: [PKPayload] -> Doc e #

type Rep PKPayload # 

data SKAddendum #

Instances

Eq SKAddendum # 
Data SKAddendum # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SKAddendum -> c SKAddendum #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SKAddendum #

toConstr :: SKAddendum -> Constr #

dataTypeOf :: SKAddendum -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SKAddendum) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SKAddendum) #

gmapT :: (forall b. Data b => b -> b) -> SKAddendum -> SKAddendum #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SKAddendum -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SKAddendum -> r #

gmapQ :: (forall d. Data d => d -> u) -> SKAddendum -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SKAddendum -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SKAddendum -> m SKAddendum #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SKAddendum -> m SKAddendum #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SKAddendum -> m SKAddendum #

Ord SKAddendum # 
Show SKAddendum # 
Generic SKAddendum # 

Associated Types

type Rep SKAddendum :: * -> * #

ToJSON SKAddendum # 
Hashable SKAddendum # 
Pretty SKAddendum # 

Methods

pretty :: SKAddendum -> Doc e #

prettyList :: [SKAddendum] -> Doc e #

type Rep SKAddendum # 
type Rep SKAddendum = D1 (MetaData "SKAddendum" "Codec.Encryption.OpenPGP.Types.Internal.PKITypes" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) ((:+:) (C1 (MetaCons "SUS16bit" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SymmetricAlgorithm)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 S2K))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IV)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))))) (C1 (MetaCons "SUSSHA1" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SymmetricAlgorithm)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 S2K))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IV)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))))) ((:+:) (C1 (MetaCons "SUSym" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SymmetricAlgorithm)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IV)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))))) (C1 (MetaCons "SUUnencrypted" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SKey)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word16))))))

data Pkt #

Instances

Eq Pkt # 

Methods

(==) :: Pkt -> Pkt -> Bool #

(/=) :: Pkt -> Pkt -> Bool #

Data Pkt # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pkt -> c Pkt #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pkt #

toConstr :: Pkt -> Constr #

dataTypeOf :: Pkt -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Pkt) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pkt) #

gmapT :: (forall b. Data b => b -> b) -> Pkt -> Pkt #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pkt -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pkt -> r #

gmapQ :: (forall d. Data d => d -> u) -> Pkt -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pkt -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pkt -> m Pkt #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pkt -> m Pkt #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pkt -> m Pkt #

Ord Pkt # 

Methods

compare :: Pkt -> Pkt -> Ordering #

(<) :: Pkt -> Pkt -> Bool #

(<=) :: Pkt -> Pkt -> Bool #

(>) :: Pkt -> Pkt -> Bool #

(>=) :: Pkt -> Pkt -> Bool #

max :: Pkt -> Pkt -> Pkt #

min :: Pkt -> Pkt -> Pkt #

Show Pkt # 

Methods

showsPrec :: Int -> Pkt -> ShowS #

show :: Pkt -> String #

showList :: [Pkt] -> ShowS #

Generic Pkt # 

Associated Types

type Rep Pkt :: * -> * #

Methods

from :: Pkt -> Rep Pkt x #

to :: Rep Pkt x -> Pkt #

ToJSON Pkt # 

Methods

toJSON :: Pkt -> Value #

toEncoding :: Pkt -> Encoding #

Hashable Pkt # 

Methods

hashWithSalt :: Int -> Pkt -> Int #

hash :: Pkt -> Int #

Pretty Pkt # 

Methods

pretty :: Pkt -> Doc e #

prettyList :: [Pkt] -> Doc e #

type Rep Pkt # 
type Rep Pkt = D1 (MetaData "Pkt" "Codec.Encryption.OpenPGP.Types.Internal.Pkt" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "PKESKPkt" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PacketVersion)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 EightOctetKeyId))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PubKeyAlgorithm)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty MPI)))))) (C1 (MetaCons "SignaturePkt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SignaturePayload)))) ((:+:) (C1 (MetaCons "SKESKPkt" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PacketVersion)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SymmetricAlgorithm))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 S2K)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ByteString)))))) (C1 (MetaCons "OnePassSignaturePkt" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PacketVersion)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SigType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HashAlgorithm)))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PubKeyAlgorithm)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 EightOctetKeyId)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NestedFlag)))))))) ((:+:) ((:+:) (C1 (MetaCons "SecretKeyPkt" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PKPayload)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SKAddendum)))) (C1 (MetaCons "PublicKeyPkt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PKPayload)))) ((:+:) (C1 (MetaCons "SecretSubkeyPkt" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PKPayload)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SKAddendum)))) ((:+:) (C1 (MetaCons "CompressedDataPkt" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CompressionAlgorithm)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CompressedDataPayload)))) (C1 (MetaCons "SymEncDataPkt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "MarkerPkt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))) (C1 (MetaCons "LiteralDataPkt" PrefixI False) ((:*:) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DataType)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FileName))) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ThirtyTwoBitTimeStamp)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))))) ((:+:) (C1 (MetaCons "TrustPkt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))) ((:+:) (C1 (MetaCons "UserIdPkt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) (C1 (MetaCons "PublicSubkeyPkt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PKPayload)))))) ((:+:) ((:+:) (C1 (MetaCons "UserAttributePkt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [UserAttrSubPacket]))) (C1 (MetaCons "SymEncIntegrityProtectedDataPkt" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PacketVersion)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))))) ((:+:) (C1 (MetaCons "ModificationDetectionCodePkt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))) ((:+:) (C1 (MetaCons "OtherPacketPkt" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))) (C1 (MetaCons "BrokenPacketPkt" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))))))))))

data TK #

Instances

Eq TK # 

Methods

(==) :: TK -> TK -> Bool #

(/=) :: TK -> TK -> Bool #

Data TK # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TK -> c TK #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TK #

toConstr :: TK -> Constr #

dataTypeOf :: TK -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TK) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TK) #

gmapT :: (forall b. Data b => b -> b) -> TK -> TK #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TK -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TK -> r #

gmapQ :: (forall d. Data d => d -> u) -> TK -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TK -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TK -> m TK #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TK -> m TK #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TK -> m TK #

Ord TK # 

Methods

compare :: TK -> TK -> Ordering #

(<) :: TK -> TK -> Bool #

(<=) :: TK -> TK -> Bool #

(>) :: TK -> TK -> Bool #

(>=) :: TK -> TK -> Bool #

max :: TK -> TK -> TK #

min :: TK -> TK -> TK #

Show TK # 

Methods

showsPrec :: Int -> TK -> ShowS #

show :: TK -> String #

showList :: [TK] -> ShowS #

Generic TK # 

Associated Types

type Rep TK :: * -> * #

Methods

from :: TK -> Rep TK x #

to :: Rep TK x -> TK #

ToJSON TK # 

Methods

toJSON :: TK -> Value #

toEncoding :: TK -> Encoding #

type Rep TK #