com.jnape.palatable.lambda.semigroup.builtin

Class Max<A extends Comparable<A>>

java.lang.Object

com.jnape.palatable.lambda.semigroup.builtin.Max<A>

Type Parameters:

A - the value type

All Implemented Interfaces:

Fn1<A,Fn1<A,A>>, Fn2<A,A,A>, Applicative<Fn1<A,A>,Fn1<A,?>>, Cartesian<A,Fn1<A,A>,Fn1<?,?>>, Cocartesian<A,Fn1<A,A>,Fn1<?,?>>, Contravariant<A,Profunctor<?,Fn1<A,A>,Fn1<?,?>>>, Functor<Fn1<A,A>,Fn1<A,?>>, Profunctor<A,Fn1<A,A>,Fn1<?,?>>, Monad<Fn1<A,A>,Fn1<A,?>>, MonadReader<A,Fn1<A,A>,Fn1<A,?>>, MonadRec<Fn1<A,A>,Fn1<A,?>>, MonadWriter<A,Fn1<A,A>,Fn1<A,?>>, Semigroup<A>

public final class Max<A extends Comparable<A>>
extends Object
implements Semigroup<A>

A Semigroup over A that chooses between two values x and y via the following rules:

• If x is strictly less than y, return y
• Otherwise, return x

See Also:

MaxBy, Min

Method Summary

Modifier and Type	Method and Description
A	checkedApply(A x, A y)
static <A extends Comparable<A>> Max<A>	max()
static <A extends Comparable<A>> Fn1<A,A>	max(A x)
static <A extends Comparable<A>> A	max(A x, A y)

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.semigroup.Semigroup

flip, foldLeft, foldRight

Methods inherited from interface com.jnape.palatable.lambda.functions.Fn2

apply, apply, checkedApply, compose, contraMap, curried, curry, diMapL, discardR, fn2, fromBiFunction, toBiFunction, uncurry, widen

Methods inherited from interface com.jnape.palatable.lambda.functions.Fn1

andThen, carry, cartesian, censor, choose, cocartesian, diMap, diMapR, discardL, flatMap, fmap, fn1, fromFunction, lazyZip, listens, local, pure, pureFn1, thunk, toFunction, trampolineM, zip, zip

Methods inherited from interface com.jnape.palatable.lambda.monad.Monad

join

Methods inherited from interface com.jnape.palatable.lambda.functor.Functor

coerce

Method Detail

checkedApply

public A checkedApply(A x,
                      A y)

Specified by:

checkedApply in interface Fn2<A extends Comparable<A>,A extends Comparable<A>,A extends Comparable<A>>

max

public static <A extends Comparable<A>> Max<A> max()

max

public static <A extends Comparable<A>> Fn1<A,A> max(A x)

max

public static <A extends Comparable<A>> A max(A x,
                                              A y)