Control.Monad.EitherK

A continuation-based error monad.

Documentation

data EitherKT e m a

Instances

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

Methods

get :: EitherKT e m s

put :: s -> EitherKT e m ()

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

MonadError e (EitherKT e m)

Methods

throwError :: e -> EitherKT e m a

catchError :: EitherKT e m a -> (e -> EitherKT e m a) -> EitherKT e m a

Monad (EitherKT e m)

Methods

(>>=) :: EitherKT e m a -> (a -> EitherKT e m b) -> EitherKT e m b

(>>) :: EitherKT e m a -> EitherKT e m b -> EitherKT e m b

return :: a -> EitherKT e m a

fail :: String -> EitherKT e m a

Functor (EitherKT e m)

Methods

fmap :: (a -> b) -> EitherKT e m a -> EitherKT e m b

(<$) :: a -> EitherKT e m b -> EitherKT e m a

Applicative (EitherKT e m)

Methods

pure :: a -> EitherKT e m a

(<*>) :: EitherKT e m (a -> b) -> EitherKT e m a -> EitherKT e m b

liftA2 :: (a -> b -> c) -> EitherKT e m a -> EitherKT e m b -> EitherKT e m c

(*>) :: EitherKT e m a -> EitherKT e m b -> EitherKT e m b

(<*) :: EitherKT e m a -> EitherKT e m b -> EitherKT e m a

Alternative (EitherKT String m)

Methods

empty :: EitherKT String m a

(<|>) :: EitherKT String m a -> EitherKT String m a -> EitherKT String m a

some :: EitherKT String m a -> EitherKT String m [a]

many :: EitherKT String m a -> EitherKT String m [a]

runEitherKT :: EitherKT e m a -> forall r. (e -> m r) -> (a -> m r) -> m r