Export helper functions isInRangeOrd and isInRangeEnum

CHANGELOG.md

@@ -1,5 +1,6 @@
 # 1.3.0
 
+* Add `isInRangeOrd` and `isInRangeEnum` that can be used for implementing `isInRange`
 * Add `isInRange` to `UniformRange`: [#78](https://github.com/haskell/random/pull/78)
 * Add default implementation for `uniformRM` using `Generics`:
   [#92](https://github.com/haskell/random/pull/92)

src/System/Random/Internal.hs

@@ -59,6 +59,8 @@ module System.Random.Internal
   , uniformFloatPositive01M
   , uniformEnumM
   , uniformEnumRM
+  , isInRangeOrd
+  , isInRangeEnum
 
   -- * Generators for sequences of pseudo-random bytes
   , genShortByteStringIO
@@ -723,7 +725,9 @@ class UniformRange a where
   -- > isInRange (lo, hi) lo' && isInRange (lo, hi) hi' && isInRange (lo', hi') x
   -- > ==> isInRange (lo, hi) x
   --
-  -- There is a default implementation of 'isInRange' via 'Generic'.
+  -- There is a default implementation of 'isInRange' via 'Generic'. Other helper function
+  -- that can be used for implementing this function are `isInRangeOrd` and
+  -- `isInRangeEnum`
   --
   -- @since 1.3.0
   isInRange :: (a, a) -> a -> Bool
@@ -762,9 +766,20 @@ instance (GUniformRange f, GUniformRange g) => GUniformRange (f :*: g) where
   gisInRange (x1 :*: y1, x2 :*: y2) (x3 :*: y3) =
     gisInRange (x1, x2) x3 && gisInRange (y1, y2) y3
 
+-- | Utilize `Ord` instance to decide if a value is within the range. Designed to be used
+-- for implementing `isInRange`
+--
+-- @since 1.3.0
 isInRangeOrd :: Ord a => (a, a) -> a -> Bool
 isInRangeOrd (a, b) x = min a b <= x && x <= max a b
 
+-- | Utilize `Enum` instance to decide if a value is within the range. Designed to be used
+-- for implementing `isInRange`
+--
+-- @since 1.3.0
+isInRangeEnum :: Enum a => (a, a) -> a -> Bool
+isInRangeEnum (a, b) x = isInRangeOrd (fromEnum a, fromEnum b) (fromEnum x)
+
 instance UniformRange Integer where
   uniformRM = uniformIntegralM
   {-# INLINE uniformRM #-}

src/System/Random/Stateful.hs

@@ -79,6 +79,8 @@ module System.Random.Stateful
   , uniformListM
   , uniformViaFiniteM
   , UniformRange(..)
+  , isInRangeOrd
+  , isInRangeEnum
 
   -- * Generators for sequences of pseudo-random bytes
   , genShortByteStringIO