noether-0.0.1: Math in Haskell.

Safe HaskellTrustworthy
LanguageHaskell2010

Lemmata.Exceptions

Documentation

hush :: Alternative m => Either e a -> m a Source #

note :: MonadError e m => e -> Maybe a -> m a Source #