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

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

Domain.Math.Numeric.Views

Contents

Description

 
Synopsis

Natural numbers

naturalView :: View Expr Integer Source #

Non-negative numbers only, also for intermediate results

Integers

Decimal fractions

Rational numbers

rationalView :: View Expr Rational Source #

like the original defintion, except that this view now also converts floating point numbers (using an exact approximation)

Mixed fractions

Double