com.aol.cyclops.hkt.instances

Class General.GeneralTraverseByTraverse<CRE,C2,A,B>

java.lang.Object

com.aol.cyclops.hkt.instances.General.GeneralTraverseByTraverse<CRE,C2,A,B>

All Implemented Interfaces:

Functor<CRE>, Applicative<CRE>, Traverse<CRE>, TraverseByTraverse<CRE>, Unit<CRE>

Enclosing interface:

General

public static class General.GeneralTraverseByTraverse<CRE,C2,A,B>
extends java.lang.Object
implements TraverseByTraverse<CRE>

Constructor Summary

Constructors

Constructor and Description
GeneralTraverseByTraverse()

Method Summary

Modifier and Type	Method and Description
<T,R> com.aol.cyclops.hkt.alias.Higher<CRE,R>	ap(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,R>> fn, com.aol.cyclops.hkt.alias.Higher<CRE,T> apply)
<T,R> com.aol.cyclops.hkt.alias.Higher<CRE,R>	map(java.util.function.Function<? super T,? extends R> fn, com.aol.cyclops.hkt.alias.Higher<CRE,T> ds) Transform the supplied data structure using the supplied transformation function
<C2,T,R> com.aol.cyclops.hkt.alias.Higher<C2,com.aol.cyclops.hkt.alias.Higher<CRE,R>>	traverseA(Applicative<C2> applicative, java.util.function.Function<? super T,? extends com.aol.cyclops.hkt.alias.Higher<C2,R>> fn, com.aol.cyclops.hkt.alias.Higher<CRE,T> ds)
<T> com.aol.cyclops.hkt.alias.Higher<CRE,T>	unit(T value) Create a new instance of the core type (e.g.

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.aol.cyclops.hkt.typeclasses.monad.TraverseByTraverse

sequenceA

Methods inherited from interface com.aol.cyclops.hkt.typeclasses.monad.Applicative

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

Methods inherited from interface com.aol.cyclops.hkt.typeclasses.functor.Functor

lift, mapRev, peek

Constructor Detail

GeneralTraverseByTraverse

public GeneralTraverseByTraverse()

Method Detail

ap

public <T,R> com.aol.cyclops.hkt.alias.Higher<CRE,R> ap(com.aol.cyclops.hkt.alias.Higher<CRE,java.util.function.Function<T,R>> fn,
                                                        com.aol.cyclops.hkt.alias.Higher<CRE,T> apply)

Specified by:

ap in interface Applicative<CRE>

map

public <T,R> com.aol.cyclops.hkt.alias.Higher<CRE,R> map(java.util.function.Function<? super T,? extends R> fn,
                                                         com.aol.cyclops.hkt.alias.Higher<CRE,T> ds)

Description copied from interface: Functor

Transform the supplied data structure using the supplied transformation function

  
  ListX<Integer> listx = ListX.of(1,2,3);
        ListType<Integer> mapped1 =Lists.functor().map(a->a+1, ListType.widen(listx));
        mapped1.add(1);
        ListX<Integer> listxMapped = mapped1.list();
 
 

Specified by:

map in interface Functor<CRE>

Parameters:

fn - Transformation function

ds - Datastructure to transform

Returns:

unit

public <T> com.aol.cyclops.hkt.alias.Higher<CRE,T> unit(T value)

Description copied from interface: Unit

Create a new instance of the core type (e.g. a List or CompletableFuture) that is HKT encoded

Specified by:

unit in interface Unit<CRE>

Parameters:

value - To populate new instance of

Returns:

HKT encoded new instance with supplied value

traverseA

public <C2,T,R> com.aol.cyclops.hkt.alias.Higher<C2,com.aol.cyclops.hkt.alias.Higher<CRE,R>> traverseA(Applicative<C2> applicative,
                                                                                                       java.util.function.Function<? super T,? extends com.aol.cyclops.hkt.alias.Higher<C2,R>> fn,
                                                                                                       com.aol.cyclops.hkt.alias.Higher<CRE,T> ds)

Specified by:

traverseA in interface Traverse<CRE>

Specified by:

traverseA in interface TraverseByTraverse<CRE>