<A, B, E, R>(
f: (a: A, i: number) => Effect<B, E, R>,
options?:
| {
readonly concurrency?: Concurrency | undefined
readonly discard?: false | undefined
}
| undefined
): (elements: Iterable<A>) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
<A, B, E, R>(
f: (a: A, i: number) => Effect<B, E, R>,
options: {
readonly concurrency?: Concurrency | undefined
readonly discard: true
}
): (elements: Iterable<A>) => Effect<void, Arr.NonEmptyArray<E>, R>
<A, B, E, R>(
elements: Iterable<A>,
f: (a: A, i: number) => Effect<B, E, R>,
options?:
| {
readonly concurrency?: Concurrency | undefined
readonly discard?: false | undefined
}
| undefined
): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
<A, B, E, R>(
elements: Iterable<A>,
f: (a: A, i: number) => Effect<B, E, R>,
options: {
readonly concurrency?: Concurrency | undefined
readonly discard: true
}
): Effect<void, Arr.NonEmptyArray<E>, R>Applies an effectful function to each element and accumulates all failures.
Details
This function always evaluates every element. If at least one effect fails, all failures are returned as a non-empty array and successes are discarded. If all effects succeed, it returns all collected successes.
Use discard: true to ignore successful values while still validating all
elements.
Example (Validating every element)
import { Effect } from "effect"
const program = Effect.validate([0, 1, 2, 3], (n) =>
n % 2 === 0 ? Effect.fail(`${n} is even`) : Effect.succeed(n)
)
Effect.runPromiseExit(program).then(console.log)
// {
// _id: 'Exit',
// _tag: 'Failure',
// cause: {
// _id: 'Cause',
// reasons: [
// { _id: 'Reason', _tag: 'Fail', error: '0 is even' },
// { _id: 'Reason', _tag: 'Fail', error: '2 is even' }
// ]
// }
// }export const const validate: {
<A, B, E, R>(
f: (a: A, i: number) => Effect<B, E, R>,
options?:
| {
readonly concurrency?:
| Concurrency
| undefined
readonly discard?: false | undefined
}
| undefined
): (
elements: Iterable<A>
) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
<A, B, E, R>(
f: (a: A, i: number) => Effect<B, E, R>,
options: {
readonly concurrency?:
| Concurrency
| undefined
readonly discard: true
}
): (
elements: Iterable<A>
) => Effect<void, Arr.NonEmptyArray<E>, R>
<A, B, E, R>(
elements: Iterable<A>,
f: (a: A, i: number) => Effect<B, E, R>,
options?:
| {
readonly concurrency?:
| Concurrency
| undefined
readonly discard?: false | undefined
}
| undefined
): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
<A, B, E, R>(
elements: Iterable<A>,
f: (a: A, i: number) => Effect<B, E, R>,
options: {
readonly concurrency?:
| Concurrency
| undefined
readonly discard: true
}
): Effect<void, Arr.NonEmptyArray<E>, R>
}
Applies an effectful function to each element and accumulates all failures.
Details
This function always evaluates every element. If at least one effect fails,
all failures are returned as a non-empty array and successes are discarded.
If all effects succeed, it returns all collected successes.
Use discard: true to ignore successful values while still validating all
elements.
Example (Validating every element)
import { Effect } from "effect"
const program = Effect.validate([0, 1, 2, 3], (n) =>
n % 2 === 0 ? Effect.fail(`${n} is even`) : Effect.succeed(n)
)
Effect.runPromiseExit(program).then(console.log)
// {
// _id: 'Exit',
// _tag: 'Failure',
// cause: {
// _id: 'Cause',
// reasons: [
// { _id: 'Reason', _tag: 'Fail', error: '0 is even' },
// { _id: 'Reason', _tag: 'Fail', error: '2 is even' }
// ]
// }
// }
validate: {
<function (type parameter) A in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): (elements: Iterable<A>) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) B in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): (elements: Iterable<A>) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) E in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): (elements: Iterable<A>) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) R in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): (elements: Iterable<A>) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
f: (a: A, i: number) => Effect<B, E, R>f: (a: Aa: function (type parameter) A in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): (elements: Iterable<A>) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
i: numberi: number) => interface Effect<out A, out E = never, out R = never>The Effect interface defines a value that lazily describes a workflow or
job. The workflow requires some context R, and may fail with an error of
type E, or succeed with a value of type A.
When to use
Use when you need to represent a lazy, composable workflow that can require
services, fail with a typed error, or succeed with a typed value.
Details
Effect values model resourceful interaction with the outside world,
including synchronous, asynchronous, concurrent, and parallel interaction.
They use a fiber-based concurrency model, with built-in support for
scheduling, fine-grained interruption, structured concurrency, and high
scalability.
To run an Effect value, you need a Runtime, which is a type that is
capable of executing Effect values.
Effect<function (type parameter) B in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): (elements: Iterable<A>) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) E in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): (elements: Iterable<A>) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) R in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): (elements: Iterable<A>) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
options: | {
readonly concurrency?:
| Concurrency
| undefined
readonly discard?: false | undefined
}
| undefined
concurrency?: Concurrency | undefinedconcurrency?: type Concurrency = number | "unbounded" | "inherit"Describes the concurrency level for Effect operations that run multiple
effects.
When to use
Use to type options that control how many effects may run at the same time.
Details
number — run at most N effects concurrently."unbounded" — run all effects concurrently with no limit."inherit" — inherit the concurrency from the surrounding context.
Example (Setting concurrency values)
import type { Types } from "effect"
const sequential: Types.Concurrency = 1
const limited: Types.Concurrency = 5
const unbounded: Types.Concurrency = "unbounded"
const inherit: Types.Concurrency = "inherit"
Concurrency | undefined
readonly discard?: false | undefineddiscard?: false | undefined
} | undefined
): (elements: Iterable<A>elements: interface Iterable<T, TReturn = any, TNext = any>Iterable<function (type parameter) A in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): (elements: Iterable<A>) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
interface Effect<out A, out E = never, out R = never>The Effect interface defines a value that lazily describes a workflow or
job. The workflow requires some context R, and may fail with an error of
type E, or succeed with a value of type A.
When to use
Use when you need to represent a lazy, composable workflow that can require
services, fail with a typed error, or succeed with a typed value.
Details
Effect values model resourceful interaction with the outside world,
including synchronous, asynchronous, concurrent, and parallel interaction.
They use a fiber-based concurrency model, with built-in support for
scheduling, fine-grained interruption, structured concurrency, and high
scalability.
To run an Effect value, you need a Runtime, which is a type that is
capable of executing Effect values.
Effect<interface Array<T>Array<function (type parameter) B in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): (elements: Iterable<A>) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
import ArrArr.type Arr.NonEmptyArray = /*unresolved*/ anyNonEmptyArray<function (type parameter) E in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): (elements: Iterable<A>) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) R in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): (elements: Iterable<A>) => Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) A in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): (elements: Iterable<A>) => Effect<void, Arr.NonEmptyArray<E>, R>
function (type parameter) B in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): (elements: Iterable<A>) => Effect<void, Arr.NonEmptyArray<E>, R>
function (type parameter) E in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): (elements: Iterable<A>) => Effect<void, Arr.NonEmptyArray<E>, R>
function (type parameter) R in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): (elements: Iterable<A>) => Effect<void, Arr.NonEmptyArray<E>, R>
f: (a: A, i: number) => Effect<B, E, R>f: (a: Aa: function (type parameter) A in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): (elements: Iterable<A>) => Effect<void, Arr.NonEmptyArray<E>, R>
i: numberi: number) => interface Effect<out A, out E = never, out R = never>The Effect interface defines a value that lazily describes a workflow or
job. The workflow requires some context R, and may fail with an error of
type E, or succeed with a value of type A.
When to use
Use when you need to represent a lazy, composable workflow that can require
services, fail with a typed error, or succeed with a typed value.
Details
Effect values model resourceful interaction with the outside world,
including synchronous, asynchronous, concurrent, and parallel interaction.
They use a fiber-based concurrency model, with built-in support for
scheduling, fine-grained interruption, structured concurrency, and high
scalability.
To run an Effect value, you need a Runtime, which is a type that is
capable of executing Effect values.
Effect<function (type parameter) B in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): (elements: Iterable<A>) => Effect<void, Arr.NonEmptyArray<E>, R>
function (type parameter) E in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): (elements: Iterable<A>) => Effect<void, Arr.NonEmptyArray<E>, R>
function (type parameter) R in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): (elements: Iterable<A>) => Effect<void, Arr.NonEmptyArray<E>, R>
options: {
readonly concurrency?: Concurrency | undefined
readonly discard: true
}
concurrency?: Concurrency | undefinedconcurrency?: type Concurrency = number | "unbounded" | "inherit"Describes the concurrency level for Effect operations that run multiple
effects.
When to use
Use to type options that control how many effects may run at the same time.
Details
number — run at most N effects concurrently."unbounded" — run all effects concurrently with no limit."inherit" — inherit the concurrency from the surrounding context.
Example (Setting concurrency values)
import type { Types } from "effect"
const sequential: Types.Concurrency = 1
const limited: Types.Concurrency = 5
const unbounded: Types.Concurrency = "unbounded"
const inherit: Types.Concurrency = "inherit"
Concurrency | undefined
readonly discard: truediscard: true
}
): (elements: Iterable<A>elements: interface Iterable<T, TReturn = any, TNext = any>Iterable<function (type parameter) A in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): (elements: Iterable<A>) => Effect<void, Arr.NonEmptyArray<E>, R>
interface Effect<out A, out E = never, out R = never>The Effect interface defines a value that lazily describes a workflow or
job. The workflow requires some context R, and may fail with an error of
type E, or succeed with a value of type A.
When to use
Use when you need to represent a lazy, composable workflow that can require
services, fail with a typed error, or succeed with a typed value.
Details
Effect values model resourceful interaction with the outside world,
including synchronous, asynchronous, concurrent, and parallel interaction.
They use a fiber-based concurrency model, with built-in support for
scheduling, fine-grained interruption, structured concurrency, and high
scalability.
To run an Effect value, you need a Runtime, which is a type that is
capable of executing Effect values.
Effect<void, import ArrArr.type Arr.NonEmptyArray = /*unresolved*/ anyNonEmptyArray<function (type parameter) E in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): (elements: Iterable<A>) => Effect<void, Arr.NonEmptyArray<E>, R>
function (type parameter) R in <A, B, E, R>(f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): (elements: Iterable<A>) => Effect<void, Arr.NonEmptyArray<E>, R>
function (type parameter) A in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) B in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) E in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) R in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
elements: Iterable<A>elements: interface Iterable<T, TReturn = any, TNext = any>Iterable<function (type parameter) A in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
f: (a: A, i: number) => Effect<B, E, R>f: (a: Aa: function (type parameter) A in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
i: numberi: number) => interface Effect<out A, out E = never, out R = never>The Effect interface defines a value that lazily describes a workflow or
job. The workflow requires some context R, and may fail with an error of
type E, or succeed with a value of type A.
When to use
Use when you need to represent a lazy, composable workflow that can require
services, fail with a typed error, or succeed with a typed value.
Details
Effect values model resourceful interaction with the outside world,
including synchronous, asynchronous, concurrent, and parallel interaction.
They use a fiber-based concurrency model, with built-in support for
scheduling, fine-grained interruption, structured concurrency, and high
scalability.
To run an Effect value, you need a Runtime, which is a type that is
capable of executing Effect values.
Effect<function (type parameter) B in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) E in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) R in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
options: | {
readonly concurrency?:
| Concurrency
| undefined
readonly discard?: false | undefined
}
| undefined
concurrency?: Concurrency | undefinedconcurrency?: type Concurrency = number | "unbounded" | "inherit"Describes the concurrency level for Effect operations that run multiple
effects.
When to use
Use to type options that control how many effects may run at the same time.
Details
number — run at most N effects concurrently."unbounded" — run all effects concurrently with no limit."inherit" — inherit the concurrency from the surrounding context.
Example (Setting concurrency values)
import type { Types } from "effect"
const sequential: Types.Concurrency = 1
const limited: Types.Concurrency = 5
const unbounded: Types.Concurrency = "unbounded"
const inherit: Types.Concurrency = "inherit"
Concurrency | undefined
readonly discard?: false | undefineddiscard?: false | undefined
} | undefined
): interface Effect<out A, out E = never, out R = never>The Effect interface defines a value that lazily describes a workflow or
job. The workflow requires some context R, and may fail with an error of
type E, or succeed with a value of type A.
When to use
Use when you need to represent a lazy, composable workflow that can require
services, fail with a typed error, or succeed with a typed value.
Details
Effect values model resourceful interaction with the outside world,
including synchronous, asynchronous, concurrent, and parallel interaction.
They use a fiber-based concurrency model, with built-in support for
scheduling, fine-grained interruption, structured concurrency, and high
scalability.
To run an Effect value, you need a Runtime, which is a type that is
capable of executing Effect values.
Effect<interface Array<T>Array<function (type parameter) B in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
import ArrArr.type Arr.NonEmptyArray = /*unresolved*/ anyNonEmptyArray<function (type parameter) E in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) R in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options?: {
readonly concurrency?: Concurrency | undefined;
readonly discard?: false | undefined;
} | undefined): Effect<Array<B>, Arr.NonEmptyArray<E>, R>
function (type parameter) A in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): Effect<void, Arr.NonEmptyArray<E>, R>
function (type parameter) B in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): Effect<void, Arr.NonEmptyArray<E>, R>
function (type parameter) E in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): Effect<void, Arr.NonEmptyArray<E>, R>
function (type parameter) R in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): Effect<void, Arr.NonEmptyArray<E>, R>
elements: Iterable<A>elements: interface Iterable<T, TReturn = any, TNext = any>Iterable<function (type parameter) A in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): Effect<void, Arr.NonEmptyArray<E>, R>
f: (a: A, i: number) => Effect<B, E, R>f: (a: Aa: function (type parameter) A in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): Effect<void, Arr.NonEmptyArray<E>, R>
i: numberi: number) => interface Effect<out A, out E = never, out R = never>The Effect interface defines a value that lazily describes a workflow or
job. The workflow requires some context R, and may fail with an error of
type E, or succeed with a value of type A.
When to use
Use when you need to represent a lazy, composable workflow that can require
services, fail with a typed error, or succeed with a typed value.
Details
Effect values model resourceful interaction with the outside world,
including synchronous, asynchronous, concurrent, and parallel interaction.
They use a fiber-based concurrency model, with built-in support for
scheduling, fine-grained interruption, structured concurrency, and high
scalability.
To run an Effect value, you need a Runtime, which is a type that is
capable of executing Effect values.
Effect<function (type parameter) B in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): Effect<void, Arr.NonEmptyArray<E>, R>
function (type parameter) E in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): Effect<void, Arr.NonEmptyArray<E>, R>
function (type parameter) R in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): Effect<void, Arr.NonEmptyArray<E>, R>
options: {
readonly concurrency?: Concurrency | undefined
readonly discard: true
}
concurrency?: Concurrency | undefinedconcurrency?: type Concurrency = number | "unbounded" | "inherit"Describes the concurrency level for Effect operations that run multiple
effects.
When to use
Use to type options that control how many effects may run at the same time.
Details
number — run at most N effects concurrently."unbounded" — run all effects concurrently with no limit."inherit" — inherit the concurrency from the surrounding context.
Example (Setting concurrency values)
import type { Types } from "effect"
const sequential: Types.Concurrency = 1
const limited: Types.Concurrency = 5
const unbounded: Types.Concurrency = "unbounded"
const inherit: Types.Concurrency = "inherit"
Concurrency | undefined
readonly discard: truediscard: true
}
): interface Effect<out A, out E = never, out R = never>The Effect interface defines a value that lazily describes a workflow or
job. The workflow requires some context R, and may fail with an error of
type E, or succeed with a value of type A.
When to use
Use when you need to represent a lazy, composable workflow that can require
services, fail with a typed error, or succeed with a typed value.
Details
Effect values model resourceful interaction with the outside world,
including synchronous, asynchronous, concurrent, and parallel interaction.
They use a fiber-based concurrency model, with built-in support for
scheduling, fine-grained interruption, structured concurrency, and high
scalability.
To run an Effect value, you need a Runtime, which is a type that is
capable of executing Effect values.
Effect<void, import ArrArr.type Arr.NonEmptyArray = /*unresolved*/ anyNonEmptyArray<function (type parameter) E in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): Effect<void, Arr.NonEmptyArray<E>, R>
function (type parameter) R in <A, B, E, R>(elements: Iterable<A>, f: (a: A, i: number) => Effect<B, E, R>, options: {
readonly concurrency?: Concurrency | undefined;
readonly discard: true;
}): Effect<void, Arr.NonEmptyArray<E>, R>
import internalinternal.const validate: {
<A, B, E, R>(
f: (
a: A,
i: number
) => Effect.Effect<B, E, R>,
options?:
| {
readonly concurrency?:
| Concurrency
| undefined
readonly discard?: false | undefined
}
| undefined
): (
elements: Iterable<A>
) => Effect.Effect<
Array<B>,
Arr.NonEmptyArray<E>,
R
>
<A, B, E, R>(
f: (
a: A,
i: number
) => Effect.Effect<B, E, R>,
options: {
readonly concurrency?:
| Concurrency
| undefined
readonly discard: true
}
): (
elements: Iterable<A>
) => Effect.Effect<
void,
Arr.NonEmptyArray<E>,
R
>
<A, B, E, R>(
elements: Iterable<A>,
f: (
a: A,
i: number
) => Effect.Effect<B, E, R>,
options?:
| {
readonly concurrency?:
| Concurrency
| undefined
readonly discard?: false | undefined
}
| undefined
): Effect.Effect<
Array<B>,
Arr.NonEmptyArray<E>,
R
>
<A, B, E, R>(
elements: Iterable<A>,
f: (
a: A,
i: number
) => Effect.Effect<B, E, R>,
options: {
readonly concurrency?:
| Concurrency
| undefined
readonly discard: true
}
): Effect.Effect<void, Arr.NonEmptyArray<E>, R>
}