L
- The left parameter typeR
- The right parameter typepublic final class RightAll<L,R> extends Object implements SemigroupFactory<Semigroup<R>,Either<L,R>>
Semigroup
instance formed by Either
<L,R>
and a semigroup over R
.
The application to two Either
values is left-biased, such that for a given Either
x
and
y
:
x
is a Left
value, the result is x
y
is a Left
value, the result is y
x
and y
are right values, the result is the application of the x and y values
in terms of the provided semigroup, wrapped in Either.right(R)
Modifier and Type | Method and Description |
---|---|
Semigroup<Either<L,R>> |
checkedApply(Semigroup<R> rSemigroup)
Invoke this function with the given argument, potentially throwing any
Throwable . |
static <L,R> RightAll<L,R> |
rightAll() |
static <L,R> Semigroup<Either<L,R>> |
rightAll(Semigroup<R> rSemigroup) |
static <L,R> Fn1<Either<L,R>,Either<L,R>> |
rightAll(Semigroup<R> rSemigroup,
Either<L,R> x) |
static <L,R> Either<L,R> |
rightAll(Semigroup<R> rSemigroup,
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<R> rSemigroup)
Fn2
Throwable
.checkedApply
in interface Fn1<Semigroup<R>,Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>>
checkedApply
in interface Fn2<Semigroup<R>,Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>
checkedApply
in interface SemigroupFactory<Semigroup<R>,Either<L,R>>
rSemigroup
- the argumentpublic static <L,R> RightAll<L,R> rightAll()
public static <L,R> Fn1<Either<L,R>,Either<L,R>> rightAll(Semigroup<R> rSemigroup, Either<L,R> x)