name: ms version: 0.1 synopsis: metric spaces description: 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: . (1) __non-negative__: @forall x y. 'dist' x y >= 0@ (2) __identity of indiscernibles__: @forall x y. 'dist' x y == 0 \<=\> x == y@ (3) __symmetry__: @forall x y. dist x y == 'dist' y x@ (4) __triangle inequality__: @forall x y z. 'dist' x z <= 'dist' x y + 'dist' y z@ . See the Wikipedia for more details. homepage: https://github.com/relrod/ms license: BSD2 license-file: LICENSE author: Ricky Elrod, Tony Morris maintainer: ricky@elrod.me copyright: (C) 2015 Ricky Elrod, Tony Morris category: Math build-type: Simple cabal-version: >= 1.10 source-repository head type: git location: https://github.com/relrod/ms library exposed-modules: Math.MetricSpace build-depends: 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 hs-source-dirs: src default-language: Haskell2010 test-suite test default-language: Haskell2010 type: exitcode-stdio-1.0 hs-source-dirs: tests main-is: test.hs build-depends: base >= 4 && < 5 , tasty >= 0.10 , tasty-quickcheck >= 0.8 , ms , profunctors >= 5 && < 6 , vector >= 0.10 && < 0.12 ghc-options: -threaded -O2 "-with-rtsopts=-N" test-suite doctests default-language: Haskell2010 type: exitcode-stdio-1.0 ghc-options: -threaded hs-source-dirs: tests main-is: doctests.hs build-depends: base >= 4 && < 5 , doctest >= 0.8