Uses of Class
fj.data.Natural
Packages that use Natural
Package
Description
Types that set the premise for the existence of Functional Java.
Common algebraic data types.
-
Uses of Natural in fj
Modifier and TypeFieldDescriptionMonoid.naturalAdditionMonoidA monoid that adds natural numbers.Semigroup.naturalAdditionSemigroupA semigroup that adds natural numbers.Equal.naturalEqualAn equal instance for theNaturaltype.Hash.naturalHashA hash instance for theNaturaltype.Semigroup.naturalMaximumSemigroupA semigroup that yields the maximum of natural numbers.Semigroup.naturalMinimumSemigroupA semigroup that yields the minimum of natural numbers.Monoid.naturalMultiplicationMonoidA monoid that multiplies natural numbers.Semigroup.naturalMultiplicationSemigroupA semigroup that multiplies natural numbers.Ord.naturalOrdAn order instance for theNaturaltype.Show.naturalShowA show instance for natural numbers. -
Uses of Natural in fj.data
Modifier and TypeFieldDescriptionstatic final NaturalNatural.ONEThe natural number onestatic final NaturalNatural.ZEROThe natural number zeroModifier and TypeFieldDescriptionNatural.addA function that adds two natural numbers.Natural.addA function that adds two natural numbers.Natural.addA function that adds two natural numbers.static final F<Natural, BigInteger> Natural.bigIntegerValueA function that returns the BigInteger value of a given Natural.Natural.divideA function that divides its second argument by its first.Natural.divideA function that divides its second argument by its first.Natural.divideA function that divides its second argument by its first.Natural.divmodA function that divides its second argument by its first, yielding both the quotient and the remainder.Natural.divmodA function that divides its second argument by its first, yielding both the quotient and the remainder.Natural.divmodA function that divides its second argument by its first, yielding both the quotient and the remainder.static final F<BigInteger, Option<Natural>> Natural.fromBigIntA function that returns the natural number equal to a given BigIntegerNatural.modA function that yields the remainder of division of its second argument by its first.Natural.modA function that yields the remainder of division of its second argument by its first.Natural.modA function that yields the remainder of division of its second argument by its first.Natural.multiplyA function that multiplies a natural number by another.Natural.multiplyA function that multiplies a natural number by another.Natural.multiplyA function that multiplies a natural number by another.static final Enumerator<Natural> Enumerator.naturalEnumeratorAn enumerator forNaturalNatural.subtractA function that subtracts its first argument from its second.Natural.subtractA function that subtracts its first argument from its second.Natural.subtractA function that subtracts its first argument from its second.Modifier and TypeMethodDescriptionAdd two natural numbers together.Divide a natural number by another.Take the remainder of a natural number division.Multiply a natural number by another.static NaturalTakes the product of a list of natural numbers.static NaturalTakes the product of a stream of natural numbers.Natural.succ()Return the successor of this natural numberstatic NaturalSums a list of natural numbers.static NaturalSums a stream of natural numbers.Modifier and TypeMethodDescriptionDivide a natural number by another yielding both the quotient and the remainder.Natural.natural(long i) Returns the natural number equal to the given longNatural.natural(BigInteger i) Returns the natural number equal to the given BigIntegerNatural.pred()Return the predecessor of this natural numberNatural.pred_()First-class predecessor function.Natural.pred_()First-class predecessor function.Subtract a natural number from another.Natural.succ_()First-class successor function.Natural.succ_()First-class successor function.Modifier and TypeMethodDescriptionAdd two natural numbers together.Divide a natural number by another.Divide a natural number by another yielding both the quotient and the remainder.Take the remainder of a natural number division.Multiply a natural number by another.Subtract a natural number from another.Modifier and TypeMethodDescriptionstatic <A> Stream<A> Stream.fromFunction(F<Natural, A> f) Converts a function of natural numbers to a stream.static NaturalTakes the product of a list of natural numbers.static NaturalTakes the product of a stream of natural numbers.static NaturalSums a list of natural numbers.static NaturalSums a stream of natural numbers.