Package com.github.tonivade.purefun.core

Interface Effect<F extends Effect<F,?>,A>

All Superinterfaces:

Applicable<F,A>, Bindable<F,A>, Kind<F,A>, Mappable<F,A>

All Known Subinterfaces:

IO<T>, PureIO<R,E,A>

All Known Implementing Classes:

EIO, IO.Async, IO.Delay, IO.Failure, IO.FlatMapped, IO.Pure, IO.Recover, IO.Suspend, PureIO.AccessM, PureIO.Async, PureIO.Attempt, PureIO.Delay, PureIO.Failure, PureIO.FlatMapped, PureIO.Pure, PureIO.Recover, PureIO.Suspend, PureIO.Throw, RIO, Task, UIO, URIO

public interface Effect<F extends Effect<F,?>,A>
extends Bindable<F,A>, Applicable<F,A>

Nested Class Summary

Nested classes/interfaces inherited from interface com.github.tonivade.purefun.core.Applicable

Applicable.Map2<F extends Applicable<F,?>,A,B>, Applicable.Map3<F extends Applicable<F,?>,A,B,C>, Applicable.Map4<F extends Applicable<F,?>,A,B,C,D>, Applicable.Map5<F extends Applicable<F,?>,A,B,C,D,E>

Method Summary

Modifier and Type	Method	Description
default <R> Effect<F,R>	andThen(Kind<F,? extends R> next)
<R> Effect<F,R>	ap(Kind<F,? extends Function1<? super A,? extends R>> apply)
<R> Effect<F,R>	flatMap(Function1<? super A,? extends Kind<F,? extends R>> mapper)
<R> Effect<F,R>	map(Function1<? super A,? extends R> mapper)
static <F extends Effect<F, ?>, A> Effect<F,A>	narrowK(Kind<F,? extends A> kind)
default Effect<F,A>	repeat()
Effect<F,A>	repeat(int times)
default Effect<F,A>	repeat(Duration delay)
Effect<F,A>	repeat(Duration delay, int times)
default Effect<F,A>	retry()
Effect<F,A>	retry(int maxRetries)
default Effect<F,A>	retry(Duration delay)
Effect<F,A>	retry(Duration delay, int maxRetries)
Effect<F,Tuple2<Duration,A>>	timed()
Effect<F,A>	timeout(Duration duration)
default <B> Effect<F,Tuple2<A,B>>	zip(Kind<F,? extends B> other)
default <B> Effect<F,A>	zipLeft(Kind<F,? extends B> other)
default <B> Effect<F,B>	zipRight(Kind<F,? extends B> other)
default <B, C> Effect<F,C>	zipWith(Kind<F,? extends B> other, Function2<? super A,? super B,? extends C> mapper)

Methods inherited from interface com.github.tonivade.purefun.Kind

fix, kind

Method Details

map

<R> Effect<F,R> map(Function1<? super A,? extends R> mapper)

Specified by:

map in interface Applicable<F extends Effect<F,?>,A>

Specified by:

map in interface Bindable<F extends Effect<F,?>,A>

Specified by:

map in interface Mappable<F extends Effect<F,?>,A>

ap

<R> Effect<F,R> ap(Kind<F,? extends Function1<? super A,? extends R>> apply)

Specified by:

ap in interface Applicable<F extends Effect<F,?>,A>

flatMap

<R> Effect<F,R> flatMap(Function1<? super A,? extends Kind<F,? extends R>> mapper)

Specified by:

flatMap in interface Bindable<F extends Effect<F,?>,A>

andThen

default <R> Effect<F,R> andThen(Kind<F,? extends R> next)

Specified by:

andThen in interface Bindable<F extends Effect<F,?>,A>

zip

default <B> Effect<F,Tuple2<A,B>> zip(Kind<F,? extends B> other)

Specified by:

zip in interface Applicable<F extends Effect<F,?>,A>

zipLeft

default <B> Effect<F,A> zipLeft(Kind<F,? extends B> other)

Specified by:

zipLeft in interface Applicable<F extends Effect<F,?>,A>

zipRight

default <B> Effect<F,B> zipRight(Kind<F,? extends B> other)

Specified by:

zipRight in interface Applicable<F extends Effect<F,?>,A>

zipWith

default <B,
C> Effect<F,C> zipWith(Kind<F,? extends B> other,
 Function2<? super A,? super B,? extends C> mapper)

Specified by:

zipWith in interface Applicable<F extends Effect<F,?>,A>

timed

Effect<F,Tuple2<Duration,A>> timed()

timeout

Effect<F,A> timeout(Duration duration)

repeat

default Effect<F,A> repeat()

repeat

Effect<F,A> repeat(int times)

repeat

default Effect<F,A> repeat(Duration delay)

repeat

Effect<F,A> repeat(Duration delay,
 int times)

retry

default Effect<F,A> retry()

retry

Effect<F,A> retry(int maxRetries)

retry

default Effect<F,A> retry(Duration delay)

retry

Effect<F,A> retry(Duration delay,
 int maxRetries)

narrowK

static <F extends Effect<F,
?>,
A> Effect<F,A> narrowK(Kind<F,? extends A> kind)