Dangerous-0.3.2: Monads for operations that can exit early and produce warnings

Control.Dangerous

Documentation

data Exit Source

Constructors

Stop String
Failure String
Exit Int String

Instances

data Warning Source

Constructors

Instances

data Dangerous a Source

Constructors

Dangerous
Fields runDangerous :: (Either Exit a, [Warning])

Instances

Monad Dangerous
Functor Dangerous
Applicative Dangerous
Errorable Dangerous

data DangerousT m a Source

Constructors

DangerousT
Fields runDangerousT :: m (Either Exit a, [Warning])

Instances

MonadTrans DangerousT
Monad m => Monad (DangerousT m)
Functor m => Functor (DangerousT m)
(Applicative f, Monad f) => Applicative (DangerousT f)
MonadIO m => MonadIO (DangerousT m)
Monad m => Errorable (DangerousT m)

class Monad m => Errorable m whereSource

Methods

log :: Warning -> m ()Source

warn :: Show w => w -> m ()Source

exit :: Exit -> m aSource

exit_ :: Exit -> 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

stop :: Show s => s -> m aSource

stop_ :: Show s => s -> m ()Source

Instances

Errorable Dangerous
Errorable m => Errorable (MaybeT m)
Monad m => Errorable (DangerousT m)
Errorable m => Errorable (ContT s m)
Errorable m => Errorable (ReaderT s m)
Errorable m => Errorable (StateT s m)
(Monoid s, Errorable m) => Errorable (WriterT s m)

succeeded :: (Either Exit a, [Warning]) -> Bool Source

failed :: (Either Exit a, [Warning]) -> Bool Source

stopped :: (Either Exit a, [Warning]) -> Bool Source

exited :: (Either Exit a, [Warning]) -> Bool Source

warnings :: (Either Exit a, [Warning]) -> [Warning]Source

result :: (Either Exit a, [Warning]) -> Either Exit aSource

execute :: (Either Exit a, [Warning]) -> IO aSource

extract :: Either Exit a -> IO aSource

dangerously :: Dangerous a -> IO aSource

dangerize :: (Errorable m, Show s) => Either s a -> m aSource