58c4d8bfc0
@Kha I tried to remove `MonadExceptOf` by adding `HasThrow` and `HasCatch`, but this change impacts our ability to define polymorphic methods such as `finally` which is parametrized by `[MonadExcept]`. If we remove the `outParam` from `[MonadExcept]`, then we will need to know the exception at `finally`, or add two instances `[HasCatch]` and `[HasThrow]`. So, it seems it is more convenient to have `[MonadExceptOf]` and `[MonadExcept]`. Thus, I applied this approach to `[MonadState]` |
||
|---|---|---|
| .. | ||
| bench | ||
| compiler | ||
| elabissues | ||
| ir | ||
| lean | ||
| playground | ||
| plugin | ||
| .gitignore | ||
| common.sh | ||