kone.relations/dev.lounres.kone.relations/Reification

Reification

interface Reification<out Element> : KoneContext(source)

Describes a context that checks if the element lays in specific domain. It is usually used in pair with contexts like Equality, Order, or Hashing to check that the element lays in the second context's domain.

For example, it is needed for covariant sets/maps. Without it, methods like KoneSet.contains cannot be covariant.

Types

Key

class Key<Element>(elementType: SuppliedType<Element>) : RegistryKey<Reification<Element>>

Registry key for Reification interface in KoneContextRegistry.

Functions

contains

abstract operator fun contains(element: Any?): Boolean

Checks if the element lays in described by this instance domain.

reify

abstract fun reify(element: Any?): Element

Checks if the element lays in described by this instance domain, and if the element does lay in the domain, returns it, otherwise throws ReificationException.

reifyMaybe

abstract fun reifyMaybe(element: Any?): Maybe<Element>

Checks if the element lays in described by this instance domain, and if the element does lay in the domain, returns Some of it, otherwise returns None.

reifyOrNull

abstract fun reifyOrNull(element: Any?): Element?

Checks if the element lays in described by this instance domain, and if the element does lay in the domain, returns it, otherwise returns null.