Success<P>Extracts the success type from a Pull type.
When to use
Use to derive the value produced by an existing Pull when declaring
reusable type aliases, low-level stream helpers, or function signatures.
export type type Success<P> = P extends Effect<
infer _A,
infer _E,
infer _R
>
? _A
: never
Extracts the success type from a Pull type.
When to use
Use to derive the value produced by an existing Pull when declaring
reusable type aliases, low-level stream helpers, or function signatures.
Success<function (type parameter) P in type Success<P>P> = function (type parameter) P in type Success<P>P extends interface Effect<out A, out E = never, out R = never>The Effect interface defines a value that lazily describes a workflow or
job. The workflow requires some context R, and may fail with an error of
type E, or succeed with a value of type A.
When to use
Use when you need to represent a lazy, composable workflow that can require
services, fail with a typed error, or succeed with a typed value.
Details
Effect values model resourceful interaction with the outside world,
including synchronous, asynchronous, concurrent, and parallel interaction.
They use a fiber-based concurrency model, with built-in support for
scheduling, fine-grained interruption, structured concurrency, and high
scalability.
To run an Effect value, you need a Runtime, which is a type that is
capable of executing Effect values.
Effect<infer function (type parameter) _A_A, infer function (type parameter) _E_E, infer function (type parameter) _R_R> ? function (type parameter) _A_A : never