Uses of Interface
com.jnape.palatable.lambda.semigroup.Semigroup
-
-
Uses of Semigroup in com.jnape.palatable.lambda.functions.specialized
Methods in com.jnape.palatable.lambda.functions.specialized that return Semigroup Modifier and Type Method Description default Semigroup<C>
BiSemigroupFactory. apply(A a, B b)
default Semigroup<B>
SemigroupFactory. apply(A a)
Semigroup<C>
BiSemigroupFactory. checkedApply(A a, B b)
Semigroup<B>
SemigroupFactory. checkedApply(A a)
-
Uses of Semigroup in com.jnape.palatable.lambda.monoid
Subinterfaces of Semigroup in com.jnape.palatable.lambda.monoid Modifier and Type Interface Description interface
Monoid<A>
Methods in com.jnape.palatable.lambda.monoid with parameters of type Semigroup Modifier and Type Method Description static <A> Monoid<A>
Monoid. monoid(Semigroup<A> semigroup, A identity)
static <A> Monoid<A>
Monoid. monoid(Semigroup<A> semigroup, Fn0<A> identityFn0)
-
Uses of Semigroup in com.jnape.palatable.lambda.monoid.builtin
Classes in com.jnape.palatable.lambda.monoid.builtin that implement Semigroup Modifier and Type Class Description class
And
AMonoid
instance formed byBoolean
.class
Concat<A>
TheMonoid
instance formed under concatenation for an arbitraryIterable
.class
Endo<A>
class
First<A>
class
Join
AMonoid
instance formed byString
that concats two strings together.class
Last<A>
class
MergeHMaps
AMonoid
instance formed by mergingHMaps
using the chosenTypeSafeKey
->Semigroup
mappings
, defaulting toLast
in case noSemigroup
has been chosen for a givenTypeSafeKey
.class
Or
AMonoid
instance formed byBoolean
.class
PutAll
class
Trivial
class
Union<A>
class
Xor
Logical exclusive-or.Methods in com.jnape.palatable.lambda.monoid.builtin that return types with arguments of type Semigroup Modifier and Type Method Description static <K,V>
MonoidFactory<Semigroup<V>,java.util.Map<K,V>>MergeMaps. mergeMaps(Fn0<java.util.Map<K,V>> mFn0)
Methods in com.jnape.palatable.lambda.monoid.builtin with parameters of type Semigroup Modifier and Type Method Description Monoid<Either<L,R>>
Merge. checkedApply(Semigroup<L> lSemigroup, Monoid<R> rMonoid)
Monoid<java.util.Map<K,V>>
MergeMaps. checkedApply(Fn0<java.util.Map<K,V>> mFn0, Semigroup<V> semigroup)
Monoid<Maybe<A>>
Present. checkedApply(Semigroup<A> aSemigroup)
<A> MergeHMaps
MergeHMaps. key(TypeSafeKey<?,A> key, Semigroup<A> semigroup)
static <L,R>
MonoidFactory<Monoid<R>,Either<L,R>>Merge. merge(Semigroup<L> lSemigroup)
static <L,R>
Monoid<Either<L,R>>Merge. merge(Semigroup<L> lSemigroup, Monoid<R> rMonoid)
static <L,R>
Fn1<Either<L,R>,Either<L,R>>Merge. merge(Semigroup<L> lSemigroup, Monoid<R> rMonoid, Either<L,R> x)
static <L,R>
Either<L,R>Merge. merge(Semigroup<L> lSemigroup, Monoid<R> rMonoid, Either<L,R> x, Either<L,R> y)
private static <A> Fn2<HMap,HMap,HMap>
MergeHMaps. merge(TypeSafeKey<?,A> key, Semigroup<Maybe<A>> semigroup)
static <K,V>
Monoid<java.util.Map<K,V>>MergeMaps. mergeMaps(Fn0<java.util.Map<K,V>> mFn0, Semigroup<V> semigroup)
static <K,V>
Fn1<java.util.Map<K,V>,java.util.Map<K,V>>MergeMaps. mergeMaps(Fn0<java.util.Map<K,V>> mFn0, Semigroup<V> semigroup, java.util.Map<K,V> x)
static <K,V>
java.util.Map<K,V>MergeMaps. mergeMaps(Fn0<java.util.Map<K,V>> mFn0, Semigroup<V> semigroup, java.util.Map<K,V> x, java.util.Map<K,V> y)
static <A> Monoid<Maybe<A>>
Present. present(Semigroup<A> semigroup)
static <A> Fn1<Maybe<A>,Maybe<A>>
Present. present(Semigroup<A> aSemigroup, Maybe<A> x)
static <A> Maybe<A>
Present. present(Semigroup<A> semigroup, Maybe<A> x, Maybe<A> y)
-
Uses of Semigroup in com.jnape.palatable.lambda.semigroup
Methods in com.jnape.palatable.lambda.semigroup that return Semigroup Modifier and Type Method Description default Semigroup<A>
Semigroup. flip()
Flip the order of the arguments. -
Uses of Semigroup in com.jnape.palatable.lambda.semigroup.builtin
Classes in com.jnape.palatable.lambda.semigroup.builtin that implement Semigroup Modifier and Type Class Description class
Intersection<A>
Given twoIterables
xs
andys
, return thedistinct
elements ofxs
that are also inys
in order of their unique occurrence inxs
.class
Max<A extends java.lang.Comparable<A>>
ASemigroup
overA
that chooses between two valuesx
andy
via the following rules: Ifx
is strictly less thany
, returny
Otherwise, returnx
class
Min<A extends java.lang.Comparable<A>>
ASemigroup
overA
that chooses between two valuesx
andy
via the following rules: Ifx
is strictly greater thany
, returny
Otherwise, returnx
Methods in com.jnape.palatable.lambda.semigroup.builtin that return Semigroup Modifier and Type Method Description static <A> Semigroup<Maybe<A>>
Absent. absent(Semigroup<A> aSemigroup)
Semigroup<Maybe<A>>
Absent. checkedApply(Semigroup<A> aSemigroup)
Semigroup<Tuple2<_1,_2>>
Collapse. checkedApply(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup)
Semigroup<java.util.concurrent.CompletableFuture<A>>
Compose. checkedApply(Semigroup<A> aSemigroup)
Semigroup<Either<L,R>>
LeftAll. checkedApply(Semigroup<L> lSemigroup)
Semigroup<Either<L,R>>
LeftAny. checkedApply(Semigroup<L> lSemigroup)
Semigroup<A>
MaxBy. checkedApply(Fn1<? super A,? extends B> compareFn)
Semigroup<A>
MaxWith. checkedApply(java.util.Comparator<A> comparator)
Semigroup<Either<L,R>>
Merge. checkedApply(Semigroup<L> lSemigroup, Semigroup<R> rSemigroup)
Semigroup<A>
MinBy. checkedApply(Fn1<? super A,? extends B> compareFn)
Semigroup<A>
MinWith. checkedApply(java.util.Comparator<A> comparator)
Semigroup<Either<L,R>>
RightAll. checkedApply(Semigroup<R> rSemigroup)
Semigroup<Either<L,R>>
RightAny. checkedApply(Semigroup<R> rSemigroup)
Semigroup<IO<A>>
RunAll. checkedApply(Semigroup<A> semigroup)
static <_1,_2>
Semigroup<Tuple2<_1,_2>>Collapse. collapse(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup)
static <A> Semigroup<java.util.concurrent.CompletableFuture<A>>
Compose. compose(Semigroup<A> aSemigroup)
static <L,R>
Semigroup<Either<L,R>>LeftAll. leftAll(Semigroup<L> lSemigroup)
static <L,R>
Semigroup<Either<L,R>>LeftAny. leftAny(Semigroup<L> lSemigroup)
static <A,B extends java.lang.Comparable<B>>
Semigroup<A>MaxBy. maxBy(Fn1<? super A,? extends B> compareFn)
static <A> Semigroup<A>
MaxWith. maxWith(java.util.Comparator<A> compareFn)
static <L,R>
Semigroup<Either<L,R>>Merge. merge(Semigroup<L> lSemigroup, Semigroup<R> rSemigroup)
static <A,B extends java.lang.Comparable<B>>
Semigroup<A>MinBy. minBy(Fn1<? super A,? extends B> compareFn)
static <A> Semigroup<A>
MinWith. minWith(java.util.Comparator<A> compareFn)
static <L,R>
Semigroup<Either<L,R>>RightAll. rightAll(Semigroup<R> rSemigroup)
static <L,R>
Semigroup<Either<L,R>>RightAny. rightAny(Semigroup<R> rSemigroup)
static <A> Semigroup<IO<A>>
RunAll. runAll(Semigroup<A> semigroup)
private static <A> Semigroup<Maybe<A>>
Absent. shortCircuitSemigroup(Semigroup<A> aSemigroup)
Methods in com.jnape.palatable.lambda.semigroup.builtin that return types with arguments of type Semigroup Modifier and Type Method 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)
Methods in com.jnape.palatable.lambda.semigroup.builtin with parameters of type Semigroup Modifier and Type Method Description static <A> Semigroup<Maybe<A>>
Absent. absent(Semigroup<A> aSemigroup)
static <A> Fn1<Maybe<A>,Maybe<A>>
Absent. absent(Semigroup<A> aSemigroup, Maybe<A> x)
static <A> Maybe<A>
Absent. absent(Semigroup<A> semigroup, Maybe<A> x, Maybe<A> y)
Semigroup<Maybe<A>>
Absent. checkedApply(Semigroup<A> aSemigroup)
Semigroup<Tuple2<_1,_2>>
Collapse. checkedApply(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup)
Semigroup<java.util.concurrent.CompletableFuture<A>>
Compose. checkedApply(Semigroup<A> aSemigroup)
Semigroup<Either<L,R>>
LeftAll. checkedApply(Semigroup<L> lSemigroup)
Semigroup<Either<L,R>>
LeftAny. checkedApply(Semigroup<L> lSemigroup)
Semigroup<Either<L,R>>
Merge. checkedApply(Semigroup<L> lSemigroup, Semigroup<R> rSemigroup)
Semigroup<Either<L,R>>
RightAll. checkedApply(Semigroup<R> rSemigroup)
Semigroup<Either<L,R>>
RightAny. checkedApply(Semigroup<R> rSemigroup)
Semigroup<IO<A>>
RunAll. checkedApply(Semigroup<A> semigroup)
static <_1,_2>
SemigroupFactory<Semigroup<_2>,Tuple2<_1,_2>>Collapse. collapse(Semigroup<_1> _1Semigroup)
static <_1,_2>
Semigroup<Tuple2<_1,_2>>Collapse. collapse(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup)
static <_1,_2>
Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>Collapse. collapse(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup, Tuple2<_1,_2> x)
static <_1,_2>
Tuple2<_1,_2>Collapse. collapse(Semigroup<_1> _1Semigroup, Semigroup<_2> _2Semigroup, Tuple2<_1,_2> x, Tuple2<_1,_2> y)
static <A> Semigroup<java.util.concurrent.CompletableFuture<A>>
Compose. compose(Semigroup<A> aSemigroup)
static <A> Fn1<java.util.concurrent.CompletableFuture<A>,java.util.concurrent.CompletableFuture<A>>
Compose. compose(Semigroup<A> aSemigroup, java.util.concurrent.CompletableFuture<A> x)
static <A> java.util.concurrent.CompletableFuture<A>
Compose. compose(Semigroup<A> aSemigroup, java.util.concurrent.CompletableFuture<A> x, java.util.concurrent.CompletableFuture<A> y)
static <L,R>
Semigroup<Either<L,R>>LeftAll. leftAll(Semigroup<L> lSemigroup)
static <L,R>
Fn1<Either<L,R>,Either<L,R>>LeftAll. leftAll(Semigroup<L> lSemigroup, Either<L,R> x)
static <L,R>
Either<L,R>LeftAll. leftAll(Semigroup<L> lSemigroup, Either<L,R> x, Either<L,R> y)
static <L,R>
Semigroup<Either<L,R>>LeftAny. leftAny(Semigroup<L> lSemigroup)
static <L,R>
Fn1<Either<L,R>,Either<L,R>>LeftAny. leftAny(Semigroup<L> lSemigroup, Either<L,R> x)
static <L,R>
Either<L,R>LeftAny. leftAny(Semigroup<L> lSemigroup, Either<L,R> x, Either<L,R> y)
static <L,R>
SemigroupFactory<Semigroup<R>,Either<L,R>>Merge. merge(Semigroup<L> lSemigroup)
static <L,R>
Semigroup<Either<L,R>>Merge. merge(Semigroup<L> lSemigroup, Semigroup<R> rSemigroup)
static <L,R>
Fn1<Either<L,R>,Either<L,R>>Merge. merge(Semigroup<L> lSemigroup, Semigroup<R> rSemigroup, Either<L,R> x)
static <L,R>
Either<L,R>Merge. merge(Semigroup<L> lSemigroup, Semigroup<R> rSemigroup, Either<L,R> x, Either<L,R> y)
static <L,R>
Semigroup<Either<L,R>>RightAll. rightAll(Semigroup<R> rSemigroup)
static <L,R>
Fn1<Either<L,R>,Either<L,R>>RightAll. rightAll(Semigroup<R> rSemigroup, Either<L,R> x)
static <L,R>
Either<L,R>RightAll. rightAll(Semigroup<R> rSemigroup, Either<L,R> x, Either<L,R> y)
static <L,R>
Semigroup<Either<L,R>>RightAny. rightAny(Semigroup<R> rSemigroup)
static <L,R>
Fn1<Either<L,R>,Either<L,R>>RightAny. rightAny(Semigroup<R> rSemigroup, Either<L,R> x)
static <L,R>
Either<L,R>RightAny. rightAny(Semigroup<R> rSemigroup, Either<L,R> x, Either<L,R> y)
static <A> Semigroup<IO<A>>
RunAll. runAll(Semigroup<A> semigroup)
static <A> Fn1<IO<A>,IO<A>>
RunAll. runAll(Semigroup<A> semigroup, IO<A> ioX)
static <A> IO<A>
RunAll. runAll(Semigroup<A> semigroup, IO<A> ioX, IO<A> ioY)
private static <A> Semigroup<Maybe<A>>
Absent. shortCircuitSemigroup(Semigroup<A> aSemigroup)
-