Package | Description |
---|---|
com.jnape.palatable.lambda.adt | |
com.jnape.palatable.lambda.adt.choice | |
com.jnape.palatable.lambda.adt.coproduct |
Modifier and Type | Class and Description |
---|---|
class |
These<A,B>
The coproduct of a coproduct (
) and its product ( ), represented as a . |
Modifier and Type | Class and Description |
---|---|
class |
Choice3<A,B,C>
Canonical ADT representation of
CoProduct3 . |
Modifier and Type | Method and Description |
---|---|
Choice3<A,B,C> |
Choice4.converge(Fn1<? super D,? extends CoProduct3<A,B,C,?>> convergenceFn)
Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier
possible type.
|
Modifier and Type | Interface and Description |
---|---|
interface |
CoProduct3<A,B,C,CP3 extends CoProduct3<A,B,C,?>>
A generalization of the coproduct of three types.
|
Modifier and Type | Method and Description |
---|---|
default CoProduct3<A,B,C,? extends CoProduct3<A,B,C,?>> |
CoProduct4.converge(Fn1<? super D,? extends CoProduct3<A,B,C,?>> convergenceFn)
Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier
possible type.
|
default <C> CoProduct3<A,B,C,? extends CoProduct3<A,B,C,?>> |
CoProduct2.diverge()
Diverge this coproduct by introducing another possible type that it could represent.
|
Modifier and Type | Method and Description |
---|---|
default CoProduct3<A,B,C,? extends CoProduct3<A,B,C,?>> |
CoProduct4.converge(Fn1<? super D,? extends CoProduct3<A,B,C,?>> convergenceFn)
Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier
possible type.
|
default <C> CoProduct3<A,B,C,? extends CoProduct3<A,B,C,?>> |
CoProduct2.diverge()
Diverge this coproduct by introducing another possible type that it could represent.
|
Modifier and Type | Method and Description |
---|---|
default CoProduct3<A,B,C,? extends CoProduct3<A,B,C,?>> |
CoProduct4.converge(Fn1<? super D,? extends CoProduct3<A,B,C,?>> convergenceFn)
Converge this coproduct down to a lower order coproduct by mapping the last possible type into an earlier
possible type.
|