Package | Description |
---|---|
com.jnape.palatable.lambda.functions.specialized | |
com.jnape.palatable.lambda.monoid.builtin | |
com.jnape.palatable.lambda.semigroup.builtin |
Modifier and Type | Interface and Description |
---|---|
interface |
MonoidFactory<A,B> |
Modifier and Type | Method and Description |
---|---|
default SemigroupFactory<B,C> |
BiSemigroupFactory.apply(A a) |
default SemigroupFactory<? super Product2<? extends A,? extends B>,C> |
BiSemigroupFactory.uncurry() |
Modifier and Type | Class and Description |
---|---|
class |
AddAll<A,C extends Collection<A>>
The
Monoid instance formed under mutative concatenation for an arbitrary Collection . |
class |
Compose<A>
|
class |
EndoK<M extends MonadRec<?,M>,A,MA extends MonadRec<A,M>>
The monoid formed under monadic endomorphism.
|
class |
LeftAll<L,R>
|
class |
LeftAny<L,R>
|
class |
Present<A>
|
class |
RightAll<L,R>
|
class |
RightAny<L,R>
|
class |
RunAll<A>
|
Modifier and Type | Class and Description |
---|---|
class |
Absent<A>
|
class |
MaxBy<A,B extends Comparable<B>>
Given a mapping function from some type
A to some Comparable type B , produce a
Semigroup over A that chooses between two values x and y via the
following rules:
If x is strictly less than y in terms of B , return y
Otherwise, return x
|
class |
MinBy<A,B extends Comparable<B>>
Given a mapping function from some type
A to some Comparable type B , produce a
Semigroup over A that chooses between two values x and y via the
following rules:
If x is strictly greater than y in terms of B , return y
Otherwise, return x
|
Modifier and Type | Method and Description |
---|---|
static <_1,_2> SemigroupFactory<Semigroup<_2>,Tuple2<_1,_2>> |
Collapse.collapse(Semigroup<_1> _1Semigroup) |
static <L,R> SemigroupFactory<Semigroup<R>,Either<L,R>> |
Merge.merge(Semigroup<L> lSemigroup) |