cyclops.typeclasses.free

Interface FreeAp<F,T>

All Superinterfaces:

Convert<Higher<Higher<Witness.freeAp,F>,T>>, Higher<Higher<Witness.freeAp,F>,T>, Higher2<Witness.freeAp,F,T>

All Known Implementing Classes:

FreeAp.Ap, FreeAp.Pure

public interface FreeAp<F,T>
extends Higher2<Witness.freeAp,F,T>

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	FreeAp.Ap<F,P,A>
static class	FreeAp.Instances
static class	FreeAp.Pure<F,A>

Method Summary

Modifier and Type	Method and Description
default <P,R> FreeAp<F,R>	ap(FreeAp<F,? extends java.util.function.Function<T,R>> b)
static <F,T,P> FreeAp<F,T>	ap(Higher<F,P> fp, FreeAp<F,java.util.function.Function<P,T>> fn)
default <P,G> FreeAp<G,T>	compile(NaturalTransformation<F,G> f, Applicative<G> applicative)
default <P> Higher<F,T>	fold(Applicative<F> applicative)
default <P,G> Higher<G,T>	foldMap(NaturalTransformation<F,G> f, Applicative<G> applicative)
static <F,A> FreeAp<F,A>	lift(Higher<F,A> fa, Applicative<F> applicative)
default <P,R> FreeAp<F,R>	map(java.util.function.Function<? super T,? extends R> f)
default Free<F,T>	monad(Applicative<F> applicative)
static <F,T> FreeAp<F,T>	narrowK(Higher<Higher<Witness.freeAp,F>,T> ds)
static <F,T> FreeAp<F,T>	pure(T value)
<P,R> R	visit(java.util.function.Function<? super T,? extends R> pure, java.util.function.BiFunction<? super Higher<F,P>,FreeAp<F,java.util.function.Function<P,T>>,? extends R> ap)

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

applyHKT_, applyHKT, applyHKT

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

convert

Method Detail

pure

static <F,T> FreeAp<F,T> pure(T value)

ap

static <F,T,P> FreeAp<F,T> ap(Higher<F,P> fp,
                              FreeAp<F,java.util.function.Function<P,T>> fn)

ap

default <P,R> FreeAp<F,R> ap(FreeAp<F,? extends java.util.function.Function<T,R>> b)

map

default <P,R> FreeAp<F,R> map(java.util.function.Function<? super T,? extends R> f)

foldMap

default <P,G> Higher<G,T> foldMap(NaturalTransformation<F,G> f,
                                  Applicative<G> applicative)

fold

default <P> Higher<F,T> fold(Applicative<F> applicative)

monad

default Free<F,T> monad(Applicative<F> applicative)

compile

default <P,G> FreeAp<G,T> compile(NaturalTransformation<F,G> f,
                                  Applicative<G> applicative)

lift

static <F,A> FreeAp<F,A> lift(Higher<F,A> fa,
                              Applicative<F> applicative)

visit

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

narrowK

static <F,T> FreeAp<F,T> narrowK(Higher<Higher<Witness.freeAp,F>,T> ds)