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

Clarify the 📝 for eval.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 11:30:52 -05:00
parent 47c970ca33
commit dc4a868ee4
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/Data/Abstract/Eval.hs
View File

@ -18,7 +18,7 @@ import Data.Union
import Prelude hiding (fail) import Prelude hiding (fail)
-- | The 'Eval' class defines the necessary interface for a term to be evaluated. Instances must impement `eval` -- | The 'Eval' class defines the necessary interface for a term to be evaluated. Instances with computational content must implement 'eval' to perform their small-step operational semantics.
class Monad m => Eval term v m constr where class Monad m => Eval term v m constr where
-- | Evaluate a term. -- | Evaluate a term.
eval :: ((v -> m v) -> term -> m v) -> ((v -> m v) -> constr term -> m v) eval :: ((v -> m v) -> term -> m v) -> ((v -> m v) -> constr term -> m v)