Package com.jnape.palatable.lambda.adt.choice

Class Choice8._C<A,B,C,D,E,F,G,H>

java.lang.Object

com.jnape.palatable.lambda.adt.choice.Choice8<A,B,C,D,E,F,G,H>

com.jnape.palatable.lambda.adt.choice.Choice8._C<A,B,C,D,E,F,G,H>

All Implemented Interfaces:

CoProduct8<A,B,C,D,E,F,G,H,Choice8<A,B,C,D,E,F,G,H>>, Applicative<H,Choice8<A,B,C,D,E,F,G,?>>, Bifunctor<G,H,Choice8<A,B,C,D,E,F,?,?>>, BoundedBifunctor<G,H,java.lang.Object,java.lang.Object,Choice8<A,B,C,D,E,F,?,?>>, Functor<H,Choice8<A,B,C,D,E,F,G,?>>, Monad<H,Choice8<A,B,C,D,E,F,G,?>>, MonadRec<H,Choice8<A,B,C,D,E,F,G,?>>, Traversable<H,Choice8<A,B,C,D,E,F,G,?>>

Enclosing class:

Choice8<A,B,C,D,E,F,G,H>

private static final class Choice8._C<A,B,C,D,E,F,G,H>
extends Choice8<A,B,C,D,E,F,G,H>

Field Summary

Fields

Modifier and Type	Field	Description
private C	c

Constructor Summary

Constructors

Modifier	Constructor	Description
private	_C(C c)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.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, Fn1<? super F,? extends R> fFn, Fn1<? super G,? extends R> gFn, Fn1<? super H,? extends R> hFn)	Type-safe convergence requiring a match against all potential types.
java.lang.String	toString()

Methods inherited from class com.jnape.palatable.lambda.adt.choice.Choice8

a, b, biMap, biMapL, biMapR, c, converge, d, discardL, discardR, e, f, flatMap, fmap, g, h, lazyZip, project, pure, pureChoice, trampolineM, traverse, 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.CoProduct8

embed, projectA, projectB, projectC, projectD, projectE, projectF, projectG, projectH

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

coerce

Field Detail

c

private final C c

Constructor Detail

_C

private _C(C c)

Method Detail

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,
                   Fn1<? super F,? extends R> fFn,
                   Fn1<? super G,? extends R> gFn,
                   Fn1<? super H,? extends R> hFn)

Description copied from interface: CoProduct8

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

fFn - morphism F -> R

gFn - morphism G -> R

hFn - morphism H -> 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(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