Haskus.Utils.Monad

Utils for Monads

Documentation

class MonadIO m => MonadInIO m where

Minimal complete definition

liftWith, liftWith2

Methods

liftWith :: (forall c. (a -> IO c) -> IO c) -> (a -> m b) -> m b

Lift with*-like functions into IO (alloca, etc.)

liftWith2 :: (forall c. (a -> b -> IO c) -> IO c) -> (a -> b -> m e) -> m e

Lift with*-like functions into IO (alloca, etc.)

Instances

MonadInIO IO

Methods

liftWith :: (forall c. (a -> IO c) -> IO c) -> (a -> IO b) -> IO b

liftWith2 :: (forall c. (a -> b -> IO c) -> IO c) -> (a -> b -> IO e) -> IO e

MonadInIO m => MonadInIO (StateT s m)

Methods

liftWith :: (forall c. (a -> IO c) -> IO c) -> (a -> StateT s m b) -> StateT s m b

liftWith2 :: (forall c. (a -> b -> IO c) -> IO c) -> (a -> b -> StateT s m e) -> StateT s m e

module Control.Monad

module Control.Monad.IO.Class

module Control.Monad.Extra

module Control.Monad.Trans.Class