- Alt
- Alternative
- ApplicativePar
- ApplicativeSeq
- ApplyPar
- ApplySeq
- Chain
- ChainRec
- Compactable
- Filterable
- FromEither
- FromIO
- FromTask
- Functor
- Monad
- MonadIO
- MonadTask
- MonadThrow
- Pointed
- Zero
- sequenceArray
- sequenceSeqArray
- traverseArray
- traverseArrayWithIndex
- traverseReadonlyArrayWithIndex
- traverseReadonlyArrayWithIndexSeq
- traverseReadonlyNonEmptyArrayWithIndex
- traverseReadonlyNonEmptyArrayWithIndexSeq
- traverseSeqArray
- traverseSeqArrayWithIndex
export declare const Alt: Alt1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const Alternative: Alternative1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Runs computations in parallel.
export declare const ApplicativePar: Applicative1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Runs computations sequentially.
export declare const ApplicativeSeq: Applicative1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Runs computations in parallel.
export declare const ApplyPar: Apply1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Runs computations sequentially.
export declare const ApplySeq: Apply1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const Chain: chainable.Chain1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
ChainRec for TaskOption
export declare const ChainRec: ChainRec1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2022-present Jacob Alford
export declare const Compactable: Compactable1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const Filterable: Filterable1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const FromEither: FromEither1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const FromIO: FromIO1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const FromTask: FromTask1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const Functor: Functor1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const Monad: Monad1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const MonadIO: MonadIO1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const MonadTask: MonadTask1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const MonadThrow: MonadThrow1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const Pointed: Pointed1<URI>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const Zero: Zero1<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: {
<A, _>(self: TaskOption<A>, f: (a: A) => TaskOption<_>): TaskOption<A>
<A, _>(f: (a: A) => TaskOption<_>): (self: TaskOption<A>) => TaskOption<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 tapEither: {
<A, E, _>(f: (a: A) => Either<E, _>): (self: TaskOption<A>) => TaskOption<A>
<A, E, _>(self: TaskOption<A>, f: (a: A) => Either<E, _>): TaskOption<A>
}
- Added in 0.1.0
import { pipe } from '@fp-tx/core/function'
import * as TO from '@fp-tx/core/TaskOption'
import * as O from '@fp-tx/core/Option'
import * as E from '@fp-tx/core/Either'
const compute = (value: number) =>
pipe(
TO.of(value),
TO.tapEither(value => (value > 0 ? E.right('ok') : E.left('error'))),
)
async function test() {
assert.deepStrictEqual(await compute(1)(), O.of(1))
assert.deepStrictEqual(await compute(-1)(), O.none)
}
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 tapIO: {
<A, _>(f: (a: A) => IO<_>): (self: TaskOption<A>) => TaskOption<A>
<A, _>(self: TaskOption<A>, f: (a: A) => IO<_>): TaskOption<A>
}
- Added in 0.1.0
import { pipe } from '@fp-tx/core/function'
import * as TO from '@fp-tx/core/TaskOption'
import * as O from '@fp-tx/core/Option'
import * as Console from '@fp-tx/core/Console'
// Will produce `Hello, fp-ts` to the stdout
const effectA = TO.tapIO(TO.of(1), value => Console.log(`Hello, ${value}`))
// No output to the stdout
const effectB = pipe(
TO.none as TO.TaskOption<string>,
TO.tapIO(value => Console.log(`Hello, ${value}`)),
)
async function test() {
assert.deepStrictEqual(await effectA(), O.of(1))
assert.deepStrictEqual(await effectB(), O.none)
}
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 tapTask: {
<A, _>(f: (a: A) => Task<_>): (self: TaskOption<A>) => TaskOption<A>
<A, _>(self: TaskOption<A>, f: (a: A) => Task<_>): TaskOption<A>
}
- Added in 0.1.0
import * as TO from '@fp-tx/core/TaskOption'
import * as O from '@fp-tx/core/Option'
import * as T from '@fp-tx/core/Task'
const effect = TO.tapIO(TO.of(1), value => T.of(value + 1))
async function test() {
assert.deepStrictEqual(await effect(), O.of(1))
}
test()
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const none: TaskOption<never>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const of: <A>(a: A) => TaskOption<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const some: <A>(a: A) => TaskOption<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromEither: <A>(fa: Either<unknown, A>) => TaskOption<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromIO: <A>(fa: IO<A>) => TaskOption<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromNullable: <A>(a: A) => TaskOption<NonNullable<A>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromOption: <A>(fa: Option<A>) => TaskOption<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromTask: <A>(fa: Task<A>) => TaskOption<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromTaskEither: <A>(fa: TaskEither<unknown, A>) => TaskOption<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const Do: TaskOption<{}>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const apS: <N extends string, A, B>(
name: Exclude<N, keyof A>,
fb: TaskOption<B>,
) => (fa: TaskOption<A>) => TaskOption<{ 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 bind: <N extends string, A, B>(
name: Exclude<N, keyof A>,
f: (a: A) => TaskOption<B>,
) => (ma: TaskOption<A>) => TaskOption<{ 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,
) => <A>(fa: TaskOption<A>) => TaskOption<{ readonly [K in N]: A }>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const guard: (b: boolean) => TaskOption<void>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const alt: <A>(second: LazyArg<TaskOption<A>>) => (first: TaskOption<A>) => TaskOption<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Less strict version of alt
.
The W
suffix (short for Widening) means that the return types will be merged.
export declare const altW: <B>(second: LazyArg<TaskOption<B>>) => <A>(first: TaskOption<A>) => TaskOption<A | B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const getOrElse: <A>(onNone: LazyArg<Task<A>>) => (fa: TaskOption<A>) => Task<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Less strict version of getOrElse
.
The W
suffix (short for Widening) means that the handler return type will be merged.
export declare const getOrElseW: <B>(onNone: LazyArg<Task<B>>) => <A>(ma: TaskOption<A>) => Task<A | B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const compact: Compactable1<URI>['compact']
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const filter: {
<A, B extends A>(refinement: Refinement<A, B>): (fb: TaskOption<A>) => TaskOption<B>
<A>(predicate: Predicate<A>): <B extends A>(fb: TaskOption<B>) => TaskOption<B>
<A>(predicate: Predicate<A>): (fa: TaskOption<A>) => TaskOption<A>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const filterMap: <A, B>(f: (a: A) => Option<B>) => (fga: TaskOption<A>) => TaskOption<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const partition: {
<A, B extends A>(refinement: Refinement<A, B>): (fb: TaskOption<A>) => Separated<TaskOption<A>, TaskOption<B>>
<A>(predicate: Predicate<A>): <B extends A>(fb: TaskOption<B>) => Separated<TaskOption<B>, TaskOption<B>>
<A>(predicate: Predicate<A>): (fa: TaskOption<A>) => Separated<TaskOption<A>, TaskOption<A>>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const partitionMap: <A, B, C>(
f: (a: A) => Either<B, C>,
) => (fa: TaskOption<A>) => Separated<TaskOption<B>, TaskOption<C>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const separate: Compactable1<URI>['separate']
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const chainRec: ChainRec1<URI>['chainRec']
- Added in 0.1.0
- MIT – Copyright (c) 2022-present Jacob Alford
Transforms a Promise
that may reject to a Promise
that never rejects and returns an Option
instead.
See also tryCatchK
.
export declare const tryCatch: <A>(f: LazyArg<Promise<A>>) => TaskOption<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Converts a function returning a Promise
to one returning a TaskOption
.
export declare const tryCatchK: <A extends readonly unknown[], B>(
f: (...a: A) => Promise<B>,
) => (...a: A) => TaskOption<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of flatMap
.
export declare const chain: <A, B>(f: (a: A) => TaskOption<B>) => (ma: TaskOption<A>) => TaskOption<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of tap
.
export declare const chainFirst: <A, B>(f: (a: A) => TaskOption<B>) => (first: TaskOption<A>) => TaskOption<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of tapEither
.
export declare const chainFirstEitherK: <E, A, B>(f: (a: A) => Either<E, B>) => (ma: TaskOption<A>) => TaskOption<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>) => (first: TaskOption<A>) => TaskOption<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>) => (first: TaskOption<A>) => TaskOption<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>) => (first: TaskOption<A>) => TaskOption<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>) => (first: TaskOption<A>) => TaskOption<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromEitherK: <E, A extends ReadonlyArray<unknown>, B>(
f: (...a: A) => Either<E, B>,
) => (...a: A) => TaskOption<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>) => (...a: A) => TaskOption<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromNullableK: <A extends ReadonlyArray<unknown>, B>(
f: (...a: A) => B | null | undefined,
) => (...a: A) => TaskOption<NonNullable<B>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromOptionK: <A extends ReadonlyArray<unknown>, B>(
f: (...a: A) => Option<B>,
) => (...a: A) => TaskOption<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const fromPredicate: {
<A, B extends A>(refinement: Refinement<A, B>): (a: A) => TaskOption<B>
<A>(predicate: Predicate<A>): <B extends A>(b: B) => TaskOption<B>
<A>(predicate: Predicate<A>): (a: A) => TaskOption<A>
}
- 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>,
) => (...a: A) => TaskOption<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Maps the Some
value of this TaskOption
to the specified constant value.
export declare const as: {
<A>(a: A): <_>(self: TaskOption<_>) => TaskOption<A>
<_, A>(self: TaskOption<_>, a: A): TaskOption<A>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Maps the Some
value of this TaskOption
to the void constant value.
export declare const asUnit: <_>(self: TaskOption<_>) => TaskOption<void>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const flap: <A>(a: A) => <B>(fab: TaskOption<(a: A) => B>) => TaskOption<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) => (fa: TaskOption<A>) => TaskOption<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export interface TaskOption<A> extends Task<Option<A>> {}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of matchE
.
export declare const fold: <B, A>(
onNone: () => T.Task<B>,
onSome: (a: A) => T.Task<B>,
) => (ma: TaskOption<A>) => T.Task<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Alias of matchEW
.
export declare const foldW: <B, C, A>(
onNone: () => T.Task<B>,
onSome: (a: A) => T.Task<C>,
) => (ma: TaskOption<A>) => T.Task<B | C>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const match: <B, A>(onNone: () => B, onSome: (a: A) => B) => (ma: TaskOption<A>) => Task<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
The E
suffix (short for Effect) means that the handlers return an effect (Task
).
export declare const matchE: <B, A>(onNone: () => Task<B>, onSome: (a: A) => Task<B>) => (ma: TaskOption<A>) => Task<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Less strict version of matchE
.
The W
suffix (short for Widening) means that the handler return types will be merged.
export declare const matchEW: <B, C, A>(
onNone: () => Task<B>,
onSome: (a: A) => Task<C>,
) => (ma: TaskOption<A>) => Task<B | C>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Less strict version of match
.
The W
suffix (short for Widening) means that the handler return types will be merged.
export declare const matchW: <B, A, C>(onNone: () => B, onSome: (a: A) => C) => (ma: TaskOption<A>) => Task<B | C>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const chainEitherK: <E, A, B>(f: (a: A) => Either<E, B>) => (ma: TaskOption<A>) => TaskOption<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const chainNullableK: <A, B>(
f: (a: A) => B | null | undefined,
) => (ma: TaskOption<A>) => TaskOption<NonNullable<B>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const chainOptionK: <A, B>(f: (a: A) => Option<B>) => (ma: TaskOption<A>) => TaskOption<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const flatMap: {
<A, B>(f: (a: A) => TaskOption<B>): (ma: TaskOption<A>) => TaskOption<B>
<A, B>(ma: TaskOption<A>, f: (a: A) => TaskOption<B>): TaskOption<B>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const flatMapIO: {
<A, B>(f: (a: A) => IO<B>): (self: TaskOption<A>) => TaskOption<B>
<A, B>(self: TaskOption<A>, f: (a: A) => IO<B>): TaskOption<B>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const flatMapTask: {
<A, B>(f: (a: A) => Task<B>): (self: TaskOption<A>) => TaskOption<B>
<A, B>(self: TaskOption<A>, f: (a: A) => Task<B>): TaskOption<B>
}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const flatten: <A>(mma: TaskOption<TaskOption<A>>) => TaskOption<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#sequence(Applicative)
.
export declare const sequenceArray: <A>(as: ReadonlyArray<TaskOption<A>>) => TaskOption<ReadonlyArray<A>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#sequence(ApplicativeSeq)
.
export declare const sequenceSeqArray: <A>(as: ReadonlyArray<TaskOption<A>>) => TaskOption<ReadonlyArray<A>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#traverse(Applicative)
.
export declare const traverseArray: <A, B>(
f: (a: A) => TaskOption<B>,
) => (as: ReadonlyArray<A>) => TaskOption<ReadonlyArray<B>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#traverseWithIndex(Applicative)
.
export declare const traverseArrayWithIndex: <A, B>(
f: (index: number, a: A) => TaskOption<B>,
) => (as: ReadonlyArray<A>) => TaskOption<ReadonlyArray<B>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#traverseWithIndex(ApplicativePar)
.
export declare const traverseReadonlyArrayWithIndex: <A, B>(
f: (index: number, a: A) => TaskOption<B>,
) => (as: readonly A[]) => TaskOption<readonly B[]>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#traverseWithIndex(ApplicativeSeq)
.
export declare const traverseReadonlyArrayWithIndexSeq: <A, B>(
f: (index: number, a: A) => TaskOption<B>,
) => (as: readonly A[]) => TaskOption<readonly B[]>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyNonEmptyArray#traverseWithIndex(ApplicativePar)
.
export declare const traverseReadonlyNonEmptyArrayWithIndex: <A, B>(
f: (index: number, a: A) => TaskOption<B>,
) => (as: ReadonlyNonEmptyArray<A>) => TaskOption<ReadonlyNonEmptyArray<B>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyNonEmptyArray#traverseWithIndex(ApplicativeSeq)
.
export declare const traverseReadonlyNonEmptyArrayWithIndexSeq: <A, B>(
f: (index: number, a: A) => TaskOption<B>,
) => (as: ReadonlyNonEmptyArray<A>) => TaskOption<ReadonlyNonEmptyArray<B>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#traverse(ApplicativeSeq)
.
export declare const traverseSeqArray: <A, B>(
f: (a: A) => TaskOption<B>,
) => (as: ReadonlyArray<A>) => TaskOption<ReadonlyArray<B>>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Equivalent to ReadonlyArray#traverseWithIndex(ApplicativeSeq)
.
export declare const traverseSeqArrayWithIndex: <A, B>(
f: (index: number, a: A) => TaskOption<B>,
) => (as: ReadonlyArray<A>) => TaskOption<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 = 'TaskOption'
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const ApT: TaskOption<readonly []>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const ap: <A>(fa: TaskOption<A>) => <B>(fab: TaskOption<(a: A) => B>) => TaskOption<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: <B>(second: TaskOption<B>) => <A>(first: TaskOption<A>) => TaskOption<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: <B>(second: TaskOption<B>) => <A>(first: TaskOption<A>) => TaskOption<B>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const do_: <MA extends TaskOptionIterable<any>, A>(
yieldFunction: (unwrap: <A>(ma: TaskOption<A>) => TaskOptionIterable<A>) => Generator<MA, A>,
) => TaskOption<A>
export declare const let_: <N extends string, A, B>(
name: Exclude<N, keyof A>,
f: (a: A) => B,
) => (fa: TaskOption<A>) => TaskOption<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }>
export declare const throwError: MonadThrow1<URI>['throwError']
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export declare const zero: <A>() => TaskOption<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti