github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 00:33:59 +03:00
Code Issues Projects Releases Wiki Activity

Imagine there’s no MonadAnalysis.

Browse Source 
It’s easy if you try.
This commit is contained in:
Rob Rix 2018-05-04 18:37:37 -04:00
parent bc7b639b11
commit 93895186cf
2 changed files with 0 additions and 35 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
semantic.cabal
View File

@ -40,7 +40,6 @@ library
, Assigning.Assignment.Table
-- Control structures & interfaces for abstract interpretation
, Control.Abstract.Addressable
, Control.Abstract.Analysis
, Control.Abstract.Evaluator
, Control.Abstract.Matching
, Control.Abstract.Value

34
src/Control/Abstract/Analysis.hs
View File

@ -1,34 +0,0 @@
{-# LANGUAGE FunctionalDependencies #-}
module Control.Abstract.Analysis
( AnalyzeTerm(..)
, AnalyzeModule(..)
, module X
) where
import Control.Abstract.Addressable as X
import Control.Abstract.Evaluator as X
import Control.Abstract.Value as X
import Control.Effect as X
import Control.Monad.Effect.Fail as X
import Control.Monad.Effect.Fresh as X
import Control.Monad.Effect.Internal as X (Eff, relay)
import Control.Monad.Effect.NonDet as X
import Control.Monad.Effect.Reader as X
import Control.Monad.Effect.State as X
import Control.Monad.Effect.Resumable as X
import Data.Abstract.Module
import Prologue
-- | A context enabling the analysis of terms, possibly providing effects to underlying analyses.
class (Evaluator location term value m, Monad (m outer)) => AnalyzeTerm location term value inner outer m | m inner -> outer, m outer -> inner where
-- | Analyze a term using the semantics of the current analysis.
analyzeTerm :: Effectful outside
=> (Base term (Subterm term (outside inner value)) -> m inner value)
-> (Base term (Subterm term (outside outer value)) -> m outer value)
-- | A context enabling the analysis of modules, possibly providing effects to underlying analyses.
class (Evaluator location term value m, Monad (m outer)) => AnalyzeModule location term value inner outer m | m inner -> outer, m outer -> inner where
-- | Analyze a module using the semantics of the current analysis. This should generally only be called by 'evaluateModule' and by definitions of 'analyzeModule' in instances for composite analyses.
analyzeModule :: Effectful outside
=> (Module (Subterm term (outside inner value)) -> m inner value)
-> (Module (Subterm term (outside outer value)) -> m outer value)