( self: Matcher<I, R, RA, A, Pr, Ret> )
| 541 | |
| 542 | /** @internal */ |
| 543 | export const orElseAbsurd = <I, R, RA, A, Pr, Ret>( |
| 544 | self: Matcher<I, R, RA, A, Pr, Ret> |
| 545 | ): [Pr] extends [never] ? (input: I) => Unify<A> : Unify<A> => |
| 546 | orElse(() => { |
| 547 | throw new Error("effect/Match/orElseAbsurd: absurd") |
| 548 | })(self) |
| 549 | |
| 550 | /** @internal */ |
| 551 | export const result: <I, F, R, A, Pr, Ret>( |