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

Define a helper to lift an evaluator into an underlying type.

Browse Source
This commit is contained in:
Rob Rix 2018-03-08 11:04:31 -05:00
parent ca6b18e743
commit f1b4770ff1
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,6 +2,7 @@
module Control.Abstract.Analysis
( MonadAnalysis(..)
, delegateAnalyzeTerm
, liftEvaluate
, module X
, Subterm(..)
, SubtermAlgebra
@ -45,3 +46,13 @@ delegateAnalyzeTerm term = pack1 (analyzeTerm (second unpack1 <$> term))
where pack1 = coerce
unpack1 :: Coercible (t m (ValueFor m)) (m (ValueFor m)) => t m (ValueFor m) -> m (ValueFor m)
unpack1 = coerce
liftEvaluate :: ( term ~ TermFor m
, term ~ TermFor (t m)
, value ~ ValueFor m
, value ~ ValueFor (t m)
, Coercible (m value) (t m value)
)
=> (term -> m value)
-> (term -> t m value)
liftEvaluate evaluate = coerce . evaluate