drjoliv.jfunc.contorl.either

Class Either.Left<L,R>

java.lang.Object

drjoliv.jfunc.contorl.either.Either<L,R>

drjoliv.jfunc.contorl.either.Either.Left<L,R>

All Implemented Interfaces:

Case2<Either<L,R>,Either.Left<L,R>,Either.Right<L,R>>, Hkt<Hkt<Either.μ,L>,R>, Hkt2<Either.μ,L,R>

Enclosing class:

Either<L,R>

public static class Either.Left<L,R>
extends Either<L,R>

The left value of an either.

Nested Class Summary

Nested classes/interfaces inherited from class drjoliv.jfunc.contorl.either.Either

Either.Left<L,R>, Either.LeftProjection<L,R>, Either.Right<L,R>, Either.RightProjection<L,R>, Either.μ

Field Summary

Fields

Modifier and Type	Field and Description
Eval<L>	l

Method Summary

Modifier and Type	Method and Description
<A,B> Either<A,B>	bimap(F1<? super L,? extends A> fn1, F1<? super R,? extends B> fn2) Applies the functions fn1 and fn2 to the contents of this either, returning a new either whose content is the result of that function application.
<A> A	match(F1<Either.Left<L,R>,A> left, F1<Either.Right<L,R>,A> right) Applies the appropriate function to this instance of Base returning A.
L	value() Returns the value in this left.
Eval<L>	value$() Returns the value in this left.

Methods inherited from class drjoliv.jfunc.contorl.either.Either

consume, either, isLeft, isLeft, isRight, isRight, left, left, left$, right, right, right$, valueL, valueR, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

l

public final Eval<L> l

Method Detail

value

public L value()

Returns the value in this left.

Returns:

the value in this left.

value$

public Eval<L> value$()

Returns the value in this left.

Returns:

the value in this left.

bimap

public <A,B> Either<A,B> bimap(F1<? super L,? extends A> fn1,
                               F1<? super R,? extends B> fn2)

Description copied from class: Either

Applies the functions fn1 and fn2 to the contents of this either, returning a new either whose content is the result of that function application.

Specified by:

bimap in class Either<L,R>

Parameters:

fn1 - a function for mapping the left content of this either.

fn2 - a function for mapping the right side of this either.

Returns:

the either whose contensts have been transformed by fn1 or fn2.

match

public <A> A match(F1<Either.Left<L,R>,A> left,
                   F1<Either.Right<L,R>,A> right)

Description copied from interface: Case2

Applies the appropriate function to this instance of Base returning A.

Parameters:

left - a function to apply if this is type A.

right - a function to apply if this is type B.

Returns:

C