base-4.10.0.0: Basic libraries

Copyright (c) Andy Gill 2001(c) Oregon Graduate Institute of Science and Technology 2001 BSD-style (see the file LICENSE) R.Paterson@city.ac.uk experimental portable Safe Haskell2010

Description

Class of monads based on IO.

Synopsis

# Documentation

Monads in which IO computations may be embedded. Any monad built by applying a sequence of monad transformers to the IO monad will be an instance of this class.

Instances should satisfy the following laws, which state that liftIO is a transformer of monads:

• liftIO . return = return
• liftIO (m >>= f) = liftIO m >>= (liftIO . f)

Minimal complete definition

liftIO

Methods

liftIO :: IO a -> m a Source #

Lift a computation from the IO monad.

Instances

 Source # Since: 4.9.0.0 MethodsliftIO :: IO a -> IO a Source #