ms-0.2.1: ms.cabal
name: ms
version: 0.2.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 <https://en.wikipedia.org/wiki/Metric_space article on metric spaces>
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
extra-source-files: CHANGELOG.md
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
, semigroupoids >= 3 && < 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