effect-io-ai

Package: effect
Module: Types

Types.Covariant.Type

Extracts the type parameter A from a Covariant<A>.

When to use

Use to recover the carried type from a covariant phantom marker.

Example (Extracting the inner type)

import type { Types } from "effect"

type Inner = Types.Covariant.Type<Types.Covariant<string>>
// string

See

• Covariant

Signature

type Type<A> = A extends Covariant<infer U> ? U : never

Source

Since v3.9.0