Class Merge<L,R>
java.lang.Object
com.jnape.palatable.lambda.monoid.builtin.Merge<L,R>
- Type Parameters:
L
- The left parameter typeR
- The right parameter type
- All Implemented Interfaces:
Fn1<Semigroup<L>,
,Fn1<Monoid<R>, Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>>> Fn2<Semigroup<L>,
,Monoid<R>, Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>> Fn3<Semigroup<L>,
,Monoid<R>, Either<L, R>, Fn1<Either<L, R>, Either<L, R>>> Fn4<Semigroup<L>,
,Monoid<R>, Either<L, R>, Either<L, R>, Either<L, R>> BiMonoidFactory<Semigroup<L>,
,Monoid<R>, Either<L, R>> BiSemigroupFactory<Semigroup<L>,
,Monoid<R>, Either<L, R>> Applicative<Fn1<Monoid<R>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>>, Fn1<Semigroup<L>, ?>> Cartesian<Semigroup<L>,
,Fn1<Monoid<R>, Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>>, Fn1<?, ?>> Cocartesian<Semigroup<L>,
,Fn1<Monoid<R>, Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>>, Fn1<?, ?>> Contravariant<Semigroup<L>,
,Profunctor<?, Fn1<Monoid<R>, Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>>, Fn1<?, ?>>> Functor<Fn1<Monoid<R>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>>, Fn1<Semigroup<L>, ?>> Profunctor<Semigroup<L>,
,Fn1<Monoid<R>, Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>>, Fn1<?, ?>> Monad<Fn1<Monoid<R>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>>, Fn1<Semigroup<L>, ?>> MonadReader<Semigroup<L>,
,Fn1<Monoid<R>, Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>>, Fn1<Semigroup<L>, ?>> MonadRec<Fn1<Monoid<R>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>>, Fn1<Semigroup<L>, ?>> MonadWriter<Semigroup<L>,
Fn1<Monoid<R>, Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>>, Fn1<Semigroup<L>, ?>>
public final class Merge<L,R>
extends Object
implements BiMonoidFactory<Semigroup<L>,Monoid<R>,Either<L,R>>
A
Monoid
instance formed by Either.merge(com.jnape.palatable.lambda.functions.Fn2<? super L, ? super L, ? extends L>, com.jnape.palatable.lambda.functions.Fn2<? super R, ? super R, ? extends R>, com.jnape.palatable.lambda.adt.Either<L, R>...)
, a semigroup over L
, and a monoid over
R
. Like Either.merge(com.jnape.palatable.lambda.functions.Fn2<? super L, ? super L, ? extends L>, com.jnape.palatable.lambda.functions.Fn2<? super R, ? super R, ? extends R>, com.jnape.palatable.lambda.adt.Either<L, R>...)
, this is left-biased.
- 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.specialized.BiMonoidFactory
apply, apply, checkedApply, flip, uncurry
Methods inherited from interface com.jnape.palatable.lambda.functions.specialized.BiSemigroupFactory
checkedApply
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
-
Field Details
-
INSTANCE
-
-
Constructor Details
-
Merge
private Merge()
-
-
Method Details
-
checkedApply
Description copied from interface:Fn3
- Specified by:
checkedApply
in interfaceBiMonoidFactory<Semigroup<L>,
Monoid<R>, Either<L, R>> - Specified by:
checkedApply
in interfaceBiSemigroupFactory<Semigroup<L>,
Monoid<R>, Either<L, R>> - Specified by:
checkedApply
in interfaceFn2<Semigroup<L>,
Monoid<R>, Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>> - Specified by:
checkedApply
in interfaceFn3<Semigroup<L>,
Monoid<R>, Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>
-
merge
-
merge
-
merge
-
merge
-
merge
-