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

Use .= to define localEvaluatingState.

Browse Source
This commit is contained in:
Rob Rix 2018-03-28 08:56:02 -04:00
parent 5ae24ddc89
commit 1d3c09a9d2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Analysis/Abstract/Evaluating.hs
View File

@ -80,9 +80,9 @@ view lens = raise (gets (^. lens))
localEvaluatingState :: Member (State (EvaluatingState term value)) effects => Lens' (EvaluatingState term value) prj -> (prj -> prj) -> Evaluating term value effects a -> Evaluating term value effects a
localEvaluatingState lens f action = do
original <- view lens
raise (modify' (lens %~ f))
lens .= f original
v <- action
v <$ raise (modify' (lens .~ original))
v <$ lens .= original
instance Members '[Fail, State (EvaluatingState term value)] effects => MonadControl term (Evaluating term value effects) where