com.aol.cyclops.hkt.typeclasses.comonad

Interface Comonad<CRE>

Type Parameters:

CRE - Witness type of Kind to process

All Superinterfaces:

Functor<CRE>, Unit<CRE>

All Known Implementing Classes:

General.GeneralComonad

public interface Comonad<CRE>
extends Unit<CRE>, Functor<CRE>

Contra-variant Monad type class Nest values (contra-variant to flatten) Extract values (contra-varaiant to of) coFlatMap - a transformation that accepts a comand and returns a value

Method Summary

Modifier and Type	Method and Description
default <T,R> com.aol.cyclops.hkt.alias.Higher<CRE,R>	coflatMap(java.util.function.Function<? super com.aol.cyclops.hkt.alias.Higher<CRE,T>,R> mapper, com.aol.cyclops.hkt.alias.Higher<CRE,T> ds) Contra-variant flatMap Transform the supplied data structure with the supplied transformation function Datastructure is provided to the function which returns a single value
<T> T	extract(com.aol.cyclops.hkt.alias.Higher<CRE,T> ds) Extract value embedded in datastructure
default <T> com.aol.cyclops.hkt.alias.Higher<CRE,com.aol.cyclops.hkt.alias.Higher<CRE,T>>	nest(com.aol.cyclops.hkt.alias.Higher<CRE,T> ds) Nest a value inside a value (e.g.

Methods inherited from interface com.aol.cyclops.hkt.typeclasses.Unit

unit

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

lift, map, mapRev, peek

Method Detail

nest

default <T> com.aol.cyclops.hkt.alias.Higher<CRE,com.aol.cyclops.hkt.alias.Higher<CRE,T>> nest(com.aol.cyclops.hkt.alias.Higher<CRE,T> ds)

Nest a value inside a value (e.g. List<List<Integer>> )

Parameters:

ds - Value to nest

Returns:

Nested value

coflatMap

default <T,R> com.aol.cyclops.hkt.alias.Higher<CRE,R> coflatMap(java.util.function.Function<? super com.aol.cyclops.hkt.alias.Higher<CRE,T>,R> mapper,
                                                                com.aol.cyclops.hkt.alias.Higher<CRE,T> ds)

Contra-variant flatMap Transform the supplied data structure with the supplied transformation function Datastructure is provided to the function which returns a single value

Parameters:

mapper - Transformation function

ds - Datastructure

Returns:

Coflatmapped result

extract

<T> T extract(com.aol.cyclops.hkt.alias.Higher<CRE,T> ds)

Extract value embedded in datastructure

Parameters:

ds - Datatructure to extract value from

Returns:

Value