cyclops.typeclasses.monad

Interface TraverseByTraverse<CRE>

All Superinterfaces:

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

All Known Implementing Classes:

General.GeneralTraverseByTraverse

public interface TraverseByTraverse<CRE>
extends Traverse<CRE>

Method Summary

Modifier and Type	Method and Description
default <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)

Specified by:

traverseA in interface Traverse<CRE>

sequenceA

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

Specified by:

sequenceA in interface Traverse<CRE>