ms: metric spaces
A MetricSpace
is a set together with a notion of distance between
elements. Distance is computed by a function dist
which has the following
four laws:
non-negative:
forall x y.
dist
x y >= 0identity of indiscernibles:
forall x y.
dist
x y == 0 <=> x == ysymmetry:
forall x y. dist x y ==
dist
y xtriangle inequality:
forall x y z.
dist
x z <=dist
x y +dist
y z
See the Wikipedia article on metric spaces for more details.
Downloads
- ms-0.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1, 0.2, 0.2.1 |
---|---|
Dependencies | base (>=4 && <5), contravariant (>=1 && <2), edit-distance (>=0.2 && <0.3), lens (>=4 && <5), profunctors (>=5 && <6), semigroups (>=0.12 && <0.17), vector (>=0.10 && <0.12) [details] |
License | BSD-2-Clause |
Copyright | (C) 2015 Ricky Elrod, Tony Morris |
Author | Ricky Elrod, Tony Morris |
Maintainer | ricky@elrod.me |
Category | Math |
Home page | https://github.com/relrod/ms |
Source repo | head: git clone https://github.com/relrod/ms |
Uploaded | by RickyElrod at 2015-07-20T22:53:47Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 2133 total (6 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2015-07-20 [all 1 reports] |