diff --git a/numhask.cabal b/numhask.cabal
--- a/numhask.cabal
+++ b/numhask.cabal
@@ -1,5 +1,6 @@
+cabal-version: 3.0
name: numhask
-version: 0.4.0
+version: 0.5.0
synopsis:
numeric classes
description:
@@ -17,13 +18,11 @@
copyright:
Tony Day
license:
- BSD3
+ BSD-3-Clause
license-file:
LICENSE
build-type:
Simple
-cabal-version:
- 2.0
extra-doc-files:
other/*.svg
diff --git a/other/field.svg b/other/field.svg
--- a/other/field.svg
+++ b/other/field.svg
@@ -1,3 +1,3 @@
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
diff --git a/other/numhask.svg b/other/numhask.svg
new file mode 100644
--- /dev/null
+++ b/other/numhask.svg
@@ -0,0 +1,3 @@
+
+
diff --git a/src/NumHask/Algebra/Abstract/Action.hs b/src/NumHask/Algebra/Abstract/Action.hs
--- a/src/NumHask/Algebra/Abstract/Action.hs
+++ b/src/NumHask/Algebra/Abstract/Action.hs
@@ -15,7 +15,7 @@
import NumHask.Algebra.Abstract.Additive
import NumHask.Algebra.Abstract.Multiplicative
--- | a type class to represent an action on a higher-kinded number
+-- | a type class to represent an action on elements of a higher-kinded number
type family Actor h
class (Additive (Actor h)) =>
diff --git a/src/NumHask/Algebra/Abstract/Lattice.hs b/src/NumHask/Algebra/Abstract/Lattice.hs
--- a/src/NumHask/Algebra/Abstract/Lattice.hs
+++ b/src/NumHask/Algebra/Abstract/Lattice.hs
@@ -5,7 +5,7 @@
module NumHask.Algebra.Abstract.Lattice where
import Data.Int (Int8, Int16, Int32, Int64)
-import Data.Word (Word, Word8, Word16, Word32, Word64)
+import Data.Word (Word8, Word16, Word32, Word64)
import GHC.Natural (Natural(..))
import NumHask.Algebra.Abstract.Field
diff --git a/src/NumHask/Algebra/Abstract/Module.hs b/src/NumHask/Algebra/Abstract/Module.hs
--- a/src/NumHask/Algebra/Abstract/Module.hs
+++ b/src/NumHask/Algebra/Abstract/Module.hs
@@ -7,7 +7,6 @@
( Module
) where
-import NumHask.Algebra.Abstract.Multiplicative
import NumHask.Algebra.Abstract.Ring
import NumHask.Algebra.Abstract.Action
@@ -20,4 +19,4 @@
-- > c *. (a + b) == (c *. a) + (c *. b)
-- > a .* zero == zero
-- > a .* b == b *. a
-class (Distributive (Actor h), Divisive h, MultiplicativeAction h) => Module h
+class (Distributive (Actor h), MultiplicativeAction h) => Module h
diff --git a/src/NumHask/Algebra/Abstract/Ring.hs b/src/NumHask/Algebra/Abstract/Ring.hs
--- a/src/NumHask/Algebra/Abstract/Ring.hs
+++ b/src/NumHask/Algebra/Abstract/Ring.hs
@@ -7,7 +7,6 @@
( Distributive
, Semiring
, Ring
- , CommutativeRing
, IntegralDomain
, StarSemiring(..)
, KleeneAlgebra
@@ -65,13 +64,6 @@
Ring a
instance (Distributive a, Subtractive a) =>
Ring a
-
--- | A is a
--- ring with commutative multiplication.
-class (Distributive a, Subtractive a) =>
- CommutativeRing a
-instance (Distributive a, Subtractive a) =>
- CommutativeRing a
-- | An
-- generalizes a ring of integers by requiring the product of any two nonzero
diff --git a/src/NumHask/Analysis/Metric.hs b/src/NumHask/Analysis/Metric.hs
--- a/src/NumHask/Analysis/Metric.hs
+++ b/src/NumHask/Analysis/Metric.hs
@@ -21,7 +21,7 @@
)
import Data.Int (Int8, Int16, Int32, Int64)
-import Data.Word (Word, Word8, Word16, Word32, Word64)
+import Data.Word (Word8, Word16, Word32, Word64)
import GHC.Natural (Natural(..))
import NumHask.Algebra.Abstract.Additive
import NumHask.Algebra.Abstract.Multiplicative
diff --git a/src/NumHask/Data/Rational.hs b/src/NumHask/Data/Rational.hs
--- a/src/NumHask/Data/Rational.hs
+++ b/src/NumHask/Data/Rational.hs
@@ -38,7 +38,7 @@
import NumHask.Algebra.Abstract.Lattice
import NumHask.Analysis.Metric
import NumHask.Data.Integral
-import Prelude (Double, Float, Int, Integer, Rational, (.))
+import Prelude (Int, Integer, Rational, (.))
import qualified GHC.Real
import qualified Prelude as P