Type alias Exists<F>

Exists<F>: F & {
    [existsNominal]: never;
}

Exists<Hkt> represents an existential quantified type. The detail of stored value is hidden and can be extracted only using runExists.

Type Parameters

  • F

Type declaration

  • [existsNominal]: never

Settings

Member Visibility

Theme

Generated using TypeDoc