Documentation

Init.Data.Float.Model.Unpacked.Operations.MinMax

source
def Float.Model.UnpackedFloat.minimum :
UnpackedFloat → UnpackedFloat → UnpackedFloat

Computes the IEEE-754-2019 minimum of two floats. The result is NaN if either operand is NaN; otherwise it is the smaller operand, where -0 is considered smaller than +0.

Important: this operation only works correctly if the two inputs are in canonical form for a common format (see the docstring for UnpackedFloat for details.)

Equations
Instances For
    source
    def Float.Model.UnpackedFloat.minimumNumber :
    UnpackedFloat → UnpackedFloat → UnpackedFloat

    Computes the IEEE-754-2019 minimumNumber of two floats. A NaN operand is ignored in favor of the other operand, so the result is NaN only if both operands are NaN; otherwise it is the smaller operand, where -0 is considered smaller than +0.

    Important: this operation only works correctly if the two inputs are in canonical form for a common format (see the docstring for UnpackedFloat for details.)

    Equations
    Instances For
      source
      def Float.Model.UnpackedFloat.maximum :
      UnpackedFloat → UnpackedFloat → UnpackedFloat

      Computes the IEEE-754-2019 maximum of two floats. The result is NaN if either operand is NaN; otherwise it is the larger operand, where -0 is considered smaller than +0.

      Important: this operation only works correctly if the two inputs are in canonical form for a common format (see the docstring for UnpackedFloat for details.)

      Equations
      Instances For
        source
        def Float.Model.UnpackedFloat.maximumNumber :
        UnpackedFloat → UnpackedFloat → UnpackedFloat

        Computes the IEEE-754-2019 maximumNumber of two floats. A NaN operand is ignored in favor of the other operand, so the result is NaN only if both operands are NaN; otherwise it is the larger operand, where -0 is considered smaller than +0.

        Important: this operation only works correctly if the two inputs are in canonical form for a common format (see the docstring for UnpackedFloat for details.)

        Equations
        Instances For