utils
/
it.unibo.tuprolog.utils
/
Optional
common
Optional
sealed class
Optional
<
T
>
Content copied to clipboard
Types
Functions
Properties
Inheritors
Types
Companion
Link copied to clipboard
common
object
Companion
Content copied to clipboard
None
Link copied to clipboard
common
object
None
:
Optional
<
Nothing
>
Content copied to clipboard
Some
Link copied to clipboard
common
data class
Some
<
T
>(value:
T
) :
Optional
<
T
>
Content copied to clipboard
Functions
filter
Link copied to clipboard
common
abstract fun
filter
(predicate: (
T
) ->
Boolean
):
Optional
<out
T
>
Content copied to clipboard
map
Link copied to clipboard
common
abstract fun <
R
>
map
(function: (
T
) ->
R
):
Optional
<out
R
>
Content copied to clipboard
toSequence
Link copied to clipboard
common
abstract fun
toSequence
():
Sequence
<
T
>
Content copied to clipboard
toString
Link copied to clipboard
common
abstract 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
abstract val
isPresent
:
Boolean
Content copied to clipboard
value
Link copied to clipboard
common
abstract val
value
:
T
?
Content copied to clipboard
Inheritors
Optional
Link copied to clipboard
Optional
Link copied to clipboard