Class LeftAll<L,R>
java.lang.Object
com.jnape.palatable.lambda.semigroup.builtin.LeftAll<L,R>
- Type Parameters:
L
- The left parameter typeR
- The right parameter type
- All Implemented Interfaces:
Fn1<Semigroup<L>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>> Fn2<Semigroup<L>,
,Either<L, R>, Fn1<Either<L, R>, Either<L, R>>> Fn3<Semigroup<L>,
,Either<L, R>, Either<L, R>, Either<L, R>> SemigroupFactory<Semigroup<L>,
,Either<L, R>> Applicative<Fn1<Either<L,
,R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<Semigroup<L>, ?>> Cartesian<Semigroup<L>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<?, ?>> Cocartesian<Semigroup<L>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<?, ?>> Contravariant<Semigroup<L>,
,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<L>, ?>> Profunctor<Semigroup<L>,
,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<L>, ?>> MonadReader<Semigroup<L>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<Semigroup<L>, ?>> MonadRec<Fn1<Either<L,
,R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<Semigroup<L>, ?>> MonadWriter<Semigroup<L>,
Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<Semigroup<L>, ?>>
public final class LeftAll<L,R>
extends Object
implements SemigroupFactory<Semigroup<L>,Either<L,R>>
A
Semigroup
instance formed by Either
<L,R>
and a semigroup over L
.
The application to two Either
values is right-biased, such that for a given Either
x
and
y
:
- if
x
is aRight
value, the result isx
- if
y
is aRight
value, the result isy
- if both
x
andy
are left values, the result is the application of the x and y values in terms of the provided semigroup, wrapped inEither.left(L)
- 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