result-0.2.6.0: Encode success or at least one error

Safe HaskellNone
LanguageHaskell2010

Control.Monad.Trans.Result

Documentation

data ResultT e m a Source #

Instances

MonadState s m => MonadState s (ResultT e m) Source # 

Methods

get :: ResultT e m s #

put :: s -> ResultT e m () #

state :: (s -> (a, s)) -> ResultT e m a #

MonadTrans (ResultT e) Source # 

Methods

lift :: Monad m => m a -> ResultT e m a #

Monad m => Monad (ResultT e m) Source # 

Methods

(>>=) :: ResultT e m a -> (a -> ResultT e m b) -> ResultT e m b #

(>>) :: ResultT e m a -> ResultT e m b -> ResultT e m b #

return :: a -> ResultT e m a #

fail :: String -> ResultT e m a #

Functor f => Functor (ResultT e f) Source # 

Methods

fmap :: (a -> b) -> ResultT e f a -> ResultT e f b #

(<$) :: a -> ResultT e f b -> ResultT e f a #

Applicative f => Applicative (ResultT e f) Source # 

Methods

pure :: a -> ResultT e f a #

(<*>) :: ResultT e f (a -> b) -> ResultT e f a -> ResultT e f b #

(*>) :: ResultT e f a -> ResultT e f b -> ResultT e f b #

(<*) :: ResultT e f a -> ResultT e f b -> ResultT e f a #

runResultT :: ResultT e m a -> m (Result e a) Source #

hoist :: Applicative f => Result e a -> ResultT e f a Source #

raiseT :: Applicative f => e -> ResultT e f a Source #

raiseAllT :: Applicative f => [e] -> ResultT e f () Source #

accumulateT :: (Traversable t, Applicative f) => t (ResultT e f a) -> ResultT e f (t a) Source #

accumulateT_ :: (Traversable t, Applicative f) => t (ResultT e f a) -> ResultT e f () Source #

fromExceptT :: Functor f => ExceptT e f a -> ResultT e f a Source #