Safe Haskell	None
Language	GHC2021

Howl.Expr.Numeric

Description

Numeric types and conversions used by Howl expressions.

This module defines the Numeric datatype, together with conversions to and from common Haskell numeric types and MPFR-based arbitrary-precision floating-point numbers.

Synopsis

data Numeric
- = NInteger !Integer
- | NRational !Rational
- | NDouble !Double
- | NBigFloat !BigFloat
class FromNumeric a where
- fromNumeric :: Numeric -> Maybe a
type BigFloat = Rounded
type BigFloatPrecision = Precision
fromBigFloat :: BigFloat -> Numeric
toDouble :: Numeric -> Double
toBigFloat :: BigFloatPrecision -> Numeric -> BigFloat
bigFloatPrecision :: BigFloat -> BigFloatPrecision

Documentation

data Numeric #

A numeric value.

Constructors

NInteger !Integer	An integer.
NRational !Rational	A rational number.
NDouble !Double	A double-precision floating-point number.
NBigFloat !BigFloat	An MPFR floating-point number with dynamic precision.

Instances

Instances details

Enum Numeric #
Instance details Defined in Howl.Expr.Numeric Methods succ :: Numeric -> Numeric # pred :: Numeric -> Numeric # toEnum :: Int -> Numeric # fromEnum :: Numeric -> Int # enumFrom :: Numeric -> [Numeric] # enumFromThen :: Numeric -> Numeric -> [Numeric] # enumFromTo :: Numeric -> Numeric -> [Numeric] # enumFromThenTo :: Numeric -> Numeric -> Numeric -> [Numeric] #
Num Numeric #
Instance details Defined in Howl.Expr.Numeric Methods (+) :: Numeric -> Numeric -> Numeric # (-) :: Numeric -> Numeric -> Numeric # (*) :: Numeric -> Numeric -> Numeric # negate :: Numeric -> Numeric # abs :: Numeric -> Numeric # signum :: Numeric -> Numeric # fromInteger :: Integer -> Numeric #
Fractional Numeric #
Instance details Defined in Howl.Expr.Numeric Methods (/) :: Numeric -> Numeric -> Numeric # recip :: Numeric -> Numeric # fromRational :: Rational -> Numeric #
Real Numeric #
Instance details Defined in Howl.Expr.Numeric Methods toRational :: Numeric -> Rational #
RealFrac Numeric #
Instance details Defined in Howl.Expr.Numeric Methods properFraction :: Integral b => Numeric -> (b, Numeric) # truncate :: Integral b => Numeric -> b # round :: Integral b => Numeric -> b # ceiling :: Integral b => Numeric -> b # floor :: Integral b => Numeric -> b #
Show Numeric #
Instance details Defined in Howl.Expr.Numeric Methods showsPrec :: Int -> Numeric -> ShowS # show :: Numeric -> String # showList :: [Numeric] -> ShowS #
Eq Numeric #
Instance details Defined in Howl.Expr.Numeric Methods (==) :: Numeric -> Numeric -> Bool # (/=) :: Numeric -> Numeric -> Bool #
Ord Numeric #
Instance details Defined in Howl.Expr.Numeric Methods compare :: Numeric -> Numeric -> Ordering # (<) :: Numeric -> Numeric -> Bool # (<=) :: Numeric -> Numeric -> Bool # (>) :: Numeric -> Numeric -> Bool # (>=) :: Numeric -> Numeric -> Bool # max :: Numeric -> Numeric -> Numeric # min :: Numeric -> Numeric -> Numeric #
FromExpr Numeric #
Instance details Defined in Howl.Expr.Internal Methods fromExpr :: Expr -> Maybe Numeric #
ToExpr Numeric #
Instance details Defined in Howl.Expr.Internal Methods toExpr :: Numeric -> Expr #
PPrint Numeric #
Instance details Defined in Howl.Expr.Numeric Methods pPrint :: Numeric -> String #

class FromNumeric a where #

A class for extracting Haskell numeric values from a Numeric.

Methods

fromNumeric :: Numeric -> Maybe a #

Instances

Instances details

FromNumeric Rational #
Instance details Defined in Howl.Expr.Numeric Methods fromNumeric :: Numeric -> Maybe Rational #
FromNumeric Integer #
Instance details Defined in Howl.Expr.Numeric Methods fromNumeric :: Numeric -> Maybe Integer #
FromNumeric Double #
Instance details Defined in Howl.Expr.Numeric Methods fromNumeric :: Numeric -> Maybe Double #
FromNumeric Int #
Instance details Defined in Howl.Expr.Numeric Methods fromNumeric :: Numeric -> Maybe Int #

type BigFloat = Rounded #

An arbitrary-precision floating-point number implemented using MPFR.

type BigFloatPrecision = Precision #

The precision of a BigFloat.

fromBigFloat :: BigFloat -> Numeric #

Convert a BigFloat to a Numeric.

toDouble :: Numeric -> Double #

Convert a Numeric to a Double.

toBigFloat :: BigFloatPrecision -> Numeric -> BigFloat #

Convert a Numeric to a BigFloat with the given precision.

bigFloatPrecision :: BigFloat -> BigFloatPrecision #

Get the precision of a BigFloat.