com.github.tonivade.purefun.monad

Class Free.Pure<F extends Kind,T>

java.lang.Object

com.github.tonivade.purefun.monad.Free.Pure<F,T>

All Implemented Interfaces:

FlatMap2<Free.µ,F,T>, Higher1<Higher1<Free.µ,F>,T>, Higher2<Free.µ,F,T>, Kind, Mappable<Higher1<Free.µ,F>,T>, Free<F,T>

Enclosing interface:

Free<F extends Kind,T>

public static final class Free.Pure<F extends Kind,T>
extends java.lang.Object
implements Free<F,T>

Nested Class Summary

Nested classes/interfaces inherited from interface com.github.tonivade.purefun.monad.Free

Free.µ, Free.FlatMapped<F extends Kind,T,R>, Free.Pure<F extends Kind,T>, Free.Suspend<F extends Kind,T>

Method Summary

Modifier and Type	Method and Description
<R> Free<F,R>	flatMap(Function1<T,? extends Higher2<Free.µ,F,R>> map)
com.github.tonivade.purefun.monad.FreeModule	module()

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.monad.Free

andThen, foldMap, liftF, map, narrowK, narrowK, pure, resume, suspend

Method Detail

flatMap

public <R> Free<F,R> flatMap(Function1<T,? extends Higher2<Free.µ,F,R>> map)

Specified by:

flatMap in interface FlatMap2<Free.µ,F extends Kind,T>

Specified by:

flatMap in interface Free<F extends Kind,T>

module

public com.github.tonivade.purefun.monad.FreeModule module()

Specified by:

module in interface Free<F extends Kind,T>