From: Michael Orlitzky Date: Sun, 16 Feb 2014 02:26:19 +0000 (-0500) Subject: Export everything from Z to N20 from Naturals. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=6cefee6977791025aaa98dcd9996b1b378323c6c;p=numerical-analysis.git Export everything from Z to N20 from Naturals. --- 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