# 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 >= 0**identity of indiscernibles**:`forall x y.`

`dist`

x y == 0 <=> x == y**symmetry**:`forall x y. dist x y ==`

`dist`

y x**triangle inequality**:`forall x y z.`

`dist`

x z <=`dist`

x y +`dist`

y z

See the Wikipedia article on metric spaces for more details.

Versions [faq] | 0.1, 0.2, 0.2.1 |
---|---|

Change log | CHANGELOG.md |

Dependencies | base (==4.*), contravariant (==1.*), edit-distance (==0.2.*), lens (==4.*), profunctors (==5.*), semigroupoids (>=3 && <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-21T06:14:25Z |

Distributions | NixOS:0.2.1 |

Downloads | 1869 total (5 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-12-04 [all 1 reports] |

## Downloads

- ms-0.2.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)