CRE
- Witness type of Kind to processpublic interface Comonad<CRE> extends Pure<CRE>, Functor<CRE>
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 single 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.
|
default <T> Higher<CRE,Higher<CRE,T>> nest(Higher<CRE,T> ds)
List<List<Integer>>
)ds
- Value to nestdefault <T,R> Higher<CRE,R> coflatMap(java.util.function.Function<? super Higher<CRE,T>,R> mapper, Higher<CRE,T> ds)
mapper
- Transformation functionds
- Datastructure