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

diff --git a/src/Naturals.hs b/src/Naturals.hs
index 1d2a696..dbc8a37 100644
--- a/src/Naturals.hs
+++ b/src/Naturals.hs
@@ -1,10 +1,68 @@
 -- | 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,
+  N33,
+  N34,
+  N35,
+  N36,
+  N37,
+  N38,
+  N39,
+  N40,
+  N41,
+  N42,
+  N43,
+  N44,
+  N45,
+  N46,
+  N47,
+  N48,
+  N49,
+  N50,
+  N51,
+  N52,
+  N53,
+  N54,
+  N55,
+  N56,
+  N57,
+  N58,
+  N59,
+  N60,
+  N61,
+  N62,
+  N63,
+  N64 )
 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 +78,47 @@ 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
+type N33 = S N32
+type N34 = S N33
+type N35 = S N34
+type N36 = S N35
+type N37 = S N36
+type N38 = S N37
+type N39 = S N38
+type N40 = S N39
+type N41 = S N40
+type N42 = S N41
+type N43 = S N42
+type N44 = S N43
+type N45 = S N44
+type N46 = S N45
+type N47 = S N46
+type N48 = S N47
+type N49 = S N48
+type N50 = S N49
+type N51 = S N50
+type N52 = S N51
+type N53 = S N52
+type N54 = S N53
+type N55 = S N54
+type N56 = S N55
+type N57 = S N56
+type N58 = S N57
+type N59 = S N58
+type N60 = S N59
+type N61 = S N60
+type N62 = S N61
+type N63 = S N62
+type N64 = S N63