L
- The left parameter typeR
- The right parameter typepublic final class RightAll<L,R> extends Object implements MonoidFactory<Monoid<R>,Either<L,R>>
Monoid
instance formed by Either
<L,R>
and a monoid 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 monoid, wrapped in Either.right(R)
Modifier and Type | Method and Description |
---|---|
Monoid<Either<L,R>> |
checkedApply(Monoid<R> rMonoid)
Invoke this function with the given argument, potentially throwing any
Throwable . |
static <L,R> RightAll<L,R> |
rightAll() |
static <L,R> Monoid<Either<L,R>> |
rightAll(Monoid<R> rMonoid) |
static <L,R> Fn1<Either<L,R>,Either<L,R>> |
rightAll(Monoid<R> rMonoid,
Either<L,R> x) |
static <L,R> Either<L,R> |
rightAll(Monoid<R> rMonoid,
Either<L,R> x,
Either<L,R> y) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
apply, apply
checkedApply
apply, checkedApply, compose, contraMap, diMapL, discardR, flip, fn3, fn3, fn3, uncurry, widen
curried, curry, fn2, fromBiFunction, toBiFunction
public Monoid<Either<L,R>> checkedApply(Monoid<R> rMonoid)
Fn2
Throwable
.checkedApply
in interface Fn1<Monoid<R>,Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>>
checkedApply
in interface Fn2<Monoid<R>,Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>
checkedApply
in interface MonoidFactory<Monoid<R>,Either<L,R>>
checkedApply
in interface SemigroupFactory<Monoid<R>,Either<L,R>>
rMonoid
- the argumentpublic static <L,R> RightAll<L,R> rightAll()
public static <L,R> Fn1<Either<L,R>,Either<L,R>> rightAll(Monoid<R> rMonoid, Either<L,R> x)