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

🔥 the constraint relating the location and value types.

Browse Source
This commit is contained in:
Rob Rix 2018-03-29 20:19:01 -04:00
parent 828bb29636
commit a60682ee69
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/Addressable.hs
View File

@ -13,7 +13,7 @@ import Prelude hiding (fail)
import Prologue
-- | Defines 'alloc'ation and 'deref'erencing of 'Address'es in a Heap.
class (Monad m, Ord location, location ~ LocationFor value, Reducer value (Cell location value)) => MonadAddressable location value m where
class (Monad m, Ord location, Reducer value (Cell location value)) => MonadAddressable location value m where
deref :: Address location value -> m value
alloc :: Name -> m (Address location value)