11 replies

Forcing `Effect.filterOrFail` or TypeScript to track refinement

Is there any way to force

Effect.filterOrFail

Effect.filterOrFail

Effect.filterOrFail

Effect.filterOrFail, or TS, to keep track of the refinement?

Effect.filterOrFail(
    Effect.succeed(Array.fromIterable([1, 2])),
    Array.isNonEmptyReadonlyArray,
    () => new MyCustomError(),
)

Effect.filterOrFail(
    Effect.succeed(Array.fromIterable([1, 2])),
    Array.isNonEmptyReadonlyArray,
    () => new MyCustomError(),
)

Effect.filterOrFail(
    Effect.succeed(Array.fromIterable([1, 2])),
    Array.isNonEmptyReadonlyArray,
    () => new MyCustomError(),
)

Effect.filterOrFail(
    Effect.succeed(Array.fromIterable([1, 2])),
    Array.isNonEmptyReadonlyArray,
    () => new MyCustomError(),
)

This is still inferred as

number[]

number[]

number[]

number[] instead of

NonEmptyReadonlyArray<number>

NonEmptyReadonlyArray<number>

NonEmptyReadonlyArray<number>

NonEmptyReadonlyArray<number>