Control.Monad.Trans.Result

Documentation

data ResultT e m a

Instances

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

Methods

get :: ResultT e m s

put :: s -> ResultT e m ()

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

MonadTrans (ResultT e)

Methods

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

Monad m => Monad (ResultT e m)

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)

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)

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)

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

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

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

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

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

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