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   N21,
  20   N22,
  21   N23,
  22   N24,
  23   N25,
  24   N26,
  25   N27,
  26   N28,
  27   N29,
  28   N30,
  29   N31,
  30   N32 )
  31 where
  32
  33 import Data.Vector.Fixed ( N1, N2, N3, N4, N5, N6, S, Z )
  34
  35 type N7 = S N6
  36 type N8 = S N7
  37 type N9 = S N8
  38 type N10 = S N9
  39 type N11 = S N10
  40 type N12 = S N11
  41 type N13 = S N12
  42 type N14 = S N13
  43 type N15 = S N14
  44 type N16 = S N15
  45 type N17 = S N16
  46 type N18 = S N17
  47 type N19 = S N18
  48 type N20 = S N19
  49 type N21 = S N20
  50 type N22 = S N21
  51 type N23 = S N22
  52 type N24 = S N23
  53 type N25 = S N24
  54 type N26 = S N25
  55 type N27 = S N26
  56 type N28 = S N27
  57 type N29 = S N28
  58 type N30 = S N29
  59 type N31 = S N30
  60 type N32 = S N31