L
- The left parameter typeR
- The right parameter typepublic final class LeftAll<L,R> extends Object implements SemigroupFactory<Semigroup<L>,Either<L,R>>
Semigroup
instance formed by Either
<L,R>
and a semigroup over L
.
The application to two Either
values is right-biased, such that for a given Either
x
and
y
:
x
is a Right
value, the result is x
y
is a Right
value, the result is y
x
and y
are left values, the result is the application of the x and y values
in terms of the provided semigroup, wrapped in Either.left(L)
Modifier and Type | Method and Description |
---|---|
Semigroup<Either<L,R>> |
checkedApply(Semigroup<L> lSemigroup)
Invoke this function with the given argument, potentially throwing any
Throwable . |
static <L,R> LeftAll<L,R> |
leftAll() |
static <L,R> Semigroup<Either<L,R>> |
leftAll(Semigroup<L> lSemigroup) |
static <L,R> Fn1<Either<L,R>,Either<L,R>> |
leftAll(Semigroup<L> lSemigroup,
Either<L,R> x) |
static <L,R> Either<L,R> |
leftAll(Semigroup<L> lSemigroup,
Either<L,R> x,
Either<L,R> y) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
apply, checkedApply
apply, apply, checkedApply, compose, contraMap, diMapL, discardR, flip, fn3, fn3, fn3, uncurry, widen
curried, curry, fn2, fromBiFunction, toBiFunction
public Semigroup<Either<L,R>> checkedApply(Semigroup<L> lSemigroup)
Fn2
Throwable
.checkedApply
in interface Fn1<Semigroup<L>,Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>>
checkedApply
in interface Fn2<Semigroup<L>,Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>
checkedApply
in interface SemigroupFactory<Semigroup<L>,Either<L,R>>
lSemigroup
- the argumentpublic static <L,R> LeftAll<L,R> leftAll()
public static <L,R> Fn1<Either<L,R>,Either<L,R>> leftAll(Semigroup<L> lSemigroup, Either<L,R> x)