Control.Dangerous

Documentation

data Exit

Constructors

Stop String

Failure String

Exit Int String

Instances

Show Exit

data Warning

Constructors

Warning String

Instances

Show Warning

data Dangerous a

Constructors

Dangerous

Fields

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

Instances

Monad Dangerous

Functor Dangerous

Applicative Dangerous

Errorable Dangerous

data DangerousT m a

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 where

Methods

log :: Warning -> m ()

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

exit :: Exit -> m a

exit_ :: Exit -> m ()

die :: Show s => Int -> s -> m a

die_ :: Show s => Int -> s -> m ()

throw :: Show s => s -> m a

throw_ :: Show s => s -> m ()

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

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

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

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

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

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

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

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

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

extract :: Either Exit a -> IO a

dangerously :: Dangerous a -> IO a

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