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

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)

MonadIO m => MonadIO (DangerousT m)

Monad m => Errorable (DangerousT m)

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

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

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

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

stop_ :: (Errorable m, Show s) => 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 -> IO a