src/Naturals.hs

   1 -- | A bunch of type-level natural numbers extending the ones present
   2 --   in Data.Vector.Fixed.
   3 module Naturals
   4 where
   5
   6 import Data.Vector.Fixed ( S, N6 )
   7
   8
   9 type N7 = S N6
  10 type N8 = S N7
  11 type N9 = S N8
  12 type N10 = S N9
  13 type N11 = S N10
  14 type N12 = S N11
  15 type N13 = S N12
  16 type N14 = S N13
  17 type N15 = S N14
  18 type N16 = S N15
  19 type N17 = S N16
  20 type N18 = S N17
  21 type N19 = S N18
  22 type N20 = S N19