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

Rewrite the docs for converge.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 16:44:34 -05:00
parent 67366633e5
commit 0dc48a0672
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -126,11 +126,9 @@ getConfiguration term = Configuration term <$> askRoots <*> askEnv <*> getStore
scatter :: (Alternative m, Foldable t, MonadStore a m) => t (a, Store (LocationFor a) a) -> m a scatter :: (Alternative m, Foldable t, MonadStore a m) => t (a, Store (LocationFor a) a) -> m a
scatter = getAlt . foldMap (\ (value, store') -> Alt (putStore store' *> pure value)) scatter = getAlt . foldMap (\ (value, store') -> Alt (putStore store' *> pure value))
-- | Compute the Kleene fixed-point theorem in a monadic context. -- | Iterate a monadic action starting from some initial seed until the results converge.
-- --
-- Repeatedly runs a monadic action starting from some initial seed and coinductively recurring until the action’s results converge. -- This applies the Kleene fixed-point theorem to finitize a monotone action. cf https://en.wikipedia.org/wiki/Kleene_fixed-point_theorem
--
-- cf https://en.wikipedia.org/wiki/Kleene_fixed-point_theorem
converge :: (Eq a, Monad m) converge :: (Eq a, Monad m)
=> (a -> m a) -- ^ A monadic action to perform at each iteration, starting from the result of the previous iteration or from the seed value for the first iteration. => (a -> m a) -- ^ A monadic action to perform at each iteration, starting from the result of the previous iteration or from the seed value for the first iteration.
-> a -- ^ An initial seed value to iterate from. -> a -- ^ An initial seed value to iterate from.