Add a bunch more natural numbers in the Naturals module.

diff --git a/.ghci b/.ghci
index e6f7087deaf56dbde83cdd76a9ec7d74e475b2e0..f42b7bbaee7de9c651eb52f2723e11e89fae818d 100644 (file)
--- a/.ghci
+++ b/.ghci
@@ -13,6 +13,7 @@
   src/Linear/System.hs
   src/Linear/Vector.hs
   src/Misc.hs
+  src/Naturals.hs
   src/Normed.hs
   src/ODE/IVP.hs
   src/Polynomials/Orthogonal.hs
@@ -29,6 +30,7 @@ import Linear.QR
 import Linear.System
 import Linear.Vector
 import Misc
+import Naturals
 import Normed
 import ODE.IVP
 import Polynomials.Orthogonal

diff --git a/numerical-analysis.cabal b/numerical-analysis.cabal
index b666583d6658fbd1e3867d48fd2ce2c377d63b7d..bb202c8a28aad7f2c93d637107f8e070a882d230 100644 (file)
--- a/numerical-analysis.cabal
+++ b/numerical-analysis.cabal
@@ -28,6 +28,7 @@ library
     Linear.System,
     Linear.Vector,
     Misc,
+    Naturals,
     Normed,
     ODE.IVP,
     Polynomials.Orthogonal,

diff --git a/src/Naturals.hs b/src/Naturals.hs
new file mode 100644 (file)
index 0000000..1d2a696
--- /dev/null
+++ b/src/Naturals.hs
@@ -0,0 +1,22 @@
+-- | A bunch of type-level natural numbers extending the ones present
+--   in Data.Vector.Fixed.
+module Naturals
+where
+
+import Data.Vector.Fixed ( S, N6 )
+
+
+type N7 = S N6
+type N8 = S N7
+type N9 = S N8
+type N10 = S N9
+type N11 = S N10
+type N12 = S N11
+type N13 = S N12
+type N14 = S N13
+type N15 = S N14
+type N16 = S N15
+type N17 = S N16
+type N18 = S N17
+type N19 = S N18
+type N20 = S N19