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

Companion

object Companion

Companion object for Reification interface providing factory methods for creating Reification instances.

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.