github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 21:31:48 +03:00
Code Issues Projects Releases Wiki Activity

Generalize modifyHeap.

Browse Source
This commit is contained in:
Rob Rix 2018-05-02 19:07:57 -04:00
parent d073020526
commit e4b611c5b6
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

@ -206,7 +206,7 @@ putHeap :: (Member (State (Heap location value)) effects, Evaluator location ter
putHeap = raise . put
-- | Update the heap.
modifyHeap :: MonadEvaluator location term value effects m => (Heap location value -> Heap location value) -> m effects ()
modifyHeap :: (Member (State (Heap location value)) effects, Evaluator location term value m) => (Heap location value -> Heap location value) -> m effects ()
modifyHeap = raise . modify'
-- | Look up the cell for the given 'Address' in the 'Heap'.