cyclops.typeclasses.monad

Interface TraverseBySequence<CRE>

All Superinterfaces:

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

All Known Implementing Classes:

General.GeneralTraverse

public interface TraverseBySequence<CRE>
extends Traverse<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)
default <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

default <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

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

Specified by:

sequenceA in interface Traverse<CRE>