| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Monad.Rescue.Constraint
Synopsis
- type Handles err n m = (ElemRemove err (Errors n), Contains (Remove err (Errors n)) (Errors m))
- type MonadRescue m = MonadRescueFrom m m
Documentation
type Handles err n m = (ElemRemove err (Errors n), Contains (Remove err (Errors n)) (Errors m)) Source #
Express the ability to handle / eliminate an exception case
type MonadRescue m = MonadRescueFrom m m Source #
Rescue from the existing context only
Note: cannot handle (elimininate) exceptions