Class Choice5._D<A,B,C,D,E>

java.lang.Object

com.jnape.palatable.lambda.adt.choice.Choice5<A,B,C,D,E>

com.jnape.palatable.lambda.adt.choice.Choice5._D<A,B,C,D,E>

All Implemented Interfaces:

CoProduct5<A, B, C, D, E, Choice5<A,B,C,D,E>>, Applicative<E, Choice5<A,B,C,D,?>>, Bifunctor<D, E, Choice5<A,B,C,?,?>>, BoundedBifunctor<D, E, Object, Object, Choice5<A,B,C,?,?>>, Functor<E, Choice5<A,B,C,D,?>>, Monad<E, Choice5<A,B,C,D,?>>, MonadRec<E, Choice5<A,B,C,D,?>>, Traversable<E, Choice5<A,B,C,D,?>>

Enclosing class:

Choice5<A,B,C,D,E>

private static final class Choice5._D<A,B,C,D,E>
extends Choice5<A,B,C,D,E>

Field Summary

Fields

Modifier and Type	Field	Description
private final D	d

Constructor Summary

Constructors

Modifier	Constructor	Description
private	_D(D d)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object other)
int	hashCode()
<R> R	match(Fn1<? super A, ? extends R> aFn, Fn1<? super B, ? extends R> bFn, Fn1<? super C, ? extends R> cFn, Fn1<? super D, ? extends R> dFn, Fn1<? super E, ? extends R> eFn)	Type-safe convergence requiring a match against all potential types.
String	toString()

Methods inherited from class Choice5

a, b, biMap, biMapL, biMapR, c, converge, d, discardL, discardR, diverge, e, flatMap, fmap, lazyZip, project, pure, pureChoice, trampolineM, traverse, zip

Methods inherited from class Object

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

Methods inherited from interface CoProduct5

embed, projectA, projectB, projectC, projectD, projectE

Methods inherited from interface Functor

coerce

Field Details

d

private final D d

Constructor Details

_D

private _D(D d)

Method Details

match

public <R> R match(Fn1<? super A, ? extends R> aFn,
 Fn1<? super B, ? extends R> bFn,
 Fn1<? super C, ? extends R> cFn,
 Fn1<? super D, ? extends R> dFn,
 Fn1<? super E, ? extends R> eFn)

Description copied from interface: CoProduct5

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

Type Parameters:

R - result type

Parameters:

aFn - morphism A -> R

bFn - morphism B -> R

cFn - morphism C -> R

dFn - morphism D -> R

eFn - morphism E -> R

Returns:

the result of applying the appropriate morphism from whichever type is represented by this coproduct to R

See Also:

• CoProduct2.match(Fn1, Fn1)

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object