From db040aea62f2934a8e9df8562c8efb87a721f3c8 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 21 Dec 2017 14:46:21 -0500 Subject: [PATCH] =?UTF-8?q?Reformat=20mlfp=E2=80=99s=20signature.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/Analysis/Abstract/Caching.hs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/Analysis/Abstract/Caching.hs b/src/Analysis/Abstract/Caching.hs index c98221d7e..b2392ac87 100644 --- a/src/Analysis/Abstract/Caching.hs +++ b/src/Analysis/Abstract/Caching.hs @@ -136,7 +136,12 @@ fixCache ev' yield e = do -- Repeatedly runs a monadic action starting from some initial seed and coinductively recurring until the action’s results converge. -- -- cf https://en.wikipedia.org/wiki/Kleene_fixed-point_theorem -mlfp :: (Eq a, Monad m) => a -> (a -> m a) -> m a +mlfp :: ( Eq a + , Monad m + ) + => a + -> (a -> m a) + -> m a mlfp a f = loop a where loop x = do x' <- f x