Documentation

data Error e m Source #

throw :: e -> a :+ '[Error e] Source #

catch :: HasEff (Error e) f m => EffT f m a -> (e -> EffT f m a) -> EffT f m a Source #

type UncheckedError = Error SomeException Source #

mtlError :: MonadError e m => Error e m Source #

exceptionError :: (Exception e, MonadThrow m, MonadCatch m) => Error e m Source #

throwAny :: Exception e => e -> a :+ '[UncheckedError] Source #

try :: HasEff (Error e) f m => EffT f m a -> EffT f m (Either e a) Source #