cyclops.control.lazy

Class Either4.Instances

java.lang.Object

cyclops.control.lazy.Either4.Instances

Enclosing interface:

Either4<LT1,LT2,LT3,RT>

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

Constructor Summary

Constructors

Constructor and Description
Instances()

Method Summary

Modifier and Type	Method and Description
static <L1,L2,L3> Applicative<Higher<Higher<Higher<Witness.either4,L1>,L2>,L3>>	applicative()
static <L1,L2,L3> Comonad<Higher<Higher<Higher<Witness.either4,L1>,L2>,L3>>	comonad()
static <L1,L2,L3> InstanceDefinitions<Higher<Higher<Higher<Witness.either4,L1>,L2>,L3>>	definitions()
static <L1,L2,L3> Foldable<Higher<Higher<Higher<Witness.either4,L1>,L2>,L3>>	foldable()
static <L1,L2,L3> Functor<Higher<Higher<Higher<Witness.either4,L1>,L2>,L3>>	functor()
static <L1,L2,L3> Monad<Higher<Higher<Higher<Witness.either4,L1>,L2>,L3>>	monad()
static <L1,L2,L3,T,R> MonadRec<Higher<Higher<Higher<Witness.either4,L1>,L2>,L3>>	monadRec()
static <L1,L2,L3> MonadZero<Higher<Higher<Higher<Witness.either4,L1>,L2>,L3>>	monadZero()
static <L1,L2,L3> Traverse<Higher<Higher<Higher<Witness.either4,L1>,L2>,L3>>	traverse()
static <L1,L2,L3> Pure<Higher<Higher<Higher<Witness.either4,L1>,L2>,L3>>	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,L3> InstanceDefinitions<Higher<Higher<Higher<Witness.either4,L1>,L2>,L3>> definitions()

functor

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

unit

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

applicative

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

monad

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

monadRec

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

monadZero

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

traverse

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

foldable

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

comonad

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