1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
This commit is contained in:
Rob Rix 2017-09-10 17:47:07 +01:00
parent 606b89772e
commit 7020f5ffaa

View File

@ -67,7 +67,7 @@ evalDiffR algebra = flip go mempty
Var var -> algebra (Var var) env
evalDiffRM :: (Functor syntax, Reader (Env (Diff syntax ann, Eff fs a)) :< fs) => (DiffF syntax ann (Diff syntax ann, Eff fs a) -> Eff fs a) -> Diff syntax ann -> Eff fs a
evalDiffRM algebra = para $ \ diff -> local (flip (foldr (uncurry envExtend)) (diffFBindings diff)) (algebra diff)
evalDiffRM algebra = para (\ diff -> local (flip (foldr (uncurry envExtend)) (diffFBindings diff)) (algebra diff))
diffSum :: (Foldable syntax, Functor syntax) => (forall a. Patch a -> Int) -> Diff syntax ann -> Int