CauseReasonIso<E, D>Iso representation used for CauseReason schemas.
Details
Failures are represented with a Fail tag and encoded error, defects with a
Die tag and encoded defect, and interrupts with an optional fiberId.
CauseReason
Source effect/Schema.ts:912110 lines
export type type CauseReasonIso<
E extends Constraint,
D extends Constraint
> =
| {
readonly _tag: "Fail"
readonly error: E["Iso"]
}
| {
readonly _tag: "Die"
readonly error: D["Iso"]
}
| {
readonly _tag: "Interrupt"
readonly fiberId: number | undefined
}
Iso representation used for CauseReason schemas.
Details
Failures are represented with a Fail tag and encoded error, defects with a
Die tag and encoded defect, and interrupts with an optional fiberId.
CauseReasonIso<function (type parameter) E in type CauseReasonIso<E extends Constraint, D extends Constraint>E extends Constraint, function (type parameter) D in type CauseReasonIso<E extends Constraint, D extends Constraint>D extends Constraint> = {
readonly _tag: "Fail"_tag: "Fail"
readonly error: E["Iso"]error: function (type parameter) E in type CauseReasonIso<E extends Constraint, D extends Constraint>E["Iso"]
} | {
readonly _tag: "Die"_tag: "Die"
readonly error: D["Iso"]error: function (type parameter) D in type CauseReasonIso<E extends Constraint, D extends Constraint>D["Iso"]
} | {
readonly _tag: "Interrupt"_tag: "Interrupt"
readonly fiberId: number | undefinedfiberId: number | undefined
}Referenced by 3 symbols