avail/avail.descriptor.types/TypeTag/Modifier/Sup

Sup

class Sup(val value: () -> A_Type) : TypeTag.Modifier

Every TypeTag has a (potentially infinite) collection of values that use that tag. This specifies a lambda that produces the least upper bound A_Type that constrains all those values.

The lambda will be provided at most once, and only when needed.

Constructors

Sup

fun Sup(value: () -> A_Type)

Functions

applyTo

open override fun applyTo(typeTag: TypeTag)

Adjust the TypeTag to accommodate this modifier.

Properties

value

val value: () -> A_Type