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

MonadAnalysis implies MonadEvaluator.

Browse Source
This commit is contained in:
Rob Rix 2018-03-07 21:19:05 -05:00
parent 8551034a1b
commit 271f3fb786
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Analysis/Abstract/Evaluating.hs
View File

@ -54,6 +54,7 @@ deriving instance (Member Fail effects, MonadEvaluator (Evaluator term value eff
instance ( Evaluatable (Base term)
, FreeVariables term
, Members (EvaluatorEffects term value) effects
, MonadAddressable (LocationFor value) (Evaluation term value effects)
, MonadValue value (Evaluation term value effects)
, Recursive term

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

@ -18,7 +18,7 @@ import Prologue
-- | A 'Monad' in which one can evaluate some specific term type to some specific value type.
--
-- This typeclass is left intentionally unconstrained to avoid circular dependencies between it and other typeclasses.
class Monad m => MonadAnalysis m where
class MonadEvaluator m => MonadAnalysis m where
-- | Analyze a term using the semantics of the current analysis. This should generally only be called by definitions of 'evaluateTerm' and 'analyzeTerm' in this or other instances.
analyzeTerm :: SubtermAlgebra (Base (TermFor m)) (TermFor m) (m (ValueFor m))