Control.Monad.Trans.Crtn.IOActor

special actor for IO action

Documentation

data IOOp e i o where

first is

Constructors

DoIOAction :: IOOp e ((e -> IO ()) -> IO ()) (Either String ())

type IOActor e m r = SObjT (IOOp e) m r

doIOAction :: Monad m => ((e -> IO ()) -> IO ()) -> CObjT (IOOp e) m (Either String ())

ioactorgen :: MonadIO m => (e -> IO ()) -> SObjT (IOOp e) m ()