From e529722143189fe05de5a054784e22cc2a27a522 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Fri, 7 Dec 2018 11:04:36 -0500 Subject: [PATCH] src/Integration/Simpson.hs: fix monomorphism restriction warnings. --- src/Integration/Simpson.hs | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/Integration/Simpson.hs b/src/Integration/Simpson.hs index f0f57f2..afa932b 100644 --- a/src/Integration/Simpson.hs +++ b/src/Integration/Simpson.hs @@ -1,4 +1,5 @@ {-# LANGUAGE NoImplicitPrelude #-} +{-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE RebindableSyntax #-} module Integration.Simpson ( @@ -40,16 +41,16 @@ import qualified Algebra.ToRational as ToRational ( C ) -- >>> simpson_1 f 0 1 -- 0.25 -- -simpson_1 :: (RealField.C a, ToRational.C a, RealField.C b) +simpson_1 :: forall a b. (RealField.C a, ToRational.C a, RealField.C b) => (a -> b) -- ^ The function @f@ -> a -- ^ The \"left\" endpoint, @a@ -> a -- ^ The \"right\" endpoint, @b@ -> b -simpson_1 f a b = - coefficient * ((f a) + 4*(f midpoint) + (f b)) +simpson_1 f x y = + coefficient * ((f x) + 4*(f midpoint) + (f y)) where - coefficient = fromRational' $ (toRational (b - a)) / 6 - midpoint = (a + b) / 2 + coefficient = fromRational' $ (toRational (y - x)) / 6 :: b + midpoint = (x + y) / 2 -- | Use the composite Simpson's rule to numerically integrate @f@ -- 2.43.2