utils/it.unibo.tuprolog.utils/Optional

Optional

sealed class Optional<T>

Types

object Companion

object None : Optional<Nothing>

data class Some<T>(val value: T) : Optional<T>

Functions

abstract fun filter(predicate: (T) -> Boolean): Optional<out T>

abstract fun <R> map(function: (T) -> R): Optional<out R>

abstract fun toSequence(): Sequence<T>

abstract override fun toString(): String

Properties

val isAbsent: Boolean

abstract val isPresent: Boolean

abstract val value: T?

Inheritors