Documentation

Batteries.Data.Rat.Float

Rational Numbers and Float #

source
def Rat.toFloat (a : Rat) :
Float

Convert this rational number to a Float value.

Equations
    Instances For
      source
      def Float.toRat? (a : Float) :
      Option Rat

      Convert this floating point number to a rational value.

      Equations
        Instances For
          source
          def Float.toRat0 (a : Float) :
          Rat

          Convert this floating point number to a rational value, mapping non-finite values (inf, -inf, nan) to 0.

          Equations
            Instances For
              source
              instance Rat.instCoeFloat :
              Coe Rat Float
              Equations