Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulecrypton-1.0.4Haskell2010

Crypto.PubKey.RSA.Types

5 types
5 values

Packagecrypton-1.0.4
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 crypton-1.0.4 · Crypto.PubKey.RSA.Types
Show ErrorDefined in crypton-1.0.4 · 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 crypton-1.0.4 · Crypto.PubKey.RSA.Types
Show BlinderDefined in crypton-1.0.4 · 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 crypton-1.0.4 · Crypto.PubKey.RSA.Types
Data PublicKeyDefined in crypton-1.0.4 · Crypto.PubKey.RSA.Types
Read PublicKeyDefined in crypton-1.0.4 · Crypto.PubKey.RSA.Types
Show PublicKeyDefined in crypton-1.0.4 · Crypto.PubKey.RSA.Types
NFData PublicKeyDefined in crypton-1.0.4 · 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 crypton-1.0.4 · Crypto.PubKey.RSA.Types
Data PrivateKeyDefined in crypton-1.0.4 · Crypto.PubKey.RSA.Types
Read PrivateKeyDefined in crypton-1.0.4 · Crypto.PubKey.RSA.Types
Show PrivateKeyDefined in crypton-1.0.4 · Crypto.PubKey.RSA.Types
NFData PrivateKeyDefined in crypton-1.0.4 · 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 crypton-1.0.4 · Crypto.PubKey.RSA.Types
Data KeyPairDefined in crypton-1.0.4 · Crypto.PubKey.RSA.Types
Read KeyPairDefined in crypton-1.0.4 · Crypto.PubKey.RSA.Types
Show KeyPairDefined in crypton-1.0.4 · Crypto.PubKey.RSA.Types
NFData KeyPairDefined in crypton-1.0.4 · 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