Safe Haskell | None |
---|---|
Language | Haskell2010 |
Codec.Encryption.OpenPGP.Types
Documentation
Constructors
TK | |
Fields
|
Instances
type KeyringIxs = '[EightOctetKeyId, TwentyOctetFingerprint, Text] Source #
tkUAts :: Lens' TK [([UserAttrSubPacket], [SignaturePayload])] Source #
Constructors
Instances
data Verification Source #
Constructors
Verification | |
data EdSigningCurve Source #
Constructors
Ed25519 |
Instances
Instances
Eq EPoint Source # | |
Data EPoint Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.PKITypes Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EPoint -> c EPoint Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EPoint Source # toConstr :: EPoint -> Constr Source # dataTypeOf :: EPoint -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EPoint) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EPoint) Source # gmapT :: (forall b. Data b => b -> b) -> EPoint -> EPoint Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EPoint -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EPoint -> r Source # gmapQ :: (forall d. Data d => d -> u) -> EPoint -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> EPoint -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EPoint -> m EPoint Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EPoint -> m EPoint Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EPoint -> m EPoint Source # | |
Ord EPoint Source # | |
Show EPoint Source # | |
Generic EPoint Source # | |
Hashable EPoint Source # | |
ToJSON EPoint Source # | |
FromJSON EPoint Source # | |
Pretty EPoint Source # | |
type Rep EPoint Source # | |
Constructors
Instances
Constructors
Instances
Constructors
PKPayload | |
Fields |
Instances
data SKAddendum Source #
Constructors
SUS16bit SymmetricAlgorithm S2K IV ByteString | |
SUSSHA1 SymmetricAlgorithm S2K IV ByteString | |
SUSym SymmetricAlgorithm IV ByteString | |
SUUnencrypted SKey Word16 |
Instances
Associated Types
data PacketType a :: * Source #
Instances
Constructors
PKESK | |
Instances
Constructors
Signature | |
Fields |
Instances
Constructors
SKESK | |
Instances
data OnePassSignature Source #
Constructors
OnePassSignature | |
Instances
Constructors
SecretKey | |
Fields |
Instances
Constructors
PublicKey | |
Fields |
Instances
data SecretSubkey Source #
Constructors
SecretSubkey | |
Instances
data CompressedData Source #
Constructors
CompressedData | |
Instances
newtype SymEncData Source #
Constructors
SymEncData | |
Fields |
Instances
Constructors
Marker | |
Fields |
Instances
data LiteralData Source #
Constructors
LiteralData | |
Instances
Constructors
Trust | |
Fields |
Instances
Constructors
UserId | |
Fields |
Instances
newtype PublicSubkey Source #
Constructors
PublicSubkey | |
Fields |
Instances
newtype UserAttribute Source #
Constructors
UserAttribute | |
Fields |
Instances
data SymEncIntegrityProtectedData Source #
Constructors
SymEncIntegrityProtectedData | |
Instances
newtype ModificationDetectionCode Source #
Constructors
ModificationDetectionCode | |
Instances
data OtherPacket Source #
Constructors
OtherPacket | |
Fields |
Instances
data BrokenPacket Source #
Constructors
BrokenPacket | |
Instances
symEncIntegrityProtectedDataPacketVersion :: Lens' SymEncIntegrityProtectedData PacketVersion Source #
newtype DSA_PublicKey Source #
Constructors
DSA_PublicKey | |
Fields |
Instances
newtype RSA_PublicKey Source #
Constructors
RSA_PublicKey | |
Fields |
Instances
newtype ECDSA_PublicKey Source #
Constructors
ECDSA_PublicKey | |
Fields |
Instances
newtype DSA_PrivateKey Source #
Constructors
DSA_PrivateKey | |
Fields |
Instances
newtype RSA_PrivateKey Source #
Constructors
RSA_PrivateKey | |
Fields |
Instances
newtype ECDSA_PrivateKey Source #
Constructors
ECDSA_PrivateKey | |
Fields |
Instances
newtype DSA_Params Source #
Constructors
DSA_Params | |
Fields |
Instances
newtype ECurvePoint Source #
Constructors
ECurvePoint | |
Fields |
Instances
type Exportability = Bool Source #
type TrustLevel = Word8 Source #
type TrustAmount = Word8 Source #
type AlmostPublicDomainRegex = ByteString Source #
type Revocability = Bool Source #
type RevocationReason = Text Source #
type KeyServer = ByteString Source #
type SignatureHash = ByteString Source #
type PacketVersion = Word8 Source #
type V3Expiration = Word16 Source #
type CompressedDataPayload = ByteString Source #
type FileName = ByteString Source #
type ImageData = ByteString Source #
type NestedFlag = Bool Source #
class (Eq a, Ord a) => FutureFlag a where Source #
Instances
class (Eq a, Ord a) => FutureVal a where Source #
Instances
data SymmetricAlgorithm Source #
Constructors
Plaintext | |
IDEA | |
TripleDES | |
CAST5 | |
Blowfish | |
ReservedSAFER | |
ReservedDES | |
AES128 | |
AES192 | |
AES256 | |
Twofish | |
Camellia128 | |
Camellia192 | |
Camellia256 | |
OtherSA Word8 |
Instances
data NotationFlag Source #
Constructors
HumanReadable | |
OtherNF Word8 |
Instances
newtype ThirtyTwoBitTimeStamp Source #
Constructors
ThirtyTwoBitTimeStamp | |
Fields |
Instances
newtype ThirtyTwoBitDuration Source #
Constructors
ThirtyTwoBitDuration | |
Fields |
Instances
data RevocationClass Source #
Constructors
SensitiveRK | |
RClOther Word8 |
Instances
data PubKeyAlgorithm Source #
Constructors
RSA | |
DeprecatedRSAEncryptOnly | |
DeprecatedRSASignOnly | |
ElgamalEncryptOnly | |
DSA | |
ECDH | |
ECDSA | |
ForbiddenElgamal | |
DH | |
EdDSA | |
OtherPKA Word8 |
Instances
newtype TwentyOctetFingerprint Source #
Constructors
TwentyOctetFingerprint | |
Fields
|
Instances
newtype SpacedFingerprint Source #
Constructors
SpacedFingerprint | |
Instances
Pretty SpacedFingerprint Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base Methods pretty :: SpacedFingerprint -> Doc ann Source # prettyList :: [SpacedFingerprint] -> Doc ann Source # | |
Newtype SpacedFingerprint TwentyOctetFingerprint Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base Methods pack :: TwentyOctetFingerprint -> SpacedFingerprint Source # unpack :: SpacedFingerprint -> TwentyOctetFingerprint Source # |
bsToHexUpper :: ByteString -> String Source #
newtype EightOctetKeyId Source #
Constructors
EightOctetKeyId | |
Fields
|
Instances
newtype NotationName Source #
Constructors
NotationName | |
Fields |
Instances
newtype NotationValue Source #
Constructors
NotationValue | |
Fields |
Instances
data HashAlgorithm Source #
Instances
data CompressionAlgorithm Source #
Instances
Instances
Constructors
GroupKey | |
AuthKey | |
SplitKey | |
EncryptStorageKey | |
EncryptCommunicationsKey | |
SignDataKey | |
CertifyKeysKey | |
KFOther Int |
Instances
data RevocationCode Source #
Constructors
NoReason | |
KeySuperseded | |
KeyMaterialCompromised | |
KeyRetiredAndNoLongerUsed | |
UserIdInfoNoLongerValid | |
RCoOther Word8 |
Instances
data FeatureFlag Source #
Constructors
ModificationDetection | |
FeatureOther Int |
Instances
Instances
Eq URL Source # | |
Data URL Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> URL -> c URL Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c URL Source # toConstr :: URL -> Constr Source # dataTypeOf :: URL -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c URL) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c URL) Source # gmapT :: (forall b. Data b => b -> b) -> URL -> URL Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> URL -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> URL -> r Source # gmapQ :: (forall d. Data d => d -> u) -> URL -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> URL -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> URL -> m URL Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> URL -> m URL Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> URL -> m URL Source # | |
Ord URL Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base | |
Show URL Source # | |
Generic URL Source # | |
Hashable URL Source # | |
ToJSON URL Source # | |
FromJSON URL Source # | |
Pretty URL Source # | |
Newtype URL URI Source # | |
type Rep URL Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base |
Constructors
Instances
Eq SigType Source # | |
Data SigType Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SigType -> c SigType Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SigType Source # toConstr :: SigType -> Constr Source # dataTypeOf :: SigType -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SigType) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SigType) Source # gmapT :: (forall b. Data b => b -> b) -> SigType -> SigType Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SigType -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SigType -> r Source # gmapQ :: (forall d. Data d => d -> u) -> SigType -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> SigType -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SigType -> m SigType Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SigType -> m SigType Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SigType -> m SigType Source # | |
Ord SigType Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base | |
Show SigType Source # | |
Generic SigType Source # | |
Hashable SigType Source # | |
ToJSON SigType Source # | |
FromJSON SigType Source # | |
Binary SigType Source # | |
Pretty SigType Source # | |
FutureVal SigType Source # | |
type Rep SigType Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base type Rep SigType = D1 (MetaData "SigType" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.7.4.1-84fqYJFUXLP65yXV5UDUsn" False) ((((C1 (MetaCons "BinarySig" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CanonicalTextSig" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "StandaloneSig" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GenericCert" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "PersonaCert" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CasualCert" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "PositiveCert" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SubkeyBindingSig" PrefixI False) (U1 :: Type -> Type)))) :+: (((C1 (MetaCons "PrimaryKeyBindingSig" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SignatureDirectlyOnAKey" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "KeyRevocationSig" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SubkeyRevocationSig" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "CertRevocationSig" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TimestampSig" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ThirdPartyConfirmationSig" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "OtherSig" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)))))) |
Instances
Eq MPI Source # | |
Data MPI Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MPI -> c MPI Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MPI Source # toConstr :: MPI -> Constr Source # dataTypeOf :: MPI -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MPI) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MPI) Source # gmapT :: (forall b. Data b => b -> b) -> MPI -> MPI Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MPI -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MPI -> r Source # gmapQ :: (forall d. Data d => d -> u) -> MPI -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> MPI -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MPI -> m MPI Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MPI -> m MPI Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MPI -> m MPI Source # | |
Show MPI Source # | |
Generic MPI Source # | |
Hashable MPI Source # | |
ToJSON MPI Source # | |
FromJSON MPI Source # | |
Binary MPI Source # | |
Pretty MPI Source # | |
Newtype MPI Integer Source # | |
type Rep MPI Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base |
data SignaturePayload Source #
Constructors
Instances
data SigSubPacketPayload Source #
Constructors
Instances
data SigSubPacket Source #
Constructors
SigSubPacket | |
Fields |
Instances
data KeyVersion Source #
Constructors
DeprecatedV3 | |
V4 |
Instances
Constructors
IV | |
Fields
|
Instances
Eq IV Source # | |
Data IV Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IV -> c IV Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IV Source # toConstr :: IV -> Constr Source # dataTypeOf :: IV -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IV) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IV) Source # gmapT :: (forall b. Data b => b -> b) -> IV -> IV Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IV -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IV -> r Source # gmapQ :: (forall d. Data d => d -> u) -> IV -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> IV -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> IV -> m IV Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IV -> m IV Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IV -> m IV Source # | |
Show IV Source # | |
Generic IV Source # | |
Semigroup IV Source # | |
Monoid IV Source # | |
Hashable IV Source # | |
ToJSON IV Source # | |
ByteArrayAccess IV Source # | |
Pretty IV Source # | |
Newtype IV ByteString Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base | |
type Rep IV Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base type Rep IV = D1 (MetaData "IV" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.7.4.1-84fqYJFUXLP65yXV5UDUsn" True) (C1 (MetaCons "IV" PrefixI True) (S1 (MetaSel (Just "unIV") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))) |
Constructors
BinaryData | |
TextData | |
UTF8Data | |
OtherData Word8 |
Instances
Constructors
Salt | |
Fields
|
Instances
Eq Salt Source # | |
Data Salt Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Salt -> c Salt Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Salt Source # toConstr :: Salt -> Constr Source # dataTypeOf :: Salt -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Salt) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Salt) Source # gmapT :: (forall b. Data b => b -> b) -> Salt -> Salt Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Salt -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Salt -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Salt -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Salt -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Salt -> m Salt Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Salt -> m Salt Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Salt -> m Salt Source # | |
Show Salt Source # | |
Generic Salt Source # | |
Hashable Salt Source # | |
ToJSON Salt Source # | |
Pretty Salt Source # | |
Newtype Salt ByteString Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base | |
type Rep Salt Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base type Rep Salt = D1 (MetaData "Salt" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.7.4.1-84fqYJFUXLP65yXV5UDUsn" True) (C1 (MetaCons "Salt" PrefixI True) (S1 (MetaSel (Just "unSalt") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString))) |
newtype IterationCount Source #
Constructors
IterationCount | |
Fields |
Instances
Constructors
Simple HashAlgorithm | |
Salted HashAlgorithm Salt | |
IteratedSalted HashAlgorithm Salt IterationCount | |
OtherS2K Word8 ByteString |
Instances
data ImageFormat Source #
Constructors
JPEG | |
OtherImage Word8 |
Instances
newtype ImageHeader Source #
Constructors
ImageHV1 ImageFormat |
Instances
data UserAttrSubPacket Source #
Constructors
ImageAttribute ImageHeader ImageData | |
OtherUASub Word8 ByteString |
Instances
Constructors
NISTP256 | |
NISTP384 | |
NISTP521 | |
Curve25519 |
Instances
Eq ECCCurve Source # | |
Data ECCCurve Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ECCCurve -> c ECCCurve Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ECCCurve Source # toConstr :: ECCCurve -> Constr Source # dataTypeOf :: ECCCurve -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ECCCurve) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ECCCurve) Source # gmapT :: (forall b. Data b => b -> b) -> ECCCurve -> ECCCurve Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ECCCurve -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ECCCurve -> r Source # gmapQ :: (forall d. Data d => d -> u) -> ECCCurve -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> ECCCurve -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ECCCurve -> m ECCCurve Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ECCCurve -> m ECCCurve Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ECCCurve -> m ECCCurve Source # | |
Ord ECCCurve Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base | |
Show ECCCurve Source # | |
Generic ECCCurve Source # | |
Hashable ECCCurve Source # | |
Pretty ECCCurve Source # | |
type Rep ECCCurve Source # | |
Defined in Codec.Encryption.OpenPGP.Types.Internal.Base type Rep ECCCurve = D1 (MetaData "ECCCurve" "Codec.Encryption.OpenPGP.Types.Internal.Base" "hOpenPGP-2.7.4.1-84fqYJFUXLP65yXV5UDUsn" False) ((C1 (MetaCons "NISTP256" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NISTP384" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "NISTP521" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Curve25519" PrefixI False) (U1 :: Type -> Type))) |