id | title |
---|---|
ReaderTaskEither |
Module ReaderTaskEither |
Signature (data type) Source
export class ReaderTaskEither<E, L, A> {
constructor(readonly value: (e: E) => TaskEither<L, A>) {}
...
}
Signature (method) Source
alt(fy: ReaderTaskEither<E, L, A>): ReaderTaskEither<E, L, A> { ... }
Added in v1.6.0
Signature (method) Source
ap<B>(fab: ReaderTaskEither<E, L, (a: A) => B>): ReaderTaskEither<E, L, B> { ... }
Added in v1.6.0
Flipped version of ap
Signature (method) Source
ap_<B, C>(this: ReaderTaskEither<E, L, (b: B) => C>, fb: ReaderTaskEither<E, L, B>): ReaderTaskEither<E, L, C> { ... }
Added in v1.6.0
Combine two effectful actions, keeping only the result of the first
Signature (method) Source
applyFirst<B>(fb: ReaderTaskEither<E, L, B>): ReaderTaskEither<E, L, A> { ... }
Added in v1.6.0
Combine two effectful actions, keeping only the result of the second
Signature (method) Source
applySecond<B>(fb: ReaderTaskEither<E, L, B>): ReaderTaskEither<E, L, B> { ... }
Added in v1.6.0
Signature (method) Source
bimap<V, B>(f: (l: L) => V, g: (a: A) => B): ReaderTaskEither<E, V, B> { ... }
Added in v1.6.0
Signature (method) Source
chain<B>(f: (a: A) => ReaderTaskEither<E, L, B>): ReaderTaskEither<E, L, B> { ... }
Added in v1.6.0
Signature (method) Source
fold<R>(left: (l: L) => R, right: (a: A) => R): Reader<E, Task<R>> { ... }
Added in v1.6.0
Signature (method) Source
local<E2 = E>(f: (e: E2) => E): ReaderTaskEither<E2, L, A> { ... }
Added in v1.6.1
Signature (method) Source
map<B>(f: (a: A) => B): ReaderTaskEither<E, L, B> { ... }
Added in v1.6.0
Signature (method) Source
mapLeft<M>(f: (l: L) => M): ReaderTaskEither<E, M, A> { ... }
Added in v1.6.0
Transforms the failure value of the ReaderTaskEither
into a new ReaderTaskEither
Signature (method) Source
orElse<M>(f: (l: L) => ReaderTaskEither<E, M, A>): ReaderTaskEither<E, M, A> { ... }
Added in v1.6.0
Runs the inner TaskEither
Signature (method) Source
run(e: E): Promise<Either<L, A>> { ... }
Added in v1.6.0
Added in v1.6.0
Signature (constant) Source
export const readerTaskEither: Monad3<URI> & Bifunctor3<URI> & Alt3<URI> & MonadIO3<URI> & MonadTask3<URI> = ...
Added in v1.6.0
Like readerTaskEither but ap
is sequential
Signature (constant) Source
export const readerTaskEitherSeq: typeof readerTaskEither = ...
Added in v1.10.0
Signature (function) Source
export const ask = <E, L>(): ReaderTaskEither<E, L, E> => { ... }
Added in v1.6.0
Signature (function) Source
export const asks = <E, L, A>(f: (e: E) => A): ReaderTaskEither<E, L, A> => { ... }
Added in v1.6.0
Signature (function) Source
export const fromEither = <E, L, A>(fa: Either<L, A>): ReaderTaskEither<E, L, A> => { ... }
Added in v1.6.0
Signature (function) Source
export const fromIO = <E, L, A>(fa: IO<A>): ReaderTaskEither<E, L, A> => { ... }
Added in v1.6.0
Signature (function) Source
export const fromIOEither = <E, L, A>(fa: IOEither<L, A>): ReaderTaskEither<E, L, A> => { ... }
Added in v1.6.0
Signature (function) Source
export const fromLeft = <E, L, A>(l: L): ReaderTaskEither<E, L, A> => { ... }
Added in v1.6.0
Signature (function) Source
export function fromPredicate<E, L, A>(
predicate: Predicate<A>,
onFalse: (a: A) => L
): ((a: A) => ReaderTaskEither<E, L, A>) { ... }
Added in v1.6.0
Signature (function) Source
export const fromReader = <E, L, A>(fa: Reader<E, A>): ReaderTaskEither<E, L, A> => { ... }
Added in v1.6.0
Signature (function) Source
export const fromTaskEither = <E, L, A>(fa: TaskEither<L, A>): ReaderTaskEither<E, L, A> => { ... }
Added in v1.6.0
Signature (function) Source
export const left = <E, L, A>(fa: Task<L>): ReaderTaskEither<E, L, A> => { ... }
Added in v1.6.0
Signature (function) Source
export const local = <E, E2 = E>(f: (e: E2) => E) => <L, A>(
fa: ReaderTaskEither<E, L, A>
): ReaderTaskEither<E2, L, A> => { ... }
Added in v1.6.0
Signature (function) Source
export const right = <E, L, A>(fa: Task<A>): ReaderTaskEither<E, L, A> => { ... }
Added in v1.6.0
Signature (function) Source
export const tryCatch = <E, L, A>(
f: (e: E) => Promise<A>,
onrejected: (reason: unknown, e: E) => L
): ReaderTaskEither<E, L, A> => { ... }
Added in v1.6.0