mirror of
https://github.com/github/semantic.git
synced 2024-12-25 16:02:43 +03:00
Rename Control.Monad.Effect.Addressable to Control.Abstract.Addressable.
This commit is contained in:
parent
b9b90f28fa
commit
ecd81878fc
@ -30,11 +30,11 @@ library
|
|||||||
, Assigning.Assignment
|
, Assigning.Assignment
|
||||||
, Assigning.Assignment.Table
|
, Assigning.Assignment.Table
|
||||||
-- Control structures & interfaces for abstract interpretation
|
-- Control structures & interfaces for abstract interpretation
|
||||||
|
, Control.Abstract.Addressable
|
||||||
, Control.Abstract.Evaluator
|
, Control.Abstract.Evaluator
|
||||||
-- Control flow
|
-- Control flow
|
||||||
, Control.Effect
|
, Control.Effect
|
||||||
-- Effects used in abstract interpretation
|
-- Effects used in abstract interpretation
|
||||||
, Control.Monad.Effect.Addressable
|
|
||||||
-- , Control.Monad.Effect.Cache
|
-- , Control.Monad.Effect.Cache
|
||||||
-- , Control.Monad.Effect.Dead
|
-- , Control.Monad.Effect.Dead
|
||||||
, Control.Monad.Effect.Evaluatable
|
, Control.Monad.Effect.Evaluatable
|
||||||
|
@ -3,7 +3,6 @@ module Analysis.Abstract.Evaluating where
|
|||||||
|
|
||||||
import Prologue
|
import Prologue
|
||||||
import Control.Effect
|
import Control.Effect
|
||||||
import Control.Monad.Effect.Addressable
|
|
||||||
import Control.Monad.Effect.Evaluatable
|
import Control.Monad.Effect.Evaluatable
|
||||||
import Control.Monad.Effect.Fail
|
import Control.Monad.Effect.Fail
|
||||||
import Control.Monad.Effect.Reader
|
import Control.Monad.Effect.Reader
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
{-# LANGUAGE FunctionalDependencies, TypeFamilies, UndecidableInstances #-}
|
{-# LANGUAGE FunctionalDependencies, TypeFamilies, UndecidableInstances #-}
|
||||||
module Control.Monad.Effect.Addressable where
|
module Control.Abstract.Addressable where
|
||||||
|
|
||||||
import Control.Abstract.Evaluator
|
import Control.Abstract.Evaluator
|
||||||
import Control.Applicative
|
import Control.Applicative
|
@ -2,6 +2,7 @@
|
|||||||
{-# LANGUAGE TypeApplications #-}
|
{-# LANGUAGE TypeApplications #-}
|
||||||
module Control.Monad.Effect.Evaluatable
|
module Control.Monad.Effect.Evaluatable
|
||||||
( Evaluatable(..)
|
( Evaluatable(..)
|
||||||
|
, module Addressable
|
||||||
, module Evaluator
|
, module Evaluator
|
||||||
, Recursive(..)
|
, Recursive(..)
|
||||||
, Base
|
, Base
|
||||||
@ -9,9 +10,9 @@ module Control.Monad.Effect.Evaluatable
|
|||||||
, MonadFunctionAbstraction(..)
|
, MonadFunctionAbstraction(..)
|
||||||
) where
|
) where
|
||||||
|
|
||||||
|
import Control.Abstract.Addressable as Addressable
|
||||||
import Control.Abstract.Evaluator as Evaluator
|
import Control.Abstract.Evaluator as Evaluator
|
||||||
import Control.Applicative (Alternative(..))
|
import Control.Applicative (Alternative(..))
|
||||||
import Control.Monad.Effect.Addressable
|
|
||||||
import Control.Monad.Effect.Fail
|
import Control.Monad.Effect.Fail
|
||||||
import Control.Monad.Effect.Fresh
|
import Control.Monad.Effect.Fresh
|
||||||
import Control.Monad.Effect.Internal
|
import Control.Monad.Effect.Internal
|
||||||
|
@ -2,7 +2,6 @@
|
|||||||
module Data.Syntax where
|
module Data.Syntax where
|
||||||
|
|
||||||
import qualified Assigning.Assignment as Assignment
|
import qualified Assigning.Assignment as Assignment
|
||||||
import Control.Monad.Effect.Addressable
|
|
||||||
import Control.Monad.Effect.Evaluatable
|
import Control.Monad.Effect.Evaluatable
|
||||||
import Control.Monad.Fail
|
import Control.Monad.Fail
|
||||||
import Data.Abstract.Environment
|
import Data.Abstract.Environment
|
||||||
|
@ -2,7 +2,6 @@
|
|||||||
module Data.Syntax.Declaration where
|
module Data.Syntax.Declaration where
|
||||||
|
|
||||||
import Prologue
|
import Prologue
|
||||||
import Control.Monad.Effect.Addressable
|
|
||||||
import Control.Monad.Effect.Evaluatable
|
import Control.Monad.Effect.Evaluatable
|
||||||
import Data.Abstract.Environment
|
import Data.Abstract.Environment
|
||||||
import Data.Abstract.FreeVariables
|
import Data.Abstract.FreeVariables
|
||||||
|
@ -1,7 +1,6 @@
|
|||||||
{-# LANGUAGE DeriveAnyClass, MultiParamTypeClasses, ScopedTypeVariables, UndecidableInstances #-}
|
{-# LANGUAGE DeriveAnyClass, MultiParamTypeClasses, ScopedTypeVariables, UndecidableInstances #-}
|
||||||
module Data.Syntax.Statement where
|
module Data.Syntax.Statement where
|
||||||
|
|
||||||
import Control.Monad.Effect.Addressable
|
|
||||||
import Control.Monad.Effect.Evaluatable
|
import Control.Monad.Effect.Evaluatable
|
||||||
import Data.Abstract.Environment
|
import Data.Abstract.Environment
|
||||||
import Data.Abstract.FreeVariables
|
import Data.Abstract.FreeVariables
|
||||||
|
Loading…
Reference in New Issue
Block a user