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

Only reset a single field using localEvaluatingState.

Browse Source
This commit is contained in:
Rob Rix 2018-03-28 08:22:04 -04:00
parent e1dabed456
commit f7afd2c4b4
1 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,4 +1,4 @@
{-# LANGUAGE DataKinds, GeneralizedNewtypeDeriving, StandaloneDeriving, TypeFamilies, UndecidableInstances #-} {-# LANGUAGE DataKinds, GeneralizedNewtypeDeriving, RankNTypes, StandaloneDeriving, TypeFamilies, UndecidableInstances #-}
module Analysis.Abstract.Evaluating module Analysis.Abstract.Evaluating
( Evaluating ( Evaluating
, EvaluatingState(..) , EvaluatingState(..)
@ -77,8 +77,12 @@ lens .= val = raise (modify' (lens .~ val))
view :: Member (State (EvaluatingState term value)) effects => Getting a (EvaluatingState term value) a -> Evaluating term value effects a view :: Member (State (EvaluatingState term value)) effects => Getting a (EvaluatingState term value) a -> Evaluating term value effects a
view lens = raise (gets (^. lens)) view lens = raise (gets (^. lens))
localEvaluatingState :: Member (State (EvaluatingState term value)) effects => (EvaluatingState term value -> EvaluatingState term value) -> Evaluating term value effects a -> Evaluating term value effects a 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 f = raise . localState f . lower localEvaluatingState lens f action = do
original <- view lens
raise (modify' (lens %~ f))
v <- action
v <$ raise (modify' (lens .~ original))
instance Members '[Fail, State (EvaluatingState term value)] effects => MonadControl term (Evaluating term value effects) where instance Members '[Fail, State (EvaluatingState term value)] effects => MonadControl term (Evaluating term value effects) where
@ -96,14 +100,14 @@ instance Members '[ State (EvaluatingState term value)
=> MonadEnvironment value (Evaluating term value effects) where => MonadEnvironment value (Evaluating term value effects) where
getEnv = view _environment getEnv = view _environment
putEnv = (_environment .=) putEnv = (_environment .=)
withEnv s = localEvaluatingState (_environment .~ s) withEnv s = localEvaluatingState _environment (const s)
defaultEnvironment = raise ask defaultEnvironment = raise ask
withDefaultEnvironment e = raise . local (const e) . lower withDefaultEnvironment e = raise . local (const e) . lower
getExports = view _exports getExports = view _exports
putExports = (_exports .=) putExports = (_exports .=)
withExports s = localEvaluatingState (_exports .~ s) withExports s = localEvaluatingState _exports (const s)
localEnv f a = do localEnv f a = do
modifyEnv (f . Env.push) modifyEnv (f . Env.push)