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

Derive MonadFresh, Alternative, & MonadNonDet instances for Evaluation.

Browse Source
This commit is contained in:
Rob Rix 2018-03-07 21:50:28 -05:00
parent 66ea2f0c3e
commit 45a0559400
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,6 +2,8 @@
module Analysis.Abstract.Evaluating where
import Control.Abstract.Evaluator
import Control.Monad.Effect.Fresh
import Control.Monad.Effect.NonDet
import Data.Abstract.Evaluatable
import Data.Abstract.Linker
import Data.Abstract.Value
@ -50,6 +52,9 @@ newtype Evaluation term value effects a = Evaluation { runEvaluation :: Evaluato
deriving (Applicative, Functor, LiftEffect, Monad)
deriving instance Member Fail effects => MonadFail (Evaluation term value effects)
deriving instance Member Fresh effects => MonadFresh (Evaluation term value effects)
deriving instance Member NonDetEff effects => Alternative (Evaluation term value effects)
deriving instance Member NonDetEff effects => MonadNonDet (Evaluation term value effects)
deriving instance (Member Fail effects, MonadEvaluator (Evaluator term value effects), Ord (LocationFor value)) => MonadEvaluator (Evaluation term value effects)
instance ( Evaluatable (Base term)