Unexpected Errors

There are situations where you may encounter unexpected errors, and you need to decide how to handle them. Effect provides functions to help you deal with such scenarios, allowing you to take appropriate actions when errors occur during the execution of your effects.

Creating Unrecoverable Errors

In the same way it is possible to leverage combinators such as Effect.fail to create values of type Effect<never, E, never> the Effect library provides tools to create defects.

Creating defects is a common necessity when dealing with errors from which it is not possible to recover from a business logic perspective, such as attempting to establish a connection that is refused after multiple retries.

In those cases terminating the execution of the effect and moving into reporting, through an output such as stdout or some external monitoring service, might be the best solution.

The following functions and combinators allow for termination of the effect and are often used to convert values of type Effect<A, E, R> into values of type Effect<A, never, R> allowing the programmer an escape hatch from having to handle and recover from errors for which there is no sensible way to recover.

die

Creates an effect that terminates a fiber with a specified error.

Use Effect.die when encountering unexpected conditions in your code that should not be handled as regular errors but instead represent unrecoverable defects.

The Effect.die function is used to signal a defect, which represents a critical and unexpected error in the code. When invoked, it produces an effect that does not handle the error and instead terminates the fiber.

The error channel of the resulting effect is of type never, indicating that it cannot recover from this failure.

Example (Terminating on Division by Zero with a Specified Error)

1
import { Effect } from "effect"
2

3
const divide = (a: number, b: number) =>
4
  b === 0 ? Effect.die(new Error("Cannot divide by zero")) : Effect.succeed(a / b)
5

6
//      ┌─── Effect<number, never, never>
7
//      ▼
8
const program = divide(1, 0)
9

10
Effect.runPromise(program).catch(console.error)
11
/*
12
Output:
13
(FiberFailure) Error: Cannot divide by zero
14
  ...stack trace...
15
*/

dieMessage

Creates an effect that terminates a fiber with a RuntimeException containing the specified message.

Use Effect.dieMessage when you want to terminate a fiber due to an unrecoverable defect and include a clear explanation in the message.

The Effect.dieMessage function is used to signal a defect, representing a critical and unexpected error in the code. When invoked, it produces an effect that terminates the fiber with a RuntimeException carrying the given message.

The resulting effect has an error channel of type never, indicating it does not handle or recover from the error.

Example (Terminating on Division by Zero with a Specified Message)

1
import { Effect } from "effect"
2

3
const divide = (a: number, b: number) =>
4
  b === 0 ? Effect.dieMessage("Cannot divide by zero") : Effect.succeed(a / b)
5

6
//      ┌─── Effect<number, never, never>
7
//      ▼
8
const program = divide(1, 0)
9

10
Effect.runPromise(program).catch(console.error)
11
/*
12
Output:
13
(FiberFailure) RuntimeException: Cannot divide by zero
14
  ...stack trace...
15
*/

Converting Failures to Defects

orDie

Converts an effect’s failure into a fiber termination, removing the error from the effect’s type.

Use Effect.orDie when failures should be treated as unrecoverable defects and no error handling is required.

The Effect.orDie function is used when you encounter errors that you do not want to handle or recover from. It removes the error type from the effect and ensures that any failure will terminate the fiber. This is useful for propagating failures as defects, signaling that they should not be handled within the effect.

Example (Propagating an Error as a Defect)

1
import { Effect } from "effect"
2

3
const divide = (a: number, b: number) =>
4
  b === 0 ? Effect.fail(new Error("Cannot divide by zero")) : Effect.succeed(a / b)
5

6
//      ┌─── Effect<number, never, never>
7
//      ▼
8
const program = Effect.orDie(divide(1, 0))
9

10
Effect.runPromise(program).catch(console.error)
11
/*
12
Output:
13
(FiberFailure) Error: Cannot divide by zero
14
  ...stack trace...
15
*/

orDieWith

Converts an effect’s failure into a fiber termination with a custom error.

Use Effect.orDieWith when failures should terminate the fiber as defects, and you want to customize the error for clarity or debugging purposes.

The Effect.orDieWith function behaves like Effect.orDie, but it allows you to provide a mapping function to transform the error before terminating the fiber. This is useful for cases where you want to include a more detailed or user-friendly error when the failure is propagated as a defect.

Example (Customizing Defect)

1
import { Effect } from "effect"
2

3
const divide = (a: number, b: number) =>
4
  b === 0 ? Effect.fail(new Error("Cannot divide by zero")) : Effect.succeed(a / b)
5

6
//      ┌─── Effect<number, never, never>
7
//      ▼
8
const program = Effect.orDieWith(divide(1, 0), (error) => new Error(`defect: ${error.message}`))
9

