X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FNaturals.hs;h=7779cdf74a74ee4413e93b7677c8cf797f84177f;hb=6cefee6977791025aaa98dcd9996b1b378323c6c;hp=1d2a696223ace5e8225432444fafe6aa2d18a190;hpb=a268902d484c06e635314a8bdc857807b24e2fbb;p=numerical-analysis.git

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