github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 06:11:49 +03:00
Code Issues Projects Releases Wiki Activity

Reformat mlfp’s signature.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 14:46:21 -05:00
parent 0aece7bea0
commit db040aea62
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Analysis/Abstract/Caching.hs
View File

@ -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. -- 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 -- 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 mlfp a f = loop a
where loop x = do where loop x = do
x' <- f x x' <- f x