cyclops.typeclasses.monad

Class ComposedTraverse<W1,W2>

java.lang.Object

cyclops.typeclasses.monad.ComposedTraverse<W1,W2>

public class ComposedTraverse<W1,W2>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ComposedTraverse()

Method Summary

Modifier and Type	Method and Description
static <W1,W2> ComposedTraverse<W1,W2>	of(Traverse<W1> t1, Traverse<W2> t2, Applicative<W2> ap)
<H,A,B> Higher<H,Higher<W1,Higher<W2,B>>>	traverse(Applicative<H> applicative, java.util.function.Function<? super A,? extends Higher<H,B>> fn, Higher<W1,Higher<W2,A>> ds)

Methods inherited from class java.lang.Object

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

Constructor Detail

ComposedTraverse

public ComposedTraverse()

Method Detail

of

public static <W1,W2> ComposedTraverse<W1,W2> of(Traverse<W1> t1,
                                                 Traverse<W2> t2,
                                                 Applicative<W2> ap)

traverse

public <H,A,B> Higher<H,Higher<W1,Higher<W2,B>>> traverse(Applicative<H> applicative,
                                                          java.util.function.Function<? super A,? extends Higher<H,B>> fn,
                                                          Higher<W1,Higher<W2,A>> ds)