CRE
- Witness type of Kind to processpublic interface Comonad<CRE>
Modifier and Type | Method and Description |
---|---|
<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,R> Higher<CRE,R> |
inject(R t,
Higher<CRE,T> ds) |
default <T,R> java.util.function.Function<Higher<CRE,T>,R> |
liftComonad(java.util.function.Function<? super T,? extends R> fn) |
<T> Higher<CRE,Higher<CRE,T>> |
nest(Higher<CRE,T> ds)
Nest a value inside a value (e.g.
|
<T> Higher<CRE,Higher<CRE,T>> nest(Higher<CRE,T> ds)
List<List<Integer>>
)ds
- Value to nest<T,R> Higher<CRE,R> coflatMap(java.util.function.Function<? super Higher<CRE,T>,R> mapper, Higher<CRE,T> ds)
mapper
- Transformation functionds
- Datastructure<T> T extract(Higher<CRE,T> ds)
ds
- Datatructure to extract value from