Export everything from Z to N20 from Naturals.

diff --git a/src/Naturals.hs b/src/Naturals.hs
index 1d2a696223ace5e8225432444fafe6aa2d18a190..7779cdf74a74ee4413e93b7677c8cf797f84177f 100644 (file)
--- 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