cyclops.typeclasses

Class Coproduct.Instances<W1,W2>

java.lang.Object

cyclops.typeclasses.Coproduct.Instances<W1,W2>

Enclosing class:

Coproduct<W1,W2,T>

public static class Coproduct.Instances<W1,W2>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Instances()

Method Summary

Modifier and Type	Method and Description
static <W1,W2,T> Foldable<Higher<Higher<Witness.coproduct,W1>,W2>>	foldable()
static <W1,W2> Functor<Higher<Higher<Witness.coproduct,W1>,W2>>	functor()
static <W1,W2,T> Unfoldable<Higher<Higher<Witness.coproduct,W1>,W2>>	unfoldable(Coproduct<W1,W2,T> cop)
<T> Pure<Higher<Higher<Witness.coproduct,W1>,W2>>	unit(InstanceDefinitions<W1> def1, InstanceDefinitions def2)

Methods inherited from class java.lang.Object

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

Constructor Detail

Instances

public Instances()

Method Detail

functor

public static <W1,W2> Functor<Higher<Higher<Witness.coproduct,W1>,W2>> functor()

unit

public <T> Pure<Higher<Higher<Witness.coproduct,W1>,W2>> unit(InstanceDefinitions<W1> def1,
                                                              InstanceDefinitions def2)

foldable

public static <W1,W2,T> Foldable<Higher<Higher<Witness.coproduct,W1>,W2>> foldable()

unfoldable

public static <W1,W2,T> Unfoldable<Higher<Higher<Witness.coproduct,W1>,W2>> unfoldable(Coproduct<W1,W2,T> cop)