Class Collapse<_1,_2>
- java.lang.Object
-
- com.jnape.palatable.lambda.semigroup.builtin.Collapse<_1,_2>
-
- Type Parameters:
_1
- the first slot parameter type_2
- the second slot parameter type
- All Implemented Interfaces:
Fn1<Semigroup<_1>,Fn1<Semigroup<_2>,Fn1<Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>>>
,Fn2<Semigroup<_1>,Semigroup<_2>,Fn1<Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>>
,Fn3<Semigroup<_1>,Semigroup<_2>,Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>
,Fn4<Semigroup<_1>,Semigroup<_2>,Tuple2<_1,_2>,Tuple2<_1,_2>,Tuple2<_1,_2>>
,BiSemigroupFactory<Semigroup<_1>,Semigroup<_2>,Tuple2<_1,_2>>
,Applicative<Fn1<Semigroup<_2>,Fn1<Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>>,Fn1<Semigroup<_1>,?>>
,Cartesian<Semigroup<_1>,Fn1<Semigroup<_2>,Fn1<Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>>,Fn1<?,?>>
,Cocartesian<Semigroup<_1>,Fn1<Semigroup<_2>,Fn1<Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>>,Fn1<?,?>>
,Contravariant<Semigroup<_1>,Profunctor<?,Fn1<Semigroup<_2>,Fn1<Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>>,Fn1<?,?>>>
,Functor<Fn1<Semigroup<_2>,Fn1<Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>>,Fn1<Semigroup<_1>,?>>
,Profunctor<Semigroup<_1>,Fn1<Semigroup<_2>,Fn1<Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>>,Fn1<?,?>>
,Monad<Fn1<Semigroup<_2>,Fn1<Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>>,Fn1<Semigroup<_1>,?>>
,MonadReader<Semigroup<_1>,Fn1<Semigroup<_2>,Fn1<Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>>,Fn1<Semigroup<_1>,?>>
,MonadRec<Fn1<Semigroup<_2>,Fn1<Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>>,Fn1<Semigroup<_1>,?>>
,MonadWriter<Semigroup<_1>,Fn1<Semigroup<_2>,Fn1<Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>>,Fn1<Semigroup<_1>,?>>
public final class Collapse<_1,_2> extends java.lang.Object implements BiSemigroupFactory<Semigroup<_1>,Semigroup<_2>,Tuple2<_1,_2>>
-
-
Constructor Summary
Constructors Modifier Constructor Description private
Collapse()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Semigroup<Tuple2<_1,_2>>
checkedApply(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup)
static <_1,_2>
Collapse<_1,_2>collapse()
static <_1,_2>
SemigroupFactory<Semigroup<_2>,Tuple2<_1,_2>>collapse(Semigroup<_1> _1Semigroup)
static <_1,_2>
Semigroup<Tuple2<_1,_2>>collapse(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup)
static <_1,_2>
Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>collapse(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup, Tuple2<_1,_2> x)
static <_1,_2>
Tuple2<_1,_2>collapse(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup, Tuple2<_1,_2> x, Tuple2<_1,_2> 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.specialized.BiSemigroupFactory
apply, apply, checkedApply, flip, uncurry
-
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
checkedApply, toBiFunction
-
-
-
-
Field Detail
-
INSTANCE
private static final Collapse<?,?> INSTANCE
-
-
Method Detail
-
checkedApply
public Semigroup<Tuple2<_1,_2>> checkedApply(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup)
Description copied from interface:Fn3
- Specified by:
checkedApply
in interfaceBiSemigroupFactory<Semigroup<_1>,Semigroup<_2>,Tuple2<_1,_2>>
- Specified by:
checkedApply
in interfaceFn2<Semigroup<_1>,Semigroup<_2>,Fn1<Tuple2<_1,_2>,Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>>>
- Specified by:
checkedApply
in interfaceFn3<Semigroup<_1>,Semigroup<_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> SemigroupFactory<Semigroup<_2>,Tuple2<_1,_2>> collapse(Semigroup<_1> _1Semigroup)
-
collapse
public static <_1,_2> Semigroup<Tuple2<_1,_2>> collapse(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup)
-
collapse
public static <_1,_2> Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>> collapse(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup, Tuple2<_1,_2> x)
-
-