noether-0.0.1: Math in Haskell.
Lemmata.Exceptions
hush :: Alternative m => Either e a -> m a Source #
note :: MonadError e m => e -> Maybe a -> m a Source #
tryIO :: MonadIO m => IO a -> ExceptT IOException m a Source #