# The approximate-equality package

The purpose of this module is to provide newtype wrappers that allow one to effectively override the equality operator of a value so that it is *approximate* rather than *exact*. The wrappers use type annotations to specify the tolerance; the `Digits` type constructor has been provided for specifying the tolerance using type-level natural numbers. Instances for all of the classes in the numerical hierarchy have been provided for the wrappers, so the wrapped values can mostly be used in the same way as the original values. (In fact, most of the time one doesn't even have to wrap the starting values, since expressions such as `(1+sqrt 2/3)` are automatically wrapped thanks to the `fromIntegral` method of the `Num` typeclass.)
See the documentation for Data.Eq.Approximate for more detailed information on how to use this package.
New in version 1.1: Added explicit Show constraints to the Show instances, as the Num class in the newest version of GHC (wisely) no longer includes Show as a constraint.

## Properties

Versions | 1.0, 1.1, 1.1.0.1, 1.1.0.2 |
---|---|

Change log | None available |

Dependencies | base (>=3 && <5), type-level-natural-number (>=1.0 && <2.1) [details] |

License | BSD3 |

Author | Gregory Crosswhite |

Maintainer | Gregory Crosswhite <gcrosswhite@gmail.com> |

Stability | Provisional |

Category | Data |

Home page | http://github.com/gcross/approximate-equality |

Source repository | head: git clone git://github.com/gcross/approximate-equality.git this: git clone git://github.com/gcross/approximate-equality.git(tag 1.1.0.2) |

Uploaded | Sat Aug 16 21:33:21 UTC 2014 by GregoryCrosswhite |

Distributions | NixOS:1.1.0.2 |

Downloads | 856 total (20 in last 30 days) |

Votes | |

Status | Docs available [build log] Successful builds reported [all 1 reports] |

## Modules

*Data*

[Index]

## Downloads

- approximate-equality-1.1.0.2.tar.gz [browse] (Cabal source package)
- Package description (included in the package)

#### Maintainers' corner

For package maintainers and hackage trustees