Safe Haskell | None |
---|---|
Language | Haskell2010 |
Codec.Encryption.OpenPGP.Types
Documentation
type Exportability = Bool #
type TrustLevel = Word8 #
type TrustAmount = Word8 #
type AlmostPublicDomainRegex = ByteString #
type Revocability = Bool #
type RevocationReason = Text #
type KeyServer = ByteString #
type SignatureHash = ByteString #
type PacketVersion = Word8 #
type V3Expiration = Word16 #
type CompressedDataPayload = ByteString #
type FileName = ByteString #
type ImageData = ByteString #
type NestedFlag = Bool #
class (Eq a, Ord a) => FutureFlag a where #
data SymmetricAlgorithm #
Constructors
Plaintext | |
IDEA | |
TripleDES | |
CAST5 | |
Blowfish | |
ReservedSAFER | |
ReservedDES | |
AES128 | |
AES192 | |
AES256 | |
Twofish | |
Camellia128 | |
Camellia192 | |
Camellia256 | |
OtherSA Word8 |
Instances
data NotationFlag #
Constructors
HumanReadable | |
OtherNF Word8 |
Instances
newtype ThirtyTwoBitTimeStamp #
Constructors
ThirtyTwoBitTimeStamp | |
Fields |
Instances
newtype ThirtyTwoBitDuration #
Constructors
ThirtyTwoBitDuration | |
Fields |
Instances
data RevocationClass #
Constructors
SensitiveRK | |
RClOther Word8 |
Instances
data PubKeyAlgorithm #
Constructors
RSA | |
DeprecatedRSAEncryptOnly | |
DeprecatedRSASignOnly | |
ElgamalEncryptOnly | |
DSA | |
ECDH | |
ECDSA | |
ForbiddenElgamal | |
DH | |
OtherPKA Word8 |
Instances
newtype TwentyOctetFingerprint #
Constructors
TwentyOctetFingerprint | |
Fields
|
Instances
newtype SpacedFingerprint #
Constructors
SpacedFingerprint | |
Instances
newtype EightOctetKeyId #
Constructors
EightOctetKeyId | |
Fields
|
Instances
newtype NotationName #
Constructors
NotationName | |
Fields |
Instances
newtype NotationValue #
Constructors
NotationValue | |
Fields |
Instances
data HashAlgorithm #
Instances
data CompressionAlgorithm #
Instances
Instances
Eq KSPFlag # | |
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 # | |
ToJSON KSPFlag # | |
FromJSON KSPFlag # | |
Hashable KSPFlag # | |
Pretty KSPFlag # | |
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)))) |
Constructors
GroupKey | |
AuthKey | |
SplitKey | |
EncryptStorageKey | |
EncryptCommunicationsKey | |
SignDataKey | |
CertifyKeysKey | |
KFOther Int |
Instances
Eq KeyFlag # | |
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 # | |
ToJSON KeyFlag # | |
FromJSON KeyFlag # | |
Hashable KeyFlag # | |
Pretty KeyFlag # | |
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 #
Constructors
NoReason | |
KeySuperseded | |
KeyMaterialCompromised | |
KeyRetiredAndNoLongerUsed | |
UserIdInfoNoLongerValid | |
RCoOther Word8 |
Instances
data FeatureFlag #
Constructors
ModificationDetection | |
FeatureOther Int |
Instances
Instances
Eq URL # | |
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 # 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 # | |
Show URL # | |
Generic URL # | |
ToJSON URL # | |
FromJSON URL # | |
Hashable URL # | |
Pretty URL # | |
Newtype URL URI # | |
type Rep URL # | |
Constructors
Instances
Eq SigType # | |
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 # | |
ToJSON SigType # | |
FromJSON SigType # | |
Hashable SigType # | |
Pretty SigType # | |
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))))))) |
Instances
Eq MPI # | |
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 # 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 # | |
Generic MPI # | |
ToJSON MPI # | |
FromJSON MPI # | |
Hashable MPI # | |
Pretty MPI # | |
Newtype MPI Integer # | |
type Rep MPI # | |
data SignaturePayload #
Constructors
Instances
data SigSubPacketPayload #
Constructors
Instances
data SigSubPacket #
Constructors
SigSubPacket | |
Fields |
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 # | |
Methods showsPrec :: Int -> SigSubPacket -> ShowS # show :: SigSubPacket -> String # showList :: [SigSubPacket] -> ShowS # | |
Generic SigSubPacket # | |
Associated Types type Rep SigSubPacket :: * -> * # | |
ToJSON SigSubPacket # | |
FromJSON SigSubPacket # | |
Methods parseJSON :: Value -> Parser 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
Constructors
IV | |
Fields
|
Instances
Eq IV # | |
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 # 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 # | |
Generic IV # | |
Monoid IV # | |
ToJSON IV # | |
Byteable IV # | |
ByteArrayAccess IV # | |
Hashable IV # | |
Pretty IV # | |
Newtype 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))) |
Constructors
BinaryData | |
TextData | |
UTF8Data | |
OtherData Word8 |
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 # | |
ToJSON DataType # | |
FromJSON DataType # | |
Hashable DataType # | |
Pretty DataType # | |
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))))) |
Constructors
Salt | |
Fields
|
Instances
Eq Salt # | |
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 # 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 # | |
Generic Salt # | |
ToJSON Salt # | |
Byteable Salt # | |
Hashable Salt # | |
Pretty Salt # | |
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 | |
Fields |
Instances
Constructors
Simple HashAlgorithm | |
Salted HashAlgorithm Salt | |
IteratedSalted HashAlgorithm Salt IterationCount | |
OtherS2K Word8 ByteString |
Instances
data ImageFormat #
Constructors
JPEG | |
OtherImage Word8 |
Instances
data ImageHeader #
Constructors
ImageHV1 ImageFormat |
Instances
data UserAttrSubPacket #
Constructors
ImageAttribute ImageHeader ImageData | |
OtherUASub Word8 ByteString |
Instances
Constructors
BrokenNISTP256 | |
BrokenNISTP384 | |
BrokenNISTP521 |
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 # | |
Hashable ECCCurve # | |
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 DSA_PublicKey #
Constructors
DSA_PublicKey | |
Fields |
Instances
newtype RSA_PublicKey #
Constructors
RSA_PublicKey | |
Fields |
Instances
newtype ECDSA_PublicKey #
Constructors
ECDSA_PublicKey | |
Fields |
Instances
newtype DSA_PrivateKey #
Constructors
DSA_PrivateKey | |
Fields |
Instances
newtype RSA_PrivateKey #
Constructors
RSA_PrivateKey | |
Fields |
Instances
newtype ECDSA_PrivateKey #
Constructors
ECDSA_PrivateKey | |
Fields |
Instances
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 # | |
Methods showsPrec :: Int -> DSA_Params -> ShowS # show :: DSA_Params -> String # showList :: [DSA_Params] -> ShowS # | |
Generic DSA_Params # | |
Associated Types type Rep DSA_Params :: * -> * # | |
ToJSON DSA_Params # | |
Hashable DSA_Params # | |
Pretty DSA_Params # | |
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))) |
Minimal complete definition
Associated Types
data PacketType a :: * #
Instances
Constructors
PKESK | |
Instances
Eq PKESK # | |
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 # 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 # | |
Pretty PKESK # | |
Packet PKESK # | |
Associated Types data PacketType PKESK :: * # | |
Eq (PacketType PKESK) # | |
Methods (==) :: PacketType PKESK -> PacketType PKESK -> Bool # (/=) :: PacketType PKESK -> PacketType PKESK -> Bool # | |
Show (PacketType PKESK) # | |
data PacketType PKESK # | |
Constructors
Signature | |
Fields |
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 # | |
Packet Signature # | |
Associated Types data PacketType Signature :: * # Methods packetType :: Signature -> PacketType Signature # packetCode :: PacketType Signature -> Word8 # | |
Eq (PacketType Signature) # | |
Methods (==) :: PacketType Signature -> PacketType Signature -> Bool # (/=) :: PacketType Signature -> PacketType Signature -> Bool # | |
Show (PacketType Signature) # | |
data PacketType Signature # | |
Constructors
SKESK | |
Instances
Eq SKESK # | |
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 # 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 # | |
Pretty SKESK # | |
Packet SKESK # | |
Associated Types data PacketType SKESK :: * # | |
Eq (PacketType SKESK) # | |
Methods (==) :: PacketType SKESK -> PacketType SKESK -> Bool # (/=) :: PacketType SKESK -> PacketType SKESK -> Bool # | |
Show (PacketType SKESK) # | |
data PacketType SKESK # | |
data OnePassSignature #
Constructors
OnePassSignature | |
Instances
Constructors
SecretKey | |
Fields |
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 # | |
Packet SecretKey # | |
Associated Types data PacketType SecretKey :: * # Methods packetType :: SecretKey -> PacketType SecretKey # packetCode :: PacketType SecretKey -> Word8 # | |
Eq (PacketType SecretKey) # | |
Methods (==) :: PacketType SecretKey -> PacketType SecretKey -> Bool # (/=) :: PacketType SecretKey -> PacketType SecretKey -> Bool # | |
Show (PacketType SecretKey) # | |
data PacketType SecretKey # | |
Constructors
PublicKey | |
Fields |
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 # | |
Packet PublicKey # | |
Associated Types data PacketType PublicKey :: * # Methods packetType :: PublicKey -> PacketType PublicKey # packetCode :: PacketType PublicKey -> Word8 # | |
Eq (PacketType PublicKey) # | |
Methods (==) :: PacketType PublicKey -> PacketType PublicKey -> Bool # (/=) :: PacketType PublicKey -> PacketType PublicKey -> Bool # | |
Show (PacketType PublicKey) # | |
data PacketType PublicKey # | |
data SecretSubkey #
Constructors
SecretSubkey | |
Instances
data CompressedData #
Constructors
CompressedData | |
Instances
data SymEncData #
Constructors
SymEncData | |
Fields |
Instances
Constructors
Marker | |
Fields |
Instances
Eq Marker # | |
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 # | |
Packet Marker # | |
Associated Types data PacketType Marker :: * # | |
Eq (PacketType Marker) # | |
Methods (==) :: PacketType Marker -> PacketType Marker -> Bool # (/=) :: PacketType Marker -> PacketType Marker -> Bool # | |
Show (PacketType Marker) # | |
data PacketType Marker # | |
data LiteralData #
Constructors
LiteralData | |
Instances
Constructors
Trust | |
Fields |
Instances
Eq Trust # | |
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 # 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 # | |
Pretty Trust # | |
Packet Trust # | |
Associated Types data PacketType Trust :: * # | |
Eq (PacketType Trust) # | |
Methods (==) :: PacketType Trust -> PacketType Trust -> Bool # (/=) :: PacketType Trust -> PacketType Trust -> Bool # | |
Show (PacketType Trust) # | |
data PacketType Trust # | |
Constructors
UserId | |
Fields |
Instances
Eq UserId # | |
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 # | |
Packet UserId # | |
Associated Types data PacketType UserId :: * # | |
Eq (PacketType UserId) # | |
Methods (==) :: PacketType UserId -> PacketType UserId -> Bool # (/=) :: PacketType UserId -> PacketType UserId -> Bool # | |
Show (PacketType UserId) # | |
data PacketType UserId # | |
data PublicSubkey #
Constructors
PublicSubkey | |
Fields |
Instances
data UserAttribute #
Constructors
UserAttribute | |
Fields |
Instances
data SymEncIntegrityProtectedData #
Constructors
SymEncIntegrityProtectedData | |
Instances
data ModificationDetectionCode #
Constructors
ModificationDetectionCode | |
Instances
data OtherPacket #
Constructors
OtherPacket | |
Fields |
Instances
data BrokenPacket #
Constructors
BrokenPacket | |
Instances
userIdPayload :: Iso' UserId Text #
Constructors
RSAPubKey RSA_PublicKey | |
DSAPubKey DSA_PublicKey | |
ElGamalPubKey [Integer] | |
ECDHPubKey ECDSA_PublicKey HashAlgorithm SymmetricAlgorithm | |
ECDSAPubKey ECDSA_PublicKey | |
UnknownPKey ByteString |
Instances
Constructors
RSAPrivateKey RSA_PrivateKey | |
DSAPrivateKey DSA_PrivateKey | |
ElGamalPrivateKey [Integer] | |
ECDHPrivateKey ECDSA_PrivateKey | |
ECDSAPrivateKey ECDSA_PrivateKey | |
UnknownSKey ByteString |
Instances
Eq SKey # | |
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 # 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 # | |
Generic SKey # | |
ToJSON SKey # | |
Hashable SKey # | |
Pretty SKey # | |
type Rep SKey # | |
type Rep SKey = D1 (MetaData "SKey" "Codec.Encryption.OpenPGP.Types.Internal.PKITypes" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) ((:+:) ((:+:) (C1 (MetaCons "RSAPrivateKey" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RSA_PrivateKey))) ((:+:) (C1 (MetaCons "DSAPrivateKey" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DSA_PrivateKey))) (C1 (MetaCons "ElGamalPrivateKey" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Integer]))))) ((:+:) (C1 (MetaCons "ECDHPrivateKey" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ECDSA_PrivateKey))) ((:+:) (C1 (MetaCons "ECDSAPrivateKey" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ECDSA_PrivateKey))) (C1 (MetaCons "UnknownSKey" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))))) |
Constructors
PKPayload | |
Fields |
Instances
data SKAddendum #
Constructors
SUS16bit SymmetricAlgorithm S2K IV ByteString | |
SUSSHA1 SymmetricAlgorithm S2K IV ByteString | |
SUSym SymmetricAlgorithm IV ByteString | |
SUUnencrypted SKey Word16 |
Instances
Constructors
Instances
data Verification #
Constructors
Verification | |
Constructors
TK | |
Fields
|
Instances
Eq TK # | |
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 # 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 # | |
Show TK # | |
Generic TK # | |
ToJSON TK # | |
type Rep TK # | |
type Rep TK = D1 (MetaData "TK" "Codec.Encryption.OpenPGP.Types.Internal.TK" "hOpenPGP-2.5.1-9U0i0pLIOWI2N4Xklpra76" False) (C1 (MetaCons "TK" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_tkKey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (PKPayload, Maybe SKAddendum))) (S1 (MetaSel (Just Symbol "_tkRevs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SignaturePayload]))) ((:*:) (S1 (MetaSel (Just Symbol "_tkUIDs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Text, [SignaturePayload])])) ((:*:) (S1 (MetaSel (Just Symbol "_tkUAts") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [([UserAttrSubPacket], [SignaturePayload])])) (S1 (MetaSel (Just Symbol "_tkSubs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Pkt, [SignaturePayload])])))))) |
type KeyringIxs = '[EightOctetKeyId, TwentyOctetFingerprint, Text] #
type Keyring = IxSet KeyringIxs TK #
tkUAts :: Lens' TK [([UserAttrSubPacket], [SignaturePayload])] #
tkRevs :: Lens' TK [SignaturePayload] #