Overview

Lift a computation from the IO monad


Table of contents


MonadIO (interface)

Signature

export interface MonadIO<M> extends Monad<M> {
  readonly fromIO: <A>(fa: IO<A>) => HKT<M, A>
}

Added in v2.0.0

MonadIO1 (interface)

Signature

export interface MonadIO1<M extends URIS> extends Monad1<M> {
  readonly fromIO: <A>(fa: IO<A>) => Kind<M, A>
}

Added in v2.0.0

MonadIO2 (interface)

Signature

export interface MonadIO2<M extends URIS2> extends Monad2<M> {
  readonly fromIO: <E, A>(fa: IO<A>) => Kind2<M, E, A>
}

Added in v2.0.0

MonadIO2C (interface)

Signature

export interface MonadIO2C<M extends URIS2, E> extends Monad2C<M, E> {
  readonly fromIO: <A>(fa: IO<A>) => Kind2<M, E, A>
}

Added in v2.0.0

MonadIO3 (interface)

Signature

export interface MonadIO3<M extends URIS3> extends Monad3<M> {
  readonly fromIO: <R, E, A>(fa: IO<A>) => Kind3<M, R, E, A>
}

Added in v2.0.0

MonadIO3C (interface)

Signature

export interface MonadIO3C<M extends URIS3, E> extends Monad3C<M, E> {
  readonly fromIO: <R, A>(fa: IO<A>) => Kind3<M, R, E, A>
}

Added in v2.2.0