Network.Monad.Transfer

With this monad we abstract from the IO monad, which also allows us to process data lazily or offline.

Documentation

type SyncExceptional m = ExceptionalT ConnError m

type AsyncExceptional m = ExceptionalT ConnError m

data T m body

Constructors

Cons

Fields

• readLine :: AsyncExceptional m body
• readBlock :: Int -> AsyncExceptional m body
• writeBlock :: body -> SyncExceptional m ()

liftSync :: Monad m => m (Result a) -> SyncExceptional m a

liftAsync :: (Monad m, Monoid a) => m (Result a) -> AsyncExceptional m a

liftIOSync :: MonadIO io => IO (Result a) -> SyncExceptional io a

liftIOAsync :: (MonadIO io, Monoid a) => IO (Result a) -> AsyncExceptional io a