cyclops.typeclasses.free

Class Coyoneda<F,T,R>

java.lang.Object

cyclops.typeclasses.free.Coyoneda<F,T,R>

All Implemented Interfaces:

Convert<Higher<Higher<Higher<Witness.coyoneda,F>,T>,R>>, Higher<Higher<Higher<Witness.coyoneda,F>,T>,R>, Higher2<Higher<Witness.coyoneda,F>,T,R>, Higher3<Witness.coyoneda,F,T,R>

public class Coyoneda<F,T,R>
extends java.lang.Object
implements Higher3<Witness.coyoneda,F,T,R>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Coyoneda.Instances

Constructor Summary

Constructors

Constructor and Description
Coyoneda()

Method Summary

Modifier and Type	Method and Description
<R2> Coyoneda<F,T,R2>	map(java.util.function.Function<? super R,? extends R2> f)
static <F,T,R> Coyoneda<F,T,R>	narrowK(Higher<Higher<Higher<Witness.coyoneda,F>,T>,R> higher)
static <F,T,R> Coyoneda<F,T,R>	narrowK3(Higher3<Witness.coyoneda,F,T,R> higher)
static <F,T,R> Coyoneda<F,T,R>	of(java.util.function.Function<? super T,? extends R> fn, Higher<F,T> higher)
Higher<F,R>	run(Functor<F> functor)
Yoneda<F,R>	toYoneda(Functor<F> functor)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

applyHKT_, applyHKT, applyHKT

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

convert

Constructor Detail

Coyoneda

public Coyoneda()

Method Detail

of

public static <F,T,R> Coyoneda<F,T,R> of(java.util.function.Function<? super T,? extends R> fn,
                                         Higher<F,T> higher)

toYoneda

public Yoneda<F,R> toYoneda(Functor<F> functor)

narrowK3

public static <F,T,R> Coyoneda<F,T,R> narrowK3(Higher3<Witness.coyoneda,F,T,R> higher)

narrowK

public static <F,T,R> Coyoneda<F,T,R> narrowK(Higher<Higher<Higher<Witness.coyoneda,F>,T>,R> higher)

run

public Higher<F,R> run(Functor<F> functor)

map

public <R2> Coyoneda<F,T,R2> map(java.util.function.Function<? super R,? extends R2> f)