MonadIO overview

Lift a computation from the IO monad

Added in v2.0.0

---

Table of contents

• model
  • MonadIO (interface)
  • MonadIO1 (interface)
  • MonadIO2 (interface)
  • MonadIO2C (interface)
  • MonadIO3 (interface)
  • MonadIO3C (interface)
  • MonadIO4 (interface)

---

model

MonadIO (interface)

Signature

export interface MonadIO<M> extends Monad<M>, FromIO<M> {}

Added in v2.0.0

MonadIO1 (interface)

Signature

export interface MonadIO1<M extends URIS> extends Monad1<M>, FromIO1<M> {}

Added in v2.0.0

MonadIO2 (interface)

Signature

export interface MonadIO2<M extends URIS2> extends Monad2<M>, FromIO2<M> {}

Added in v2.0.0

MonadIO2C (interface)

Signature

export interface MonadIO2C<M extends URIS2, E> extends Monad2C<M, E>, FromIO2C<M, E> {}

Added in v2.0.0

MonadIO3 (interface)

Signature

export interface MonadIO3<M extends URIS3> extends Monad3<M>, FromIO3<M> {}

Added in v2.0.0

MonadIO3C (interface)

Signature

export interface MonadIO3C<M extends URIS3, E> extends Monad3C<M, E>, FromIO3C<M, E> {}

Added in v2.2.0

MonadIO4 (interface)

Signature

export interface MonadIO4<M extends URIS4> extends Monad4<M>, FromIO4<M> {}

Added in v2.4.4