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 theNatural
type.static Hash<Natural>
Hash. naturalHash
A hash instance for theNatural
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 theNatural
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 onestatic Natural
Natural. ZERO
The natural number zeroFields 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 BigIntegerstatic 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 forNatural
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 numberstatic 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 longstatic Option<Natural>
Natural. natural(java.math.BigInteger i)
Returns the natural number equal to the given BigIntegerOption<Natural>
Natural. pred()
Return the predecessor of this natural numberstatic 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.
-