Package com.jnape.palatable.lambda.monoid.builtin

Class Last<A>

java.lang.Object

com.jnape.palatable.lambda.monoid.builtin.Last<A>

Type Parameters:

A - the Maybe value parameter type

All Implemented Interfaces:

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

public final class Last<A>
extends java.lang.Object
implements Monoid<Maybe<A>>

A Monoid instance formed by Maybe<A>. The application to two Maybe values produces the last non-empty value, or Maybe.nothing() if all values are empty.

See Also:

First, Present, Monoid, Maybe

Field Summary

Fields

Modifier and Type	Field	Description
private static Last<?>	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Last()

Method Summary

Modifier and Type	Method	Description
Maybe<A>	checkedApply(Maybe<A> x, Maybe<A> y)
Maybe<A>	identity()	The identity element of this monoid.
static <A> Last<A>	last()
static <A> Fn1<Maybe<A>,Maybe<A>>	last(Maybe<A> x)
static <A> Maybe<A>	last(Maybe<A> x, Maybe<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.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

apply, apply, checkedApply, compose, contraMap, diMapL, discardR, toBiFunction, uncurry, widen

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

coerce

Methods inherited from interface com.jnape.palatable.lambda.monoid.Monoid

flip, foldLeft, foldMap, foldRight, reduceLeft, reduceRight

Field Detail

INSTANCE

private static final Last<?> INSTANCE

Constructor Detail

Last

private Last()

Method Detail

identity

public Maybe<A> identity()

Description copied from interface: Monoid

The identity element of this monoid.

Specified by:

identity in interface Monoid<A>

Returns:

the identity

checkedApply

public Maybe<A> checkedApply(Maybe<A> x,
                             Maybe<A> y)

Specified by:

checkedApply in interface Fn2<Maybe<A>,Maybe<A>,Maybe<A>>

last

public static <A> Last<A> last()

last

public static <A> Fn1<Maybe<A>,Maybe<A>> last(Maybe<A> x)

last

public static <A> Maybe<A> last(Maybe<A> x,
                                Maybe<A> y)