Re-implement `recipModInteger` (#9281)
authorHerbert Valerio Riedel <hvr@gnu.org>
Sat, 29 Nov 2014 13:34:41 +0000 (14:34 +0100)
committerHerbert Valerio Riedel <hvr@gnu.org>
Sat, 29 Nov 2014 17:47:50 +0000 (18:47 +0100)
commit83c48438c800986c537d3cae682d53ee8ed326ed
tree8a687a5f0da8d886c9b2b7665512f8d9fb15d167
parent859680f6fe952ecbef3395fa4f299530d0f10c58
Re-implement `recipModInteger` (#9281)

This also exposes the following two type-specialised modular
exponentiation variants of `recipModInteger` useful for implementing a
`recipModNatural` operation.

  recipModBigNat :: BigNat -> BigNat -> BigNat
  recipModWord   :: Word#  -> Word#  -> Word#

`recipModInteger` has been available since `integer-gmp-0.5.1`
(added via 4d516855241b70eb687d95e3c121428de885e83e)
libraries/integer-gmp2/cbits/wrappers.c
libraries/integer-gmp2/src/GHC/Integer/GMP/Internals.hs
libraries/integer-gmp2/src/GHC/Integer/Type.hs
testsuite/tests/lib/integer/integerGmpInternals.hs