Documentation
Dangerous | |
|
data DangerousT m a Source
DangerousT | |
|
MonadTrans DangerousT | |
Monad m => Monad (DangerousT m) | |
Functor m => Functor (DangerousT m) | |
MonadIO m => MonadIO (DangerousT m) | |
Monad m => Errorable (DangerousT m) |
class Monad m => Errorable m whereSource
warn :: Show w => w -> m ()Source
die :: Show s => Int -> s -> m aSource
die_ :: Show s => Int -> s -> m ()Source
throw :: Show s => s -> m aSource
throw_ :: Show s => s -> m ()Source
Errorable Dangerous | |
Monad m => Errorable (DangerousT m) |