From a268902d484c06e635314a8bdc857807b24e2fbb Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Fri, 7 Feb 2014 10:15:11 -0500
Subject: [PATCH] Add a bunch more natural numbers in the Naturals module.

---
 .ghci                    |  2 ++
 numerical-analysis.cabal |  1 +
 src/Naturals.hs          | 22 ++++++++++++++++++++++
 3 files changed, 25 insertions(+)
 create mode 100644 src/Naturals.hs

diff --git a/.ghci b/.ghci
index e6f7087..f42b7bb 100644
--- 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 b666583..bb202c8 100644
--- 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
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
-- 
2.43.2