Class LeftAny<L,R>
java.lang.Object
com.jnape.palatable.lambda.monoid.builtin.LeftAny<L,R>
- Type Parameters:
L
- The left parameter typeR
- The right parameter type
- All Implemented Interfaces:
Fn1<Monoid<L>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>> Fn2<Monoid<L>,
,Either<L, R>, Fn1<Either<L, R>, Either<L, R>>> Fn3<Monoid<L>,
,Either<L, R>, Either<L, R>, Either<L, R>> MonoidFactory<Monoid<L>,
,Either<L, R>> SemigroupFactory<Monoid<L>,
,Either<L, R>> Applicative<Fn1<Either<L,
,R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<Monoid<L>, ?>> Cartesian<Monoid<L>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<?, ?>> Cocartesian<Monoid<L>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<?, ?>> Contravariant<Monoid<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<Monoid<L>, ?>> Profunctor<Monoid<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<Monoid<L>, ?>> MonadReader<Monoid<L>,
,Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<Monoid<L>, ?>> MonadRec<Fn1<Either<L,
,R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<Monoid<L>, ?>> MonadWriter<Monoid<L>,
Fn1<Either<L, R>, Fn1<Either<L, R>, Either<L, R>>>, Fn1<Monoid<L>, ?>>
A
Monoid
instance formed by Either
<L,R>
and a monoid over L
. The
application to two Either
values is left-biased, such that for a given Either
x
and
y
:
- if both
x
andy
are left values, the result is the application of the x and y values in terms of the provided monoid, wrapped inEither.left(L)
- if only
x
is a left value, the result isx
- if only
y
is a left value, the result isy
- if neither
x
nory
are left 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, 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 Details
-
INSTANCE
-
-
Constructor Details
-
LeftAny
private LeftAny()
-
-
Method Details
-
checkedApply
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<L>,
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:
lMonoid
- the argument- Returns:
- the result of the function application
-
leftAny
-
leftAny
-
leftAny
-
leftAny
-