Package com.jnape.palatable.lambda.adt

Class Try.Success<A>

java.lang.Object

com.jnape.palatable.lambda.adt.Try<A>

com.jnape.palatable.lambda.adt.Try.Success<A>

All Implemented Interfaces:

CoProduct2<java.lang.Throwable,A,Try<A>>, Applicative<A,Try<?>>, Functor<A,Try<?>>, Monad<A,Try<?>>, MonadError<java.lang.Throwable,A,Try<?>>, MonadRec<A,Try<?>>, Traversable<A,Try<?>>

Enclosing class:

Try<A>

private static final class Try.Success<A>
extends Try<A>

Field Summary

Fields

Modifier and Type	Field	Description
private A	a

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Success(A a)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object other)
int	hashCode()
<R> R	match(Fn1<? super java.lang.Throwable,? extends R> aFn, Fn1<? super A,? extends R> bFn)	Type-safe convergence requiring a match against all potential types.
<T extends java.lang.Throwable> A	orThrow(Fn1<? super java.lang.Throwable,? extends T> fn)	If this is a success value, return it.
java.lang.String	toString()

Methods inherited from class com.jnape.palatable.lambda.adt.Try

catchError, catching, catching, discardL, discardR, ensuring, failure, flatMap, fmap, forfeit, lazyZip, orThrow, pure, pureTry, recover, success, throwError, toEither, toEither, toMaybe, trampolineM, traverse, trying, trying, withResources, withResources, withResources, zip

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.jnape.palatable.lambda.adt.coproduct.CoProduct2

diverge, embed, invert, project, projectA, projectB

Methods inherited from interface com.jnape.palatable.lambda.functor.Functor

coerce

Field Detail

a

private final A a

Constructor Detail

Success

private Success(A a)

Method Detail

orThrow

public <T extends java.lang.Throwable> A orThrow(Fn1<? super java.lang.Throwable,? extends T> fn)

Description copied from class: Try

If this is a success value, return it. Otherwise, transform the captured failure with fn and throw the result.

Specified by:

orThrow in class Try<A>

Type Parameters:

T - the type of the thrown Throwable

Parameters:

fn - the Throwable transformation

Returns:

possibly the success value

match

public <R> R match(Fn1<? super java.lang.Throwable,? extends R> aFn,
                   Fn1<? super A,? extends R> bFn)

Description copied from interface: CoProduct2

Type-safe convergence requiring a match against all potential types.

Type Parameters:

R - result type

Parameters:

aFn - morphism A -> R

bFn - morphism B -> R

Returns:

the result of applying the appropriate morphism to this coproduct's unwrapped value

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object