From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 16 Feb 2014 02:26:19 +0000 (-0500)
Subject: Export everything from Z to N20 from Naturals.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=6cefee6977791025aaa98dcd9996b1b378323c6c;p=numerical-analysis.git

Export everything from Z to N20 from Naturals.
---

diff --git a/src/Naturals.hs b/src/Naturals.hs
index 1d2a696..7779cdf 100644
--- a/src/Naturals.hs
+++ b/src/Naturals.hs
@@ -1,10 +1,24 @@
 -- | A bunch of type-level natural numbers extending the ones present
 --   in Data.Vector.Fixed.
-module Naturals
+module Naturals (
+  module Data.Vector.Fixed,
+  N7,
+  N8,
+  N9,
+  N10,
+  N11,
+  N12,
+  N13,
+  N14,
+  N15,
+  N16,
+  N17,
+  N18,
+  N19,
+  N20 )
 where
 
-import Data.Vector.Fixed ( S, N6 )
-
+import Data.Vector.Fixed ( N1, N2, N3, N4, N5, N6, S, Z )
 
 type N7 = S N6
 type N8 = S N7