Preventing TypeScript Inference Issues with Either Unification

How can I prevent this typescript inference where Eithers do not unify?

const extractTodoList: (message: string) => Effect.Effect<Either.Either<never, TooShortTodoList> | Either.Either<TodoList, never>, AiError | NoSuchElementException, never>

const extractTodoList: (message: string) => Effect.Effect<Either.Either<never, TooShortTodoList> | Either.Either<TodoList, never>, AiError | NoSuchElementException, never>

What I obviously want:

const extractTodoList: (message: string) => Effect.Effect<Either.Either<TodoList, TooShortTodoList>, AiError | NoSuchElementException, never>

const extractTodoList: (message: string) => Effect.Effect<Either.Either<TodoList, TooShortTodoList>, AiError | NoSuchElementException, never>

Effect Community•15mo ago

danielo515

Preventing TypeScript Inference Issues with Either Unification

How can I prevent this typescript inference where Eithers do not unify?

const extractTodoList: (message: string) => Effect.Effect<Either.Either<never, TooShortTodoList> | Either.Either<TodoList, never>, AiError | NoSuchElementException, never>

const extractTodoList: (message: string) => Effect.Effect<Either.Either<never, TooShortTodoList> | Either.Either<TodoList, never>, AiError | NoSuchElementException, never>

What I obviously want:

const extractTodoList: (message: string) => Effect.Effect<Either.Either<TodoList, TooShortTodoList>, AiError | NoSuchElementException, never>

const extractTodoList: (message: string) => Effect.Effect<Either.Either<TodoList, TooShortTodoList>, AiError | NoSuchElementException, never>

Preventing TypeScript Inference Issues with Either Unification

Similar Threads

Preventing TypeScript Inference Issues with Either Unification

Similar Threads

Similar Threads

Similar Threads