Interface AsyncMonad<A>

Async monad - supports asynchronous monadic operations Extends Monad so it has map, ap, and flatMap in addition to flatMapAsync

interface AsyncMonad<A extends Type> {
    ap<B extends unknown>(ff: Applicative<(value: A) => B>): Applicative<B>;
    flatMap<B extends unknown>(f: (value: A) => Monad<B>): Monad<B>;
    flatMapAsync<B extends unknown>(
        f: (value: A) => PromiseLike<AsyncMonad<B>>,
    ): PromiseLike<AsyncMonad<B>>;
    map<B extends unknown>(f: (value: A) => B): Functor<B>;
}

Type Parameters

A extends Type

Hierarchy (View Summary)

Monad<A>
- AsyncMonad
  - FunctypeBase
  - Traversable

Index

Methods

ap flatMap flatMapAsync map

Methods

ap

ap<B extends unknown>(ff: Applicative<(value: A) => B>): Applicative<B>
Type Parameters
- B extends unknown
Parameters
- ff: Applicative<(value: A) => B>
Returns Applicative<B>
Inherited from Monad.ap

flatMap

flatMap<B extends unknown>(f: (value: A) => Monad<B>): Monad<B>
Type Parameters
- B extends unknown
Parameters
- f: (value: A) => Monad<B>
Returns Monad<B>
Inherited from Monad.flatMap

flatMapAsync

flatMapAsync<B extends unknown>(
f: (value: A) => PromiseLike<AsyncMonad<B>>,
): PromiseLike<AsyncMonad<B>>
Type Parameters
- B extends unknown
Parameters
- f: (value: A) => PromiseLike<AsyncMonad<B>>
Returns PromiseLike<AsyncMonad<B>>

map

map<B extends unknown>(f: (value: A) => B): Functor<B>
Type Parameters
- B extends unknown
Parameters
- f: (value: A) => B
Returns Functor<B>
Inherited from Monad.map