]> gitweb.michael.orlitzky.com - numerical-analysis.git/blobdiff - src/Naturals.hs
Add natural numbers up to N32.
[numerical-analysis.git] / src / Naturals.hs
index 1d2a696223ace5e8225432444fafe6aa2d18a190..8bdcfe59281f526d9b237fbd5593c7cc86728e89 100644 (file)
@@ -1,10 +1,36 @@
 -- | 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,
+  N21,
+  N22,
+  N23,
+  N24,
+  N25,
+  N26,
+  N27,
+  N28,
+  N29,
+  N30,
+  N31,
+  N32 )
 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
@@ -20,3 +46,15 @@ type N17 = S N16
 type N18 = S N17
 type N19 = S N18
 type N20 = S N19
+type N21 = S N20
+type N22 = S N21
+type N23 = S N22
+type N24 = S N23
+type N25 = S N24
+type N26 = S N25
+type N27 = S N26
+type N28 = S N27
+type N29 = S N28
+type N30 = S N29
+type N31 = S N30
+type N32 = S N31