| Package | Description |
|---|---|
| io.atlassian.fugue | |
| io.atlassian.fugue.law |
| Modifier and Type | Field and Description |
|---|---|
static Monoid<BigInteger> |
Monoids.bigintAddition
A monoid that adds big integers.
|
static Monoid<BigInteger> |
Monoids.bigintMultiplication
A monoid that multiplies big integers.
|
static Monoid<Boolean> |
Monoids.conjunction
A monoid that ANDs booleans.
|
static Monoid<Boolean> |
Monoids.disjunction
A monoid that ORs booleans.
|
static Monoid<Boolean> |
Monoids.exclusiveDisjunction
A monoid that XORs booleans.
|
static Monoid<Integer> |
Monoids.intAddition
A monoid that adds integers.
|
static Monoid<Integer> |
Monoids.intMultiplication
A monoid that multiplies integers.
|
static Monoid<Long> |
Monoids.longAddition
A monoid that adds longs.
|
static Monoid<Long> |
Monoids.longMultiplication
A monoid that multiplies longs.
|
static Monoid<String> |
Monoids.string
A monoid that appends strings.
|
static Monoid<Unit> |
Monoids.unit
A monoid for the Unit value.
|
| Modifier and Type | Method and Description |
|---|---|
static <A,B> Monoid<Pair<A,B>> |
Monoid.compose(Monoid<A> ma,
Monoid<B> mb)
Composes a monoid with another.
|
static <A> Monoid<A> |
Monoid.dual(Monoid<A> monoid)
Return the dual Monoid.
|
static <L,R> Monoid<Either<L,R>> |
Monoids.either(Semigroup<L> lS,
Monoid<R> rM)
A monoid Sums up values inside either
Semigroups.either(io.atlassian.fugue.Semigroup<L>, io.atlassian.fugue.Semigroup<R>). |
static <A> Monoid<Option<A>> |
Monoids.firstOption()
A monoid for options (that take the first available value).
|
static <A,B> Monoid<Function<A,B>> |
Monoids.function(Monoid<B> mb)
A monoid for functions.
|
static <A> Monoid<Iterable<A>> |
Monoids.iterable()
A monoid for iterables.
|
static <A> Monoid<Option<A>> |
Monoids.lastOption()
A monoid for options that take the last available value.
|
static <A> Monoid<List<A>> |
Monoids.list()
A monoid for lists.
|
static <A> Monoid<Option<A>> |
Monoids.option(Semigroup<A> semigroup)
A monoid for options that combine inner value with a semigroup.
|
| Modifier and Type | Method and Description |
|---|---|
static <A,B> Monoid<Pair<A,B>> |
Monoid.compose(Monoid<A> ma,
Monoid<B> mb)
Composes a monoid with another.
|
static <A,B> Monoid<Pair<A,B>> |
Monoid.compose(Monoid<A> ma,
Monoid<B> mb)
Composes a monoid with another.
|
static <A> Monoid<A> |
Monoid.dual(Monoid<A> monoid)
Return the dual Monoid.
|
static <L,R> Monoid<Either<L,R>> |
Monoids.either(Semigroup<L> lS,
Monoid<R> rM)
A monoid Sums up values inside either
Semigroups.either(io.atlassian.fugue.Semigroup<L>, io.atlassian.fugue.Semigroup<R>). |
static <A,B> Monoid<Function<A,B>> |
Monoids.function(Monoid<B> mb)
A monoid for functions.
|
| Constructor and Description |
|---|
MonoidLaws(Monoid<A> monoid)
Build a law instance to check monoid properties
|
Copyright © 2018 Atlassian. All rights reserved.