core/dev.akif.tapik/OneOf9

OneOf9

sealed interface OneOf9<out T1, out T2, out T3, out T4, out T5, out T6, out T7, out T8, out T9> : OneOf(source)

Nine-way discriminated union.

Inheritors

Types

Option1

@JvmInline

value class Option1<T>(val value: T) : OneOf9<T, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing>

Represents the first alternative of the union. @property value payload chosen for the first branch.

Option2

@JvmInline

value class Option2<T>(val value: T) : OneOf9<Nothing, T, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing>

Represents the second alternative of the union. @property value payload chosen for the second branch.

Option3

@JvmInline

value class Option3<T>(val value: T) : OneOf9<Nothing, Nothing, T, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing>

Represents the third alternative of the union. @property value payload chosen for the third branch.

Option4

@JvmInline

value class Option4<T>(val value: T) : OneOf9<Nothing, Nothing, Nothing, T, Nothing, Nothing, Nothing, Nothing, Nothing>

Represents the fourth alternative of the union. @property value payload chosen for the fourth branch.

Option5

@JvmInline

value class Option5<T>(val value: T) : OneOf9<Nothing, Nothing, Nothing, Nothing, T, Nothing, Nothing, Nothing, Nothing>

Represents the fifth alternative of the union. @property value payload chosen for the fifth branch.

Option6

@JvmInline

value class Option6<T>(val value: T) : OneOf9<Nothing, Nothing, Nothing, Nothing, Nothing, T, Nothing, Nothing, Nothing>

Represents the sixth alternative of the union. @property value payload chosen for the sixth branch.

Option7

@JvmInline

value class Option7<T>(val value: T) : OneOf9<Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, T, Nothing, Nothing>

Represents the seventh alternative of the union. @property value payload chosen for the seventh branch.

Option8

@JvmInline

value class Option8<T>(val value: T) : OneOf9<Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, T, Nothing>

Represents the eighth alternative of the union. @property value payload chosen for the eighth branch.

Option9

@JvmInline

value class Option9<T>(val value: T) : OneOf9<Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, Nothing, T>

Represents the ninth alternative of the union. @property value payload chosen for the ninth branch.

Functions

select

open fun <R> select(when1: (T1) -> R, when2: (T2) -> R, when3: (T3) -> R, when4: (T4) -> R, when5: (T5) -> R, when6: (T6) -> R, when7: (T7) -> R, when8: (T8) -> R, when9: (T9) -> R): R

Exhaustively handles the stored value by delegating to the matching lambda.