Safe Haskell | None |
---|---|
Language | Haskell2010 |
Success.Impure
Description
The types and functions are trivial and self-descriptive, hence this sentence is the sole documentation you get on them.
Documentation
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, MonadIO m) => MonadIO (Success a m) # | |
Applicative m => Alternative (Success e m) # | |
(Applicative m, Monad m) => MonadPlus (Success e m) # | |
type StT (Success a) b # | |
type StM (Success a m) b # | |
nothing :: Applicative m => Success e m a #
failure :: Applicative m => e -> Success e m a #
success :: Applicative m => a -> Success e m a #