Class Collapse<_1,_2>

java.lang.Object

com.jnape.palatable.lambda.monoid.builtin.Collapse<_1,_2>

Type Parameters:

_1 - the first slot parameter type

_2 - the second slot parameter type

All Implemented Interfaces:

Fn1<Monoid<_1>, Fn1<Monoid<_2>, Fn1<Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>>>, Fn2<Monoid<_1>, Monoid<_2>, Fn1<Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>>, Fn3<Monoid<_1>, Monoid<_2>, Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>, Fn4<Monoid<_1>, Monoid<_2>, Tuple2<_1,_2>, Tuple2<_1,_2>, Tuple2<_1,_2>>, BiMonoidFactory<Monoid<_1>, Monoid<_2>, Tuple2<_1,_2>>, BiSemigroupFactory<Monoid<_1>, Monoid<_2>, Tuple2<_1,_2>>, Applicative<Fn1<Monoid<_2>, Fn1<Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>>, Fn1<Monoid<_1>, ?>>, Cartesian<Monoid<_1>, Fn1<Monoid<_2>, Fn1<Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>>, Fn1<?,?>>, Cocartesian<Monoid<_1>, Fn1<Monoid<_2>, Fn1<Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>>, Fn1<?,?>>, Contravariant<Monoid<_1>, Profunctor<?, Fn1<Monoid<_2>, Fn1<Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>>, Fn1<?,?>>>, Functor<Fn1<Monoid<_2>, Fn1<Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>>, Fn1<Monoid<_1>, ?>>, Profunctor<Monoid<_1>, Fn1<Monoid<_2>, Fn1<Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>>, Fn1<?,?>>, Monad<Fn1<Monoid<_2>, Fn1<Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>>, Fn1<Monoid<_1>, ?>>, MonadReader<Monoid<_1>, Fn1<Monoid<_2>, Fn1<Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>>, Fn1<Monoid<_1>, ?>>, MonadRec<Fn1<Monoid<_2>, Fn1<Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>>, Fn1<Monoid<_1>, ?>>, MonadWriter<Monoid<_1>, Fn1<Monoid<_2>, Fn1<Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>>, Fn1<Monoid<_1>, ?>>

public final class Collapse<_1,_2>
extends Object
implements BiMonoidFactory<Monoid<_1>, Monoid<_2>, Tuple2<_1,_2>>

A Monoid instance formed by a Tuple2<_1, _2> and monoids over _1 and _2. Successively collapses multiple Tuple2s into a single Tuple2 by collapsing the values of each slot under the provided monoid instance.

For the Semigroup, see Collapse.

See Also:

• Monoid
• Tuple2

Field Summary

Fields

Modifier and Type	Field	Description
private static final Collapse<?,?>	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Collapse()

Method Summary

Modifier and Type	Method	Description
Monoid<Tuple2<_1,_2>>	checkedApply(Monoid<_1> _1Monoid, Monoid<_2> _2Monoid)
static <_1,_2> Collapse<_1,_2>	collapse()
static <_1,_2> MonoidFactory<Monoid<_2>, Tuple2<_1,_2>>	collapse(Monoid<_1> _1Monoid)
static <_1,_2> Monoid<Tuple2<_1,_2>>	collapse(Monoid<_1> _1Monoid, Monoid<_2> _2Monoid)
static <_1,_2> Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>	collapse(Monoid<_1> _1Monoid, Monoid<_2> _2Monoid, Tuple2<_1,_2> x)
static <_1,_2> Tuple2<_1,_2>	collapse(Monoid<_1> _1Monoid, Monoid<_2> _2Monoid, Tuple2<_1,_2> x, Tuple2<_1,_2> y)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface BiMonoidFactory

apply, apply, checkedApply, flip, uncurry

Methods inherited from interface BiSemigroupFactory

checkedApply

Methods inherited from interface 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 Fn2

toBiFunction

Methods inherited from interface Fn4

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

Methods inherited from interface Functor

coerce

Field Details

INSTANCE

private static final Collapse<?,?> INSTANCE

Constructor Details

Collapse

private Collapse()

Method Details

checkedApply

public Monoid<Tuple2<_1,_2>> checkedApply(Monoid<_1> _1Monoid,
 Monoid<_2> _2Monoid)

Description copied from interface: Fn3

Specified by:

checkedApply in interface BiMonoidFactory<Monoid<_1>, Monoid<_2>, Tuple2<_1,_2>>

Specified by:

checkedApply in interface BiSemigroupFactory<Monoid<_1>, Monoid<_2>, Tuple2<_1,_2>>

Specified by:

checkedApply in interface Fn2<Monoid<_1>, Monoid<_2>, Fn1<Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>>

Specified by:

checkedApply in interface Fn3<Monoid<_1>, Monoid<_2>, Tuple2<_1,_2>, Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>>>

collapse

public static <_1,_2> Collapse<_1,_2> collapse()

collapse

public static <_1,_2>
MonoidFactory<Monoid<_2>, Tuple2<_1,_2>> collapse(Monoid<_1> _1Monoid)

collapse

public static <_1,_2> Monoid<Tuple2<_1,_2>> collapse(Monoid<_1> _1Monoid,
 Monoid<_2> _2Monoid)

collapse

public static <_1,_2>
Fn1<Tuple2<_1,_2>, Tuple2<_1,_2>> collapse(Monoid<_1> _1Monoid,
 Monoid<_2> _2Monoid,
 Tuple2<_1,_2> x)

collapse

public static <_1,_2> Tuple2<_1,_2> collapse(Monoid<_1> _1Monoid,
 Monoid<_2> _2Monoid,
 Tuple2<_1,_2> x,
 Tuple2<_1,_2> y)