avail/avail.descriptor.types/MapTypeDescriptor/Companion

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
fun mapMeta(): A_Type
Content copied to clipboard

Answer the metatype for all map types.

Link copied to clipboard
fun mapTypeForSizesKeyTypeValueType(    sizeRange: A_Type,     keyType: A_Type,     valueType: A_Type): A_Type
Content copied to clipboard

Construct a new map type with the specified permitted range of number of * elements, the specified types of keys, and the specified types of values. Canonicalize the values for singularities: such as the size range being zero (in which case the key type and value type are reduced to bottom).

Link copied to clipboard
fun mostGeneralMapType(): A_Type
Content copied to clipboard

Answer the most general map type.