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

MonadAnalysis has functional dependencies.

Browse Source
This commit is contained in:
Rob Rix 2018-03-01 15:06:26 -05:00
parent 3b3e6ef5a0
commit be1eeb6f2c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,6 +1,6 @@
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FunctionalDependencies #-}
module Control.Abstract.Analysis where
class Monad m => MonadAnalysis term value m where
class Monad m => MonadAnalysis term value m | m -> term, m -> value where
evaluateTerm :: term
-> m value