utils
/
it.unibo.tuprolog.utils
/
Optional
/
None
common
None
object
None
:
Optional
<
Nothing
>
Content copied to clipboard
Functions
Properties
Functions
filter
Link copied to clipboard
common
open override fun
filter
(predicate: (
Nothing
) ->
Boolean
):
Optional.None
Content copied to clipboard
map
Link copied to clipboard
common
open override fun <
R
>
map
(function: (
Nothing
) ->
R
):
Optional.None
Content copied to clipboard
toSequence
Link copied to clipboard
common
open override fun
toSequence
():
Sequence
<
Nothing
>
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
:
Nothing
?
Content copied to clipboard