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

Derive a LiftEffect instance for the tracing analysis.

Browse Source
This commit is contained in:
Rob Rix 2018-03-07 11:17:38 -05:00
parent b05d9ac5d3
commit 0d296bd6b1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -42,7 +42,7 @@ evaluateTrace = run @(TracingEffects trace term value) . runEvaluator . runTraci
newtype TracingAnalysis (trace :: * -> *) term value effects a
= TracingAnalysis { runTracingAnalysis :: Evaluator term value effects a }
deriving (Applicative, Functor, Monad)
deriving (Applicative, Functor, LiftEffect, Monad)
deriving instance Member Fail effects => MonadFail (TracingAnalysis trace term value effects)
deriving instance Members (EvaluatorEffects term value) effects => MonadEvaluator term value (TracingAnalysis trace term value effects)