cyclops.typeclasses.instances

Class General.GeneralComonad<CRE,A,B>

java.lang.Object

cyclops.typeclasses.instances.General.GeneralComonad<CRE,A,B>

All Implemented Interfaces:

Comonad<CRE>, Functor<CRE>, Pure<CRE>

Enclosing interface:

General

public static class General.GeneralComonad<CRE,A,B>
extends java.lang.Object
implements Comonad<CRE>

Constructor Summary

Constructors

Constructor and Description
GeneralComonad()

Method Summary

Modifier and Type	Method and Description
<T> T	extract(Higher<CRE,T> ds) Extract value embedded in datastructure
<T,R> Higher<CRE,R>	map(java.util.function.Function<? super T,? extends R> fn, Higher<CRE,T> ds) Transform the supplied data structure using the supplied transformation function
<T> 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 cyclops.typeclasses.comonad.Comonad

coflatMap, nest

Methods inherited from interface cyclops.typeclasses.functor.Functor

lift, mapRev, peek

Constructor Detail

GeneralComonad

public GeneralComonad()

Method Detail

unit

public <T> Higher<CRE,T> unit(T value)

Description copied from interface: Pure

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

Specified by:

unit in interface Pure<CRE>

Parameters:

value - To populate new instance of

Returns:

HKT encoded new instance with supplied value

map

public <T,R> Higher<CRE,R> map(java.util.function.Function<? super T,? extends R> fn,
                               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:

extract

public <T> T extract(Higher<CRE,T> ds)

Description copied from interface: Comonad

Extract value embedded in datastructure

Specified by:

extract in interface Comonad<CRE>

Parameters:

ds - Datatructure to extract value from

Returns:

Value