Control.Monad.IO.Class

Авторские права	(c) Andy Gill 2001 (c) Oregon Graduate Institute of Science and Technology 2001
Лицензия	BSD-стиль (см. файл LICENSE)
Поддержка	R.Paterson@city.ac.uk
Стабильность	экспериментальная
Переносимость	переносимая
Safe Haskell	Безопасный
Язык	Haskell2010

Описание

Класс монад, основанный на IO.

class Monad m => MonadIO m where Исходный код

Монады, в которых могут быть встроены вычисления IO. Любая монада, созданная путём применения последовательности трансформаторов монады к IO монаде, будет экземпляром этого класса.

Экземпляры должны удовлетворять следующим законам, которые утверждают, что liftIO является трансформатором монад:

```
liftIO . return = return
```

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

Методы

liftIO :: IO a -> m a Исходный код

Поднимает вычисление из монады IO.

Экземпляры

Детали экземпляров

MonadIO IO	С момента: base-4.9.0.0
Детали экземпляра Определено в Control.Monad.IO.Class Методы liftIO :: IO a -> IO a Исходный код

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.10.2/docs/html/libraries/base-4.14.1.0/Control-Monad-IO-Class.html