ModuleHsOpenSSL-0.11.7.11Haskell2010

OpenSSL.BN

BN - multiprecision integer arithmetics

2 types
17 values

PackageHsOpenSSL-0.11.7.11
Exports19
LanguageHaskell2010
LicenceLicenseRef-PublicDomain
SourceBN.hsc

Type

2 declarations

newtypenewtype BigNum

BigNum is an opaque object representing a big number.

datadata BIGNUM

Allocation

5 declarations

valueallocaBN :: (BigNum -> IO a) -> IO a

allocaBN f allocates a BigNum and computes f. Then it frees the BigNum.

valuewithBN :: Integer -> (BigNum -> IO a) -> IO a

withBN n f converts n to a BigNum and computes f. Then it frees the BigNum.

valuenewBN :: Integer -> IO BigNum

This is an alias to integerToBN.

valuewrapBN :: Ptr BIGNUM -> BigNum

valueunwrapBN :: BigNum -> Ptr BIGNUM

Conversion from/to Integer

5 declarations

valuepeekBN :: BigNum -> IO Integer

This is an alias to bnToInteger.

valueintegerToBN :: Integer -> IO BigNum

Return a new, alloced BIGNUM.

valuebnToInteger :: BigNum -> IO Integer

Convert a BIGNUM to an Integer.

valueintegerToMPI :: Integer -> IO ByteString

Convert an Integer to an MPI. See bnToMPI for the format

valuempiToInteger :: ByteString -> IO Integer

Convert an MPI to an Integer. See bnToMPI for the format

Computation

1 declaration

valuemodexp :: Integer -> Integer -> Integer -> Integer

modexp a p m computes a to the p-th power modulo m.

Random number generation

6 declarations

valuerandIntegerUptoNMinusOneSuchThat

:: (Integer -> Bool)
a filter function
-> Integer
one plus the upper limit
-> IO Integer

Return a strongly random number in the range 0 <= x < n where the given filter function returns true.

valueprandIntegerUptoNMinusOneSuchThat

:: (Integer -> Bool)
a filter function
-> Integer
one plus the upper limit
-> IO Integer

Return a random number in the range 0 <= x < n where the given filter function returns true.

valuerandIntegerZeroToNMinusOne :: Integer -> IO Integer

Return a strongly random number in the range 0 <= x < n

valueprandIntegerZeroToNMinusOne :: Integer -> IO Integer

Return a random number in the range 0 <= x < n

valuerandIntegerOneToNMinusOne :: Integer -> IO Integer

Return a strongly random number in the range 0 < x < n

valueprandIntegerOneToNMinusOne :: Integer -> IO Integer

Return a random number in the range 0 < x < n