avail/avail.descriptor.types/InstanceMetaDescriptor/Companion

Companion

object Companion

Functions

fun anyMeta(): A_Type

Answer any's type, a metatype.

fun instanceMeta(instance: A_Type): A_Type

Answer a new instance of this descriptor based on some object whose type it will represent.

fun instanceOfMeta(meta: A_Type): A_Type

Extract a meta's instance, which is itself a type.

fun topMeta(): A_Type

Answer ⊤'s type, the most general metatype.

Properties

instanceMetaMethod

val instanceMetaMethod: CheckedMethod

The CheckedMethod for instanceMeta.

instanceOfMetaMethod

val instanceOfMetaMethod: CheckedMethod

The CheckedMethod for instanceOfMeta.