Add note to function geometric

bredelings · Jan 4, 2025 · 6416e14 · 6416e14
1 parent 93ba413
commit 6416e14
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/haskell/Probability/Distribution/Geometric.hs b/haskell/Probability/Distribution/Geometric.hs
@@ -51,6 +51,12 @@ geometric_effect x = do
   add_move $ sliceSampleInteger x geometric_bounds
   add_move $ incDecMH x geometric_bounds
 
-geometric :: Double -> Geometric
-geometric p_success = Geometric (toFloating p_success)
+{- NOTE: Why specify that pSuccess :: Double ?
+   This avoids callers of (geometric p) getting
+   saddled with ambiguous types.
+
+   See note in Data.Floating.Types
+-}
 
+geometric :: Double -> Geometric
+geometric pSuccess = Geometric (toFloating pSuccess)