Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
The error used in runFixpoint
and
runFixpointM
when the result of a failed computation
is recursively used and somehow visible. You may use this for your own
Fixpoint
interpreters. The argument should be the name of the interpreter.