Class RightAll<L,R>
java.lang.Object
com.jnape.palatable.lambda.semigroup.builtin.RightAll<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 RightAll<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 left-biased, such that for a given Either
x
and
y
:
- if
x
is aLeft
value, the result isx
- if
y
is aLeft
value, the result isy
- 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)
- 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