- ApplicativePar
- ApplicativeSeq
- ApplyPar
- ApplySeq
- Chain
- ChainRec
- FromIO
- FromReader
- FromTask
- Functor
- Monad
- MonadIO
- MonadTask
- Pointed
- chain
- chainFirst
- chainFirstIOK
- chainFirstReaderIOK
- chainFirstReaderIOKW
- chainFirstReaderK
- chainFirstReaderKW
- chainFirstTaskK
- chainFirstW
- chainIOK
- chainReaderIOK
- chainReaderIOKW
- chainReaderK
- chainReaderKW
- chainTaskK
- chainW
- sequenceArray
- traverseArray
- traverseArrayWithIndex
- traverseReadonlyArrayWithIndex
- traverseReadonlyArrayWithIndexSeq
- traverseReadonlyNonEmptyArrayWithIndex
- traverseReadonlyNonEmptyArrayWithIndexSeq
- traverseSeqArray
- traverseSeqArrayWithIndex
- ApT
- ap
- apFirst
- apSecond
- apW
- do
getMonoid(deprecated)getSemigroup(deprecated)- let
- local
readerTask(deprecated)readerTaskSeq(deprecated)run(deprecated)sequenceSeqArray(deprecated)
Runs computations in parallel.
export declare const ApplicativePar: Applicative2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Runs computations sequentially.
export declare const ApplicativeSeq: Applicative2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Runs computations in parallel.
export declare const ApplyPar: Apply2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Runs computations sequentially.
export declare const ApplySeq: Apply2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const Chain: chainable.Chain2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
ChainRec for ReaderTask
export declare const ChainRec: ChainRec2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2022-present Jacob Alford
export declare const FromIO: FromIO2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const FromReader: FromReader2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const FromTask: FromTask2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const Functor: Functor2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const Monad: Monad2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const MonadIO: MonadIO2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const MonadTask: MonadTask2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const Pointed: Pointed2<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Composes computations in sequence, using the return value of one computation to determine the next computation and keeping only the result of the first.
export declare const tap: {
<R1, A, R2, _>(self: ReaderTask<R1, A>, f: (a: A) => ReaderTask<R2, _>): ReaderTask<R1 & R2, A>
<A, R2, _>(f: (a: A) => ReaderTask<R2, _>): <R1>(self: ReaderTask<R1, A>) => ReaderTask<R2 & R1, A>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Composes computations in sequence, using the return value of one computation to determine the next computation and keeping only the result of the first.
export declare const tapIO: {
<A, _>(f: (a: A) => IO<_>): <R>(self: ReaderTask<R, A>) => ReaderTask<R, A>
<R, A, _>(self: ReaderTask<R, A>, f: (a: A) => IO<_>): ReaderTask<R, A>
}
- Added in 0.1.0
import { pipe } from '@fp-tx/core/function'
import * as RT from '@fp-tx/core/ReaderTask'
import * as Console from '@fp-tx/core/Console'
// Will produce `Hello, fp-ts` to the stdout
const effect = pipe(
RT.ask<string>(),
RT.tapIO(value => Console.log(`Hello, ${value}`)),
)
async function test() {
assert.deepStrictEqual(await effect('fp-ts')(), 'fp-ts')
}
test()
- MIT – Copyright (c) 2017-present Giulio Canti
Composes computations in sequence, using the return value of one computation to determine the next computation and keeping only the result of the first.
export declare const tapReader: {
<R2, A, _>(f: (a: A) => R.Reader<R2, _>): <R1>(self: ReaderTask<R1, A>) => ReaderTask<R1 & R2, A>
<R1, R2, A, _>(self: ReaderTask<R1, A>, f: (a: A) => R.Reader<R2, _>): ReaderTask<R1 & R2, A>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Composes computations in sequence, using the return value of one computation to determine the next computation and keeping only the result of the first.
export declare const tapReaderIO: {
<R2, A, _>(f: (a: A) => ReaderIO<R2, _>): <R1>(self: ReaderTask<R1, A>) => ReaderTask<R1 & R2, A>
<R1, R2, A, _>(self: ReaderTask<R1, A>, f: (a: A) => ReaderIO<R2, _>): ReaderTask<R1 & R2, A>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Composes computations in sequence, using the return value of one computation to determine the next computation and keeping only the result of the first.
export declare const tapTask: {
<A, _>(f: (a: A) => Task<_>): <R>(self: ReaderTask<R, A>) => ReaderTask<R, A>
<R, A, _>(self: ReaderTask<R, A>, f: (a: A) => Task<_>): ReaderTask<R, A>
}
- Added in 0.1.0
import { pipe } from '@fp-tx/core/function'
import * as RT from '@fp-tx/core/ReaderTask'
import * as T from '@fp-tx/core/Task'
const effect = pipe(
RT.ask<number>(),
RT.tapTask(value => T.of(value + 1)),
)
async function test() {
assert.deepStrictEqual(await effect(1)(), 1)
}
test()
- MIT – Copyright (c) 2017-present Giulio Canti
Reads the current context.
export declare const ask: <R>() => ReaderTask<R, R>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Projects a value from the global context in a ReaderTask
.
export declare const asks: <R, A>(f: (r: R) => A) => ReaderTask<R, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Effectfully accesses the environment.
export declare const asksReaderTask: <R, A>(f: (r: R) => ReaderTask<R, A>) => ReaderTask<R, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Less strict version of asksReaderTask
.
The W
suffix (short for Widening) means that the environment types will be merged.
export declare const asksReaderTaskW: <R1, R2, A>(f: (r1: R1) => ReaderTask<R2, A>) => ReaderTask<R1 & R2, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const of: <R = unknown, A = never>(a: A) => ReaderTask<R, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromIO: <A, R = unknown>(fa: IO<A>) => ReaderTask<R, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromReader: <R, A>(fa: R.Reader<R, A>) => ReaderTask<R, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromReaderIO: <R, A>(fa: ReaderIO<R, A>) => ReaderTask<R, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromTask: <A, R = unknown>(fa: Task<A>) => ReaderTask<R, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const Do: ReaderTask<unknown, {}>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const apS: <N extends string, A, E, B>(
name: Exclude<N, keyof A>,
fb: ReaderTask<E, B>,
) => (fa: ReaderTask<E, A>) => ReaderTask<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Less strict version of apS
.
The W
suffix (short for Widening) means that the environment types will be merged.
export declare const apSW: <A, N extends string, R2, B>(
name: Exclude<N, keyof A>,
fb: ReaderTask<R2, B>,
) => <R1>(fa: ReaderTask<R1, A>) => ReaderTask<
R1 & R2,
{
readonly [K in keyof A | N]: K extends keyof A ? A[K] : B
}
>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const bind: <N extends string, A, E, B>(
name: Exclude<N, keyof A>,
f: (a: A) => ReaderTask<E, B>,
) => (ma: ReaderTask<E, A>) => ReaderTask<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const bindTo: <N extends string>(
name: N,
) => <E, A>(fa: ReaderTask<E, A>) => ReaderTask<E, { readonly [K in N]: A }>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
The W
suffix (short for Widening) means that the environment types will be merged.
export declare const bindW: <N extends string, A, R2, B>(
name: Exclude<N, keyof A>,
f: (a: A) => ReaderTask<R2, B>,
) => <R1>(fa: ReaderTask<R1, A>) => ReaderTask<
R1 & R2,
{
readonly [K in keyof A | N]: K extends keyof A ? A[K] : B
}
>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const chainRec: ChainRec2<URI>['chainRec']
- Added in 0.1.0
- MIT – Copyright (c) 2022-present Jacob Alford
Alias of flatMap
.
export declare const chain: <A, R, B>(f: (a: A) => ReaderTask<R, B>) => (ma: ReaderTask<R, A>) => ReaderTask<R, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of tap
.
export declare const chainFirst: <A, R, B>(
f: (a: A) => ReaderTask<R, B>,
) => (first: ReaderTask<R, A>) => ReaderTask<R, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of tapIO
.
export declare const chainFirstIOK: <A, B>(f: (a: A) => IO<B>) => <R>(first: ReaderTask<R, A>) => ReaderTask<R, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of tapReaderIO
.
export declare const chainFirstReaderIOK: <A, R, B>(
f: (a: A) => ReaderIO<R, B>,
) => (ma: ReaderTask<R, A>) => ReaderTask<R, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of tapReaderIO
.
Less strict version of chainFirstReaderIOK
.
export declare const chainFirstReaderIOKW: <A, R2, B>(
f: (a: A) => ReaderIO<R2, B>,
) => <R1>(ma: ReaderTask<R1, A>) => ReaderTask<R1 & R2, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of tapReader
.
export declare const chainFirstReaderK: <A, R, B>(
f: (a: A) => R.Reader<R, B>,
) => (ma: ReaderTask<R, A>) => ReaderTask<R, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of tapReader
.
Less strict version of chainFirstReaderK
.
The W
suffix (short for Widening) means that the environment types will be merged.
export declare const chainFirstReaderKW: <A, R1, B>(
f: (a: A) => R.Reader<R1, B>,
) => <R2>(ma: ReaderTask<R2, A>) => ReaderTask<R1 & R2, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of tapTask
.
export declare const chainFirstTaskK: <A, B>(f: (a: A) => T.Task<B>) => <R>(first: ReaderTask<R, A>) => ReaderTask<R, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of tap
.
export declare const chainFirstW: <R2, A, B>(
f: (a: A) => ReaderTask<R2, B>,
) => <R1>(ma: ReaderTask<R1, A>) => ReaderTask<R1 & R2, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of flatMapIO
.
export declare const chainIOK: <A, B>(f: (a: A) => IO<B>) => <R>(first: ReaderTask<R, A>) => ReaderTask<R, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of flatMapReaderIO
.
export declare const chainReaderIOK: <A, R, B>(
f: (a: A) => ReaderIO<R, B>,
) => (ma: ReaderTask<R, A>) => ReaderTask<R, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of flatMapReaderIO
.
Less strict version of chainReaderIOK
.
export declare const chainReaderIOKW: <A, R2, B>(
f: (a: A) => ReaderIO<R2, B>,
) => <R1>(ma: ReaderTask<R1, A>) => ReaderTask<R1 & R2, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of flatMapReader
.
export declare const chainReaderK: <A, R, B>(f: (a: A) => R.Reader<R, B>) => (ma: ReaderTask<R, A>) => ReaderTask<R, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of flatMapReader
.
Less strict version of chainReaderK
.
The W
suffix (short for Widening) means that the environment types will be merged.
export declare const chainReaderKW: <A, R1, B>(
f: (a: A) => R.Reader<R1, B>,
) => <R2>(ma: ReaderTask<R2, A>) => ReaderTask<R1 & R2, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of flatMapTask
.
export declare const chainTaskK: <A, B>(f: (a: A) => T.Task<B>) => <R>(first: ReaderTask<R, A>) => ReaderTask<R, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of flatMap
.
export declare const chainW: <R2, A, B>(
f: (a: A) => ReaderTask<R2, B>,
) => <R1>(ma: ReaderTask<R1, A>) => ReaderTask<R1 & R2, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromIOK: <A extends ReadonlyArray<unknown>, B>(
f: (...a: A) => IO<B>,
) => <R = unknown>(...a: A) => ReaderTask<R, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromReaderIOK: <A extends readonly unknown[], R, B>(
f: (...a: A) => ReaderIO<R, B>,
) => (...a: A) => ReaderTask<R, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromReaderK: <A extends ReadonlyArray<unknown>, R, B>(
f: (...a: A) => R.Reader<R, B>,
) => (...a: A) => ReaderTask<R, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromTaskK: <A extends ReadonlyArray<unknown>, B>(
f: (...a: A) => T.Task<B>,
) => <R = unknown>(...a: A) => ReaderTask<R, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Maps the value to the specified constant value.
export declare const as: {
<A>(a: A): <R, _>(self: ReaderTask<R, _>) => ReaderTask<R, A>
<R, _, A>(self: ReaderTask<R, _>, a: A): ReaderTask<R, A>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Maps the value to the void constant value.
export declare const asUnit: <R, _>(self: ReaderTask<R, _>) => ReaderTask<R, void>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const flap: <A>(a: A) => <E, B>(fab: ReaderTask<E, (a: A) => B>) => ReaderTask<E, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
map
can be used to turn functions (a: A) => B
into functions (fa: F<A>) => F<B>
whose argument and return types use the type constructor F
to represent some computational context.
export declare const map: <A, B>(f: (a: A) => B) => <R>(fa: ReaderTask<R, A>) => ReaderTask<R, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export interface ReaderTask<R, A> {
(r: R): Task<A>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const flatMap: {
<A, R2, B>(f: (a: A) => ReaderTask<R2, B>): <R1>(ma: ReaderTask<R1, A>) => ReaderTask<R1 & R2, B>
<R1, A, R2, B>(ma: ReaderTask<R1, A>, f: (a: A) => ReaderTask<R2, B>): ReaderTask<R1 & R2, B>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const flatMapIO: {
<A, B>(f: (a: A) => IO<B>): <R>(self: ReaderTask<R, A>) => ReaderTask<R, B>
<R, A, B>(self: ReaderTask<R, A>, f: (a: A) => IO<B>): ReaderTask<R, B>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const flatMapReader: {
<A, R2, B>(f: (a: A) => R.Reader<R2, B>): <R1>(self: ReaderTask<R1, A>) => ReaderTask<R1 & R2, B>
<R1, A, R2, B>(self: ReaderTask<R1, A>, f: (a: A) => R.Reader<R2, B>): ReaderTask<R1 & R2, B>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const flatMapReaderIO: {
<A, R2, B>(f: (a: A) => ReaderIO<R2, B>): <R1>(self: ReaderTask<R1, A>) => ReaderTask<R1 & R2, B>
<R1, A, R2, B>(self: ReaderTask<R1, A>, f: (a: A) => ReaderIO<R2, B>): ReaderTask<R1 & R2, B>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const flatMapTask: {
<A, B>(f: (a: A) => Task<B>): <R>(self: ReaderTask<R, A>) => ReaderTask<R, B>
<R, A, B>(self: ReaderTask<R, A>, f: (a: A) => Task<B>): ReaderTask<R, B>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const flatten: <R, A>(mma: ReaderTask<R, ReaderTask<R, A>>) => ReaderTask<R, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Less strict version of flatten
.
The W
suffix (short for Widening) means that the environment types will be merged.
export declare const flattenW: <R1, R2, A>(mma: ReaderTask<R1, ReaderTask<R2, A>>) => ReaderTask<R1 & R2, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#sequence(Applicative)
.
export declare const sequenceArray: <R, A>(arr: ReadonlyArray<ReaderTask<R, A>>) => ReaderTask<R, ReadonlyArray<A>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#traverseWithIndex(Applicative)
.
export declare const traverseArray: <R, A, B>(
f: (a: A) => ReaderTask<R, B>,
) => (as: readonly A[]) => ReaderTask<R, readonly B[]>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#traverseWithIndex(Applicative)
.
export declare const traverseArrayWithIndex: <R, A, B>(
f: (index: number, a: A) => ReaderTask<R, B>,
) => (as: ReadonlyArray<A>) => ReaderTask<R, ReadonlyArray<B>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#traverseWithIndex(Applicative)
.
export declare const traverseReadonlyArrayWithIndex: <A, R, B>(
f: (index: number, a: A) => ReaderTask<R, B>,
) => (as: readonly A[]) => ReaderTask<R, readonly B[]>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#traverseWithIndex(ApplicativeSeq)
.
export declare const traverseReadonlyArrayWithIndexSeq: <R, A, B>(
f: (index: number, a: A) => ReaderTask<R, B>,
) => (as: readonly A[]) => ReaderTask<R, readonly B[]>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyNonEmptyArray#traverseWithIndex(Applicative)
.
export declare const traverseReadonlyNonEmptyArrayWithIndex: <A, R, B>(
f: (index: number, a: A) => ReaderTask<R, B>,
) => (as: ReadonlyNonEmptyArray<A>) => ReaderTask<R, ReadonlyNonEmptyArray<B>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyNonEmptyArray#traverseWithIndex(ApplicativeSeq)
.
export declare const traverseReadonlyNonEmptyArrayWithIndexSeq: <R, A, B>(
f: (index: number, a: A) => ReaderTask<R, B>,
) => (as: ReadonlyNonEmptyArray<A>) => ReaderTask<R, ReadonlyNonEmptyArray<B>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#traverse(ApplicativeSeq)
.
export declare const traverseSeqArray: <R, A, B>(
f: (a: A) => ReaderTask<R, B>,
) => (as: readonly A[]) => ReaderTask<R, readonly B[]>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#traverseWithIndex(ApplicativeSeq)
.
export declare const traverseSeqArrayWithIndex: <R, A, B>(
f: (index: number, a: A) => ReaderTask<R, B>,
) => (as: ReadonlyArray<A>) => ReaderTask<R, ReadonlyArray<B>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export type URI = typeof URI
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const URI = 'ReaderTask'
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const ApT: ReaderTask<unknown, readonly []>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const ap: <R, A>(fa: ReaderTask<R, A>) => <B>(fab: ReaderTask<R, (a: A) => B>) => ReaderTask<R, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Combine two effectful actions, keeping only the result of the first.
export declare const apFirst: <E, B>(second: ReaderTask<E, B>) => <A>(first: ReaderTask<E, A>) => ReaderTask<E, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Combine two effectful actions, keeping only the result of the second.
export declare const apSecond: <E, B>(second: ReaderTask<E, B>) => <A>(first: ReaderTask<E, A>) => ReaderTask<E, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Less strict version of ap
.
The W
suffix (short for Widening) means that the environment types will be merged.
export declare const apW: <R2, A>(
fa: ReaderTask<R2, A>,
) => <R1, B>(fab: ReaderTask<R1, (a: A) => B>) => ReaderTask<R1 & R2, B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const do_: <MA extends ReaderTaskIterable<any, any>, A>(
yieldFunction: (unwrap: <R, A>(ma: ReaderTask<R, A>) => ReaderTaskIterable<R, A>) => Generator<MA, A>,
) => ReaderTask<_.UnionToIntersection<MA extends ReaderTaskIterable<infer R, any> ? R : never>, A>
Use getApplicativeMonoid
instead.
export declare const getMonoid: <R, A>(M: Monoid<A>) => Monoid<ReaderTask<R, A>>
- Added in 0.1.0
- Deprecated
- MIT – Copyright (c) 2017-present Giulio Canti
Use getApplySemigroup
instead.
export declare const getSemigroup: <R, A>(S: Semigroup<A>) => Semigroup<ReaderTask<R, A>>
- Added in 0.1.0
- Deprecated
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const let_: <N extends string, A, B>(
name: Exclude<N, keyof A>,
f: (a: A) => B,
) => <E>(fa: ReaderTask<E, A>) => ReaderTask<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
Changes the value of the local context during the execution of the action ma
(similar to Contravariant
's contramap
).
export declare const local: <R2, R1>(f: (r2: R2) => R1) => <A>(ma: ReaderTask<R1, A>) => ReaderTask<R2, A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
This instance is deprecated, use small, specific instances instead. For example if a function needs a Functor
instance, pass RT.Functor
instead of RT.readerTask
(where RT
is from import RT from 'fp-ts/ReaderTask'
)
export declare const readerTask: MonadTask2<URI>
- Added in 0.1.0
- Deprecated
- MIT – Copyright (c) 2017-present Giulio Canti
This instance is deprecated, use small, specific instances instead. For example if a function needs a Functor
instance, pass RT.Functor
instead of RT.readerTaskSeq
(where RT
is from import RT from 'fp-ts/ReaderTask'
)
export declare const readerTaskSeq: typeof readerTask
- Added in 0.1.0
- Deprecated
- MIT – Copyright (c) 2017-present Giulio Canti
export declare function run<R, A>(ma: ReaderTask<R, A>, r: R): Promise<A>
- Added in 0.1.0
- Deprecated
- MIT – Copyright (c) 2017-present Giulio Canti
Use traverseReadonlyArrayWithIndexSeq
instead.
export declare const sequenceSeqArray: <R, A>(arr: ReadonlyArray<ReaderTask<R, A>>) => ReaderTask<R, ReadonlyArray<A>>
- Added in 0.1.0
- Deprecated
- MIT – Copyright (c) 2017-present Giulio Canti