src/Naturals.hs

   1 -- | A bunch of type-level natural numbers extending the ones present
   2 --   in Data.Vector.Fixed.
   3 module Naturals (
   4   module Data.Vector.Fixed,
   5   N7,
   6   N8,
   7   N9,
   8   N10,
   9   N11,
  10   N12,
  11   N13,
  12   N14,
  13   N15,
  14   N16,
  15   N17,
  16   N18,
  17   N19,
  18   N20 )
  19 where
  20
  21 import Data.Vector.Fixed ( N1, N2, N3, N4, N5, N6, S, Z )
  22
  23 type N7 = S N6
  24 type N8 = S N7
  25 type N9 = S N8
  26 type N10 = S N9
  27 type N11 = S N10
  28 type N12 = S N11
  29 type N13 = S N12
  30 type N14 = S N13
  31 type N15 = S N14
  32 type N16 = S N15
  33 type N17 = S N16
  34 type N18 = S N17
  35 type N19 = S N18
  36 type N20 = S N19