Contents Index

Org.Org.Semantic.HBase.Category.MonadException

Synopsis

class Monad m => MonadThrow ex m where throw :: ex -> m a class MonadThrow ex m => MonadSingleThrow ex m | m -> ex throwSingle :: MonadSingleThrow ex m => ex -> m a class MonadThrow ex m => MonadException ex m where catch :: m a -> (ex -> m a) -> m a class (MonadException ex m, MonadSingleThrow ex m) => MonadSingleException ex m | m -> ex catchSingle :: MonadSingleException ex m => m a -> (ex -> m a) -> m a

Documentation

class Monad m => MonadThrow ex m where

note no fundep Methods throw :: ex -> m a Instances MonadThrow ex m => MonadThrow ex (Contextual m context) MonadThrow ex (ExceptionContinuationPass p ex) Monad m => MonadThrow ex (ExceptionMonad m ex) MonadThrow ex m => MonadThrow ex (OrMonad m) MonadThrow ex m => MonadThrow ex (PlusMonad m) MonadThrow ex (Result ex) (Monad m, MonadThrow ex m, Monad n, ExtractableFunctor n) => MonadThrow ex (StackedMonad m n) MonadThrow ex m => MonadThrow ex (StateMonad m state) MonadThrow IOException IO MonadThrow Exception IO MonadThrow ex m => MonadThrow ex (LiftedListParser m t) MonadThrow ex m => MonadThrow ex (LookaheadListParser m t) MonadThrow ex m => MonadThrow ex (MonadPossible m [t]) MonadThrow ex m => MonadThrow ex (MonadPossible m [t])

class MonadThrow ex m => MonadSingleThrow ex m | m -> ex

same but with fundep Instances MonadSingleThrow ex (ExceptionContinuationPass p ex) Monad m => MonadSingleThrow ex (ExceptionMonad m ex) MonadSingleThrow ex (Result ex) MonadSingleThrow IOException IO

throwSingle :: MonadSingleThrow ex m => ex -> m a

class MonadThrow ex m => MonadException ex m where

note no fundep Methods catch :: m a -> (ex -> m a) -> m a Instances MonadException ex m => MonadException ex (Contextual m context) MonadException ex (ExceptionContinuationPass p ex) Monad m => MonadException ex (ExceptionMonad m ex) MonadException ex (Result ex) (Monad m, MonadException ex m, Monad n, ExtractableFunctor n) => MonadException ex (StackedMonad m n) MonadException ex m => MonadException ex (StateMonad m state) MonadException IOException IO MonadException Exception IO MonadException ex m => MonadException ex (LiftedListParser m t) MonadException ex m => MonadException ex (LookaheadListParser m t)

class (MonadException ex m, MonadSingleThrow ex m) => MonadSingleException ex m | m -> ex

same but with fundep Instances MonadSingleException ex (ExceptionContinuationPass p ex) Monad m => MonadSingleException ex (ExceptionMonad m ex) MonadSingleException ex (Result ex) MonadSingleException IOException IO

catchSingle :: MonadSingleException ex m => m a -> (ex -> m a) -> m a

Produced by Haddock version 0.6