lio-eci11-0.2: Labeled IO library

LIO.MonadLIO

Description

This module provides a function liftLIO for executing LIO computations from transformed versions of the LIO monad. There is also a method liftIO, which is a synonym for liftLIO, to help with porting code that expects to run in the IO monad.

Documentation

class (Monad m, Label l) => MonadLIO m l s | m -> l s whereSource

Methods

liftLIO :: LIO l s a -> m aSource

liftIO :: LIO l s a -> m aSource

Instances

(MonadLIO m l s, MonadTrans t, Monad (t m)) => MonadLIO (t m) l s 
Label l => MonadLIO (LIO l s) l s