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.
liftLIO
LIO
liftIO
IO
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