@grain/stdlib 0.5.13 → 0.6.0

package/int32.md

@@ -10,12 +10,12 @@ No other changes yet.
 </details>
 
 ```grain
-import Int32 from "int32"
+from "int32" include Int32
 ```
 
-## Conversions
+## Values
 
-Functions for converting between Numbers and the Int32 type.
+Functions and constants included in the Int32 module.
 
 ### Int32.**fromNumber**
 
@@ -25,7 +25,7 @@ No other changes yet.
 </details>
 
 ```grain
-fromNumber : Number -> Int32
+fromNumber : (number: Number) => Int32
 ```
 
 Converts a Number to an Int32.
@@ -50,7 +50,7 @@ No other changes yet.
 </details>
 
 ```grain
-toNumber : Int32 -> Number
+toNumber : (value: Int32) => Number
 ```
 
 Converts an Int32 to a Number.
@@ -67,36 +67,32 @@ Returns:
 |----|-----------|
 |`Number`|The Int32 represented as a Number|
 
-## Operations
-
-Mathematical operations for Int32 values.
-
-### Int32.**incr**
+### Int32.**fromUint32**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
+<summary tabindex="-1">Added in <code>0.6.0</code></summary>
 No other changes yet.
 </details>
 
 ```grain
-incr : Int32 -> Int32
+fromUint32 : (number: Uint32) => Int32
 ```
 
-Increments the value by one.
+Converts a Uint32 to an Int32.
 
 Parameters:
 
 |param|type|description|
 |-----|----|-----------|
-|`value`|`Int32`|The value to increment|
+|`number`|`Uint32`|The value to convert|
 
 Returns:
 
 |type|description|
 |----|-----------|
-|`Int32`|The incremented value|
+|`Int32`|The Uint32 represented as an Int32|
 
-### Int32.**decr**
+### Int32.**incr**
 
 <details disabled>
 <summary tabindex="-1">Added in <code>0.2.0</code></summary>
@@ -104,24 +100,24 @@ No other changes yet.
 </details>
 
 ```grain
-decr : Int32 -> Int32
+incr : (value: Int32) => Int32
 ```
 
-Decrements the value by one.
+Increments the value by one.
 
 Parameters:
 
 |param|type|description|
 |-----|----|-----------|
-|`value`|`Int32`|The value to decrement|
+|`value`|`Int32`|The value to increment|
 
 Returns:
 
 |type|description|
 |----|-----------|
-|`Int32`|The decremented value|
+|`Int32`|The incremented value|
 
-### Int32.**add**
+### Int32.**decr**
 
 <details disabled>
 <summary tabindex="-1">Added in <code>0.2.0</code></summary>
@@ -129,36 +125,42 @@ No other changes yet.
 </details>
 
 ```grain
-add : (Int32, Int32) -> Int32
+decr : (value: Int32) => Int32
 ```
 
-Computes the sum of its operands.
+Decrements the value by one.
 
 Parameters:
 
 |param|type|description|
 |-----|----|-----------|
-|`x`|`Int32`|The first operand|
-|`y`|`Int32`|The second operand|
+|`value`|`Int32`|The value to decrement|
 
 Returns:
 
 |type|description|
 |----|-----------|
-|`Int32`|The sum of the two operands|
+|`Int32`|The decremented value|
 
-### Int32.**sub**
+### Int32.**(+)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `add`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-sub : (Int32, Int32) -> Int32
+(+) : (x: Int32, y: Int32) => Int32
 ```
 
-Computes the difference of its operands.
+Computes the sum of its operands.
 
 Parameters:
 
@@ -171,20 +173,27 @@ Returns:
 
 |type|description|
 |----|-----------|
-|`Int32`|The difference of the two operands|
+|`Int32`|The sum of the two operands|
 
-### Int32.**mul**
+### Int32.**(-)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `sub`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-mul : (Int32, Int32) -> Int32
+(-) : (x: Int32, y: Int32) => Int32
 ```
 
-Computes the product of its operands.
+Computes the difference of its operands.
 
 Parameters:
 
@@ -197,20 +206,27 @@ Returns:
 
 |type|description|
 |----|-----------|
-|`Int32`|The product of the two operands|
+|`Int32`|The difference of the two operands|
 
