avail/avail.descriptor.types/CovariantParameterization

CovariantParameterization

class CovariantParameterization

A dimension along which a phrase type can be covariantly specialized.

Parameters

name

The name of the covariant specialization.

mostGeneralType

The the type that any specific phrase type's covariant specialization type is constrained to.

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
var index: Int

The one-based index of this parameterization within

Link copied to clipboard
val mostGeneralType: A_Type

The most general type this parameterization can have. If a phrase type has this type for this parameterization, the parameterization won't be shown at all in the print representation of the type.

Link copied to clipboard
val name: String

The name to print when describing this parameterization of some phrase type.