Package com.github.tonivade.purefun.typeclasses

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

java.lang.Object

com.github.tonivade.purefun.typeclasses.AbstractFlatMap<F,Unit,A>

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

public final class FlatMap1<F extends Kind<F,?>,A>
extends AbstractFlatMap<F,Unit,A>

Field Summary

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

monad, value

Constructor Summary

Constructors

Constructor	Description
FlatMap1(Monad<F> monad, Producer<Kind<F,? extends A>> value)

Method Summary

Modifier and Type	Method	Description
<R> FlatMap2<F,A,R>	and(R next)
<R> FlatMap2<F,A,R>	andThen(Producer<? extends Kind<F,? extends R>> producer)
<R> FlatMap2<F,A,R>	flatMap(Function1<? super A,? extends Kind<F,? extends R>> mapper)
<R> FlatMap2<F,A,R>	map(Function1<? super A,? extends R> mapper)
Kind<F,A>	run()
<R> FlatMap2<F,A,R>	then(Kind<F,? extends R> next)
Kind<F,Tuple1<A>>	tuple()

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

end, fix, returns

Methods inherited from class java.lang.Object

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

Constructor Details

FlatMap1

FlatMap1(Monad<F> monad,
 Producer<Kind<F,? extends A>> value)

Method Details

tuple

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

map

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

and

public <R> FlatMap2<F,A,R> and(R next)

then

public <R> FlatMap2<F,A,R> then(Kind<F,? extends R> next)

andThen

public <R> FlatMap2<F,A,R> andThen(Producer<? extends Kind<F,? extends R>> producer)

flatMap

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

run

public Kind<F,A> run()

Specified by:

run in class AbstractFlatMap<F extends Kind<F,?>,Unit,A>