ExitIso<A, E, D>Iso representation used for Exit schemas.
Details
Successful exits are represented as { _tag: "Success", value }, while failed
exits are represented as { _tag: "Failure", cause }.
Exit
Source effect/Schema.ts:95727 lines
export type type ExitIso<
A extends Constraint,
E extends Constraint,
D extends Constraint
> =
| {
readonly _tag: "Success"
readonly value: A["Iso"]
}
| {
readonly _tag: "Failure"
readonly cause: CauseIso<E, D>
}
Iso representation used for Exit schemas.
Details
Successful exits are represented as { _tag: "Success", value }, while failed
exits are represented as { _tag: "Failure", cause }.
ExitIso<function (type parameter) A in type ExitIso<A extends Constraint, E extends Constraint, D extends Constraint>A extends Constraint, function (type parameter) E in type ExitIso<A extends Constraint, E extends Constraint, D extends Constraint>E extends Constraint, function (type parameter) D in type ExitIso<A extends Constraint, E extends Constraint, D extends Constraint>D extends Constraint> = {
readonly _tag: "Success"_tag: "Success"
readonly value: A["Iso"]value: function (type parameter) A in type ExitIso<A extends Constraint, E extends Constraint, D extends Constraint>A["Iso"]
} | {
readonly _tag: "Failure"_tag: "Failure"
readonly cause: CauseIso<E, D>(property) cause: {
length: number;
toString: () => string;
toLocaleString: { (): string; (locales: string | string[], options?: Intl.NumberFormatOptions & Intl.DateTimeFormatOptions): string };
concat: { (...items: Array<ConcatArray<CauseReasonIso<E, D>>>): Array<CauseReasonIso<E, D>>; (...items: Array<CauseReasonIso<E, D> | ConcatArray<CauseReasonIso<E, D>>>): Array<CauseReasonIso<E, D>> };
join: (separator?: string) => string;
slice: (start?: number, end?: number) => Array<CauseReasonIso<E, D>>;
indexOf: (searchElement: CauseReasonIso<E, D>, fromIndex?: number) => number;
lastIndexOf: (searchElement: CauseReasonIso<E, D>, fromIndex?: number) => number;
every: { (predicate: (value: CauseReasonIso<E, D>, index: number, array: ReadonlyArray<CauseReasonIso<E, D>>) => value is S, thisArg?: any): this is readonly S[]; (predicate: (value: CauseReasonIso<E, D>, index: number, array: ReadonlyArray<Cause…;
some: (predicate: (value: CauseReasonIso<E, D>, index: number, array: ReadonlyArray<CauseReasonIso<E, D>>) => unknown, thisArg?: any) => boolean;
forEach: (callbackfn: (value: CauseReasonIso<E, D>, index: number, array: ReadonlyArray<CauseReasonIso<E, D>>) => void, thisArg?: any) => void;
map: (callbackfn: (value: CauseReasonIso<E, D>, index: number, array: ReadonlyArray<CauseReasonIso<E, D>>) => U, thisArg?: any) => Array<U>;
filter: { (predicate: (value: CauseReasonIso<E, D>, index: number, array: ReadonlyArray<CauseReasonIso<E, D>>) => value is S, thisArg?: any): Array<S>; (predicate: (value: CauseReasonIso<E, D>, index: number, array: ReadonlyArray<CauseReasonIso<E,…;
reduce: { (callbackfn: (previousValue: CauseReasonIso<E, D>, currentValue: CauseReasonIso<E, D>, currentIndex: number, array: ReadonlyArray<CauseReasonIso<E, D>>) => CauseReasonIso<E, D>): CauseReasonIso<E, D>; (callbackfn: (previousValue: CauseRe…;
reduceRight: { (callbackfn: (previousValue: CauseReasonIso<E, D>, currentValue: CauseReasonIso<E, D>, currentIndex: number, array: ReadonlyArray<CauseReasonIso<E, D>>) => CauseReasonIso<E, D>): CauseReasonIso<E, D>; (callbackfn: (previousValue: CauseRe…;
find: { (predicate: (value: CauseReasonIso<E, D>, index: number, obj: ReadonlyArray<CauseReasonIso<E, D>>) => value is S, thisArg?: any): S | undefined; (predicate: (value: CauseReasonIso<E, D>, index: number, obj: ReadonlyArray<CauseReasonIso<E…;
findIndex: (predicate: (value: CauseReasonIso<E, D>, index: number, obj: ReadonlyArray<CauseReasonIso<E, D>>) => unknown, thisArg?: any) => number;
entries: () => ArrayIterator<[number, CauseReasonIso<E, D>]>;
keys: () => ArrayIterator<number>;
values: () => ArrayIterator<CauseReasonIso<E, D>>;
includes: (searchElement: CauseReasonIso<E, D>, fromIndex?: number) => boolean;
flatMap: (callback: (this: This, value: CauseReasonIso<E, D>, index: number, array: Array<CauseReasonIso<E, D>>) => U | ReadonlyArray<U>, thisArg?: This | undefined) => Array<U>;
flat: (this: A, depth?: D | undefined) => Array<FlatArray<A, D>>;
at: (index: number) => CauseReasonIso<E, D> | undefined;
findLast: { (predicate: (value: CauseReasonIso<E, D>, index: number, array: ReadonlyArray<CauseReasonIso<E, D>>) => value is S, thisArg?: any): S | undefined; (predicate: (value: CauseReasonIso<E, D>, index: number, array: ReadonlyArray<CauseReasonI…;
findLastIndex: (predicate: (value: CauseReasonIso<E, D>, index: number, array: ReadonlyArray<CauseReasonIso<E, D>>) => unknown, thisArg?: any) => number;
toReversed: () => Array<CauseReasonIso<E, D>>;
toSorted: (compareFn?: ((a: CauseReasonIso<E, D>, b: CauseReasonIso<E, D>) => number) | undefined) => Array<CauseReasonIso<E, D>>;
toSpliced: { (start: number, deleteCount: number, ...items: Array<CauseReasonIso<E, D>>): Array<CauseReasonIso<E, D>>; (start: number, deleteCount?: number): Array<CauseReasonIso<E, D>> };
with: (index: number, value: CauseReasonIso<E, D>) => Array<CauseReasonIso<E, D>>;
}
type CauseIso<
E extends Constraint,
D extends Constraint
> = readonly CauseReasonIso<E, D>[]
Iso representation used for Cause schemas: an ordered array of
CauseReasonIso values.
When to use
Use when working with the ISO shape of a Cause schema, such as toIso
optics or codecs that expose a cause as its ordered array of encoded reasons.
CauseIso<function (type parameter) E in type ExitIso<A extends Constraint, E extends Constraint, D extends Constraint>E, function (type parameter) D in type ExitIso<A extends Constraint, E extends Constraint, D extends Constraint>D>
}Referenced by 1 symbols