utils/it.unibo.tuprolog.utils/Optional/None

None

object None : Optional<Nothing>

Functions

open override fun filter(predicate: (Nothing) -> Boolean): Optional.None

open override fun <R> map(function: (Nothing) -> R): Optional.None

open override fun toSequence(): Sequence<Nothing>

open override fun toString(): String

Properties

val isAbsent: Boolean

open override val isPresent: Boolean

open override val value: Nothing?