Package com.github.tonivade.purefun.typeclasses

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

java.lang.Object

com.github.tonivade.purefun.typeclasses.AbstractApply<F,D>

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

public final class Apply4<F extends Kind<F,?>,A,B,C,D>
extends AbstractApply<F,D>

Field Summary

Fields

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

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

applicative, value

Constructor Summary

Constructors

Constructor	Description
Apply4(Applicative<F> applicative, Producer<? extends Kind<F,? extends A>> value1, Producer<? extends Kind<F,? extends B>> value2, Producer<? extends Kind<F,? extends C>> value3, Producer<? extends Kind<F,? extends D>> value4)

Method Summary

Modifier and Type	Method	Description
<E> Apply5<F,A,B,C,D,E>	and(E next)
<E> Apply5<F,A,B,C,D,E>	andThen(Producer<? extends Kind<F,E>> producer)
<R> Kind<F,R>	apply(Function4<? super A,? super B,? super C,? super D,? extends R> combine)
Kind<F,D>	run()
<E> Apply5<F,A,B,C,D,E>	then(Kind<F,E> next)
Kind<F,Tuple4<A,B,C,D>>	tuple()

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

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 Producer<? extends Kind<F extends Kind<F,?>,? extends B>> value2

value3

private final Producer<? extends Kind<F extends Kind<F,?>,? extends C>> value3

Constructor Details

Apply4

Apply4(Applicative<F> applicative,
 Producer<? extends Kind<F,? extends A>> value1,
 Producer<? extends Kind<F,? extends B>> value2,
 Producer<? extends Kind<F,? extends C>> value3,
 Producer<? 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<? super A,? super B,? super C,? super D,? extends R> combine)

and

public <E> Apply5<F,A,B,C,D,E> and(E next)

then

public <E> Apply5<F,A,B,C,D,E> then(Kind<F,E> next)

andThen

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

run

public Kind<F,D> run()

Specified by:

run in class AbstractApply<F extends Kind<F,?>,D>