# The ms package

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.

## Properties

Versions | 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 | BSD2 |

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 repository | head: git clone https://github.com/relrod/ms |

Uploaded | Tue Jul 21 06:14:25 UTC 2015 by RickyElrod |

Distributions | NixOS:0.2.1 |

Downloads | 273 total (12 in the last 30 days) |

Votes | |

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 (included in the package)