Move assign into Control.Abstract.Evaluator.

src/Control/Abstract/Addressable.hs

@@ -49,16 +49,6 @@ lookupOrAlloc' name v env = do
   assign a v
   pure (name, a)
 
--- | Write a value to the given 'Address' in the 'Store'.
-assign :: ( Ord (LocationFor value)
-          , MonadStore value m
-          , Reducer value (CellFor value)
-          )
-          => Address (LocationFor value) value
-          -> value
-          -> m ()
-assign address = modifyStore . storeInsert address
-
 
 -- Instances
 

src/Control/Abstract/Evaluator.hs

@@ -1,9 +1,12 @@
 {-# LANGUAGE ConstrainedClassMethods, FunctionalDependencies #-}
 module Control.Abstract.Evaluator where
 
+import Data.Abstract.Address
 import Data.Abstract.Configuration
 import Data.Abstract.ModuleTable
+import Data.Abstract.Store
 import Data.Abstract.Value
+import Data.Semigroup.Reducer
 import Prelude hiding (fail)
 import Prologue
 
@@ -49,6 +52,16 @@ class Monad m => MonadStore value m | m -> value where
 modifyStore :: MonadStore value m => (StoreFor value -> StoreFor value) -> m ()
 modifyStore f = getStore >>= putStore . f
 
+-- | Write a value to the given 'Address' in the 'Store'.
+assign :: ( Ord (LocationFor value)
+          , MonadStore value m
+          , Reducer value (CellFor value)
+          )
+          => Address (LocationFor value) value
+          -> value
+          -> m ()
+assign address = modifyStore . storeInsert address
+
 
 class Monad m => MonadModuleTable term value m | m -> term, m -> value where
   -- | Retrieve the table of evaluated modules.