ideas-math-types-1.1: Common types for mathematical domain reasoners

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell2010

Domain.Math.Data.DecimalFraction

Description

 
Synopsis

Documentation

newtype DecimalFraction Source #

Data type for decimal fractions

Constructors

DF Rational 
Instances
Eq DecimalFraction Source # 
Instance details

Defined in Domain.Math.Data.DecimalFraction

Fractional DecimalFraction Source # 
Instance details

Defined in Domain.Math.Data.DecimalFraction

Num DecimalFraction Source # 
Instance details

Defined in Domain.Math.Data.DecimalFraction

Ord DecimalFraction Source # 
Instance details

Defined in Domain.Math.Data.DecimalFraction

Real DecimalFraction Source # 
Instance details

Defined in Domain.Math.Data.DecimalFraction

Show DecimalFraction Source # 
Instance details

Defined in Domain.Math.Data.DecimalFraction

Arbitrary DecimalFraction Source # 
Instance details

Defined in Domain.Math.Data.DecimalFraction

SafePower DecimalFraction Source # 
Instance details

Defined in Domain.Math.Data.DecimalFraction

SafeDiv DecimalFraction Source # 
Instance details

Defined in Domain.Math.Data.DecimalFraction

fromDouble :: Double -> DecimalFraction Source #

Approximation of a double, with a precision of 8 digits

validDivisor :: DecimalFraction -> Bool Source #

Tests whether it is safe to divide by this fraction: it is safe to divide if its numerator(!) is a product of two's and five's.

digits :: DecimalFraction -> Int Source #

number of decimal digits