avail/avail.descriptor.types/InstanceMetaDescriptor/Companion

Companion

object Companion

Functions

Link copied to clipboard
fun anyMeta(): A_Type

Answer any's type, a metatype.

Link copied to clipboard
@JvmStatic
fun instanceMeta(instance: A_Type): A_Type

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

Link copied to clipboard
@JvmStatic
fun instanceOfMeta(meta: A_Type): A_Type

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

Link copied to clipboard
fun topMeta(): A_Type

Answer ⊤'s type, the most general metatype.