Module Control.monad.trans.MonadIO

Monads in which IO computations may be embedded.

Imports

import frege.Prelude as Prelude
import Prelude.PreludeArrays as PreludeArrays
import Prelude.PreludeBase as PreludeBase
import Prelude.PreludeDecimal as PreludeDecimal
import Prelude.PreludeIO as PreludeIO
import Prelude.PreludeList as PreludeList
import Prelude.PreludeMonad as PreludeMonad
import Prelude.PreludeText as PreludeText
import Java.util.Regex as Regexp

Table of Content

Definitions

class (Functor m, Apply m, Bind m, Applicative m, Monad m) ⇒ MonadIO m
Instances

instance MonadIO IO
Functions and Values by Type

Definitions

class (Functor m, Apply m, Bind m, Applicative m, Monad m) ⇒ MonadIO m

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 MonadIO.liftIO is a transformer of monads:

 liftIO . return = return

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

Known Instances

Member Functions

liftIO ∷ MonadIO m ⇒ IO a → m a: Lift a computation from the IO monad.

Instances

instance MonadIO IO

Member Functions

liftIO ∷ IO 𝖆 → IO 𝖆

Functions and Values by Type

IO 𝖆 → IO 𝖆: MonadIO_IO.liftIO
MonadIO m ⇒ IO a → m a: MonadIO.liftIO