-### Int32.**div**
+### Int32.**(*)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `mul`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-div : (Int32, Int32) -> Int32
+(*) : (x: Int32, y: Int32) => Int32
 ```
 
-Computes the quotient of its operands using signed division.
+Computes the product of its operands.
 
 Parameters:
 
@@ -223,20 +239,27 @@ Returns:
 
 |type|description|
 |----|-----------|
-|`Int32`|The quotient of its operands|
+|`Int32`|The product of the two operands|
 
-### Int32.**divU**
+### Int32.**(/)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `div`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-divU : (Int32, Int32) -> Int32
+(/) : (x: Int32, y: Int32) => Int32
 ```
 
-Computes the quotient of its operands using unsigned division.
+Computes the quotient of its operands using signed division.
 
 Parameters:
 
@@ -259,7 +282,7 @@ No other changes yet.
 </details>
 
 ```grain
-rem : (Int32, Int32) -> Int32
+rem : (x: Int32, y: Int32) => Int32
 ```
 
 Computes the remainder of the division of its operands using signed division.
@@ -277,41 +300,22 @@ Returns:
 |----|-----------|
 |`Int32`|The remainder of its operands|
 
-### Int32.**remU**
-
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
-</details>
-
-```grain
-remU : (Int32, Int32) -> Int32
-```
-
-Computes the remainder of the division of its operands using unsigned division.
-
-Parameters:
-
-|param|type|description|
-|-----|----|-----------|
-|`x`|`Int32`|The first operand|
-|`y`|`Int32`|The second operand|
-
-Returns:
-
-|type|description|
-|----|-----------|
-|`Int32`|The remainder of its operands|
-
-### Int32.**mod**
+### Int32.**(%)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `mod`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-mod : (Int32, Int32) -> Int32
+(%) : (x: Int32, y: Int32) => Int32
 ```
 
 Computes the remainder of the division of the first operand by the second.
@@ -336,10 +340,6 @@ Throws:
 
 * When `y` is zero
 
-## Bitwise operations
-
-Functions for operating on bits of Int32 values.
-
 ### Int32.**rotl**
 
 <details disabled>
@@ -348,7 +348,7 @@ No other changes yet.
 </details>
 
 ```grain
-rotl : (Int32, Int32) -> Int32
+rotl : (value: Int32, amount: Int32) => Int32
 ```
 
 Rotates the bits of the value left by the given number of bits.
@@ -374,7 +374,7 @@ No other changes yet.
 </details>
 
 ```grain
-rotr : (Int32, Int32) -> Int32
+rotr : (value: Int32, amount: Int32) => Int32
 ```
 
 Rotates the bits of the value right by the given number of bits.
@@ -392,15 +392,22 @@ Returns:
 |----|-----------|
 |`Int32`|The rotated value|
 
-### Int32.**shl**
+### Int32.**(<<)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `shl`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-shl : (Int32, Int32) -> Int32
+(<<) : (value: Int32, amount: Int32) => Int32
 ```
 
 Shifts the bits of the value left by the given number of bits.
@@ -418,15 +425,22 @@ Returns:
 |----|-----------|
 |`Int32`|The shifted value|
 
-### Int32.**shr**
+### Int32.**(>>)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `shr`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-shr : (Int32, Int32) -> Int32
+(>>) : (value: Int32, amount: Int32) => Int32
 ```
 
 Shifts the bits of the value right by the given number of bits, preserving the sign bit.
@@ -444,45 +458,22 @@ Returns:
 |----|-----------|
 |`Int32`|The shifted value|
 
-### Int32.**shrU**
+### Int32.**(==)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.4.0</code></td><td>Originally named `eq`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-shrU : (Int32, Int32) -> Int32
-```
-
-Shifts the bits of the value right by the given number of bits.
-
-Parameters:
-
-|param|type|description|
-|-----|----|-----------|
-|`value`|`Int32`|The value to shift|
-|`amount`|`Int32`|The amount to shift by|
-
-Returns:
-
-|type|description|
-|----|-----------|
-|`Int32`|The shifted value|
-
-## Comparisons
-
-Functions for comparing Int32 values.
-
-### Int32.**eq**
-
-<details disabled>
-<summary tabindex="-1">Added in <code>0.4.0</code></summary>
-No other changes yet.
-</details>
-
-```grain
-eq : (Int32, Int32) -> Bool
+(==) : (x: Int32, y: Int32) => Bool
 ```
 
 Checks if the first value is equal to the second value.
