avail/avail.descriptor.types/MapTypeDescriptor/Companion

Companion

object Companion

Functions

Link copied to clipboard
fun mapMeta(): A_Type

Answer the metatype for all map types.

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

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

Answer the most general map type.