commit 579d18c0b8ddc6bada02c11ea7d292dd65c24710
parent 3373284d9b0fe3bc1c02164fb828475df0392798
Author: Jared Tobin <jared@jtobin.io>
Date: Sun, 28 Dec 2025 09:09:17 -0330
lib: formatting nits
Diffstat:
2 files changed, 12 insertions(+), 12 deletions(-)
diff --git a/lib/Numeric/Montgomery/Secp256k1/Curve.hs b/lib/Numeric/Montgomery/Secp256k1/Curve.hs
@@ -31,13 +31,13 @@ module Numeric.Montgomery.Secp256k1.Curve (
-- * Reduction and retrieval
, redc
- , retr
, redc#
+ , retr
, retr#
-- * Constant-time selection
- , select#
, select
+ , select#
-- * Montgomery arithmetic
, add
@@ -1573,10 +1573,10 @@ odd_vartime (Montgomery m) = C.decide (odd# m)
-- constant-time selection ----------------------------------------------------
select#
- :: Limb4 -- ^ a
- -> Limb4 -- ^ b
- -> C.Choice -- ^ c
- -> Limb4 -- ^ result
+ :: Limb4 -- ^ a
+ -> Limb4 -- ^ b
+ -> C.Choice -- ^ c
+ -> Limb4 -- ^ result
select# = WW.select#
{-# INLINE select# #-}
diff --git a/lib/Numeric/Montgomery/Secp256k1/Scalar.hs b/lib/Numeric/Montgomery/Secp256k1/Scalar.hs
@@ -31,13 +31,13 @@ module Numeric.Montgomery.Secp256k1.Scalar (
-- * Reduction and retrieval
, redc
- , retr
, redc#
+ , retr
, retr#
-- * Constant-time selection
- , select#
, select
+ , select#
-- * Montgomery arithmetic
, add
@@ -54,8 +54,8 @@ module Numeric.Montgomery.Secp256k1.Scalar (
, inv#
, exp
, exp#
- , odd#
, odd_vartime
+ , odd#
) where
import Control.DeepSeq
@@ -997,10 +997,10 @@ odd_vartime (Montgomery m) = C.decide (odd# m)
-- constant-time selection ----------------------------------------------------
select#
- :: Limb4 -- ^ a
- -> Limb4 -- ^ b
+ :: Limb4 -- ^ a
+ -> Limb4 -- ^ b
-> C.Choice -- ^ c
- -> Limb4 -- ^ result
+ -> Limb4 -- ^ result
select# = WW.select#
{-# INLINE select# #-}