Copyright | (c) 2016 Allele Dev; 2017 Ixperta Solutions s.r.o.; 2017 Alexis King |
---|---|
License | BSD3 |
Maintainer | Alexis King <lexi.lambda@gmail.com> |
Stability | experimental |
Portability | GHC specific language extensions. |
Safe Haskell | None |
Language | Haskell2010 |
Control.Monad.Freer.Error
Description
Composable handler for Error effects. Communicates success/failure via an
Either
type.
Using http://okmij.org/ftp/Haskell/extensible/Eff1.hs as a starting point.
Synopsis
- newtype Error e r where
- throwError :: forall e effs a. Member ( Error e) effs => e -> Eff effs a
- runError :: forall e effs a. Eff ( Error e ': effs) a -> Eff effs ( Either e a)
- catchError :: forall e effs a. Member ( Error e) effs => Eff effs a -> (e -> Eff effs a) -> Eff effs a
- handleError :: forall e effs a. Eff ( Error e ': effs) a -> (e -> Eff effs a) -> Eff effs a
Documentation
throwError :: forall e effs a. Member ( Error e) effs => e -> Eff effs a Source #
Throws an error carrying information of type
e :: *
.