effect-io-ai

Package: effect
Module: Equivalence

Equivalence.EquivalenceTypeLambda

Type lambda for Equivalence, used for higher-kinded type operations.

When to use

Use when you need to abstract over Equivalence in higher-kinded type code.

Details

• Enables Equivalence to work with the Effect type system’s HKT infrastructure
• Used internally for type-level computations and generic abstractions

Example (Type-level usage)

import type { Equivalence, HKT } from "effect"

// Used internally for type-level computations
type NumberEquivalence = HKT.Kind<
  Equivalence.EquivalenceTypeLambda,
  never,
  never,
  never,
  number
>
// Equivalent to: Equivalence.Equivalence<number>

See

• Equivalence
• TypeLambda

Signature

export interface EquivalenceTypeLambda extends TypeLambda {
  readonly type: Equivalence<this["Target"]>
}

Source

Since v2.0.0