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

Reformat evaluateTerm.

Browse Source
This commit is contained in:
Rob Rix 2018-03-02 12:11:28 -05:00
parent ed4c2a9361
commit ecbfd71a1c
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -5,5 +5,4 @@ module Control.Abstract.Analysis where
--
-- This typeclass is left intentionally unconstrained to avoid circular dependencies between it and other typeclasses.
class Monad m => MonadAnalysis term value m | m -> term, m -> value where
evaluateTerm :: term
-> m value
evaluateTerm :: term -> m value