Game.Antisplice.Utils.Fail

Provides a monad for error handling. Okay, I confess it's equal to ErrorT...

Documentation

newtype FailT e m a

The error handling monad.

Constructors

Fail

Fields

runFailT :: m (Either e a)

Instances

(MonadDungeon m0, ChannelPrinter PlayerId m0) => Broadcaster PlayerId (SplErrT m0)

ChannelPrinter Bool m0 => ChannelPrinter Bool (SplErrT m0)

ChannelPrinter Int m0 => ChannelPrinter Int (SplErrT m0)

ChannelPrinter Handle m0 => ChannelPrinter Handle (SplErrT m0)

ChannelPrinter PlayerId m0 => ChannelPrinter PlayerId (SplErrT m0)

Monad m => MonadError e (FailT e m)

HistoryEnv m0 => HistoryEnv (SplErrT m0)

ExpanderEnv m0 => ExpanderEnv (SplErrT m0)

MonadExpand m0 => MonadExpand (SplErrT m0)

ExtendedPrinter m0 => ExtendedPrinter (SplErrT m0)

MonadSpawn m0 => MonadSpawn (SplErrT m0)

MonadPrinter m0 => MonadPrinter (SplErrT m0)

MonadScanner m0 => MonadScanner (SplErrT m0)

MonadFinalizer m0 => MonadFinalizer (SplErrT m0)

MonadClock m0 => MonadClock (SplErrT m0)

MonadRandom m0 => MonadRandom (SplErrT m0)

MonadTrans (FailT e)

MonadIO m0 => MonadIO (SplErrT m0)

MonadCounter m0 => MonadCounter (SplErrT m0)

MonadAtoms m0 => MonadAtoms (SplErrT m0)

MonadVocab m0 => MonadVocab (SplErrT m0)

MonadDungeon m0 => MonadDungeon (SplErrT m0)

MonadPlayer m0 => MonadPlayer (SplErrT m0)

MonadObject m0 => MonadObject (SplErrT m0)

MonadRoom m0 => MonadRoom (SplErrT m0)

Run (FailT e)

Monad m => Monad (FailT e m)

Monad m => Functor (FailT e m)

type Fail e = FailT e Identity