MonadicOperationNegate

The names of the product elements.

The mirrored *-type.

The name of the type.

Creates a new instance of type T with elements taken from product p.

An iterator over the names of all the elements of this product.

An iterator over all the elements of this product.

Contains monadic functions for negating numerical values of different types.

The functions value is a tuple composed of three partially lifted functions:

• A function for negating integers, with potential exceptions handled via Try.
• A function for negating rational numbers, adhering to the Numeric type class's negate operation.
• A function for negating doubles, also using the negate operation from the Numeric type class.

Each of the included functions uses the tryF helper to lift the respective negation operations into functions that safely handle any potential runtime errors by encapsulating the result in a Try.

Relative precision, as used by Fuzziness.createFuzz.

Function to yield the relative fuzz of the output Number, given the relative fuzz of the input Number.