Move ValueRoots into Control.Abstract.Roots.

src/Control/Abstract/Roots.hs

@@ -1,5 +1,6 @@
 module Control.Abstract.Roots
-( Live
+( ValueRoots(..)
+, Live
 , askRoots
 , extraRoots
 ) where
@@ -8,6 +9,13 @@ import Control.Abstract.Evaluator
 import Data.Abstract.Live
 import Prologue
 
+
+-- | Value types, e.g. closures, which can root a set of addresses.
+class ValueRoots address value where
+  -- | Compute the set of addresses rooted by a given value.
+  valueRoots :: value -> Live address
+
+
 -- | Retrieve the local 'Live' set.
 askRoots :: Member (Reader (Live address)) effects => Evaluator address value effects (Live address)
 askRoots = ask

src/Control/Abstract/Value.hs

@@ -12,14 +12,12 @@ module Control.Abstract.Value
 , evaluateInScopedEnv
 , value
 , subtermValue
-, ValueRoots(..)
 ) where
 
 import Control.Abstract.Environment
 import Control.Abstract.Evaluator
 import Control.Abstract.Heap
 import Data.Abstract.Environment as Env
-import Data.Abstract.Live (Live)
 import Data.Abstract.Name
 import Data.Abstract.Number as Number
 import Data.Abstract.Ref
@@ -233,9 +231,3 @@ subtermValue :: ( AbstractValue address value effects
              => Subterm term (Evaluator address value effects (ValueRef value))
              -> Evaluator address value effects value
 subtermValue = value <=< subtermRef
-
-
--- | Value types, e.g. closures, which can root a set of addresses.
-class ValueRoots address value where
-  -- | Compute the set of addresses rooted by a given value.
-  valueRoots :: value -> Live address