From d70a169e9311cd5bed0375ae5de2e94e5154d0ed Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Mon, 4 Nov 2019 12:09:01 -0500 Subject: [PATCH] Reorder the contexts for ease of type application. --- semantic-analysis/src/Analysis/Effect/Env.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/semantic-analysis/src/Analysis/Effect/Env.hs b/semantic-analysis/src/Analysis/Effect/Env.hs index b16dd6955..f3fe945dc 100644 --- a/semantic-analysis/src/Analysis/Effect/Env.hs +++ b/semantic-analysis/src/Analysis/Effect/Env.hs @@ -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)