cyclops.control.lazy

Class Either3.Instances

java.lang.Object

cyclops.control.lazy.Either3.Instances

Enclosing interface:

Either3<LT1,LT2,RT>

public static class Either3.Instances
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Instances()

Method Summary

Modifier and Type	Method and Description
static <L1,L2> Applicative<Higher<Higher<Witness.either3,L1>,L2>>	applicative()
static <L1,L2> Comonad<Higher<Higher<Witness.either3,L1>,L2>>	comonad()
static <L1,L2> InstanceDefinitions<Higher<Higher<Witness.either3,L1>,L2>>	definitions()
static <L1,L2> Foldable<Higher<Higher<Witness.either3,L1>,L2>>	foldable()
static <L1,L2> Functor<Higher<Higher<Witness.either3,L1>,L2>>	functor()
static <L1,L2> Monad<Higher<Higher<Witness.either3,L1>,L2>>	monad()
static <L1,L2,T,R> MonadRec<Higher<Higher<Witness.either3,L1>,L2>>	monadRec()
static <L1,L2> MonadZero<Higher<Higher<Witness.either3,L1>,L2>>	monadZero()
static <L1,L2> Traverse<Higher<Higher<Witness.either3,L1>,L2>>	traverse()
static <L1,L2> Pure<Higher<Higher<Witness.either3,L1>,L2>>	unit()

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

definitions

public static <L1,L2> InstanceDefinitions<Higher<Higher<Witness.either3,L1>,L2>> definitions()

functor

public static <L1,L2> Functor<Higher<Higher<Witness.either3,L1>,L2>> functor()

unit

public static <L1,L2> Pure<Higher<Higher<Witness.either3,L1>,L2>> unit()

applicative

public static <L1,L2> Applicative<Higher<Higher<Witness.either3,L1>,L2>> applicative()

monad

public static <L1,L2> Monad<Higher<Higher<Witness.either3,L1>,L2>> monad()

monadRec

public static <L1,L2,T,R> MonadRec<Higher<Higher<Witness.either3,L1>,L2>> monadRec()

monadZero

public static <L1,L2> MonadZero<Higher<Higher<Witness.either3,L1>,L2>> monadZero()

traverse

public static <L1,L2> Traverse<Higher<Higher<Witness.either3,L1>,L2>> traverse()

foldable

public static <L1,L2> Foldable<Higher<Higher<Witness.either3,L1>,L2>> foldable()

comonad

public static <L1,L2> Comonad<Higher<Higher<Witness.either3,L1>,L2>> comonad()