github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-02 04:10:29 +03:00
Code Issues Projects Releases Wiki Activity

Generalize lookupWith.

Browse Source
This commit is contained in:
Rob Rix 2018-05-02 19:16:24 -04:00
parent a7306d9f73
commit 56c67158cf
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Control/Abstract/Evaluator.hs
View File

@ -162,7 +162,7 @@ lookupEnv :: (Evaluator location term value m, Members '[Reader (Environment loc
lookupEnv name = (<|>) <$> (Env.lookup name <$> getEnv) <*> (Env.lookup name <$> defaultEnvironment) lookupEnv name = (<|>) <$> (Env.lookup name <$> getEnv) <*> (Env.lookup name <$> defaultEnvironment)
-- | Look up a 'Name' in the environment, running an action with the resolved address (if any). -- | Look up a 'Name' in the environment, running an action with the resolved address (if any).
lookupWith :: MonadEvaluator location term value effects m => (Address location value -> m effects a) -> Name -> m effects (Maybe a) lookupWith :: (Evaluator location term value m, Members '[Reader (Environment location value), State (Environment location value)] effects, Monad (m effects)) => (Address location value -> m effects a) -> Name -> m effects (Maybe a)
lookupWith with name = do lookupWith with name = do
addr <- lookupEnv name addr <- lookupEnv name
maybe (pure Nothing) (fmap Just . with) addr maybe (pure Nothing) (fmap Just . with) addr