cyclops.control

Class Xor.Instances

java.lang.Object

cyclops.control.Xor.Instances

Enclosing interface:

Xor<ST,PT>

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

Constructor Summary

Constructors

Constructor and Description
Instances()

Method Summary

Modifier and Type	Method and Description
static <L> Applicative<Higher<Witness.xor,L>>	applicative()
static <L> ApplicativeError<Higher<Witness.xor,L>,L>	applicativeError()
static BiFunctor<Witness.xor>	bifunctor()
static <L> Comonad<Higher<Witness.xor,L>>	comonad()
static <L> InstanceDefinitions<Higher<Witness.xor,L>>	definitions()
static <L> Foldable<Higher<Witness.xor,L>>	foldable()
static <L> Functor<Higher<Witness.xor,L>>	functor()
static <L> Monad<Higher<Witness.xor,L>>	monad()
static <L> MonadPlus<Higher<Witness.xor,L>>	monadPlus()
static <L,T> MonadPlus<Higher<Witness.xor,L>>	monadPlus(Monoid<Higher<Higher<Witness.xor,L>,T>> m)
static <X,T,R> MonadRec<Higher<Witness.xor,X>>	monadRec()
static <L> MonadZero<Higher<Witness.xor,L>>	monadZero()
static <L> Traverse<Higher<Witness.xor,L>>	traverse()
static <L> Pure<Higher<Witness.xor,L>>	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 <L> InstanceDefinitions<Higher<Witness.xor,L>> definitions()

functor

public static <L> Functor<Higher<Witness.xor,L>> functor()

unit

public static <L> Pure<Higher<Witness.xor,L>> unit()

applicative

public static <L> Applicative<Higher<Witness.xor,L>> applicative()

monad

public static <L> Monad<Higher<Witness.xor,L>> monad()

monadRec

public static <X,T,R> MonadRec<Higher<Witness.xor,X>> monadRec()

bifunctor

public static BiFunctor<Witness.xor> bifunctor()

traverse

public static <L> Traverse<Higher<Witness.xor,L>> traverse()

foldable

public static <L> Foldable<Higher<Witness.xor,L>> foldable()

monadZero

public static <L> MonadZero<Higher<Witness.xor,L>> monadZero()

monadPlus

public static <L> MonadPlus<Higher<Witness.xor,L>> monadPlus()

monadPlus

public static <L,T> MonadPlus<Higher<Witness.xor,L>> monadPlus(Monoid<Higher<Higher<Witness.xor,L>,T>> m)

applicativeError

public static <L> ApplicativeError<Higher<Witness.xor,L>,L> applicativeError()

comonad

public static <L> Comonad<Higher<Witness.xor,L>> comonad()