@@ -500,15 +491,22 @@ Returns:
 |----|-----------|
 |`Bool`|`true` if the first value is equal to the second value or `false` otherwise|
 
-### Int32.**ne**
+### Int32.**(!=)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.4.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.4.0</code></td><td>Originally named `ne`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-ne : (Int32, Int32) -> Bool
+(!=) : (x: Int32, y: Int32) => Bool
 ```
 
 Checks if the first value is not equal to the second value.
@@ -534,7 +532,7 @@ No other changes yet.
 </details>
 
 ```grain
-eqz : Int32 -> Bool
+eqz : (value: Int32) => Bool
 ```
 
 Checks if the given value is equal to zero.
@@ -551,15 +549,22 @@ Returns:
 |----|-----------|
 |`Bool`|`true` if the first value is equal to zero or `false` otherwise|
 
-### Int32.**lt**
+### Int32.**(<)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `lt`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-lt : (Int32, Int32) -> Bool
+(<) : (x: Int32, y: Int32) => Bool
 ```
 
 Checks if the first value is less than the second value.
@@ -577,41 +582,22 @@ Returns:
 |----|-----------|
 |`Bool`|`true` if the first value is less than the second value or `false` otherwise|
 
-### Int32.**ltU**
+### Int32.**(>)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.5.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `gt`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-ltU : (Int32, Int32) -> Bool
-```
-
-Checks if the first unsigned value is less than the second unsigned value.
-
-Parameters:
-
-|param|type|description|
-|-----|----|-----------|
-|`x`|`Int32`|The first value|
-|`y`|`Int32`|The second value|
-
-Returns:
-
-|type|description|
-|----|-----------|
-|`Bool`|`true` if the first value is less than the second value or `false` otherwise|
-
-### Int32.**gt**
-
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
-</details>
-
-```grain
-gt : (Int32, Int32) -> Bool
+(>) : (x: Int32, y: Int32) => Bool
 ```
 
 Checks if the first value is greater than the second value.
@@ -629,41 +615,22 @@ Returns:
 |----|-----------|
 |`Bool`|`true` if the first value is greater than the second value or `false` otherwise|
 
-### Int32.**gtU**
+### Int32.**(<=)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.5.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `lte`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-gtU : (Int32, Int32) -> Bool
-```
-
-Checks if the first unsigned value is greater than the second unsigned value.
-
-Parameters:
-
-|param|type|description|
-|-----|----|-----------|
-|`x`|`Int32`|The first value|
-|`y`|`Int32`|The second value|
-
-Returns:
-
-|type|description|
-|----|-----------|
-|`Bool`|`true` if the first value is greater than the second value or `false` otherwise|
-
-### Int32.**lte**
-
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
-</details>
-
-```grain
-lte : (Int32, Int32) -> Bool
+(<=) : (x: Int32, y: Int32) => Bool
 ```
 
 Checks if the first value is less than or equal to the second value.
@@ -681,41 +648,22 @@ Returns:
 |----|-----------|
 |`Bool`|`true` if the first value is less than or equal to the second value or `false` otherwise|
 
