arrow.generic.coproduct16.Coproduct16.kt Maven / Gradle / Ivy
package arrow.generic.coproduct16
import arrow.core.Option
import arrow.core.toOption
import kotlin.Suppress
import kotlin.Unit
/**
* Represents a sealed hierarchy of 16 types where only one of the types is actually present.
*/
sealed class Coproduct16
/**
* Represents the first type of a Coproduct16
*/
data class First(val a: A) : Coproduct16()
/**
* Represents the second type of a Coproduct16
*/
data class Second(val b: B) : Coproduct16()
/**
* Represents the third type of a Coproduct16
*/
data class Third(val c: C) : Coproduct16()
/**
* Represents the fourth type of a Coproduct16
*/
data class Fourth(val d: D) : Coproduct16()
/**
* Represents the fifth type of a Coproduct16
*/
data class Fifth(val e: E) : Coproduct16()
/**
* Represents the sixth type of a Coproduct16
*/
data class Sixth(val f: F) : Coproduct16()
/**
* Represents the seventh type of a Coproduct16
*/
data class Seventh(val g: G) : Coproduct16()
/**
* Represents the eighth type of a Coproduct16
*/
data class Eighth(val h: H) : Coproduct16()
/**
* Represents the ninth type of a Coproduct16
*/
data class Ninth(val i: I) : Coproduct16()
/**
* Represents the tenth type of a Coproduct16
*/
data class Tenth(val j: J) : Coproduct16()
/**
* Represents the eleventh type of a Coproduct16
*/
data class Eleventh(val k: K) : Coproduct16()
/**
* Represents the twelfth type of a Coproduct16
*/
data class Twelfth(val l: L) : Coproduct16()
/**
* Represents the thirteenth type of a Coproduct16
*/
data class Thirteenth(val m: M) : Coproduct16()
/**
* Represents the fourteenth type of a Coproduct16
*/
data class Fourteenth(val n: N) : Coproduct16()
/**
* Represents the fifteenth type of a Coproduct16
*/
data class Fifteenth(val o: O) : Coproduct16()
/**
* Represents the sixteenth type of a Coproduct16
*/
data class Sixteenth(val p: P) : Coproduct16()
/**
* Creates a Coproduct from the A type
*
* @return A Coproduct16 where the receiver is the A
*/
fun A.first(): Coproduct16 = First(this)
/**
* Creates a Coproduct from the B type
*
* @return A Coproduct16 where the receiver is the B
*/
fun B.second(): Coproduct16 = Second(this)
/**
* Creates a Coproduct from the C type
*
* @return A Coproduct16 where the receiver is the C
*/
fun C.third(): Coproduct16 = Third(this)
/**
* Creates a Coproduct from the D type
*
* @return A Coproduct16 where the receiver is the D
*/
fun D.fourth(): Coproduct16 = Fourth(this)
/**
* Creates a Coproduct from the E type
*
* @return A Coproduct16 where the receiver is the E
*/
fun E.fifth(): Coproduct16 = Fifth(this)
/**
* Creates a Coproduct from the F type
*
* @return A Coproduct16 where the receiver is the F
*/
fun F.sixth(): Coproduct16 = Sixth(this)
/**
* Creates a Coproduct from the G type
*
* @return A Coproduct16 where the receiver is the G
*/
fun G.seventh(): Coproduct16 = Seventh(this)
/**
* Creates a Coproduct from the H type
*
* @return A Coproduct16 where the receiver is the H
*/
fun H.eighth(): Coproduct16 = Eighth(this)
/**
* Creates a Coproduct from the I type
*
* @return A Coproduct16 where the receiver is the I
*/
fun I.ninth(): Coproduct16 = Ninth(this)
/**
* Creates a Coproduct from the J type
*
* @return A Coproduct16 where the receiver is the J
*/
fun J.tenth(): Coproduct16 = Tenth(this)
/**
* Creates a Coproduct from the K type
*
* @return A Coproduct16 where the receiver is the K
*/
fun K.eleventh(): Coproduct16 = Eleventh(this)
/**
* Creates a Coproduct from the L type
*
* @return A Coproduct16 where the receiver is the L
*/
fun L.twelfth(): Coproduct16 = Twelfth(this)
/**
* Creates a Coproduct from the M type
*
* @return A Coproduct16 where the receiver is the M
*/
fun M.thirteenth(): Coproduct16 = Thirteenth(this)
/**
* Creates a Coproduct from the N type
*
* @return A Coproduct16 where the receiver is the N
*/
fun N.fourteenth(): Coproduct16 = Fourteenth(this)
/**
* Creates a Coproduct from the O type
*
* @return A Coproduct16 where the receiver is the O
*/
fun O.fifteenth(): Coproduct16 = Fifteenth(this)
/**
* Creates a Coproduct from the P type
*
* @return A Coproduct16 where the receiver is the P
*/
fun P.sixteenth(): Coproduct16 = Sixteenth(this)
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
fun Coproduct16.select(): Option = (this as?
First)?.a.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, B, *, *, *, *, *, *, *, *, *, *, *, *, *, *>.select(dummy0: Unit = Unit):
Option = (this as? Second)?.b.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, C, *, *, *, *, *, *, *, *, *, *, *, *, *>.select(dummy0: Unit = Unit,
dummy1: Unit = Unit): Option = (this as? Third)?.c.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, *, D, *, *, *, *, *, *, *, *, *, *, *, *>.select(
dummy0: Unit = Unit,
dummy1: Unit = Unit,
dummy2: Unit = Unit
): Option = (this as? Fourth)?.d.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, *, *, E, *, *, *, *, *, *, *, *, *, *, *>.select(
dummy0: Unit = Unit,
dummy1: Unit = Unit,
dummy2: Unit = Unit,
dummy3: Unit = Unit
): Option = (this as? Fifth)?.e.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, *, *, *, F, *, *, *, *, *, *, *, *, *, *>.select(
dummy0: Unit = Unit,
dummy1: Unit = Unit,
dummy2: Unit = Unit,
dummy3: Unit = Unit,
dummy4: Unit = Unit
): Option = (this as? Sixth)?.f.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, *, *, *, *, G, *, *, *, *, *, *, *, *, *>.select(
dummy0: Unit = Unit,
dummy1: Unit = Unit,
dummy2: Unit = Unit,
dummy3: Unit = Unit,
dummy4: Unit = Unit,
dummy5: Unit = Unit
): Option = (this as? Seventh)?.g.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, *, *, *, *, *, H, *, *, *, *, *, *, *, *>.select(
dummy0: Unit = Unit,
dummy1: Unit = Unit,
dummy2: Unit = Unit,
dummy3: Unit = Unit,
dummy4: Unit = Unit,
dummy5: Unit = Unit,
dummy6: Unit = Unit
): Option = (this as? Eighth)?.h.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, *, *, *, *, *, *, I, *, *, *, *, *, *, *>.select(
dummy0: Unit = Unit,
dummy1: Unit = Unit,
dummy2: Unit = Unit,
dummy3: Unit = Unit,
dummy4: Unit = Unit,
dummy5: Unit = Unit,
dummy6: Unit = Unit,
dummy7: Unit = Unit
): Option = (this as? Ninth)?.i.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, *, *, *, *, *, *, *, J, *, *, *, *, *, *>.select(
dummy0: Unit = Unit,
dummy1: Unit = Unit,
dummy2: Unit = Unit,
dummy3: Unit = Unit,
dummy4: Unit = Unit,
dummy5: Unit = Unit,
dummy6: Unit = Unit,
dummy7: Unit = Unit,
dummy8: Unit = Unit
): Option = (this as? Tenth)?.j.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, *, *, *, *, *, *, *, *, K, *, *, *, *, *>.select(
dummy0: Unit = Unit,
dummy1: Unit = Unit,
dummy2: Unit = Unit,
dummy3: Unit = Unit,
dummy4: Unit = Unit,
dummy5: Unit = Unit,
dummy6: Unit = Unit,
dummy7: Unit = Unit,
dummy8: Unit = Unit,
dummy9: Unit = Unit
): Option = (this as? Eleventh)?.k.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, *, *, *, *, *, *, *, *, *, L, *, *, *, *>.select(
dummy0: Unit = Unit,
dummy1: Unit = Unit,
dummy2: Unit = Unit,
dummy3: Unit = Unit,
dummy4: Unit = Unit,
dummy5: Unit = Unit,
dummy6: Unit = Unit,
dummy7: Unit = Unit,
dummy8: Unit = Unit,
dummy9: Unit = Unit,
dummy10: Unit = Unit
): Option = (this as? Twelfth)?.l.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, *, *, *, *, *, *, *, *, *, *, M, *, *, *>.select(
dummy0: Unit = Unit,
dummy1: Unit = Unit,
dummy2: Unit = Unit,
dummy3: Unit = Unit,
dummy4: Unit = Unit,
dummy5: Unit = Unit,
dummy6: Unit = Unit,
dummy7: Unit = Unit,
dummy8: Unit = Unit,
dummy9: Unit = Unit,
dummy10: Unit = Unit,
dummy11: Unit = Unit
): Option = (this as? Thirteenth)?.m.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, *, *, *, *, *, *, *, *, *, *, *, N, *, *>.select(
dummy0: Unit = Unit,
dummy1: Unit = Unit,
dummy2: Unit = Unit,
dummy3: Unit = Unit,
dummy4: Unit = Unit,
dummy5: Unit = Unit,
dummy6: Unit = Unit,
dummy7: Unit = Unit,
dummy8: Unit = Unit,
dummy9: Unit = Unit,
dummy10: Unit = Unit,
dummy11: Unit = Unit,
dummy12: Unit = Unit
): Option = (this as? Fourteenth)?.n.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, *, *, *, *, *, *, *, *, *, *, *, *, O, *>.select(
dummy0: Unit = Unit,
dummy1: Unit = Unit,
dummy2: Unit = Unit,
dummy3: Unit = Unit,
dummy4: Unit = Unit,
dummy5: Unit = Unit,
dummy6: Unit = Unit,
dummy7: Unit = Unit,
dummy8: Unit = Unit,
dummy9: Unit = Unit,
dummy10: Unit = Unit,
dummy11: Unit = Unit,
dummy12: Unit = Unit,
dummy13: Unit = Unit
): Option = (this as? Fifteenth)?.o.toOption()
/**
* Transforms the Coproduct into an Option based on the actual value of the Coproduct
*
* @return None if the Coproduct was not the specified type, Some if it was the specified type
*/
@Suppress("UNUSED_PARAMETER")
fun Coproduct16<*, *, *, *, *, *, *, *, *, *, *, *, *, *, *, P>.select(
dummy0: Unit = Unit,
dummy1: Unit = Unit,
dummy2: Unit = Unit,
dummy3: Unit = Unit,
dummy4: Unit = Unit,
dummy5: Unit = Unit,
dummy6: Unit = Unit,
dummy7: Unit = Unit,
dummy8: Unit = Unit,
dummy9: Unit = Unit,
dummy10: Unit = Unit,
dummy11: Unit = Unit,
dummy12: Unit = Unit,
dummy13: Unit = Unit,
dummy14: Unit = Unit
): Option
= (this as? Sixteenth)?.p.toOption()
/**
* Runs the function related to the actual value of the Coproduct and returns the result
*
* @param a The function used to map A to the RESULT type
* @param b The function used to map B to the RESULT type
* @param c The function used to map C to the RESULT type
* @param d The function used to map D to the RESULT type
* @param e The function used to map E to the RESULT type
* @param f The function used to map F to the RESULT type
* @param g The function used to map G to the RESULT type
* @param h The function used to map H to the RESULT type
* @param i The function used to map I to the RESULT type
* @param j The function used to map J to the RESULT type
* @param k The function used to map K to the RESULT type
* @param l The function used to map L to the RESULT type
* @param m The function used to map M to the RESULT type
* @param n The function used to map N to the RESULT type
* @param o The function used to map O to the RESULT type
* @param p The function used to map P to the RESULT type
*
* @return RESULT generated by one of the input functions
*/
fun Coproduct16.fold(
a: (A) -> RESULT,
b: (B) -> RESULT,
c: (C) -> RESULT,
d: (D) -> RESULT,
e: (E) -> RESULT,
f: (F) -> RESULT,
g: (G) -> RESULT,
h: (H) -> RESULT,
i: (I) -> RESULT,
j: (J) -> RESULT,
k: (K) -> RESULT,
l: (L) -> RESULT,
m: (M) -> RESULT,
n: (N) -> RESULT,
o: (O) -> RESULT,
p: (P) -> RESULT
): RESULT = when (this) {
is First -> a(this.a)
is Second -> b(this.b)
is Third -> c(this.c)
is Fourth -> d(this.d)
is Fifth -> e(this.e)
is Sixth -> f(this.f)
is Seventh -> g(this.g)
is Eighth -> h(this.h)
is Ninth -> i(this.i)
is Tenth -> j(this.j)
is Eleventh -> k(this.k)
is Twelfth -> l(this.l)
is Thirteenth -> m(this.m)
is Fourteenth -> n(this.n)
is Fifteenth -> o(this.o)
is Sixteenth -> p(this.p)
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy