Package com.github.tonivade.purefun.typeclasses

Class Apply1<F extends Kind<F,?>,A>

java.lang.Object

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

com.github.tonivade.purefun.typeclasses.Apply1<F,A>

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

Field Summary

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

applicative, value

Constructor Summary

Constructors

Constructor	Description
Apply1(Applicative<F> applicative, Producer<Kind<F,? extends A>> value)

Method Summary

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

Constructor Details

Apply1

Apply1(Applicative<F> applicative,
 Producer<Kind<F,? extends A>> value)

Method Details

tuple

public Kind<F,Tuple1<A>> tuple()

apply

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

and

public <B> Apply2<F,A,B> and(B next)

then

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

andThen

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

run

public Kind<F,A> run()

Specified by:

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