effect-io-ai

Package: effect
Module: Types

Types.Has

Determines if a record contains any of the given keys.

Example

import type { Types } from "effect"

type Res1 = Types.Has<{ a: number }, "a" | "b"> // true
type Res2 = Types.Has<{ c: number }, "a" | "b"> // false

Signature

type Has<A, Key> = (Key extends infer K ? K extends keyof A ? true : never : never) extends never
  ? false
  : true

Source

Since v2.0.0