Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulecryptonite-0.30Haskell2010

Crypto.PubKey.RSA.Types

5 types
5 values

Packagecryptonite-0.30
Exports10
LanguageHaskell2010
LicenceBSD-3-Clause
SourceTypes.hs

datadata Error

error possible during encryption, decryption or signing.

Constructors

MessageSizeIncorrect
the message to decrypt is not of the correct size (need to be == private_size)
MessageTooLong
the message to encrypt is too long
MessageNotRecognized
the message decrypted doesn't have a PKCS15 structure (0 2 .. 0 msg)
SignatureTooLong
the message's digest is too long
InvalidParameters
some parameters lead to breaking assumptions.

Instances2Eq, Show

Eq ErrorDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
Show ErrorDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types

datadata Blinder

Blinder which is used to obfuscate the timing of the decryption primitive (used by decryption and signing).

Constructors

Blinder !Integer !Integer

Instances2Eq, Show

Eq BlinderDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
Show BlinderDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types

datadata PublicKey

Represent a RSA public key

Constructors

PublicKey
- public_size :: Int
  size of key in bytes
- public_n :: Integer
  public p*q
- public_e :: Integer
  public exponent e

Instances5Eq, Data, Read, Show, NFData

Eq PublicKeyDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
Data PublicKeyDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
Read PublicKeyDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
Show PublicKeyDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
NFData PublicKeyDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types

datadata PrivateKey

Represent a RSA private key.

Only the pub, d fields are mandatory to fill.

p, q, dP, dQ, qinv are by-product during RSA generation, but are useful to record here to speed up massively the decrypt and sign operation.

implementations can leave optional fields to 0.

Constructors

PrivateKey
- private_pub :: PublicKey
  public part of a private key (size, n and e)
- private_d :: Integer
  private exponent d
- private_p :: Integer
  p prime number
- private_q :: Integer
  q prime number
- private_dP :: Integer
  d mod (p-1)
- private_dQ :: Integer
  d mod (q-1)
- private_qinv :: Integer
  q^(-1) mod p

Instances5Eq, Data, Read, Show, NFData

Eq PrivateKeyDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
Data PrivateKeyDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
Read PrivateKeyDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
Show PrivateKeyDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
NFData PrivateKeyDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types

newtypenewtype KeyPair

Represent RSA KeyPair

note the RSA private key contains already an instance of public key for efficiency

Constructors

KeyPair PrivateKey

Instances5Eq, Data, Read, Show, NFData

Eq KeyPairDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
Data KeyPairDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
Read KeyPairDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
Show KeyPairDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types
NFData KeyPairDefined in cryptonite-0.30 · Crypto.PubKey.RSA.Types

valuetoPublicKey :: KeyPair -> PublicKey

Public key of a RSA KeyPair

valuetoPrivateKey :: KeyPair -> PrivateKey

Private key of a RSA KeyPair

valueprivate_size :: PrivateKey -> Int

get the size in bytes from a private key

valueprivate_n :: PrivateKey -> Integer

get n from a private key

valueprivate_e :: PrivateKey -> Integer

get e from a private key