Uses of Interface
com.jnape.palatable.lambda.monoid.Monoid
-
-
Uses of Monoid in com.jnape.palatable.lambda.functions.specialized
Methods in com.jnape.palatable.lambda.functions.specialized that return Monoid Modifier and Type Method Description default Monoid<C>
BiMonoidFactory. apply(A a, B b)
default Monoid<B>
MonoidFactory. apply(A a)
Monoid<C>
BiMonoidFactory. checkedApply(A a, B b)
Monoid<B>
MonoidFactory. checkedApply(A a)
-
Uses of Monoid in com.jnape.palatable.lambda.functor.builtin
Fields in com.jnape.palatable.lambda.functor.builtin with type parameters of type Monoid Modifier and Type Field Description private Fn1<? super Monoid<W>,? extends Tuple2<A,W>>
Writer. writerFn
Methods in com.jnape.palatable.lambda.functor.builtin with parameters of type Monoid Modifier and Type Method Description Tuple2<A,W>
Writer. runWriter(Monoid<W> monoid)
Constructor parameters in com.jnape.palatable.lambda.functor.builtin with type arguments of type Monoid Constructor Description Writer(Fn1<? super Monoid<W>,? extends Tuple2<A,W>> writerFn)
-
Uses of Monoid in com.jnape.palatable.lambda.monad.transformer.builtin
Fields in com.jnape.palatable.lambda.monad.transformer.builtin with type parameters of type Monoid Modifier and Type Field Description private Fn1<? super Monoid<W>,? extends MonadRec<Tuple2<A,W>,M>>
WriterT. writerFn
Methods in com.jnape.palatable.lambda.monad.transformer.builtin with parameters of type Monoid Modifier and Type Method Description <MA extends MonadRec<A,M>>
MAWriterT. evalWriterT(Monoid<W> monoid)
Given aMonoid
for the accumulation, run the computation represented by thisWriterT
inside themonadic effect
, ignoring the resulting accumulation, yielding the value in isolation.<MW extends MonadRec<W,M>>
MWWriterT. execWriterT(Monoid<W> monoid)
Given aMonoid
for the accumulation, run the computation represented by thisWriterT
inside themonadic effect
, ignoring the value, yielding the accumulation in isolation.<MAW extends MonadRec<Tuple2<A,W>,M>>
MAWWriterT. runWriterT(Monoid<W> monoid)
Given aMonoid
for the accumulation, run the computation represented by thisWriterT
inside themonadic effect
, accumulate the written output in terms of theMonoid
, and produce the accumulation and the result inside theMonad
.Constructor parameters in com.jnape.palatable.lambda.monad.transformer.builtin with type arguments of type Monoid Constructor Description WriterT(Pure<M> pureM, Fn1<? super Monoid<W>,? extends MonadRec<Tuple2<A,W>,M>> writerFn)
-
Uses of Monoid in com.jnape.palatable.lambda.monoid
Methods in com.jnape.palatable.lambda.monoid that return Monoid Modifier and Type Method Description default Monoid<A>
Monoid. flip()
Flip the order of the arguments.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 Monoid in com.jnape.palatable.lambda.monoid.builtin
Classes in com.jnape.palatable.lambda.monoid.builtin that implement Monoid 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 Monoid Modifier and Type Method Description static <A,C extends java.util.Collection<A>>
Monoid<C>AddAll. addAll(Fn0<C> collectionFn0)
Monoid<C>
AddAll. checkedApply(Fn0<C> cFn0)
Monoid<Tuple2<_1,_2>>
Collapse. checkedApply(Monoid<_1> _1Monoid, Monoid<_2> _2Monoid)
Monoid<java.util.concurrent.CompletableFuture<A>>
Compose. checkedApply(Monoid<A> aMonoid)
Monoid<Fn1<A,MA>>
EndoK. checkedApply(Pure<M> pureM)
Monoid<Either<L,R>>
LeftAll. checkedApply(Monoid<L> lMonoid)
Monoid<Either<L,R>>
LeftAny. checkedApply(Monoid<L> lMonoid)
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)
Monoid<Either<L,R>>
RightAll. checkedApply(Monoid<R> rMonoid)
Monoid<Either<L,R>>
RightAny. checkedApply(Monoid<R> rMonoid)
Monoid<IO<A>>
RunAll. checkedApply(Monoid<A> monoid)
static <_1,_2>
Monoid<Tuple2<_1,_2>>Collapse. collapse(Monoid<_1> _1Monoid, Monoid<_2> _2Monoid)
static <A> Monoid<java.util.concurrent.CompletableFuture<A>>
Compose. compose(Monoid<A> aMonoid)
static <M extends MonadRec<?,M>,A,MA extends MonadRec<A,M>>
Monoid<Fn1<A,MA>>EndoK. endoK(Pure<M> pureM)
static <L,R>
Monoid<Either<L,R>>LeftAll. leftAll(Monoid<L> lMonoid)
static <L,R>
Monoid<Either<L,R>>LeftAny. leftAny(Monoid<L> lMonoid)
static <L,R>
Monoid<Either<L,R>>Merge. merge(Semigroup<L> lSemigroup, Monoid<R> rMonoid)
static <K,V>
Monoid<java.util.Map<K,V>>MergeMaps. mergeMaps(Fn0<java.util.Map<K,V>> mFn0, Semigroup<V> semigroup)
static <A> Monoid<Maybe<A>>
Present. present(Semigroup<A> semigroup)
static <L,R>
Monoid<Either<L,R>>RightAll. rightAll(Monoid<R> rMonoid)
static <L,R>
Monoid<Either<L,R>>RightAny. rightAny(Monoid<R> rMonoid)
static <A> Monoid<IO<A>>
RunAll. runAll(Monoid<A> monoid)
Methods in com.jnape.palatable.lambda.monoid.builtin that return types with arguments of type Monoid Modifier and Type Method Description static <_1,_2>
MonoidFactory<Monoid<_2>,Tuple2<_1,_2>>Collapse. collapse(Monoid<_1> _1Monoid)
static <L,R>
MonoidFactory<Monoid<R>,Either<L,R>>Merge. merge(Semigroup<L> lSemigroup)
Methods in com.jnape.palatable.lambda.monoid.builtin with parameters of type Monoid Modifier and Type Method Description Monoid<Tuple2<_1,_2>>
Collapse. checkedApply(Monoid<_1> _1Monoid, Monoid<_2> _2Monoid)
Monoid<java.util.concurrent.CompletableFuture<A>>
Compose. checkedApply(Monoid<A> aMonoid)
Monoid<Either<L,R>>
LeftAll. checkedApply(Monoid<L> lMonoid)
Monoid<Either<L,R>>
LeftAny. checkedApply(Monoid<L> lMonoid)
Monoid<Either<L,R>>
Merge. checkedApply(Semigroup<L> lSemigroup, Monoid<R> rMonoid)
Monoid<Either<L,R>>
RightAll. checkedApply(Monoid<R> rMonoid)
Monoid<Either<L,R>>
RightAny. checkedApply(Monoid<R> rMonoid)
Monoid<IO<A>>
RunAll. checkedApply(Monoid<A> monoid)
static <_1,_2>
MonoidFactory<Monoid<_2>,Tuple2<_1,_2>>Collapse. collapse(Monoid<_1> _1Monoid)
static <_1,_2>
Monoid<Tuple2<_1,_2>>Collapse. collapse(Monoid<_1> _1Monoid, Monoid<_2> _2Monoid)
static <_1,_2>
Fn1<Tuple2<_1,_2>,Tuple2<_1,_2>>Collapse. collapse(Monoid<_1> _1Monoid, Monoid<_2> _2Monoid, Tuple2<_1,_2> x)
static <_1,_2>
Tuple2<_1,_2>Collapse. collapse(Monoid<_1> _1Monoid, Monoid<_2> _2Monoid, Tuple2<_1,_2> x, Tuple2<_1,_2> y)
static <A> Monoid<java.util.concurrent.CompletableFuture<A>>
Compose. compose(Monoid<A> aMonoid)
static <A> Fn1<java.util.concurrent.CompletableFuture<A>,java.util.concurrent.CompletableFuture<A>>
Compose. compose(Monoid<A> aMonoid, java.util.concurrent.CompletableFuture<A> x)
static <A> java.util.concurrent.CompletableFuture<A>
Compose. compose(Monoid<A> aMonoid, java.util.concurrent.CompletableFuture<A> x, java.util.concurrent.CompletableFuture<A> y)
static <L,R>
Monoid<Either<L,R>>LeftAll. leftAll(Monoid<L> lMonoid)
static <L,R>
Fn1<Either<L,R>,Either<L,R>>LeftAll. leftAll(Monoid<L> lMonoid, Either<L,R> x)
static <L,R>
Either<L,R>LeftAll. leftAll(Monoid<L> lMonoid, Either<L,R> x, Either<L,R> y)
static <L,R>
Monoid<Either<L,R>>LeftAny. leftAny(Monoid<L> lMonoid)
static <L,R>
Fn1<Either<L,R>,Either<L,R>>LeftAny. leftAny(Monoid<L> lMonoid, Either<L,R> x)
static <L,R>
Either<L,R>LeftAny. leftAny(Monoid<L> lMonoid, Either<L,R> x, Either<L,R> y)
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)
static <L,R>
Monoid<Either<L,R>>RightAll. rightAll(Monoid<R> rMonoid)
static <L,R>
Fn1<Either<L,R>,Either<L,R>>RightAll. rightAll(Monoid<R> rMonoid, Either<L,R> x)
static <L,R>
Either<L,R>RightAll. rightAll(Monoid<R> rMonoid, Either<L,R> x, Either<L,R> y)
static <L,R>
Monoid<Either<L,R>>RightAny. rightAny(Monoid<R> rMonoid)
static <L,R>
Fn1<Either<L,R>,Either<L,R>>RightAny. rightAny(Monoid<R> rMonoid, Either<L,R> x)
static <L,R>
Either<L,R>RightAny. rightAny(Monoid<R> rMonoid, Either<L,R> x, Either<L,R> y)
static <A> Monoid<IO<A>>
RunAll. runAll(Monoid<A> monoid)
static <A> Fn1<IO<A>,IO<A>>
RunAll. runAll(Monoid<A> monoid, IO<A> x)
static <A> IO<A>
RunAll. runAll(Monoid<A> monoid, IO<A> x, IO<A> y)
-