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.naturalAdditionMonoid
A monoid that adds natural numbers.Semigroup.naturalAdditionSemigroup
A semigroup that adds natural numbers.Equal.naturalEqual
An equal instance for theNatural
type.Hash.naturalHash
A hash instance for theNatural
type.Semigroup.naturalMaximumSemigroup
A semigroup that yields the maximum of natural numbers.Semigroup.naturalMinimumSemigroup
A semigroup that yields the minimum of natural numbers.Monoid.naturalMultiplicationMonoid
A monoid that multiplies natural numbers.Semigroup.naturalMultiplicationSemigroup
A semigroup that multiplies natural numbers.Ord.naturalOrd
An order instance for theNatural
type.Show.naturalShow
A show instance for natural numbers. -
Uses of Natural in fj.data
Modifier and TypeFieldDescriptionstatic final Natural
Natural.ONE
The natural number onestatic final Natural
Natural.ZERO
The natural number zeroModifier and TypeFieldDescriptionNatural.add
A function that adds two natural numbers.Natural.add
A function that adds two natural numbers.Natural.add
A function that adds two natural numbers.static final F
<Natural, BigInteger> Natural.bigIntegerValue
A function that returns the BigInteger value of a given Natural.Natural.divide
A function that divides its second argument by its first.Natural.divide
A function that divides its second argument by its first.Natural.divide
A function that divides its second argument by its first.Natural.divmod
A function that divides its second argument by its first, yielding both the quotient and the remainder.Natural.divmod
A function that divides its second argument by its first, yielding both the quotient and the remainder.Natural.divmod
A function that divides its second argument by its first, yielding both the quotient and the remainder.static final F
<BigInteger, Option<Natural>> Natural.fromBigInt
A function that returns the natural number equal to a given BigIntegerNatural.mod
A function that yields the remainder of division of its second argument by its first.Natural.mod
A function that yields the remainder of division of its second argument by its first.Natural.mod
A function that yields the remainder of division of its second argument by its first.Natural.multiply
A function that multiplies a natural number by another.Natural.multiply
A function that multiplies a natural number by another.Natural.multiply
A function that multiplies a natural number by another.static final Enumerator
<Natural> Enumerator.naturalEnumerator
An enumerator forNatural
Natural.subtract
A function that subtracts its first argument from its second.Natural.subtract
A function that subtracts its first argument from its second.Natural.subtract
A 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 Natural
Takes the product of a list of natural numbers.static Natural
Takes the product of a stream of natural numbers.Natural.succ()
Return the successor of this natural numberstatic Natural
Sums a list of natural numbers.static Natural
Sums 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 Natural
Takes the product of a list of natural numbers.static Natural
Takes the product of a stream of natural numbers.static Natural
Sums a list of natural numbers.static Natural
Sums a stream of natural numbers.