Add monomorphic function power.

lib/numeric/src/Cardano/Numeric/Util.hs

@@ -15,6 +15,9 @@ module Cardano.Numeric.Util
       -- * Partial orders
     , inAscendingPartialOrder
 
+      -- * Monomorphic functions
+    , power
+
     ) where
 
 import Prelude hiding
@@ -301,3 +304,14 @@ round :: (RealFrac a, Integral b) => RoundingDirection -> a -> b
 round = \case
     RoundUp -> ceiling
     RoundDown -> floor
+
+--------------------------------------------------------------------------------
+-- Monomorphic functions
+--------------------------------------------------------------------------------
+
+-- | Power function where all arguments are of the same type.
+--
+-- Helps to avoid the use of boilerplate type annotations.
+--
+power :: Integral a => a -> a -> a
+power = (^)

lib/numeric/test/unit/Cardano/Numeric/UtilSpec.hs

@@ -8,7 +8,7 @@ module Cardano.Numeric.UtilSpec
 import Prelude
 
 import Cardano.Numeric.Util
-    ( equipartitionNatural, padCoalesce, partitionNatural )
+    ( equipartitionNatural, padCoalesce, partitionNatural, power )
 import Data.List.NonEmpty
     ( NonEmpty (..) )
 import Data.Maybe
@@ -20,7 +20,7 @@ import Data.Ratio
 import Numeric.Natural
     ( Natural )
 import Test.Hspec
-    ( Spec, describe, it )
+    ( Spec, describe, it, shouldBe )
 import Test.QuickCheck
     ( Arbitrary (..)
     , Property
@@ -70,6 +70,16 @@ spec = do
         it "prop_partitionNatural_fair" $
             withMaxSuccess 1000 $ checkCoverage prop_partitionNatural_fair
 
+    describe "power" $ do
+
+        it "equivalent to (^)" $ do
+            2 `power` 8
+                `shouldBe` (256 :: Int)
+            2 `power` 8 - 1
+                `shouldBe` (255 :: Int)
+            2 `power` 8 + 1
+                `shouldBe` (257 :: Int)
+
 --------------------------------------------------------------------------------
 -- Coalescing values
 --------------------------------------------------------------------------------