utils/it.unibo.tuprolog.utils/Optional/Some

Some

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

Constructors

fun <T> Some(value: T)

Functions

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

open override fun <R> map(function: (T) -> R): Optional.Some<R>

open override fun toSequence(): Sequence<T>

open override fun toString(): String

Properties

val isAbsent: Boolean

open override val isPresent: Boolean

open override val value: T