Uses of Class
fj.data.Natural

Packages that use Natural

Package	Description
fj	Types that set the premise for the existence of Functional Java.
fj.data	Common algebraic data types.

Uses of Natural in fj

Fields in fj with type parameters of type Natural

Modifier and Type	Field	Description
static Monoid<Natural>	Monoid.naturalAdditionMonoid	A monoid that adds natural numbers.
static Semigroup<Natural>	Semigroup.naturalAdditionSemigroup	A semigroup that adds natural numbers.
static Equal<Natural>	Equal.naturalEqual	An equal instance for the Natural type.
static Hash<Natural>	Hash.naturalHash	A hash instance for the Natural type.
static Semigroup<Natural>	Semigroup.naturalMaximumSemigroup	A semigroup that yields the maximum of natural numbers.
static Semigroup<Natural>	Semigroup.naturalMinimumSemigroup	A semigroup that yields the minimum of natural numbers.
static Monoid<Natural>	Monoid.naturalMultiplicationMonoid	A monoid that multiplies natural numbers.
static Semigroup<Natural>	Semigroup.naturalMultiplicationSemigroup	A semigroup that multiplies natural numbers.
static Ord<Natural>	Ord.naturalOrd	An order instance for the Natural type.
static Show<Natural>	Show.naturalShow	A show instance for natural numbers.

Uses of Natural in fj.data

Fields in fj.data declared as Natural

Modifier and Type	Field	Description
static Natural	Natural.ONE	The natural number one
static Natural	Natural.ZERO	The natural number zero

Fields in fj.data with type parameters of type Natural

Modifier and Type	Field	Description
static F<Natural,F<Natural,Natural>>	Natural.add	A function that adds two natural numbers.
static F<Natural,F<Natural,Natural>>	Natural.add	A function that adds two natural numbers.
static F<Natural,F<Natural,Natural>>	Natural.add	A function that adds two natural numbers.
static F<Natural,java.math.BigInteger>	Natural.bigIntegerValue	A function that returns the BigInteger value of a given Natural.
static F<Natural,F<Natural,Natural>>	Natural.divide	A function that divides its second argument by its first.
static F<Natural,F<Natural,Natural>>	Natural.divide	A function that divides its second argument by its first.
static F<Natural,F<Natural,Natural>>	Natural.divide	A function that divides its second argument by its first.
static F<Natural,F<Natural,V2<Natural>>>	Natural.divmod	A function that divides its second argument by its first, yielding both the quotient and the remainder.
static F<Natural,F<Natural,V2<Natural>>>	Natural.divmod	A function that divides its second argument by its first, yielding both the quotient and the remainder.
static F<Natural,F<Natural,V2<Natural>>>	Natural.divmod	A function that divides its second argument by its first, yielding both the quotient and the remainder.
static F<java.math.BigInteger,Option<Natural>>	Natural.fromBigInt	A function that returns the natural number equal to a given BigInteger
static F<Natural,F<Natural,Natural>>	Natural.mod	A function that yields the remainder of division of its second argument by its first.
static F<Natural,F<Natural,Natural>>	Natural.mod	A function that yields the remainder of division of its second argument by its first.
static F<Natural,F<Natural,Natural>>	Natural.mod	A function that yields the remainder of division of its second argument by its first.
static F<Natural,F<Natural,Natural>>	Natural.multiply	A function that multiplies a natural number by another.
static F<Natural,F<Natural,Natural>>	Natural.multiply	A function that multiplies a natural number by another.
static F<Natural,F<Natural,Natural>>	Natural.multiply	A function that multiplies a natural number by another.
static Enumerator<Natural>	Enumerator.naturalEnumerator	An enumerator for Natural
static F<Natural,F<Natural,Option<Natural>>>	Natural.subtract	A function that subtracts its first argument from its second.
static F<Natural,F<Natural,Option<Natural>>>	Natural.subtract	A function that subtracts its first argument from its second.
static F<Natural,F<Natural,Option<Natural>>>	Natural.subtract	A function that subtracts its first argument from its second.

Methods in fj.data that return Natural

Modifier and Type	Method	Description
Natural	Natural.add(Natural n)	Add two natural numbers together.
Natural	Natural.divide(Natural n)	Divide a natural number by another.
Natural	Natural.mod(Natural n)	Take the remainder of a natural number division.
Natural	Natural.multiply(Natural n)	Multiply a natural number by another.
static Natural	Natural.product(List<Natural> ns)	Takes the product of a list of natural numbers.
static Natural	Natural.product(Stream<Natural> ns)	Takes the product of a stream of natural numbers.
Natural	Natural.succ()	Return the successor of this natural number
static Natural	Natural.sum(List<Natural> ns)	Sums a list of natural numbers.
static Natural	Natural.sum(Stream<Natural> ns)	Sums a stream of natural numbers.

Methods in fj.data that return types with arguments of type Natural

Modifier and Type	Method	Description
V2<Natural>	Natural.divmod(Natural n)	Divide a natural number by another yielding both the quotient and the remainder.
static Option<Natural>	Natural.natural(long i)	Returns the natural number equal to the given long
static Option<Natural>	Natural.natural(java.math.BigInteger i)	Returns the natural number equal to the given BigInteger
Option<Natural>	Natural.pred()	Return the predecessor of this natural number
static F<Natural,Option<Natural>>	Natural.pred_()	First-class predecessor function.
static F<Natural,Option<Natural>>	Natural.pred_()	First-class predecessor function.
Option<Natural>	Natural.subtract(Natural n)	Subtract a natural number from another.
static F<Natural,Natural>	Natural.succ_()	First-class successor function.
static F<Natural,Natural>	Natural.succ_()	First-class successor function.

Methods in fj.data with parameters of type Natural

Modifier and Type	Method	Description
Natural	Natural.add(Natural n)	Add two natural numbers together.
Natural	Natural.divide(Natural n)	Divide a natural number by another.
V2<Natural>	Natural.divmod(Natural n)	Divide a natural number by another yielding both the quotient and the remainder.
Natural	Natural.mod(Natural n)	Take the remainder of a natural number division.
Natural	Natural.multiply(Natural n)	Multiply a natural number by another.
Option<Natural>	Natural.subtract(Natural n)	Subtract a natural number from another.

Method parameters in fj.data with type arguments of type Natural

Modifier and Type	Method	Description
static <A> Stream<A>	Stream.fromFunction(F<Natural,A> f)	Converts a function of natural numbers to a stream.
static Natural	Natural.product(List<Natural> ns)	Takes the product of a list of natural numbers.
static Natural	Natural.product(Stream<Natural> ns)	Takes the product of a stream of natural numbers.
static Natural	Natural.sum(List<Natural> ns)	Sums a list of natural numbers.
static Natural	Natural.sum(Stream<Natural> ns)	Sums a stream of natural numbers.