Airship.RST

Documentation

newtype RST r s e m a

Constructors

RST

Fields

• runRST :: r -> s -> m (Either e a, s)

Instances

MonadBase b m => MonadBase b (RST r s e m)

Methods

liftBase :: b α -> RST r s e m α

MonadBaseControl b m => MonadBaseControl b (RST r s e m)

Associated Types

type StM (RST r s e m :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (RST r s e m) b -> b a) -> RST r s e m a

restoreM :: StM (RST r s e m) a -> RST r s e m a

Monad m => MonadReader r (RST r s e m)

Methods

ask :: RST r s e m r

local :: (r -> r) -> RST r s e m a -> RST r s e m a

reader :: (r -> a) -> RST r s e m a

Monad m => MonadState s (RST r s e m)

Methods

get :: RST r s e m s

put :: s -> RST r s e m ()

state :: (s -> (a, s)) -> RST r s e m a

MonadTrans (RST r s e)

Methods

lift :: Monad m => m a -> RST r s e m a

MonadTransControl (RST r s e)

Associated Types

type StT (RST r s e :: (* -> *) -> * -> *) a :: *

Methods

liftWith :: Monad m => (Run (RST r s e) -> m a) -> RST r s e m a

restoreT :: Monad m => m (StT (RST r s e) a) -> RST r s e m a

Monad m => Monad (RST r s e m)

Methods

(>>=) :: RST r s e m a -> (a -> RST r s e m b) -> RST r s e m b

(>>) :: RST r s e m a -> RST r s e m b -> RST r s e m b

return :: a -> RST r s e m a

fail :: String -> RST r s e m a

Functor m => Functor (RST r s e m)

Methods

fmap :: (a -> b) -> RST r s e m a -> RST r s e m b

(<$) :: a -> RST r s e m b -> RST r s e m a

Monad m => Applicative (RST r s e m)

Methods

pure :: a -> RST r s e m a

(<*>) :: RST r s e m (a -> b) -> RST r s e m a -> RST r s e m b

(*>) :: RST r s e m a -> RST r s e m b -> RST r s e m b

(<*) :: RST r s e m a -> RST r s e m b -> RST r s e m a

MonadPlus m => MonadPlus (RST r s e m)

Methods

mzero :: RST r s e m a

mplus :: RST r s e m a -> RST r s e m a -> RST r s e m a

MonadIO m => MonadIO (RST r s e m)

Methods

liftIO :: IO a -> RST r s e m a

MonadPlus m => Alternative (RST r s e m)

Methods

empty :: RST r s e m a

(<|>) :: RST r s e m a -> RST r s e m a -> RST r s e m a

some :: RST r s e m a -> RST r s e m [a]

many :: RST r s e m a -> RST r s e m [a]

type StT (RST r s e) a

type StT (RST r s e) a = (Either e a, s)

type StM (RST r s e m) a

type StM (RST r s e m) a = ComposeSt (RST r s e) m a

evalRST :: Monad m => RST r s e m a -> r -> s -> m (Either e a)

execRST :: Monad m => RST r s e m a -> r -> s -> m s

mapRST :: (m (Either e a, s) -> n (Either e b, s)) -> RST r s e m a -> RST r s e n b

withRST :: Monad m => (r' -> r) -> RST r s e m a -> RST r' s e m a

failure :: Monad m => e -> RST r s e m a