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   N33,
  32   N34,
  33   N35,
  34   N36,
  35   N37,
  36   N38,
  37   N39,
  38   N40,
  39   N41,
  40   N42,
  41   N43,
  42   N44,
  43   N45,
  44   N46,
  45   N47,
  46   N48,
  47   N49,
  48   N50,
  49   N51,
  50   N52,
  51   N53,
  52   N54,
  53   N55,
  54   N56,
  55   N57,
  56   N58,
  57   N59,
  58   N60,
  59   N61,
  60   N62,
  61   N63,
  62   N64 )
  63 where
  64
  65 import Data.Vector.Fixed ( N1, N2, N3, N4, N5, N6, S, Z )
  66
  67 type N7 = S N6
  68 type N8 = S N7
  69 type N9 = S N8
  70 type N10 = S N9
  71 type N11 = S N10
  72 type N12 = S N11
  73 type N13 = S N12
  74 type N14 = S N13
  75 type N15 = S N14
  76 type N16 = S N15
  77 type N17 = S N16
  78 type N18 = S N17
  79 type N19 = S N18
  80 type N20 = S N19
  81 type N21 = S N20
  82 type N22 = S N21
  83 type N23 = S N22
  84 type N24 = S N23
  85 type N25 = S N24
  86 type N26 = S N25
  87 type N27 = S N26
  88 type N28 = S N27
  89 type N29 = S N28
  90 type N30 = S N29
  91 type N31 = S N30
  92 type N32 = S N31
  93 type N33 = S N32
  94 type N34 = S N33
  95 type N35 = S N34
  96 type N36 = S N35
  97 type N37 = S N36
  98 type N38 = S N37
  99 type N39 = S N38
 100 type N40 = S N39
 101 type N41 = S N40
 102 type N42 = S N41
 103 type N43 = S N42
 104 type N44 = S N43
 105 type N45 = S N44
 106 type N46 = S N45
 107 type N47 = S N46
 108 type N48 = S N47
 109 type N49 = S N48
 110 type N50 = S N49
 111 type N51 = S N50
 112 type N52 = S N51
 113 type N53 = S N52
 114 type N54 = S N53
 115 type N55 = S N54
 116 type N56 = S N55
 117 type N57 = S N56
 118 type N58 = S N57
 119 type N59 = S N58
 120 type N60 = S N59
 121 type N61 = S N60
 122 type N62 = S N61
 123 type N63 = S N62
 124 type N64 = S N63