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

Define an eliminator for SomeAnalysis.

Browse Source
This commit is contained in:
Rob Rix 2018-04-04 16:14:00 -04:00
parent b818e15808
commit f82aa2c687
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -5,6 +5,7 @@ module Control.Abstract.Analysis
, liftAnalyze , liftAnalyze
, runAnalysis , runAnalysis
, SomeAnalysis(..) , SomeAnalysis(..)
, runSomeAnalysis
, module X , module X
, Subterm(..) , Subterm(..)
, SubtermAlgebra , SubtermAlgebra
@ -74,3 +75,6 @@ data SomeAnalysis m result where
) )
=> m effects a => m effects a
-> SomeAnalysis m (Final effects a) -> SomeAnalysis m (Final effects a)
runSomeAnalysis :: SomeAnalysis m result -> result
runSomeAnalysis (SomeAnalysis a) = X.run a