cyclops.typeclasses.functor

Class Compose<CRE,C2>

java.lang.Object

cyclops.typeclasses.functor.Compose<CRE,C2>

Type Parameters:

CRE -

C2 -

public class Compose<CRE,C2>
extends java.lang.Object

Compose two functors so operations are applied to the inner functor e.g. given an Optional containing a List we can compose the functor for Optionals and the functor for List to transform the values inside the List

  
    OptionalType<ListType<Integer>> nested;
    
    Compose.compose(Optionals.functor(),Lists.functor())
           .map(i->i*2,nested);
   
 
 

Constructor Summary

Constructors

Constructor and Description
Compose()

Method Summary

Modifier and Type	Method and Description
static <CRE,C2> Compose<CRE,C2>	compose(Functor<CRE> f, Functor<C2> g) Compose two functors
<T,R> Higher<CRE,Higher<C2,R>>	map(java.util.function.Function<? super T,? extends R> fn, Higher<CRE,Higher<C2,T>> ds) Transformation operation

Methods inherited from class java.lang.Object

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

Constructor Detail

Compose

public Compose()

Method Detail

compose

public static <CRE,C2> Compose<CRE,C2> compose(Functor<CRE> f,
                                               Functor<C2> g)

Compose two functors

Parameters:

f - First functor to compose

g - Second functor to compose

Returns:

Composed functor

map

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

Transformation operation

Parameters:

fn - Transformation function

ds - Datastructure to transform

Returns:

Transformed data structure