Package com.github.tonivade.purefun.typeclasses

Class ScheduleImpl<F extends Kind<F,?>,S,A,B>

java.lang.Object

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

All Implemented Interfaces:

Kind<Schedule<F,A,?>,B>, Schedule<F,A,B>, Schedule.Extract<A,S,B>, Schedule.Update<F,S,A>, ScheduleOf<F,A,B>

final class ScheduleImpl<F extends Kind<F,?>,S,A,B>
extends Object
implements Schedule<F,A,B>, Schedule.Update<F,S,A>, Schedule.Extract<A,S,B>

Nested Class Summary

Nested classes/interfaces inherited from interface com.github.tonivade.purefun.typeclasses.Schedule

Schedule.Extract<A,S,B>, Schedule.Of<F extends Kind<F,?>>, Schedule.Update<F extends Kind<F,?>,S,A>

Field Summary

Fields

Modifier and Type	Field	Description
private final Schedule.Extract<A,S,B>	extract
private final Kind<F,S>	initial
private final MonadDefer<F>	monad
private final Schedule.Update<F,S,A>	update

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ScheduleImpl(MonadDefer<F> monad, Kind<F,S> initial, Schedule.Update<F,S,A> update, Schedule.Extract<A,S,B> extract)

Method Summary

Modifier and Type	Method	Description
Schedule<F,A,B>	addDelayM(Function1<B,Kind<F,Duration>> map)
Schedule<F,A,B>	andThen(Schedule<F,A,B> next)
<C> Schedule<F,A,Either<B,C>>	andThenEither(Schedule<F,A,C> next)
Schedule<F,A,B>	check(Function2<A,B,Kind<F,Boolean>> condition)
<C> Schedule<F,A,C>	compose(Schedule<F,B,C> other)
<C> Schedule<F,C,B>	contramap(Function1<? super C,? extends A> comap)
private <T, C> ScheduleImpl<F,Either<S,T>,A,Either<B,C>>	doAndThenEither(ScheduleImpl<F,T,A,C> other)
private <T, C> ScheduleImpl<F,Tuple2<S,T>,A,C>	doCompose(ScheduleImpl<F,T,B,C> other)
private <T, C> ScheduleImpl<F,Tuple2<S,T>,A,Tuple2<B,C>>	doZip(ScheduleImpl<F,T,A,C> other)
B	extract(A last, S state)
<Z> Schedule<F,A,Z>	foldM(Z zero, Function2<? super Z,? super B,? extends Kind<F,Either<Unit,? extends Z>>> next)
Kind<F,S>	initial()
<C> Schedule<F,A,C>	map(Function1<? super B,? extends C> mapper)
MonadDefer<F>	monadDefer()
static <F extends Kind<F, ?>, S, A, B> ScheduleImpl<F,S,A,B>	of(MonadDefer<F> monad, Kind<F,S> initial, Schedule.Update<F,S,A> update, Schedule.Extract<A,S,B> extract)
Schedule<F,A,B>	untilInputM(Function1<A,Kind<F,Boolean>> condition)
Schedule<F,A,B>	untilOutputM(Function1<B,Kind<F,Boolean>> condition)
Kind<F,Either<Unit,S>>	update(A last, S state)
private ScheduleImpl<F,S,A,B>	updated(Function1<Schedule.Update<F,S,A>,Schedule.Update<F,S,A>> update)
<C> Schedule<F,A,Tuple2<B,C>>	zip(Schedule<F,A,C> other)

Methods inherited from class java.lang.Object

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

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

fix, kind

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Schedule

addDelay, as, collectAll, dimap, fold, unit, untilInput, untilOutput, whileInput, whileInputM, whileOutput, whileOutputM, zipLeft, zipRight

Field Details

monad

private final MonadDefer<F extends Kind<F,?>> monad

initial

private final Kind<F extends Kind<F,?>,S> initial

update

private final Schedule.Update<F extends Kind<F,?>,S,A> update