10
Effect.runPromise(program).catch(console.error)
11
/*
12
Output:
13
(FiberFailure) Error: defect: Cannot divide by zero
14
  ...stack trace...
15
*/

Catching All Defects

There is no sensible way to recover from defects. The functions we’re about to discuss should be used only at the boundary between Effect and an external system, to transmit information on a defect for diagnostic or explanatory purposes.

exit

The Effect.exit function transforms an Effect<A, E, R> into an effect that encapsulates both potential failure and success within an Exit data type:

Effect<A, E, R> -> Effect<Exit<A, E>, never, R>

This means if you have an effect with the following type:

Effect<string, HttpError, never>

and you call Effect.exit on it, the type becomes:

Effect<Exit<string, HttpError>, never, never>

The resulting effect cannot fail because the potential failure is now represented within the Exit’s Failure type. The error type of the returned effect is specified as never, confirming that the effect is structured to not fail.

By yielding an Exit, we gain the ability to “pattern match” on this type to handle both failure and success cases within the generator function.

Example (Catching Defects with Effect.exit)

1
import { Effect, Cause, Console, Exit } from "effect"
2

3
// Simulating a runtime error
4
const task = Effect.dieMessage("Boom!")
5

6
const program = Effect.gen(function* () {
7
  const exit = yield* Effect.exit(task)
8
  if (Exit.isFailure(exit)) {
9
    const cause = exit.cause
10
    if (Cause.isDieType(cause) && Cause.isRuntimeException(cause.defect)) {
11
      yield* Console.log(`RuntimeException defect caught: ${cause.defect.message}`)
12
    } else {
13
      yield* Console.log("Unknown failure caught.")
14
    }
15
  }
16
})
17

18
// We get an Exit.Success because we caught all failures
19
Effect.runPromiseExit(program).then(console.log)
20
/*
21
Output:
22
RuntimeException defect caught: Boom!
23
{
24
  _id: "Exit",
25
  _tag: "Success",
26
  value: undefined
27
}
28
*/

catchAllDefect

Recovers from all defects using a provided recovery function.

Effect.catchAllDefect allows you to handle defects, which are unexpected errors that usually cause the program to terminate. This function lets you recover from these defects by providing a function that handles the error.

However, it does not handle expected errors (like those from Effect.fail) or execution interruptions (like those from Effect.interrupt).

Example (Handling All Defects)

1
import { Effect, Cause, Console } from "effect"
2

3
// Simulating a runtime error
4
const task = Effect.dieMessage("Boom!")
5

6
const program = Effect.catchAllDefect(task, (defect) => {
7
  if (Cause.isRuntimeException(defect)) {
8
    return Console.log(`RuntimeException defect caught: ${defect.message}`)
9
  }
10
  return Console.log("Unknown defect caught.")
11
})
12

13
// We get an Exit.Success because we caught all defects
14
Effect.runPromiseExit(program).then(console.log)
15
/*
16
Output:
17
RuntimeException defect caught: Boom!
18
{
19
  _id: "Exit",
20
  _tag: "Success",
21
  value: undefined
22
}
23
*/

Catching Some Defects

catchSomeDefect

Recovers from specific defects using a provided partial function.

Effect.catchSomeDefect allows you to handle specific defects, which are unexpected errors that can cause the program to stop. It uses a partial function to catch only certain defects and ignores others.

However, it does not handle expected errors (like those from Effect.fail) or execution interruptions (like those from Effect.interrupt).

The function provided to Effect.catchSomeDefect acts as a filter and a handler for defects:

• It receives the defect as an input.
• If the defect matches a specific condition (e.g., a certain error type), the function returns an Option.some containing the recovery logic.
• If the defect does not match, the function returns Option.none, allowing the defect to propagate.

Example (Handling Specific Defects)

1
import { Effect, Cause, Option, Console } from "effect"
2

3
// Simulating a runtime error
4
const task = Effect.dieMessage("Boom!")
5

6
const program = Effect.catchSomeDefect(task, (defect) => {
7
  if (Cause.isIllegalArgumentException(defect)) {
8
    return Option.some(Console.log(`Caught an IllegalArgumentException defect: ${defect.message}`))
9
  }
10
  return Option.none()
11
})
12

13
// Since we are only catching IllegalArgumentException
14
// we will get an Exit.Failure because we simulated a runtime error.
15
Effect.runPromiseExit(program).then(console.log)
16
/*
17
Output:
18
{
19
  _id: 'Exit',
20
  _tag: 'Failure',
21
  cause: {
22
    _id: 'Cause',
23
    _tag: 'Die',
24
    defect: { _tag: 'RuntimeException' }
25
  }
26
}
27
*/