effect-io-ai

Package: effect
Module: Types

Types.ExcludeReason

Excludes a specific reason variant by its _tag from an error’s reason field.

When to use

Use when you need the remaining nested reason union type after removing variants handled by _tag, rather than the enclosing error type.

Details

Returns never if E has no reason field.

Example (Excluding a reason variant)

import type { Types } from "effect"

type RateLimitError = { readonly _tag: "RateLimitError"; readonly retryAfter: number }
type QuotaError = { readonly _tag: "QuotaError"; readonly limit: number }
type ApiError = { readonly _tag: "ApiError"; readonly reason: RateLimitError | QuotaError }

type Result = Types.ExcludeReason<ApiError, "RateLimitError">
// { readonly _tag: "QuotaError"; readonly limit: number }

See

• ExtractReason
• ReasonOf
• ReasonTags

Signature

type ExcludeReason<E, K> = E extends { readonly reason: infer R }
  ? Exclude<R, { readonly _tag: K }>
  : never

Source

Since v4.0.0