cyclops.typeclasses.free

Class FreeAp.Pure<F,A>

java.lang.Object

cyclops.typeclasses.free.FreeAp.Pure<F,A>

All Implemented Interfaces:

Convert<Higher<Higher<Witness.freeAp,F>,A>>, Higher<Higher<Witness.freeAp,F>,A>, Higher2<Witness.freeAp,F,A>, FreeAp<F,A>

Enclosing interface:

FreeAp<F,T>

public static class FreeAp.Pure<F,A>
extends java.lang.Object
implements FreeAp<F,A>

Nested Class Summary

Nested classes/interfaces inherited from interface cyclops.typeclasses.free.FreeAp

FreeAp.Ap<F,P,A>, FreeAp.Instances, FreeAp.Pure<F,A>

Constructor Summary

Constructors

Constructor and Description
Pure()

Method Summary

Modifier and Type	Method and Description
<P,R> R	visit(java.util.function.Function<? super A,? extends R> pure, java.util.function.BiFunction<? super Higher<F,P>,FreeAp<F,java.util.function.Function<P,A>>,? extends R> ap)

Methods inherited from class java.lang.Object

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

Methods inherited from interface cyclops.typeclasses.free.FreeAp

ap, ap, compile, fold, foldMap, lift, map, monad, narrowK, pure

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

applyHKT_, applyHKT, applyHKT

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

convert

Constructor Detail

Pure

public Pure()

Method Detail

visit

public <P,R> R visit(java.util.function.Function<? super A,? extends R> pure,
                     java.util.function.BiFunction<? super Higher<F,P>,FreeAp<F,java.util.function.Function<P,A>>,? extends R> ap)

Specified by:

visit in interface FreeAp<F,A>