| Copyright | (c) 2023 Yamada Ryo |
|---|---|
| License | MPL-2.0 (see the file LICENSE) |
| Maintainer | ymdfield@outlook.jp |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | GHC2021 |
Control.Effect.Handler.Heftia.Except
Description
Interpreter and elaborator for the Except effect class.
Synopsis
- elaborateExceptT :: (ThrowI e <| es, Monad m) => CatchS e (Fre es m) ~> Fre es m
- elaborateExceptK :: (ThrowI e <| es, Monad m) => CatchS e (Fre es m) ~> Fre es m
- interpretThrowT :: Monad m => Fre (ThrowI e ': es) m ~> ExceptT e (Fre es m)
- interpretThrowK :: Monad m => Fre (ThrowI e ': es) m a -> Fre es m (Either e a)