Class RightAny<L,R>
- java.lang.Object
-
- com.jnape.palatable.lambda.monoid.builtin.RightAny<L,R>
-
- Type Parameters:
L
- The left parameter typeR
- The right parameter type
- All Implemented Interfaces:
Fn1<Monoid<R>,Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>>
,Fn2<Monoid<R>,Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>
,Fn3<Monoid<R>,Either<L,R>,Either<L,R>,Either<L,R>>
,MonoidFactory<Monoid<R>,Either<L,R>>
,SemigroupFactory<Monoid<R>,Either<L,R>>
,Applicative<Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>,Fn1<Monoid<R>,?>>
,Cartesian<Monoid<R>,Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>,Fn1<?,?>>
,Cocartesian<Monoid<R>,Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>,Fn1<?,?>>
,Contravariant<Monoid<R>,Profunctor<?,Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>,Fn1<?,?>>>
,Functor<Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>,Fn1<Monoid<R>,?>>
,Profunctor<Monoid<R>,Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>,Fn1<?,?>>
,Monad<Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>,Fn1<Monoid<R>,?>>
,MonadReader<Monoid<R>,Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>,Fn1<Monoid<R>,?>>
,MonadRec<Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>,Fn1<Monoid<R>,?>>
,MonadWriter<Monoid<R>,Fn1<Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>,Fn1<Monoid<R>,?>>
public final class RightAny<L,R> extends java.lang.Object implements MonoidFactory<Monoid<R>,Either<L,R>>
AMonoid
instance formed by
and a monoid overEither
<L,R>R
. The application to twoEither
values is right-biased, such that for a givenEither
x
andy
:- if both
x
andy
are right values, the result is the application of the x and y values in terms of the provided monoid, wrapped inEither.right(R)
- if only
x
is a right value, the result isx
- if only
y
is a right value, the result isy
- if neither
x
nory
are right values, the result isy
-
-
Constructor Summary
Constructors Modifier Constructor Description private
RightAny()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Monoid<Either<L,R>>
checkedApply(Monoid<R> rMonoid)
Invoke this function with the given argument, potentially throwing anyThrowable
.static <L,R>
RightAny<L,R>rightAny()
static <L,R>
Monoid<Either<L,R>>rightAny(Monoid<R> rMonoid)
static <L,R>
Fn1<Either<L,R>,Either<L,R>>rightAny(Monoid<R> rMonoid, Either<L,R> x)
static <L,R>
Either<L,R>rightAny(Monoid<R> rMonoid, Either<L,R> x, Either<L,R> y)
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn1
andThen, carry, cartesian, censor, choose, cocartesian, diMap, diMapR, discardL, flatMap, fmap, lazyZip, listens, local, pure, self, thunk, toFunction, trampolineM, zip, zip
-
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn2
toBiFunction
-
Methods inherited from interface com.jnape.palatable.lambda.functions.Fn3
apply, checkedApply, compose, contraMap, diMapL, discardR, flip, uncurry, widen
-
Methods inherited from interface com.jnape.palatable.lambda.functions.specialized.MonoidFactory
apply, apply
-
Methods inherited from interface com.jnape.palatable.lambda.functions.specialized.SemigroupFactory
checkedApply
-
-
-
-
Field Detail
-
INSTANCE
private static final RightAny<?,?> INSTANCE
-
-
Method Detail
-
checkedApply
public Monoid<Either<L,R>> checkedApply(Monoid<R> rMonoid)
Description copied from interface:Fn2
Invoke this function with the given argument, potentially throwing anyThrowable
.- Specified by:
checkedApply
in interfaceFn1<L,R>
- Specified by:
checkedApply
in interfaceFn2<Monoid<R>,Either<L,R>,Fn1<Either<L,R>,Either<L,R>>>
- Specified by:
checkedApply
in interfaceMonoidFactory<L,R>
- Specified by:
checkedApply
in interfaceSemigroupFactory<L,R>
- Parameters:
rMonoid
- the argument- Returns:
- the result of the function application
-
rightAny
public static <L,R> RightAny<L,R> rightAny()
-
rightAny
public static <L,R> Fn1<Either<L,R>,Either<L,R>> rightAny(Monoid<R> rMonoid, Either<L,R> x)
-
-