#Type Alias: InferSuccess<T>

import { 
import ResultResult } from '@praha/byethrow';

type 
type R = Result.Success<number> | Result.Failure<string>R = 
import ResultResult.
type Result<T, E> = Result.Success<T> | Result.Failure<E>
A union type representing either a success or a failure.
@typeParamT  - The type of the Success value.@typeParamE  - The type of the Failure value.@example
import { Result } from '@praha/byethrow';

const doSomething = (): Result.Result<number, string> => {
  return Math.random() > 0.5
    ? { type: 'Success', value: 10 }
    : { type: 'Failure', error: 'Oops' };
};
@categoryCore  TypesResult<number, string>;
type 
type SuccessValue = numberSuccessValue = 
import ResultResult.
type InferSuccess<T> = [T] extends [(...args: any[]) => Result.ResultMaybeAsync<infer U, any>] ? U : [T] extends [Result.ResultMaybeAsync<infer U, any>] ? U : never
Infers the
Success
value type T from a Result or a function returning a Result.
@typeParamT  - A ResultMaybeAsync type or a function returning it.@example
From  a result object
import { Result } from '@praha/byethrow';

type R = Result.Result<number, string>;
type SuccessValue = Result.InferSuccess<R>; // number
@example
From  a function
import { Result } from '@praha/byethrow';

const fn = () => Promise.resolve({ type: 'Success', value: 123 } as const);
type SuccessValue = Result.InferSuccess<typeof fn>; // number
@categoryInfer  TypesInferSuccess<
type R = Result.Success<number> | Result.Failure<string>R>; // number

import { 
import ResultResult } from '@praha/byethrow';

const 
const fn: () => Promise<{
    readonly type: "Success";
    readonly value: 123;
}>
fn = () => 
var Promise: PromiseConstructor
Represents the completion of an asynchronous operationPromise.
PromiseConstructor.resolve<{
    readonly type: "Success";
    readonly value: 123;
}>(value: {
    readonly type: "Success";
    readonly value: 123;
}): Promise<{
    readonly type: "Success";
    readonly value: 123;
}> (+2 overloads)
Creates a new resolved promise for the provided value.
@paramvalue  A promise.@returnsA  promise whose internal state matches the provided promise.resolve({ 
type: "Success"type: 'Success', 
value: 123value: 123 } as 
type const = {
    readonly type: "Success";
    readonly value: 123;
}
const);
type 
type SuccessValue = 123SuccessValue = 
import ResultResult.
type InferSuccess<T> = [T] extends [(...args: any[]) => Result.ResultMaybeAsync<infer U, any>] ? U : [T] extends [Result.ResultMaybeAsync<infer U, any>] ? U : never
Infers the
Success
value type T from a Result or a function returning a Result.
@typeParamT  - A ResultMaybeAsync type or a function returning it.@example
From  a result object
import { Result } from '@praha/byethrow';

type R = Result.Result<number, string>;
type SuccessValue = Result.InferSuccess<R>; // number
@example
From  a function
import { Result } from '@praha/byethrow';

const fn = () => Promise.resolve({ type: 'Success', value: 123 } as const);
type SuccessValue = Result.InferSuccess<typeof fn>; // number
@categoryInfer  TypesInferSuccess<typeof 
const fn: () => Promise<{
    readonly type: "Success";
    readonly value: 123;
}>
fn>; // number