utils
/
it.unibo.tuprolog.utils
/
Optional
/
Some
common
Some
data class
Some
<
T
>(value:
T
) :
Optional
<
T
>
Content copied to clipboard
Functions
Properties
Functions
filter
Link copied to clipboard
common
open override fun
filter
(predicate: (
T
) ->
Boolean
):
Optional
<out
T
>
Content copied to clipboard
map
Link copied to clipboard
common
open override fun <
R
>
map
(function: (
T
) ->
R
):
Optional.Some
<
R
>
Content copied to clipboard
toSequence
Link copied to clipboard
common
open override fun
toSequence
():
Sequence
<
T
>
Content copied to clipboard
toString
Link copied to clipboard
common
open override fun
toString
():
String
Content copied to clipboard
Properties
isAbsent
Link copied to clipboard
common
val
isAbsent
:
Boolean
Content copied to clipboard
isPresent
Link copied to clipboard
common
open override val
isPresent
:
Boolean
Content copied to clipboard
value
Link copied to clipboard
common
open override val
value
:
T
Content copied to clipboard