cyclops.typeclasses.functor

Interface ProFunctor<CRE>

public interface ProFunctor<CRE>

Method Summary

Modifier and Type	Method and Description
<A,B,C,D> Higher<Higher<CRE,C>,D>	dimap(java.util.function.Function<? super C,? extends A> f, java.util.function.Function<? super B,? extends D> g, Higher<Higher<CRE,A>,B> ds)
default <A,B,C> Higher<Higher<CRE,A>,C>	lmap(java.util.function.Function<? super A,? extends B> fn, Higher<Higher<CRE,B>,C> ds)
default <A,B,C> Higher<Higher<CRE,A>,C>	rmap(java.util.function.Function<? super B,? extends C> g, Higher<Higher<CRE,A>,B> ds)

Method Detail

dimap

<A,B,C,D> Higher<Higher<CRE,C>,D> dimap(java.util.function.Function<? super C,? extends A> f,
                                        java.util.function.Function<? super B,? extends D> g,
                                        Higher<Higher<CRE,A>,B> ds)

lmap

default <A,B,C> Higher<Higher<CRE,A>,C> lmap(java.util.function.Function<? super A,? extends B> fn,
                                             Higher<Higher<CRE,B>,C> ds)

rmap

default <A,B,C> Higher<Higher<CRE,A>,C> rmap(java.util.function.Function<? super B,? extends C> g,
                                             Higher<Higher<CRE,A>,B> ds)