Representing natural numbers (>=0).
This module lets you represent exact values in the NNat type.
This means, packages like [elm-n-array][elm-n-array] can use a NNat to promise:
fromRepeating : NNat n -> element -> NArray n element→ repeating an element n times gives a Array with n elements!
The other use is to describe a difference between two values.
interval :
{ first : NNat (N first Is (Difference range To last))
, last : NNat (N last Is differenceLast)
}
-> Interval
→ because `range` is 0 or positive, `last` must also be at least as high as `first`.See the readme for more information.
Convert a NNat to an Int.
NNat.n4 |> NNat.toInt
--> 4The NNat 0.
The NNat 1.
The NNat 10.
The NNat 100.
The NNat 101.
The NNat 102.
The NNat 103.
The NNat 104.
The NNat 105.
The NNat 106.
The NNat 107.
The NNat 108.
The NNat 109.
The NNat 11.
The NNat 110.
The NNat 111.
The NNat 112.
The NNat 113.
The NNat 114.
The NNat 115.
The NNat 116.
The NNat 117.
The NNat 118.
The NNat 119.
The NNat 12.
The NNat 120.
The NNat 121.
The NNat 122.
The NNat 123.
The NNat 124.
The NNat 125.
The NNat 126.
The NNat 127.
The NNat 128.
The NNat 129.
The NNat 13.
The NNat 130.
The NNat 131.
The NNat 132.
The NNat 133.
The NNat 134.
The NNat 135.
The NNat 136.
The NNat 137.
The NNat 138.
The NNat 139.
The NNat 14.
The NNat 140.
The NNat 141.
The NNat 142.
The NNat 143.
The NNat 144.
The NNat 145.
The NNat 146.
The NNat 147.
The NNat 148.
The NNat 149.
The NNat 15.
The NNat 150.
The NNat 151.
The NNat 152.
The NNat 153.
The NNat 154.
The NNat 155.
The NNat 156.
The NNat 157.
The NNat 158.
The NNat 159.
The NNat 16.
The NNat 160.
The NNat 161.
The NNat 162.
The NNat 163.
The NNat 164.
The NNat 165.
The NNat 166.
The NNat 167.
The NNat 168.
The NNat 169.
The NNat 17.
The NNat 170.
The NNat 171.
The NNat 172.
The NNat 173.
The NNat 174.
The NNat 175.
The NNat 176.
The NNat 177.
The NNat 178.
The NNat 179.
The NNat 18.
The NNat 180.
The NNat 181.
The NNat 182.
The NNat 183.
The NNat 184.
The NNat 185.
The NNat 186.
The NNat 187.
The NNat 188.
The NNat 189.
The NNat 19.
The NNat 190.
The NNat 191.
The NNat 192.
The NNat 2.
The NNat 20.
The NNat 21.
The NNat 22.
The NNat 23.
The NNat 24.
The NNat 25.
The NNat 26.
The NNat 27.
The NNat 28.
The NNat 29.
The NNat 3.
The NNat 30.
The NNat 31.
The NNat 32.
The NNat 33.
The NNat 34.
The NNat 35.
The NNat 36.
The NNat 37.
The NNat 38.
The NNat 39.
The NNat 4.
The NNat 40.
The NNat 41.
The NNat 42.
The NNat 43.
The NNat 44.
The NNat 45.
The NNat 46.
The NNat 47.
The NNat 48.
The NNat 49.
The NNat 5.
The NNat 50.
The NNat 51.
The NNat 52.
The NNat 53.
The NNat 54.
The NNat 55.
The NNat 56.
The NNat 57.
The NNat 58.
The NNat 59.
The NNat 6.
The NNat 60.
The NNat 61.
The NNat 62.
The NNat 63.
The NNat 64.
The NNat 65.
The NNat 66.
The NNat 67.
The NNat 68.
The NNat 69.
The NNat 7.
The NNat 70.
The NNat 71.
The NNat 72.
The NNat 73.
The NNat 74.
The NNat 75.
The NNat 76.
The NNat 77.
The NNat 78.
The NNat 79.
The NNat 8.
The NNat 80.
The NNat 81.
The NNat 82.
The NNat 83.
The NNat 84.
The NNat 85.
The NNat 86.
The NNat 87.
The NNat 88.
The NNat 89.
The NNat 9.
The NNat 90.
The NNat 91.
The NNat 92.
The NNat 93.
The NNat 94.
The NNat 95.
The NNat 96.
The NNat 97.
The NNat 98.
The NNat 99.
The NNat plus 1.
The NNat plus 10.
The NNat plus 100.
The NNat plus 101.
The NNat plus 102.
The NNat plus 103.
The NNat plus 104.
The NNat plus 105.
The NNat plus 106.
The NNat plus 107.
The NNat plus 108.
The NNat plus 109.
The NNat plus 11.
The NNat plus 110.
The NNat plus 111.
The NNat plus 112.
The NNat plus 113.
The NNat plus 114.
The NNat plus 115.
The NNat plus 116.
The NNat plus 117.
The NNat plus 118.
The NNat plus 119.
The NNat plus 12.
The NNat plus 120.
The NNat plus 121.
The NNat plus 122.
The NNat plus 123.
The NNat plus 124.
The NNat plus 125.
The NNat plus 126.
The NNat plus 127.
The NNat plus 128.
The NNat plus 13.
The NNat plus 14.
The NNat plus 15.
The NNat plus 16.
The NNat plus 17.
The NNat plus 18.
The NNat plus 19.
The NNat plus 2.
The NNat plus 20.
The NNat plus 21.
The NNat plus 22.
The NNat plus 23.
The NNat plus 24.
The NNat plus 25.
The NNat plus 26.
The NNat plus 27.
The NNat plus 28.
The NNat plus 29.
The NNat plus 3.
The NNat plus 30.
The NNat plus 31.
The NNat plus 32.
The NNat plus 33.
The NNat plus 34.
The NNat plus 35.
The NNat plus 36.
The NNat plus 37.
The NNat plus 38.
The NNat plus 39.
The NNat plus 4.
The NNat plus 40.
The NNat plus 41.
The NNat plus 42.
The NNat plus 43.
The NNat plus 44.
The NNat plus 45.
The NNat plus 46.
The NNat plus 47.
The NNat plus 48.
The NNat plus 49.
The NNat plus 5.
The NNat plus 50.
The NNat plus 51.
The NNat plus 52.
The NNat plus 53.
The NNat plus 54.
The NNat plus 55.
The NNat plus 56.
The NNat plus 57.
The NNat plus 58.
The NNat plus 59.
The NNat plus 6.
The NNat plus 60.
The NNat plus 61.
The NNat plus 62.
The NNat plus 63.
The NNat plus 64.
The NNat plus 65.
The NNat plus 66.
The NNat plus 67.
The NNat plus 68.
The NNat plus 69.
The NNat plus 7.
The NNat plus 70.
The NNat plus 71.
The NNat plus 72.
The NNat plus 73.
The NNat plus 74.
The NNat plus 75.
The NNat plus 76.
The NNat plus 77.
The NNat plus 78.
The NNat plus 79.
The NNat plus 8.
The NNat plus 80.
The NNat plus 81.
The NNat plus 82.
The NNat plus 83.
The NNat plus 84.
The NNat plus 85.
The NNat plus 86.
The NNat plus 87.
The NNat plus 88.
The NNat plus 89.
The NNat plus 9.
The NNat plus 90.
The NNat plus 91.
The NNat plus 92.
The NNat plus 93.
The NNat plus 94.
The NNat plus 95.
The NNat plus 96.
The NNat plus 97.
The NNat plus 98.
The NNat plus 99.
The NNat minus 1.
The NNat minus 10.
The NNat minus 100.
The NNat minus 101.
The NNat minus 102.
The NNat minus 103.
The NNat minus 104.
The NNat minus 105.
The NNat minus 106.
The NNat minus 107.
The NNat minus 108.
The NNat minus 109.
The NNat minus 11.
The NNat minus 110.
The NNat minus 111.
The NNat minus 112.
The NNat minus 113.
The NNat minus 114.
The NNat minus 115.
The NNat minus 116.
The NNat minus 117.
The NNat minus 118.
The NNat minus 119.
The NNat minus 12.
The NNat minus 120.
The NNat minus 121.
The NNat minus 122.
The NNat minus 123.
The NNat minus 124.
The NNat minus 125.
The NNat minus 126.
The NNat minus 127.
The NNat minus 128.
The NNat minus 13.
The NNat minus 14.
The NNat minus 15.
The NNat minus 16.
The NNat minus 17.
The NNat minus 18.
The NNat minus 19.
The NNat minus 2.
The NNat minus 20.
The NNat minus 21.
The NNat minus 22.
The NNat minus 23.
The NNat minus 24.
The NNat minus 25.
The NNat minus 26.
The NNat minus 27.
The NNat minus 28.
The NNat minus 29.
The NNat minus 3.
The NNat minus 30.
The NNat minus 31.
The NNat minus 32.
The NNat minus 33.
The NNat minus 34.
The NNat minus 35.
The NNat minus 36.
The NNat minus 37.
The NNat minus 38.
The NNat minus 39.
The NNat minus 4.
The NNat minus 40.
The NNat minus 41.
The NNat minus 42.
The NNat minus 43.
The NNat minus 44.
The NNat minus 45.
The NNat minus 46.
The NNat minus 47.
The NNat minus 48.
The NNat minus 49.
The NNat minus 5.
The NNat minus 50.
The NNat minus 51.
The NNat minus 52.
The NNat minus 53.
The NNat minus 54.
The NNat minus 55.
The NNat minus 56.
The NNat minus 57.
The NNat minus 58.
The NNat minus 59.
The NNat minus 6.
The NNat minus 60.
The NNat minus 61.
The NNat minus 62.
The NNat minus 63.
The NNat minus 64.
The NNat minus 65.
The NNat minus 66.
The NNat minus 67.
The NNat minus 68.
The NNat minus 69.
The NNat minus 7.
The NNat minus 70.
The NNat minus 71.
The NNat minus 72.
The NNat minus 73.
The NNat minus 74.
The NNat minus 75.
The NNat minus 76.
The NNat minus 77.
The NNat minus 78.
The NNat minus 79.
The NNat minus 8.
The NNat minus 80.
The NNat minus 81.
The NNat minus 82.
The NNat minus 83.
The NNat minus 84.
The NNat minus 85.
The NNat minus 86.
The NNat minus 87.
The NNat minus 88.
The NNat minus 89.
The NNat minus 9.
The NNat minus 90.
The NNat minus 91.
The NNat minus 92.
The NNat minus 93.
The NNat minus 94.
The NNat minus 95.
The NNat minus 96.
The NNat minus 97.
The NNat minus 98.
The NNat minus 99.
A natural number (
<= 0), where you know the exact value.NNat.n3is of typeThis means, its exact value can be described as
N3Natthe
Diffenceof someatoaplus 3.