cyclops.control

Class Try.Instances

java.lang.Object

cyclops.control.Try.Instances

Enclosing class:

Try<T,X extends java.lang.Throwable>

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

Constructor Summary

Constructors

Constructor and Description
Instances()

Method Summary

Modifier and Type	Method and Description
static <L extends java.lang.Throwable> Applicative<Higher<Witness.tryType,L>>	applicative()
static <L extends java.lang.Throwable> Comonad<Higher<Witness.tryType,L>>	comonad()
static <L extends java.lang.Throwable> InstanceDefinitions<Higher<Witness.tryType,L>>	definitions()
static <L extends java.lang.Throwable> Foldable<Higher<Witness.tryType,L>>	foldable()
static <L extends java.lang.Throwable> Functor<Higher<Witness.tryType,L>>	functor()
static <L extends java.lang.Throwable> Monad<Higher<Witness.tryType,L>>	monad()
static <X extends java.lang.Throwable,T,R> MonadRec<Higher<Witness.tryType,X>>	monadRec()
static <L extends java.lang.Throwable> Traverse<Higher<Witness.tryType,L>>	traverse()
static <L extends java.lang.Throwable> Pure<Higher<Witness.tryType,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 extends java.lang.Throwable> InstanceDefinitions<Higher<Witness.tryType,L>> definitions()

functor

public static <L extends java.lang.Throwable> Functor<Higher<Witness.tryType,L>> functor()

unit

public static <L extends java.lang.Throwable> Pure<Higher<Witness.tryType,L>> unit()

applicative

public static <L extends java.lang.Throwable> Applicative<Higher<Witness.tryType,L>> applicative()

monad

public static <L extends java.lang.Throwable> Monad<Higher<Witness.tryType,L>> monad()

monadRec

public static <X extends java.lang.Throwable,T,R> MonadRec<Higher<Witness.tryType,X>> monadRec()

traverse

public static <L extends java.lang.Throwable> Traverse<Higher<Witness.tryType,L>> traverse()

foldable

public static <L extends java.lang.Throwable> Foldable<Higher<Witness.tryType,L>> foldable()

comonad

public static <L extends java.lang.Throwable> Comonad<Higher<Witness.tryType,L>> comonad()