cyclops.typeclasses.monad

Interface Traverse<CRE>

All Superinterfaces:

Applicative<CRE>, Functor<CRE>, Pure<CRE>

All Known Subinterfaces:

TraverseBySequence<CRE>, TraverseByTraverse<CRE>

All Known Implementing Classes:

General.GeneralTraverse, General.GeneralTraverseByTraverse

public interface Traverse<CRE>
extends Applicative<CRE>

Method Summary

Modifier and Type	Method and Description
<C2,T> Higher<C2,Higher<CRE,T>>	sequenceA(Applicative<C2> applicative, Higher<CRE,Higher<C2,T>> ds)
<C2,T,R> Higher<C2,Higher<CRE,R>>	traverseA(Applicative<C2> applicative, java.util.function.Function<? super T,? extends Higher<C2,R>> fn, Higher<CRE,T> ds)

Methods inherited from interface cyclops.typeclasses.monad.Applicative

ap, ap2, ap3, apBiFn, curry2, narrow, narrow2, narrow3, narrowBiFn

Methods inherited from interface cyclops.typeclasses.functor.Functor

lift, map, mapRev, peek

Methods inherited from interface cyclops.typeclasses.Pure

unit

Method Detail

traverseA

<C2,T,R> Higher<C2,Higher<CRE,R>> traverseA(Applicative<C2> applicative,
                                            java.util.function.Function<? super T,? extends Higher<C2,R>> fn,
                                            Higher<CRE,T> ds)

sequenceA

<C2,T> Higher<C2,Higher<CRE,T>> sequenceA(Applicative<C2> applicative,
                                          Higher<CRE,Higher<C2,T>> ds)