Property

A property is an atom that represents a value associated with a key, similar to a map entry.

Example implementation:

data class MyProperty(override val value: X) : Property<X> {
    companion object : Property.Key<X>

    override val key = MyProperty
}

the type of the value associated with the key

Types

interface Key<T>

A key type for a Property.

abstract val key: Property.Key<T>

The key of the property, used to identify it.

abstract val value: T

The value of the property.