cyclops.typeclasses.free

Class Cofree<W,T>

java.lang.Object

cyclops.typeclasses.free.Cofree<W,T>

All Implemented Interfaces:

Convert<Higher<Higher<Witness.cofree,W>,T>>, Higher<Higher<Witness.cofree,W>,T>, Higher2<Witness.cofree,W,T>, java.util.function.Supplier<T>

public class Cofree<W,T>
extends java.lang.Object
implements java.util.function.Supplier<T>, Higher2<Witness.cofree,W,T>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Cofree.Instances

Constructor Summary

Constructors

Constructor and Description
Cofree()

Method Summary

Modifier and Type	Method and Description
<R> Cofree<W,R>	coflatMap(java.util.function.Function<? super Cofree<W,T>,? extends R> f)
T	extract()
Cofree<W,T>	forceAll()
Cofree<W,T>	forceTail()
T	get()
<R> Cofree<W,R>	map(java.util.function.Function<? super T,? extends R> f)
Cofree<W,T>	mapBranchingRoot(NaturalTransformation<W,W> nat)
<R> Cofree<R,T>	mapBranchingS(Functor<R> functor, NaturalTransformation<W,R> nat)
<R> Cofree<R,T>	mapBranchingT(Functor<R> functor, NaturalTransformation<W,R> nat)
static <W,T> Cofree<W,T>	narrowK(Higher<Higher<Witness.cofree,W>,T> cof)
static <W,T> Cofree<W,T>	narrowK2(Higher2<Witness.cofree,W,T> cof)
Cofree<W,Cofree<W,T>>	nest()
static <W,T> Cofree<W,T>	of(Functor<W> functor, T head, Eval<Higher<W,Cofree<W,T>>> tail)
Higher<W,Cofree<W,T>>	tailForced()
<R> Cofree<W,R>	transform(java.util.function.Function<? super T,? extends R> f, java.util.function.Function<Cofree<W,T>,Cofree<W,R>> g)
static <W,T> Cofree<W,T>	unfold(Functor<W> functor, T b, java.util.function.Function<? super T,? extends Higher<W,T>> fn)
<R> Eval<R>	visit(Traverse<W> traverse, java.util.function.BiFunction<T,Higher<W,R>,Eval<R>> fn)
<M,R> Higher<M,R>	visitM(Traverse<W> traverse, Monad<M> monad, java.util.function.BiFunction<? super T,? super Higher<W,R>,Higher<M,R>> fn, NaturalTransformation<Witness.eval,M> inclusion)

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

Cofree

public Cofree()

Method Detail

of

public static <W,T> Cofree<W,T> of(Functor<W> functor,
                                   T head,
                                   Eval<Higher<W,Cofree<W,T>>> tail)

tailForced

public Higher<W,Cofree<W,T>> tailForced()

map

public <R> Cofree<W,R> map(java.util.function.Function<? super T,? extends R> f)

coflatMap

public <R> Cofree<W,R> coflatMap(java.util.function.Function<? super Cofree<W,T>,? extends R> f)

nest

public Cofree<W,Cofree<W,T>> nest()

transform

public <R> Cofree<W,R> transform(java.util.function.Function<? super T,? extends R> f,
                                 java.util.function.Function<Cofree<W,T>,Cofree<W,R>> g)

mapBranchingRoot

public Cofree<W,T> mapBranchingRoot(NaturalTransformation<W,W> nat)

mapBranchingS

public <R> Cofree<R,T> mapBranchingS(Functor<R> functor,
                                     NaturalTransformation<W,R> nat)

mapBranchingT

public <R> Cofree<R,T> mapBranchingT(Functor<R> functor,
                                     NaturalTransformation<W,R> nat)

forceTail

public Cofree<W,T> forceTail()

forceAll

public Cofree<W,T> forceAll()

extract

public T extract()

get

public T get()

Specified by:

get in interface java.util.function.Supplier<T>

visit

public <R> Eval<R> visit(Traverse<W> traverse,
                         java.util.function.BiFunction<T,Higher<W,R>,Eval<R>> fn)

visitM

public <M,R> Higher<M,R> visitM(Traverse<W> traverse,
                                Monad<M> monad,
                                java.util.function.BiFunction<? super T,? super Higher<W,R>,Higher<M,R>> fn,
                                NaturalTransformation<Witness.eval,M> inclusion)

unfold

public static <W,T> Cofree<W,T> unfold(Functor<W> functor,
                                       T b,
                                       java.util.function.Function<? super T,? extends Higher<W,T>> fn)

narrowK2

public static <W,T> Cofree<W,T> narrowK2(Higher2<Witness.cofree,W,T> cof)

narrowK

public static <W,T> Cofree<W,T> narrowK(Higher<Higher<Witness.cofree,W>,T> cof)