| 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] #