Control.Monad.Trans.IO

IO transformer capable of adding IO capabilities to any monad.

The resulting computations are lazy in the sense of being lazy IO.

Documentation

data IORet# a

Datatype used to fit unlifted tuples in lifted containers.

Constructors

IORet#

Fields

• getIORet# :: (#State# RealWorld, a#)

Instances

Functor IORet#

Methods

fmap :: (a -> b) -> IORet# a -> IORet# b

(<$) :: a -> IORet# b -> IORet# a

The IOT monad transformer

data IOT m a

An IO Transformer parameterized by m - the inner monad.

Constructors

IOT#

Fields

• getIOT# :: State# RealWorld -> m (IORet# a)

Instances

MonadTrans IOT

Methods

lift :: Monad m => m a -> IOT m a

MonadError e m => MonadError e (IOT m)

Methods

throwError :: e -> IOT m a

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

MonadReader r m => MonadReader r (IOT m)

Methods

ask :: IOT m r

local :: (r -> r) -> IOT m a -> IOT m a

reader :: (r -> a) -> IOT m a

MonadState s m => MonadState s (IOT m)

Methods

get :: IOT m s

put :: s -> IOT m ()

state :: (s -> (a, s)) -> IOT m a

MonadWriter w m => MonadWriter w (IOT m)

Methods

writer :: (a, w) -> IOT m a

tell :: w -> IOT m ()

listen :: IOT m a -> IOT m (a, w)

pass :: IOT m (a, w -> w) -> IOT m a

Monad m => Monad (IOT m)

Methods

(>>=) :: IOT m a -> (a -> IOT m b) -> IOT m b

(>>) :: IOT m a -> IOT m b -> IOT m b

return :: a -> IOT m a

fail :: String -> IOT m a

Functor m => Functor (IOT m)

Methods

fmap :: (a -> b) -> IOT m a -> IOT m b

(<$) :: a -> IOT m b -> IOT m a

(Functor m, Monad m) => Applicative (IOT m)

Methods

pure :: a -> IOT m a

(<*>) :: IOT m (a -> b) -> IOT m a -> IOT m b

(*>) :: IOT m a -> IOT m b -> IOT m b

(<*) :: IOT m a -> IOT m b -> IOT m a

Monad m => MonadIO (IOT m)

Methods

liftIO :: IO a -> IOT m a

(Functor m, MonadPlus m) => Alternative (IOT m)

Methods

empty :: IOT m a

(<|>) :: IOT m a -> IOT m a -> IOT m a

some :: IOT m a -> IOT m [a]

many :: IOT m a -> IOT m [a]

MonadPlus m => MonadPlus (IOT m)

Methods

mzero :: IOT m a

mplus :: IOT m a -> IOT m a -> IOT m a

MonadCont m => MonadCont (IOT m)

Methods

callCC :: ((a -> IOT m b) -> IOT m a) -> IOT m a

runIOT :: Functor m => IOT m a -> IO (m a)

hoistIOT :: (m (IORet# a) -> n (IORet# b)) -> IOT m a -> IOT n b

fromIO :: Functor m => IO (m a) -> IOT m a

sequenceIO :: Functor m => m (IO a) -> IOT m a