cyclops.typeclasses.comonad

Interface ComonadByPure<CRE>

Type Parameters:

CRE - Witness type of Kind to process

All Superinterfaces:

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

All Known Implementing Classes:

General.GeneralComonad

public interface ComonadByPure<CRE>
extends Comonad<CRE>, Pure<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> Higher<CRE,R>	coflatMap(java.util.function.Function<? super Higher<CRE,T>,R> mapper, 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 singleUnsafe value
<T> T	extract(Higher<CRE,T> ds) Extract value embedded in datastructure
default <T> Higher<CRE,Higher<CRE,T>>	nest(Higher<CRE,T> ds) Nest a value inside a value (e.g.

Methods inherited from interface cyclops.typeclasses.comonad.Comonad

inject, liftComonad

Methods inherited from interface cyclops.typeclasses.Pure

unit

Methods inherited from interface cyclops.typeclasses.functor.Functor

lift, map_, map, peek

Method Detail

nest

default <T> Higher<CRE,Higher<CRE,T>> nest(Higher<CRE,T> ds)

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

Specified by:

nest in interface Comonad<CRE>

Parameters:

ds - Value to nest

Returns:

Nested value

coflatMap

default <T,R> Higher<CRE,R> coflatMap(java.util.function.Function<? super Higher<CRE,T>,R> mapper,
                                      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 singleUnsafe value

Specified by:

coflatMap in interface Comonad<CRE>

Parameters:

mapper - Transformation function

ds - Datastructure

Returns:

Coflatmapped result

extract

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

Extract value embedded in datastructure

Specified by:

extract in interface Comonad<CRE>

Parameters:

ds - Datatructure to extract value from

Returns:

Value