Control.Monad.RT.Unsafe

Documentation

newtype RT a

Constructors

RT (State# RealWorld -> (# State# RealWorld, 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

unsafeIOToRT :: IO a -> RT a