Package com.github.tonivade.purefun.typeclasses

Class Apply2<F extends Kind<F,?>,A,B>

java.lang.Object

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

com.github.tonivade.purefun.typeclasses.Apply2<F,A,B>

public final class Apply2<F extends Kind<F,?>,A,B>
extends AbstractApply<F,B>

Field Summary

Fields

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

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

applicative, value

Constructor Summary

Constructors

Constructor	Description
Apply2(Applicative<F> applicative, Producer<? extends Kind<F,? extends A>> value1, Producer<? extends Kind<F,? extends B>> value2)

Method Summary

Modifier and Type	Method	Description
<C> Apply3<F,A,B,C>	and(C next)
<C> Apply3<F,A,B,C>	andThen(Producer<? extends Kind<F,? extends C>> producer)
<R> Kind<F,R>	apply(Function2<? super A,? super B,? extends R> combinator)
Kind<F,B>	run()
<C> Apply3<F,A,B,C>	then(Kind<F,? extends C> next)
Kind<F,Tuple2<A,B>>	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

Constructor Details

Apply2

Apply2(Applicative<F> applicative,
 Producer<? extends Kind<F,? extends A>> value1,
 Producer<? extends Kind<F,? extends B>> value2)

Method Details

tuple

public Kind<F,Tuple2<A,B>> tuple()

apply

public <R> Kind<F,R> apply(Function2<? super A,? super B,? extends R> combinator)

and

public <C> Apply3<F,A,B,C> and(C next)

then

public <C> Apply3<F,A,B,C> then(Kind<F,? extends C> next)

andThen

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

run

public Kind<F,B> run()

Specified by:

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