avail/avail.descriptor.types/TypeTag/Modifier/Unique

Unique

class Unique(val value: () -> A_BasicObject) : TypeTag.Modifier

An indicator that the TypeTag has exactly one instance. A lambda to produce that instance is provided, and will be executed once, when first requested.

If the Unique value is provided, the Sup (supremum) is automatically set accordingly.

Constructors

Unique

fun Unique(value: () -> A_BasicObject)

Functions

applyTo

open override fun applyTo(typeTag: TypeTag)

Adjust the TypeTag to accommodate this modifier.

Properties

value

val value: () -> A_BasicObject