github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 00:44:57 +03:00
Code Issues Projects Releases Wiki Activity

Reorder the contexts for ease of type application.

Browse Source
This commit is contained in:
Rob Rix 2019-11-04 12:09:01 -05:00
parent 6e1383d2de
commit d70a169e93
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
semantic-analysis/src/Analysis/Effect/Env.hs
View File

@ -8,13 +8,13 @@ module Analysis.Effect.Env
import Control.Effect.Carrier
alloc :: (Carrier sig m, Member (Env name addr) sig) => name -> m addr
alloc :: (Member (Env name addr) sig, Carrier sig m) => name -> m addr
alloc name = send (Alloc name pure)
bind :: (Carrier sig m, Member (Env name addr) sig) => name -> addr -> m a -> m a
bind :: (Member (Env name addr) sig, Carrier sig m) => name -> addr -> m a -> m a
bind name addr m = send (Bind name addr m pure)
lookupEnv :: (Carrier sig m, Member (Env name addr) sig) => name -> m (Maybe addr)
lookupEnv :: (Member (Env name addr) sig, Carrier sig m) => name -> m (Maybe addr)
lookupEnv name = send (Lookup name pure)