Package com.github.tonivade.purefun.typeclasses

Class FlatMap4<F extends Kind<F,?>,A,B,C,D>

java.lang.Object

com.github.tonivade.purefun.typeclasses.AbstractFlatMap<F,C,D>

com.github.tonivade.purefun.typeclasses.FlatMap4<F,A,B,C,D>

public final class FlatMap4<F extends Kind<F,?>,A,B,C,D>
extends AbstractFlatMap<F,C,D>

Field Summary

Fields

Modifier and Type	Field	Description
private final Producer<? extends Kind<F,? extends A>>	value1
private final Function1<? super A,? extends Kind<F,? extends B>>	value2
private final Function1<? super B,? extends Kind<F,? extends C>>	value3

Fields inherited from class com.github.tonivade.purefun.typeclasses.AbstractFlatMap

monad, value

Constructor Summary

Constructors

Constructor	Description
FlatMap4(Monad<F> monad, Producer<? extends Kind<F,? extends A>> value1, Function1<? super A,? extends Kind<F,? extends B>> value2, Function1<? super B,? extends Kind<F,? extends C>> value3, Function1<? super C,? extends Kind<F,? extends D>> value4)

Method Summary

Modifier and Type	Method	Description
<R> FlatMap5<F,A,B,C,D,R>	and(R next)
<R> FlatMap5<F,A,B,C,D,R>	andThen(Producer<? extends Kind<F,R>> producer)
<R> Kind<F,R>	apply(Function4<A,B,C,D,R> combine)
<R> FlatMap5<F,A,B,C,D,R>	flatMap(Function1<D,? extends Kind<F,R>> mapper)
<R> FlatMap5<F,A,B,C,D,R>	map(Function1<D,R> mapper)
Kind<F,D>	run()
<R> FlatMap5<F,A,B,C,D,R>	then(Kind<F,R> next)
Kind<F,Tuple4<A,B,C,D>>	tuple()

Methods inherited from class com.github.tonivade.purefun.typeclasses.AbstractFlatMap

end, fix, returns

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

value1

private final Producer<? extends Kind<F extends Kind<F,?>,? extends A>> value1

value2

private final Function1<? super A,? extends Kind<F extends Kind<F,?>,? extends B>> value2

value3

private final Function1<? super B,? extends Kind<F extends Kind<F,?>,? extends C>> value3

Constructor Details

FlatMap4

FlatMap4(Monad<F> monad,
 Producer<? extends Kind<F,? extends A>> value1,
 Function1<? super A,? extends Kind<F,? extends B>> value2,
 Function1<? super B,? extends Kind<F,? extends C>> value3,
 Function1<? super C,? extends Kind<F,? extends D>> value4)

Method Details

tuple

public Kind<F,Tuple4<A,B,C,D>> tuple()

apply

public <R> Kind<F,R> apply(Function4<A,B,C,D,R> combine)

map

public <R> FlatMap5<F,A,B,C,D,R> map(Function1<D,R> mapper)

and

public <R> FlatMap5<F,A,B,C,D,R> and(R next)

then

public <R> FlatMap5<F,A,B,C,D,R> then(Kind<F,R> next)

andThen

public <R> FlatMap5<F,A,B,C,D,R> andThen(Producer<? extends Kind<F,R>> producer)

flatMap

public <R> FlatMap5<F,A,B,C,D,R> flatMap(Function1<D,? extends Kind<F,R>> mapper)

run

public Kind<F,D> run()

Specified by:

run in class AbstractFlatMap<F extends Kind<F,?>,C,D>