1
1
mirror of https://github.com/github/semantic.git synced 2025-01-01 11:46:14 +03:00

🔥 some redundant parens.

This commit is contained in:
Rob Rix 2018-10-24 15:16:30 -04:00
parent d559aa1162
commit 676b5b5105

View File

@ -98,7 +98,7 @@ newtype ScopeEnvC m a = ScopeEnvC { runScopeEnvC :: m a }
instance (Ord address, Member Fresh sig, Member (Allocator address) sig, Carrier (State (ScopeGraph address) :+: sig) m, Effect sig) => Carrier (ScopeEnv address :+: sig) (ScopeEnvC (Eff m)) where
ret = ScopeEnvC . ret
eff = ScopeEnvC . (alg \/ (eff . R . handlePure runScopeEnvC))
eff = ScopeEnvC . (alg \/ eff . R . handlePure runScopeEnvC)
where alg (Lookup ref k) = gets (ScopeGraph.scopeOfRef ref) >>= runScopeEnvC . k
alg (Declare decl span scope k) = modify @(ScopeGraph address) (ScopeGraph.declare decl span scope) *> runScopeEnvC k
alg (PutDeclarationScope decl scope k) = modify @(ScopeGraph address) (ScopeGraph.insertDeclarationScope decl scope) *> runScopeEnvC k