Control.Monad.RT

Documentation

data RT a

Instances

Applicative RT

Defined in Control.Monad.RT.Unsafe

Methods

pure :: a -> RT a

(<*>) :: RT (a -> b) -> RT a -> RT b

liftA2 :: (a -> b -> c) -> RT a -> RT b -> RT c

(*>) :: RT a -> RT b -> RT b

(<*) :: RT a -> RT b -> RT a

Functor RT

Defined in Control.Monad.RT.Unsafe

Methods

fmap :: (a -> b) -> RT a -> RT b

(<$) :: a -> RT b -> RT a

Monad RT

Defined in Control.Monad.RT.Unsafe

Methods

(>>=) :: RT a -> (a -> RT b) -> RT b

(>>) :: RT a -> RT b -> RT b

return :: a -> RT a

runRT :: RT a -> a

rtToIO :: RT a -> IO a