Overview
Lift a computation from the Task
monad
Table of contents
- MonadTask (interface)
- MonadTask1 (interface)
- MonadTask2 (interface)
- MonadTask2C (interface)
- MonadTask3 (interface)
- MonadTask3C (interface)
MonadTask (interface)
Signature
export interface MonadTask<M> extends MonadIO<M> {
readonly fromTask: <A>(fa: Task<A>) => HKT<M, A>
}
Added in v2.0.0
MonadTask1 (interface)
Signature
export interface MonadTask1<M extends URIS> extends MonadIO1<M> {
readonly fromTask: <A>(fa: Task<A>) => Kind<M, A>
}
Added in v2.0.0
MonadTask2 (interface)
Signature
export interface MonadTask2<M extends URIS2> extends MonadIO2<M> {
readonly fromTask: <E, A>(fa: Task<A>) => Kind2<M, E, A>
}
Added in v2.0.0
MonadTask2C (interface)
Signature
export interface MonadTask2C<M extends URIS2, E> extends MonadIO2C<M, E> {
readonly fromTask: <A>(fa: Task<A>) => Kind2<M, E, A>
}
Added in v2.0.0
MonadTask3 (interface)
Signature
export interface MonadTask3<M extends URIS3> extends MonadIO3<M> {
readonly fromTask: <R, E, A>(fa: Task<A>) => Kind3<M, R, E, A>
}
Added in v2.0.0
MonadTask3C (interface)
Signature
export interface MonadTask3C<M extends URIS3, E> extends MonadIO3C<M, E> {
readonly fromTask: <R, A>(fa: Task<A>) => Kind3<M, R, E, A>
}
Added in v2.2.0