Result<Option<never>, never>Provides a pre-built Result<Option<never>> that succeeds with None.
When to use
Use when an optional success should be absent, such as the None branch of
transposeOption or transposeMapOption.
Details
This is equivalent to Result.succeed(Option.none()), but reuses a shared
Success wrapper instead of allocating one each time.
Example (Succeeding with None)
import { Result } from "effect"
console.log(Result.isSuccess(Result.succeedNone))
// Output: trueexport const const succeedNone: Result<
Option<never>,
never
>
Provides a pre-built Result<Option<never>> that succeeds with None.
When to use
Use when an optional success should be absent, such as the None branch of
transposeOption or transposeMapOption.
Details
This is equivalent to Result.succeed(Option.none()), but reuses a shared
Success wrapper instead of allocating one each time.
Example (Succeeding with None)
import { Result } from "effect"
console.log(Result.isSuccess(Result.succeedNone))
// Output: true
succeedNone = const succeed: <A>(right: A) => Result<A>Creates a Result holding a Success value.
Details
- Use when you have a value and want to lift it into the
Result type
- The error type
E defaults to never
Example (Wrapping a value)
import { Result } from "effect"
const result = Result.succeed(42)
console.log(Result.isSuccess(result))
// Output: true
succeed(import option_option_.const none: Option.Option<never>none)