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

Control.Monad.IO.Class

Description

Class of monads based onIO.

Synopsis

classMonad m =>MonadIO mwhere
- liftIO ::IO a -> m a

Documentation

classMonad m =>MonadIO mwhereSource #

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

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

```
liftIO .return =return
```

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

Methods

liftIO ::IO a -> m aSource #

Lift a computation from theIO monad.

Instances

MonadIO IOSource #	Since: 4.9.0.0
Instance details Defined inControl.Monad.IO.Class Methods liftIO ::IO a ->IO aSource #

Movatterモバイル変換

Documentation