NeverThrow
Type-Safe Errors for JS & TypeScript
README
NeverThrow 🙅
Description
Encode failure into your program.
This package contains a Result type that represents either success (Ok) or failure (Err).
Need to see real-life examples of how to leverage this package for error handling? See this repo: https://github.com/parlez-vous/server
Installation
- ```sh
- > npm install neverthrow
- ```
Recommended: Use eslint-plugin-neverthrow
As part of neverthrows bounty program, user mdbetancourt created [eslint-plugin-neverthrow](https://github.com/mdbetancourt/eslint-plugin-neverthrow) to ensure that errors are not gone unhandled.
Install by running:
- ```sh
- > npm install eslint-plugin-neverthrow
- ```
With eslint-plugin-neverthrow, you are forced to consume the result in one of the following three ways:
- Calling .match
- Calling .unwrapOr
- Calling ._unsafeUnwrap
This ensures that you're explicitly handling the error of your Result.
This plugin is essentially a porting of Rust's [must-use](https://doc.rust-lang.org/std/result/#results-must-be-used) attribute.
Top-Level API
neverthrow exposes the following:
- ok convenience function to create an Ok variant of Result
- err convenience function to create an Err variant of Result
- Ok class and type
- Err class and type
- Result Type as well as namespace / object from which to call [Result.fromThrowable](#resultfromthrowable-static-class-method), Result.combine.
- ResultAsync class
- okAsync convenience function to create a ResultAsync containing an Ok type Result
- errAsync convenience function to create a ResultAsync containing an Err type Result
- ```typescript
- import {
- ok,
- Ok,
- err,
- Err,
- Result,
- okAsync,
- errAsync,
- ResultAsync,
- fromThrowable,
- fromPromise,
- fromSafePromise,
- } from 'neverthrow'
- ```
Check out the wiki for help on how to make the most ofneverthrow.
If you find this package useful, please consider sponsoring me or simply buying me a coffee!
API Documentation
Synchronous API (Result)
ok
Constructs an Ok variant of Result
Signature:
- ```typescript
- ok<T, E>(value: T): Ok<T, E> { ... }
- ```
Example:
- ```typescript
- import { ok } from 'neverthrow'
- const myResult = ok({ myData: 'test' }) // instance of `Ok`
- myResult.isOk() // true
- myResult.isErr() // false
- ```
err
Constructs an Err variant of Result
Signature:
- ```typescript
- err<T, E>(error: E): Err<T, E> { ... }
- ```
Example:
- ```typescript
- import { err } from 'neverthrow'
- const myResult = err('Oh noooo') // instance of `Err`
- myResult.isOk() // false
- myResult.isErr() // true
- ```
Result.isOk (method)
Returns true if the result is an Ok variant
Signature:
- ```typescript
- isOk(): boolean { ... }
- ```
Result.isErr (method)
Returns true if the result is an Err variant
Signature:
- ```typescript
- isErr(): boolean { ... }
- ```
Result.map (method)
This function can be used to compose the results of two functions.
Signature:
- ```typescript
- class Result<T, E> {
- map<U>(callback: (value: T) => U): Result<U, E> { ... }
- }
- ```
Example:
- ```typescript
- import { getLines } from 'imaginary-parser'
- // ^ assume getLines has the following signature:
- // getLines(str: string): Result
, Error> - // since the formatting is deemed correct by `getLines`
- // then it means that `linesResult` is an Ok
- // containing an Array of strings for each line of code
- const linesResult = getLines('1\n2\n3\n4\n')
- // this Result now has a Array
inside it - const newResult = linesResult.map(
- (arr: Array<string>) => arr.map(parseInt)
- )
- newResult.isOk() // true
- ```
Result.mapErr (method)
This function can be used to pass through a successful result while handling an error.
Signature:
- ```typescript
- class Result<T, E> {
- mapErr<F>(callback: (error: E) => F): Result<T, F> { ... }
- }
- ```
Example:
- ```typescript
- import { parseHeaders } from 'imaginary-http-parser'
- // imagine that parseHeaders has the following signature:
- // parseHeaders(raw: string): Result
- const rawHeaders = 'nonsensical gibberish and badly formatted stuff'
- const parseResult = parseHeaders(rawHeaders)
- parseResult.mapErr(parseError => {
- res.status(400).json({
- error: parseError
- })
- })
- parseResult.isErr() // true
- ```
Result.unwrapOr (method)
Unwrap the Ok value, or return the default if there is an Err
Signature:
- ```typescript
- class Result<T, E> {
- unwrapOr<T>(value: T): T { ... }
- }
- ```
Example:
- ```typescript
- const myResult = err('Oh noooo')
- const multiply = (value: number): number => value * 2
- const unwrapped: number = myResult.map(multiply).unwrapOr(10)
- ```
Result.andThen (method)
Same idea as map above. Except you must return a new Result.
The returned value will be a Result. As of v4.1.0-beta, you are able to return distinct error types (see signature below). Prior to v4.1.0-beta, the error type could not be distinct.
This is useful for when you need to do a subsequent computation using the inner T value, but that computation might fail.
Signature:
- ```typescript
- class Result<T, E> {
- // Note that the latest version lets you return distinct errors as well.
- // If the error types (E and F) are the same (like `string | string`)
- // then they will be merged into one type (`string`)
- andThen<U, F>(
- callback: (value: T) => Result<U, F>
- ): Result<U, E | F> { ... }
- }
- ```
Example 1: Chaining Results
- ```typescript
- import { err, ok } from 'neverthrow'
- const sq = (n: number): Result<number, number> => ok(n ** 2)
- ok(2)
- .andThen(sq)
- .andThen(sq) // Ok(16)
- ok(2)
- .andThen(sq)
- .andThen(err) // Err(4)
- ok(2)
- .andThen(err)
- .andThen(sq) // Err(2)
- err(3)
- .andThen(sq)
- .andThen(sq) // Err(3)
- ```
Example 2: Flattening Nested Results
- ```typescript
- // It's common to have nested Results
- const nested = ok(ok(1234))
- // notNested is a Ok(1234)
- const notNested = nested.andThen((innerResult) => innerResult)
- ```
Result.asyncAndThen (method)
Same idea as [andThen above](#resultandthen-method), except you must return a new ResultAsync.
The returned value will be a ResultAsync.
Signature:
- ```typescript
- class Result<T, E> {
- asyncAndThen<U, F>(
- callback: (value: T) => ResultAsync<U, F>
- ): ResultAsync<U, E | F> { ... }
- }
- ```
Result.orElse (method)
Signature:
- ```typescript
- class Result<T, E> {
- orElse<A>(
- callback: (error: E) => Result<T, A>
- ): Result<T, A> { ... }
- }
- ```
Example:
- ```typescript
- enum DatabaseError {
- PoolExhausted = 'PoolExhausted',
- NotFound = 'NotFound',
- }
- const dbQueryResult: Result<string, DatabaseError> = err(DatabaseError.NotFound)
- const updatedQueryResult = dbQueryResult.orElse((dbError) =>
- dbError === DatabaseError.NotFound
- ? ok('User does not exist') // error recovery branch: ok() must be called with a value of type string
- //
- //
- // err() can be called with a value of any new type that you want
- // it could also be called with the same error value
- //
- // err(dbError)
- : err(500)
- )
- ```
Result.match (method)
Given 2 functions (one for the Ok variant and one for the Err variant) execute the function that matches the Result variant.
Match callbacks do not necessitate to return a Result, however you can return a Result if you want to.
Signature:
- ```typescript
- class Result<T, E> {
- match<A>(
- okCallback: (value: T) => A,
- errorCallback: (error: E) => A
- ): A => { ... }
- }
- ```
match is like chaining map and mapErr, with the distinction that with match both functions must have the same return type.
The differences between match and chaining map and mapErr are that:
- with match both functions must have the same return type A
- `match` unwraps the `Result - This makes no difference if you are performing side effects only
Example:
- ```typescript
- // map/mapErr api
- // note that you DON'T have to append mapErr
- // after map which means that you are not required to do
- // error handling
- computationThatMightFail().map(console.log).mapErr(console.error)
- // match api
- // works exactly the same as above since both callbacks
- // only perform side effects,
- // except, now you HAVE to do error handling :)
- computationThatMightFail().match(console.log, console.error)
- // Returning values
- const attempt = computationThatMightFail()
- .map((str) => str.toUpperCase())
- .mapErr((err) => `Error: ${err}`)
- // `attempt` is of type `Result
` - const answer = computationThatMightFail().match(
- (str) => str.toUpperCase(),
- (err) => `Error: ${err}`
- )
- // `answer` is of type `string`
- ```
If you don't use the error parameter in your match callback then match is equivalent to chaining map with unwrapOr:
- ```ts
- const answer = computationThatMightFail().match(
- (str) => str.toUpperCase(),
- () => 'ComputationError'
- )
- // `answer` is of type `string`
- const answer = computationThatMightFail()
- .map((str) => str.toUpperCase())
- .unwrapOr('ComputationError')
- ```
A note on the Package Name
Although the package is called neverthrow, please don't take this literally. I am simply encouraging the developer to think a bit more about the ergonomics and usage of whatever software they are writing.
Throwing and catching is very similar to using goto statements - in other words; it makes reasoning about your programs harder. Secondly, by using throw you make the assumption that the caller of your function is implementing catch. This is a known source of errors. Example: One dev throws and another dev uses the function without prior knowledge that the function will throw. Thus, and edge case has been left unhandled and now you have unhappy users, bosses, cats, etc.
With all that said, there are definitely good use cases for throwing in your program. But much less than you might think.