-### Int32.**lteU**
+### Int32.**(>=)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.5.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `gte`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-lteU : (Int32, Int32) -> Bool
-```
-
-Checks if the first unsigned value is less than or equal to the second unsigned value.
-
-Parameters:
-
-|param|type|description|
-|-----|----|-----------|
-|`x`|`Int32`|The first value|
-|`y`|`Int32`|The second value|
-
-Returns:
-
-|type|description|
-|----|-----------|
-|`Bool`|`true` if the first value is less than or equal to the second value or `false` otherwise|
-
-### Int32.**gte**
-
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
-</details>
-
-```grain
-gte : (Int32, Int32) -> Bool
+(>=) : (x: Int32, y: Int32) => Bool
 ```
 
 Checks if the first value is greater than or equal to the second value.
@@ -733,36 +681,6 @@ Returns:
 |----|-----------|
 |`Bool`|`true` if the first value is greater than or equal to the second value or `false` otherwise|
 
-### Int32.**gteU**
-
-<details disabled>
-<summary tabindex="-1">Added in <code>0.5.0</code></summary>
-No other changes yet.
-</details>
-
-```grain
-gteU : (Int32, Int32) -> Bool
-```
-
-Checks if the first unsigned value is greater than or equal to the second unsigned value.
-
-Parameters:
-
-|param|type|description|
-|-----|----|-----------|
-|`x`|`Int32`|The first value|
-|`y`|`Int32`|The second value|
-
-Returns:
-
-|type|description|
-|----|-----------|
-|`Bool`|`true` if the first value is greater than or equal to the second value or `false` otherwise|
-
-## Bitwise logic
-
-Boolean operations on the bits of Int32 values.
-
 ### Int32.**lnot**
 
 <details disabled>
@@ -771,7 +689,7 @@ No other changes yet.
 </details>
 
 ```grain
-lnot : Int32 -> Int32
+lnot : (value: Int32) => Int32
 ```
 
 Computes the bitwise NOT of the given value.
@@ -788,15 +706,22 @@ Returns:
 |----|-----------|
 |`Int32`|Containing the inverted bits of the given value|
 
-### Int32.**land**
+### Int32.**(&)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `land`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-land : (Int32, Int32) -> Int32
+(&) : (x: Int32, y: Int32) => Int32
 ```
 
 Computes the bitwise AND (`&`) on the given operands.
@@ -814,15 +739,22 @@ Returns:
 |----|-----------|
 |`Int32`|Containing a `1` in each bit position for which the corresponding bits of both operands are `1`|
 
-### Int32.**lor**
+### Int32.**(|)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `lor`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-lor : (Int32, Int32) -> Int32
+(|) : (x: Int32, y: Int32) => Int32
 ```
 
 Computes the bitwise OR (`|`) on the given operands.
@@ -840,15 +772,22 @@ Returns:
 |----|-----------|
 |`Int32`|Containing a `1` in each bit position for which the corresponding bits of either or both operands are `1`|
 
-### Int32.**lxor**
+### Int32.**(^)**
 
-<details disabled>
-<summary tabindex="-1">Added in <code>0.2.0</code></summary>
-No other changes yet.
+<details>
+<summary>Added in <code>0.6.0</code></summary>
+<table>
+<thead>
+<tr><th>version</th><th>changes</th></tr>
+</thead>
+<tbody>
+<tr><td><code>0.2.0</code></td><td>Originally named `lxor`</td></tr>
+</tbody>
+</table>
 </details>
 
 ```grain
-lxor : (Int32, Int32) -> Int32
+(^) : (x: Int32, y: Int32) => Int32
 ```
 
 Computes the bitwise XOR (`^`) on the given operands.
@@ -874,7 +813,7 @@ No other changes yet.
 </details>
 
 ```grain
-clz : Int32 -> Int32
+clz : (value: Int32) => Int32
 ```
 
 Counts the number of leading zero bits in the value.
@@ -899,7 +838,7 @@ No other changes yet.
 </details>
 
 ```grain
-ctz : Int32 -> Int32
+ctz : (value: Int32) => Int32
 ```
 
 Counts the number of trailing zero bits in the value.
@@ -924,7 +863,7 @@ No other changes yet.
 </details>
 
 ```grain
-popcnt : Int32 -> Int32
+popcnt : (value: Int32) => Int32
 ```
 
 Counts the number of bits set to `1` in the value, also known as a population count.
@@ -941,3 +880,29 @@ Returns:
 |----|-----------|
 |`Int32`|The amount of 1-bits in its operand|
 
+### Int32.**(\*\*)**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>0.6.0</code></summary>
+No other changes yet.
+</details>
+
+```grain
+(**) : (base: Int32, power: Int32) => Int32
+```
+
+Computes the exponentiation of the given base and power.
+
+Parameters:
+
+|param|type|description|
+|-----|----|-----------|
+|`base`|`Int32`|The base number|
+|`power`|`Int32`|The exponent number|
+
+Returns:
+
+|type|description|
+|----|-----------|
+|`Int32`|The base raised to the given power|
+