Success.Impure

The types and functions are trivial and self-descriptive, hence this sentence is the sole documentation you get on them.

Documentation

newtype Success a m b

Constructors

Success (m (Success a b))

Instances

(Applicative m, MonadBase n m) => MonadBase n (Success a m)

(Applicative m, MonadBaseControl n m) => MonadBaseControl n (Success a m)

MonadTrans (Success a)

MonadTransControl (Success a)

(Applicative m, Monad m) => MonadError (Maybe a) (Success a m)

(Applicative m, Monad m) => Monad (Success e m)

Functor m => Functor (Success a m)

Applicative m => Applicative (Success e m)

Foldable m => Foldable (Success a m)

Traversable m => Traversable (Success a m)

Applicative m => Alternative (Success e m)

(Applicative m, Monad m) => MonadPlus (Success e m)

(Applicative m, MonadIO m) => MonadIO (Success a m)

type StT (Success a) b = Success a b

type StM (Success a m) b = ComposeSt (Success a) m b

run :: Success e m a -> m (Success e a)

nothing :: Applicative m => Success e m a

failure :: Applicative m => e -> Success e m a

success :: Applicative m => a -> Success e m a