numhask 0.12.0.3 → 0.12.1.0
raw patch · 13 files changed
+41/−13 lines, 13 filesdep +doctest-parallel
Dependencies added: doctest-parallel
Files
- ChangeLog.md +5/−0
- numhask.cabal +15/−10
- src/NumHask.hs +1/−0
- src/NumHask/Algebra/Additive.hs +1/−0
- src/NumHask/Algebra/Field.hs +4/−3
- src/NumHask/Algebra/Metric.hs +1/−0
- src/NumHask/Algebra/Multiplicative.hs +1/−0
- src/NumHask/Algebra/Ring.hs +1/−0
- src/NumHask/Data/Integral.hs +1/−0
- src/NumHask/Data/Positive.hs +1/−0
- src/NumHask/Data/Rational.hs +1/−0
- src/NumHask/Prelude.hs +1/−0
- test/doctests.hs +8/−0
ChangeLog.md view
@@ -1,3 +1,8 @@+0.12.1+===++- added doctests+ 0.12 ===
numhask.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: numhask-version: 0.12.0.3+version: 0.12.1.0 license: BSD-3-Clause license-file: LICENSE copyright: Tony Day (c) 2016@@ -28,10 +28,8 @@ build-type: Simple tested-with: , GHC == 9.10.1- , GHC == 9.8.2 , GHC == 9.6.5- , GHC == 9.4.8- , GHC == 9.2.8+ , GHC == 9.8.2 extra-doc-files: ChangeLog.md other/*.svg@@ -41,10 +39,6 @@ type: git location: https://github.com/tonyday567/numhask -common docspec- build-depends: QuickCheck >=2.14 && <2.16- x-docspec-extra-packages: QuickCheck- common ghc-options-stanza ghc-options: -Wall@@ -59,11 +53,10 @@ default-language: GHC2021 library- import: docspec import: ghc-options-stanza import: ghc2021-stanza hs-source-dirs: src- build-depends: base >=4.14 && <5+ build-depends: , base >=4.14 && <5 exposed-modules: NumHask NumHask.Algebra.Action@@ -82,3 +75,15 @@ NumHask.Exception NumHask.Prelude default-extensions: RebindableSyntax++test-suite doctests+ import: ghc2021-stanza+ main-is: doctests.hs+ hs-source-dirs: test+ build-depends:+ , QuickCheck >=2.14 && <2.16+ , base >=4.14 && <5+ , doctest-parallel >=0.3 && <0.4+ default-extensions: RebindableSyntax+ ghc-options: -threaded+ type: exitcode-stdio-1.0
src/NumHask.hs view
@@ -211,6 +211,7 @@ -- $setup --+-- >>> :m -Prelude -- >>> :set -XRebindableSyntax -- >>> import NumHask.Prelude -- >>> 1+1
src/NumHask/Algebra/Additive.hs view
@@ -18,6 +18,7 @@ -- $setup --+-- >>> :m -Prelude -- >>> :set -XRebindableSyntax -- >>> import NumHask.Prelude
src/NumHask/Algebra/Field.hs view
@@ -30,6 +30,7 @@ -- $setup --+-- >>> :m -Prelude -- >>> :set -XRebindableSyntax -- >>> :set -XScopedTypeVariables -- >>> import NumHask.Prelude@@ -67,9 +68,9 @@ -- | A hyperbolic field class ----- prop> \a -> a < zero || (sqrt . (**2)) a == a--- prop> \a -> a < zero || (log . exp) a ~= a--- prop> \a b -> (b < zero) || a <= zero || a == 1 || abs (a ** logBase a b - b) < 10 * epsilon+-- prop> \(a::Double) -> a < zero || (sqrt . (**2)) a == a+-- prop> \(a::Double) -> a < zero || (log . exp) a ~= a+-- prop> \(a::Double) (b::Double) -> (b < zero) || a <= zero || a == 1 || abs (a ** logBase a b - b) < 10 * epsilon class (Field a) => ExpField a
src/NumHask/Algebra/Metric.hs view
@@ -44,6 +44,7 @@ -- $setup --+-- >>> :m -Prelude -- >>> :set -XRebindableSyntax -- >>> import NumHask.Prelude
src/NumHask/Algebra/Multiplicative.hs view
@@ -17,6 +17,7 @@ -- $setup --+-- >>> :m -Prelude -- >>> :set -XRebindableSyntax -- >>> import NumHask.Prelude
src/NumHask/Algebra/Ring.hs view
@@ -19,6 +19,7 @@ -- $setup --+-- >>> :m -Prelude -- >>> :set -XRebindableSyntax -- >>> import NumHask.Prelude
src/NumHask/Data/Integral.hs view
@@ -25,6 +25,7 @@ -- $setup --+-- >>> :m -Prelude -- >>> :set -XRebindableSyntax -- >>> import NumHask.Prelude
src/NumHask/Data/Positive.hs view
@@ -33,6 +33,7 @@ -- $setup --+-- >>> :m -Prelude -- >>> :set -XRebindableSyntax -- >>> import NumHask.Prelude -- >>> import NumHask.Data.Positive
src/NumHask/Data/Rational.hs view
@@ -31,6 +31,7 @@ -- $setup --+-- >>> :m -Prelude -- >>> :set -XRebindableSyntax -- >>> import NumHask.Prelude
src/NumHask/Prelude.hs view
@@ -79,6 +79,7 @@ -- $usage --+-- >>> :m -Prelude -- >>> :set -XRebindableSyntax -- >>> import NumHask.Prelude -- >>> 1+1
+ test/doctests.hs view
@@ -0,0 +1,8 @@+module Main where++import System.Environment (getArgs)+import Test.DocTest (mainFromCabal)+import Prelude (IO, (=<<))++main :: IO ()+main = mainFromCabal "numhask" =<< getArgs