Signatures

Modules

• Numeric
  Submodules

  • Floating
    Submodules

    •  Numeric.Floating.IEEE IEEE 754-compliant operations for floating-point numbersfp-ieee-0.1.0
      Submodules

      •  Numeric.Floating.IEEE.NaN Accessing the sign and payload of NaNsfp-ieee-0.1.0
  • Rounded
    Submodules

    •  Numeric.Rounded.Hardwarerounded-hw-0.2.0
      Submodules

      •  Numeric.Rounded.Hardware.Backendrounded-hw-0.2.0
        Submodules

        •  Numeric.Rounded.Hardware.Backend.Crounded-hw-0.2.0
        •  Numeric.Rounded.Hardware.Backend.FastFFIrounded-hw-0.2.0
        •  Numeric.Rounded.Hardware.Backend.ViaRationalrounded-hw-0.2.0
      •  Numeric.Rounded.Hardware.Classrounded-hw-0.2.0
      •  Numeric.Rounded.Hardware.Internalrounded-hw-0.2.0
      •  Numeric.Rounded.Hardware.Intervalrounded-hw-0.2.0
        Submodules

        •  Numeric.Rounded.Hardware.Interval.Classrounded-hw-0.2.0
        •  Numeric.Rounded.Hardware.Interval.NonEmptyrounded-hw-0.2.0
      •  Numeric.Rounded.Hardware.Roundingrounded-hw-0.2.0
      • Vector
        Submodules

        •  Numeric.Rounded.Hardware.Vector.Storablerounded-hw-0.2.0
        •  Numeric.Rounded.Hardware.Vector.Unboxedrounded-hw-0.2.0