Contents Index

Org.Org.Semantic.HBase.Category.ExceptionMonad

Synopsis

newtype ExceptionMonad m ex a = MkExceptionMonad { unExceptionMonad :: (m (Result ex a)) } exRun :: Monad m => (ex -> m a) -> ExceptionMonad m ex a -> m a exToFail :: (Show ex, Monad m) => ExceptionMonad m ex a -> m a

Documentation

newtype ExceptionMonad m ex a

lifted Result monad Constructors MkExceptionMonad unExceptionMonad :: (m (Result ex a)) Instances HasReturn m => HasReturn (ExceptionMonad m ex) Functor m => Functor (ExceptionMonad m ex) FunctorApply m => FunctorApply (ExceptionMonad m ex) Monad m => Monad (ExceptionMonad m ex) MonadZero m => MonadZero (ExceptionMonad m ex) MonadOr m => MonadOr (ExceptionMonad m ex) MonadPlus m => MonadPlus (ExceptionMonad m ex) MonadGuard m => MonadGuard (ExceptionMonad m ex) Monad m => Functor2 (ExceptionMonad m) Monad m => Monad2 (ExceptionMonad m) Monad m => MonadThrow ex (ExceptionMonad m ex) Monad m => MonadSingleThrow ex (ExceptionMonad m ex) Monad m => MonadException ex (ExceptionMonad m ex) Monad m => MonadSingleException ex (ExceptionMonad m ex) MonadBottom m => MonadBottom (ExceptionMonad m ex) MonadCont m => MonadCont (ExceptionMonad m ex) HasContinuations p m => HasContinuations p (ExceptionMonad m ex) MonadExit q m => MonadExit q (ExceptionMonad m ex) MonadRun (Result ex p) m => MonadRun (Result ex p) (ExceptionMonad m ex) MonadFix m => MonadFix (ExceptionMonad m ex) Monad m => LiftedMonad m (ExceptionMonad m ex) MonadGettableReference m IORef => MonadGettableReference (ExceptionMonad m ex) IORef MonadSettableReference m IORef => MonadSettableReference (ExceptionMonad m ex) IORef MonadCreatable m IORef => MonadCreatable (ExceptionMonad m ex) IORef MonadStandardReference m IORef => MonadStandardReference (ExceptionMonad m ex) IORef

exRun :: Monad m => (ex -> m a) -> ExceptionMonad m ex a -> m a

exToFail :: (Show ex, Monad m) => ExceptionMonad m ex a -> m a

Produced by Haddock version 0.6