cyclops.typeclasses.free

Interface Yoneda<U,T>

All Superinterfaces:

Convert<Higher<Higher<Witness.yoneda,U>,T>>, Higher<Higher<Witness.yoneda,U>,T>

public interface Yoneda<U,T>
extends Higher<Higher<Witness.yoneda,U>,T>

Method Summary

Modifier and Type	Method and Description
<R> Higher<U,R>	apply(java.util.function.Function<? super T,? extends R> fn)
default <R> Yoneda<U,R>	map(java.util.function.Function<? super T,? extends R> outer, Functor<U> functor)
static <U,T> Yoneda<U,T>	of(Higher<U,T> hkt, Functor<U> functor)
default Higher<U,T>	run()

Methods inherited from interface com.aol.cyclops2.hkt.Higher

applyHKT_, applyHKT, applyHKT

Methods inherited from interface com.aol.cyclops2.hkt.Convert

convert

Method Detail

of

static <U,T> Yoneda<U,T> of(Higher<U,T> hkt,
                            Functor<U> functor)

apply

<R> Higher<U,R> apply(java.util.function.Function<? super T,? extends R> fn)

run

default Higher<U,T> run()

map

default <R> Yoneda<U,R> map(java.util.function.Function<? super T,? extends R> outer,
                            Functor<U> functor)