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

Class Union<A>

java.lang.Object

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

Type Parameters:

A - the Iterable element type

All Implemented Interfaces:

Fn1<java.lang.Iterable<A>,Fn1<java.lang.Iterable<A>,java.lang.Iterable<A>>>, Fn2<java.lang.Iterable<A>,java.lang.Iterable<A>,java.lang.Iterable<A>>, Applicative<Fn1<java.lang.Iterable<A>,java.lang.Iterable<A>>,Fn1<java.lang.Iterable<A>,?>>, Cartesian<java.lang.Iterable<A>,Fn1<java.lang.Iterable<A>,java.lang.Iterable<A>>,Fn1<?,?>>, Cocartesian<java.lang.Iterable<A>,Fn1<java.lang.Iterable<A>,java.lang.Iterable<A>>,Fn1<?,?>>, Contravariant<java.lang.Iterable<A>,Profunctor<?,Fn1<java.lang.Iterable<A>,java.lang.Iterable<A>>,Fn1<?,?>>>, Functor<Fn1<java.lang.Iterable<A>,java.lang.Iterable<A>>,Fn1<java.lang.Iterable<A>,?>>, Profunctor<java.lang.Iterable<A>,Fn1<java.lang.Iterable<A>,java.lang.Iterable<A>>,Fn1<?,?>>, Monad<Fn1<java.lang.Iterable<A>,java.lang.Iterable<A>>,Fn1<java.lang.Iterable<A>,?>>, MonadReader<java.lang.Iterable<A>,Fn1<java.lang.Iterable<A>,java.lang.Iterable<A>>,Fn1<java.lang.Iterable<A>,?>>, MonadRec<Fn1<java.lang.Iterable<A>,java.lang.Iterable<A>>,Fn1<java.lang.Iterable<A>,?>>, MonadWriter<java.lang.Iterable<A>,Fn1<java.lang.Iterable<A>,java.lang.Iterable<A>>,Fn1<java.lang.Iterable<A>,?>>, Monoid<java.lang.Iterable<A>>, Semigroup<java.lang.Iterable<A>>

public final class Union<A>
extends java.lang.Object
implements Monoid<java.lang.Iterable<A>>

Given two Iterables xs and ys, return the concatenation of the distinct elements of both xs and ys.

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Union()

Method Summary

Modifier and Type	Method	Description
java.lang.Iterable<A>	checkedApply(java.lang.Iterable<A> xs, java.lang.Iterable<A> ys)
java.lang.Iterable<A>	identity()	The identity element of this monoid.
static <A> Union<A>	union()
static <A> Fn1<java.lang.Iterable<A>,java.lang.Iterable<A>>	union(java.lang.Iterable<A> xs)
static <A> java.lang.Iterable<A>	union(java.lang.Iterable<A> xs, java.lang.Iterable<A> ys)

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 Union<?> INSTANCE

Constructor Detail

Union

private Union()

Method Detail

identity

public java.lang.Iterable<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 java.lang.Iterable<A> checkedApply(java.lang.Iterable<A> xs,
                                          java.lang.Iterable<A> ys)

Specified by:

checkedApply in interface Fn2<java.lang.Iterable<A>,java.lang.Iterable<A>,java.lang.Iterable<A>>

union

public static <A> Union<A> union()

union

public static <A> Fn1<java.lang.Iterable<A>,java.lang.Iterable<A>> union(java.lang.Iterable<A> xs)

union

public static <A> java.lang.Iterable<A> union(java.lang.Iterable<A> xs,
                                              java.lang.Iterable<A> ys)