simple-vec3 0.4.0.9 → 0.4.0.10
raw patch · 3 files changed
+19/−12 lines, 3 filesdep ~doctest-driver-gendep ~tasty
Dependency ranges changed: doctest-driver-gen, tasty
Files
- CHANGELOG.md +7/−0
- simple-vec3.cabal +3/−3
- tests/Main.hs +9/−9
CHANGELOG.md view
@@ -1,5 +1,11 @@ # Changelog +## [0.4.0.10] - 2018-01-18++### Changed++- Test suite dependencies bump+ ## [0.4.0.9] - 2018-10-29 ### Changed@@ -112,6 +118,7 @@ ## [0.1.0.0] - 2012-12-05 +[0.4.0.10]:https://github.com/dzhus/simple-vec3/compare/0.4.0.9...0.4.0.10 [0.4.0.9]: https://github.com/dzhus/simple-vec3/compare/0.4.0.8...0.4.0.9 [0.4.0.8]: https://github.com/dzhus/simple-vec3/compare/0.4.0.7...0.4.0.8 [0.4.0.7]: https://github.com/dzhus/simple-vec3/compare/0.4.0.6...0.4.0.7
simple-vec3.cabal view
@@ -1,6 +1,6 @@ cabal-version: 1.12 name: simple-vec3-version: 0.4.0.9+version: 0.4.0.10 license: BSD3 license-file: LICENSE maintainer: dima@dzhus.org@@ -46,7 +46,7 @@ build-depends: base <5, doctest <0.17,- doctest-driver-gen <0.3+ doctest-driver-gen <0.4 test-suite simple-vec3-test type: exitcode-stdio-1.0@@ -59,7 +59,7 @@ build-depends: base <5, simple-vec3 -any,- tasty <1.2,+ tasty <1.3, tasty-quickcheck <0.11 benchmark simple-vec3-benchmark
tests/Main.hs view
@@ -46,34 +46,34 @@ (\(a :: ty) b c -> (a <+> b) <+> c <~=> a <+> (b <+> c)) , testProperty "Identity element of addition (zero): v + 0 = v"- (\(v :: ty) -> (v <+> origin <~=> v))+ (\(v :: ty) -> v <+> origin <~=> v) , testProperty "Inverse element of addition: v + (-v) = 0"- (\(v :: ty) -> (v <+> invert v <~=> (origin :: ty)))+ (\(v :: ty) -> v <+> invert v <~=> (origin :: ty)) , testProperty "Compatibility of scalar and field multiplication"- (\(v :: ty) p q -> (v .^ p .^ q <~=> v .^ (p * q)))+ (\(v :: ty) p q -> v .^ p .^ q <~=> v .^ (p * q)) , testProperty "Identity of scalar multiplication"- (\(v :: ty) -> (v .^ 1 <~=> v))+ (\(v :: ty) -> v .^ 1 <~=> v) , testProperty "Distributivity wrt vector addition" (\(a :: ty) b p -> ((a <+> b) .^ p) <~=> (a .^ p) <+> (b .^ p)) , testProperty "Distributivity wrt scalar addition"- (\(a :: ty) p q -> (a .^ (p + q) <~=> (a .^ p) <+> (a .^ q)))+ (\(a :: ty) p q -> a .^ (p + q) <~=> (a .^ p) <+> (a .^ q)) , testProperty "Subtraction definition"- (\(a :: ty) b -> (a <+> invert b <~=> a <-> b))+ (\(a :: ty) b -> a <+> invert b <~=> a <-> b) , testProperty "Normalization"- (\(v :: ty) -> (v <~=> (origin :: ty) || norm (normalize v) ~= 1))+ (\(v :: ty) -> v <~=> (origin :: ty) || norm (normalize v) ~= 1) , testProperty "Triangle inequality"- (\(a :: ty) b c -> (distance a b + distance b c >= distance a c))+ (\(a :: ty) b c -> distance a b + distance b c >= distance a c) , testProperty "Diagonal matrix multiplication"- (\(v :: ty) (s :: Double) -> (diag s `mxv` v == v .^ s))+ (\(v :: ty) (s :: Double) -> diag s `mxv` v == v .^ s) ]