avail/avail.descriptor.types/VariableTypeDescriptor/Companion

Companion

object Companion

Properties

mostGeneralVariableMeta

val mostGeneralVariableMeta: A_Type

The (instance) type of the most general variable metatype.

mostGeneralVariableType

val mostGeneralVariableType: A_Type

The most general variable type.

Functions

variableReadWriteType

fun variableReadWriteType(readType: A_Type, writeType: A_Type): A_Type

Create a variable type based on the given read and write types.

variableTypeFor

fun variableTypeFor(innerType: A_Type): A_Type

Create a variable type based on the given content type.