From: Michael Orlitzky Date: Fri, 7 Feb 2014 15:15:11 +0000 (-0500) Subject: Add a bunch more natural numbers in the Naturals module. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=a268902d484c06e635314a8bdc857807b24e2fbb;p=numerical-analysis.git Add a bunch more natural numbers in the Naturals module. --- diff --git a/.ghci b/.ghci index e6f7087..f42b7bb 100644 --- a/.ghci +++ b/.ghci @@ -13,6 +13,7 @@ src/Linear/System.hs src/Linear/Vector.hs src/Misc.hs + src/Naturals.hs src/Normed.hs src/ODE/IVP.hs src/Polynomials/Orthogonal.hs @@ -29,6 +30,7 @@ import Linear.QR import Linear.System import Linear.Vector import Misc +import Naturals import Normed import ODE.IVP import Polynomials.Orthogonal diff --git a/numerical-analysis.cabal b/numerical-analysis.cabal index b666583..bb202c8 100644 --- a/numerical-analysis.cabal +++ b/numerical-analysis.cabal @@ -28,6 +28,7 @@ library Linear.System, Linear.Vector, Misc, + Naturals, Normed, ODE.IVP, Polynomials.Orthogonal, diff --git a/src/Naturals.hs b/src/Naturals.hs new file mode 100644 index 0000000..1d2a696 --- /dev/null +++ b/src/Naturals.hs @@ -0,0 +1,22 @@ +-- | A bunch of type-level natural numbers extending the ones present +-- in Data.Vector.Fixed. +module Naturals +where + +import Data.Vector.Fixed ( S, N6 ) + + +type N7 = S N6 +type N8 = S N7 +type N9 = S N8 +type N10 = S N9 +type N11 = S N10 +type N12 = S N11 +type N13 = S N12 +type N14 = S N13 +type N15 = S N14 +type N16 = S N15 +type N17 = S N16 +type N18 = S N17 +type N19 = S N18 +type N20 = S N19