-- | 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