Representing natural numbers (>=0).
This module lets you represent exact values in the NNat type.
This means, packages like 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 lastDifference)
}
-> 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 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.