← Back

Source

readerTaskEither

Monad3<URI> & Bifunctor3<URI> & Alt3<URI> & MonadIO3<URI> & MonadTask3<URI>

Added in v1.6.0 (instance)

readerTaskEitherSeq

typeof readerTaskEither

Added in v1.10.0 (instance)

Like readerTaskEither but ap is sequential

ReaderTaskEither

constructor(readonly value: (e: E) => TaskEither<L, A>) {}

Added in v1.6.0 (data)

alt

(fy: ReaderTaskEither<E, L, A>): ReaderTaskEither<E, L, A>

Added in v1.6.0 (method)

ap

<B>(fab: ReaderTaskEither<E, L, (a: A) => B>): ReaderTaskEither<E, L, B>

Added in v1.6.0 (method)

ap_

<B, C>(this: ReaderTaskEither<E, L, (b: B) => C>, fb: ReaderTaskEither<E, L, B>): ReaderTaskEither<E, L, C>

Added in v1.6.0 (method)

Flipped version of ap

applyFirst

<B>(fb: ReaderTaskEither<E, L, B>): ReaderTaskEither<E, L, A>

Added in v1.6.0 (method)

Combine two effectful actions, keeping only the result of the first

applySecond

<B>(fb: ReaderTaskEither<E, L, B>): ReaderTaskEither<E, L, B>

Added in v1.6.0 (method)

Combine two effectful actions, keeping only the result of the second

bimap

<V, B>(f: (l: L) => V, g: (a: A) => B): ReaderTaskEither<E, V, B>

Added in v1.6.0 (method)

chain

<B>(f: (a: A) => ReaderTaskEither<E, L, B>): ReaderTaskEither<E, L, B>

Added in v1.6.0 (method)

fold

<R>(left: (l: L) => R, right: (a: A) => R): Reader<E, Task<R>>

Added in v1.6.0 (method)

local

<E2 = E>(f: (e: E2) => E): ReaderTaskEither<E2, L, A>

Added in v1.6.1 (method)

map

<B>(f: (a: A) => B): ReaderTaskEither<E, L, B>

Added in v1.6.0 (method)

mapLeft

<M>(f: (l: L) => M): ReaderTaskEither<E, M, A>

Added in v1.6.0 (method)

orElse

<M>(f: (l: L) => ReaderTaskEither<E, M, A>): ReaderTaskEither<E, M, A>

Added in v1.6.0 (method)

Transforms the failure value of the ReaderTaskEither into a new ReaderTaskEither

run

(e: E): Promise<Either<L, A>>

Added in v1.6.0 (method)

Runs the inner TaskEither

ask

<E, L>(): ReaderTaskEither<E, L, E>

Added in v1.6.0 (function)

asks

<E, L, A>(f: (e: E) => A): ReaderTaskEither<E, L, A>

Added in v1.6.0 (function)

fromEither

<E, L, A>(fa: Either<L, A>): ReaderTaskEither<E, L, A>

Added in v1.6.0 (function)

fromIO

<E, L, A>(fa: IO<A>): ReaderTaskEither<E, L, A>

Added in v1.6.0 (function)

fromIOEither

<E, L, A>(fa: IOEither<L, A>): ReaderTaskEither<E, L, A>

Added in v1.6.0 (function)

fromLeft

<E, L, A>(l: L): ReaderTaskEither<E, L, A>

Added in v1.6.0 (function)

fromPredicate

<E, L, A>(
  predicate: Predicate<A>,
  whenFalse: (a: A) => L
): ((a: A) => ReaderTaskEither<E, L, A>)

Added in v1.6.0 (function)

fromReader

<E, L, A>(fa: Reader<E, A>): ReaderTaskEither<E, L, A>

Added in v1.6.0 (function)

fromTaskEither

<E, L, A>(fa: TaskEither<L, A>): ReaderTaskEither<E, L, A>

Added in v1.6.0 (function)

left

<E, L, A>(fa: Task<L>): ReaderTaskEither<E, L, A>

Added in v1.6.0 (function)

local

<E, E2 = E>(f: (e: E2) => E) => <L, A>(
  fa: ReaderTaskEither<E, L, A>
): ReaderTaskEither<E2, L, A>

Added in v1.6.0 (function)

<E, L, A>(fa: Task<A>): ReaderTaskEither<E, L, A>

Added in v1.6.0 (function)

tryCatch

<E, L, A>(
  f: (e: E) => Promise<A>,
  onrejected: (reason: {}) => L
): ReaderTaskEither<E, L, A>

Added in v1.6.0 (function)