Class RightAny<L,R>
java.lang.Object
com.jnape.palatable.lambda.semigroup.builtin.RightAny<L,R>
- Type Parameters:
L
- The left parameter typeR
- The right parameter type
- All Implemented Interfaces:
Fn1<Semigroup<R>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>> Fn2<Semigroup<R>,
,Either<L, R>, Fn1<Either<L, R>, Either<L, R>>> Fn3<Semigroup<R>,
,Either<L, R>, Either<L, R>, Either<L, R>> SemigroupFactory<Semigroup<R>,
,Either<L, R>> Applicative<Fn1<Either<L,
,R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<Semigroup<R>, ?>> Cartesian<Semigroup<R>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<?, ?>> Cocartesian<Semigroup<R>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<?, ?>> Contravariant<Semigroup<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<Semigroup<R>, ?>> Profunctor<Semigroup<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<Semigroup<R>, ?>> MonadReader<Semigroup<R>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<Semigroup<R>, ?>> MonadRec<Fn1<Either<L,
,R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<Semigroup<R>, ?>> MonadWriter<Semigroup<R>,
Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<Semigroup<R>, ?>>
public final class RightAny<L,R>
extends Object
implements SemigroupFactory<Semigroup<R>,Either<L,R>>
A
Semigroup
instance formed by Either
<L,R>
and a semigroup over R
.
The application to two Either
values is right-biased, such that for a given Either
x
and
y
:
- if both
x
andy
are right values, the result is the application of the x and y values in terms of the provided semigroup, 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
- See Also:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
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, apply, checkedApply, compose, contraMap, diMapL, discardR, flip, uncurry, widen
Methods inherited from interface com.jnape.palatable.lambda.functions.specialized.SemigroupFactory
apply, checkedApply