effect-io-ai

Package: effect
Module: Option

Option.OptionUnify

Type-level unification support for Option values.

When to use

Use when extending Effect’s type-level unification support for Option.

Details

This is used by Effect’s Unify machinery to preserve the contained value type when generic code returns or combines Option values. Users normally do not need to reference this interface directly.

Signature

export interface OptionUnify<A extends { [Unify.typeSymbol]?: any }> {
  Option?: () => A[Unify.typeSymbol] extends Option<infer A0> | infer _ ? Option<A0> : never
}

Source

Since v2.0.0