extract

private final Schedule.Extract<A,S,B> extract

Constructor Details

ScheduleImpl

private ScheduleImpl(MonadDefer<F> monad,
 Kind<F,S> initial,
 Schedule.Update<F,S,A> update,
 Schedule.Extract<A,S,B> extract)

Method Details

initial

public Kind<F,S> initial()

update

public Kind<F,Either<Unit,S>> update(A last,
 S state)

Specified by:

update in interface Schedule.Update<F extends Kind<F,?>,S,A>

extract

public B extract(A last,
 S state)

Specified by:

extract in interface Schedule.Extract<F extends Kind<F,?>,S,A>

monadDefer

public MonadDefer<F> monadDefer()

Specified by:

monadDefer in interface Schedule<F extends Kind<F,?>,S,A>

map

public <C> Schedule<F,A,C> map(Function1<? super B,? extends C> mapper)

Specified by:

map in interface Schedule<F extends Kind<F,?>,S,A>

contramap

public <C> Schedule<F,C,B> contramap(Function1<? super C,? extends A> comap)

Specified by:

contramap in interface Schedule<F extends Kind<F,?>,S,A>

andThen

public Schedule<F,A,B> andThen(Schedule<F,A,B> next)

Specified by:

andThen in interface Schedule<F extends Kind<F,?>,S,A>

andThenEither

public <C> Schedule<F,A,Either<B,C>> andThenEither(Schedule<F,A,C> next)

Specified by:

andThenEither in interface Schedule<F extends Kind<F,?>,S,A>

zip

public <C> Schedule<F,A,Tuple2<B,C>> zip(Schedule<F,A,C> other)

Specified by:

zip in interface Schedule<F extends Kind<F,?>,S,A>

compose

public <C> Schedule<F,A,C> compose(Schedule<F,B,C> other)

Specified by:

compose in interface Schedule<F extends Kind<F,?>,S,A>

foldM

public <Z> Schedule<F,A,Z> foldM(Z zero,
 Function2<? super Z,? super B,? extends Kind<F,Either<Unit,? extends Z>>> next)

Specified by:

foldM in interface Schedule<F extends Kind<F,?>,S,A>

addDelayM

public Schedule<F,A,B> addDelayM(Function1<B,Kind<F,Duration>> map)

Specified by:

addDelayM in interface Schedule<F extends Kind<F,?>,S,A>

untilInputM

public Schedule<F,A,B> untilInputM(Function1<A,Kind<F,Boolean>> condition)

Specified by:

untilInputM in interface Schedule<F extends Kind<F,?>,S,A>

untilOutputM

public Schedule<F,A,B> untilOutputM(Function1<B,Kind<F,Boolean>> condition)

Specified by:

untilOutputM in interface Schedule<F extends Kind<F,?>,S,A>

check

public Schedule<F,A,B> check(Function2<A,B,Kind<F,Boolean>> condition)

Specified by:

check in interface Schedule<F extends Kind<F,?>,S,A>

doAndThenEither

private <T,
C>
ScheduleImpl<F,Either<S,T>,A,Either<B,C>> doAndThenEither(ScheduleImpl<F,T,A,C> other)

doZip

private <T,
C>
ScheduleImpl<F,Tuple2<S,T>,A,Tuple2<B,C>> doZip(ScheduleImpl<F,T,A,C> other)

doCompose

private <T,
C> ScheduleImpl<F,Tuple2<S,T>,A,C> doCompose(ScheduleImpl<F,T,B,C> other)

updated

private ScheduleImpl<F,S,A,B> updated(Function1<Schedule.Update<F,S,A>,Schedule.Update<F,S,A>> update)

of

public static <F extends Kind<F,
?>,
S,
A,
B>
ScheduleImpl<F,S,A,B> of(MonadDefer<F> monad,
 Kind<F,S> initial,
 Schedule.Update<F,S,A> update,
 Schedule.Extract<A,S,B> extract)