Safe Haskell | Safe |
---|---|
Language | Haskell98 |
A simple exception monad.
Documentation
Checker monad maintains some state and manages errors during type checking.
runCheck :: s -> CheckM s err a -> (s, Either err a) Source #
Run a checker computation, returning the result and new state.