@grain/stdlib 0.6.6 → 0.7.1

package/pervasives.md

@@ -25,7 +25,7 @@ No other changes yet.
 </details>
 
 ```grain
-(!) : (bool: Bool) => Bool
+(!): (bool: Bool) => Bool
 ```
 
 Computes the logical NOT (`!`) of the given operand.
@@ -33,15 +33,15 @@ Inverts the given Boolean value.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`bool`|`Bool`|The operand|
+| param  | type   | description |
+| ------ | ------ | ----------- |
+| `bool` | `Bool` | The operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Bool`|The inverted value|
+| type   | description        |
+| ------ | ------------------ |
+| `Bool` | The inverted value |
 
 Examples:
 
@@ -61,7 +61,7 @@ No other changes yet.
 </details>
 
 ```grain
-(&&) : (left: Bool, right: Bool) => Bool
+(&&): (left: Bool, right: Bool) => Bool
 ```
 
 Computes the logical AND (`&&`) of the given operands.
@@ -71,16 +71,16 @@ If the first operand is `true`, returns the value of the second operand.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`left`|`Bool`|The first operand|
-|`right`|`Bool`|The second operand|
+| param   | type   | description        |
+| ------- | ------ | ------------------ |
+| `left`  | `Bool` | The first operand  |
+| `right` | `Bool` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Bool`|The first operand if it is `false` or the value of the second operand otherwise|
+| type   | description                                                                     |
+| ------ | ------------------------------------------------------------------------------- |
+| `Bool` | The first operand if it is `false` or the value of the second operand otherwise |
 
 ### Pervasives.**(||)**
 
@@ -90,7 +90,7 @@ No other changes yet.
 </details>
 
 ```grain
-(||) : (left: Bool, right: Bool) => Bool
+(||): (left: Bool, right: Bool) => Bool
 ```
 
 Computes the logical OR `||` of the given operands.
@@ -100,16 +100,16 @@ If the first operand is `false`, returns the value of the second operand.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`left`|`Bool`|The first operand|
-|`right`|`Bool`|The second operand|
+| param   | type   | description        |
+| ------- | ------ | ------------------ |
+| `left`  | `Bool` | The first operand  |
+| `right` | `Bool` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Bool`|The first operand if it is `true` or the value of the second operand otherwise|
+| type   | description                                                                    |
+| ------ | ------------------------------------------------------------------------------ |
+| `Bool` | The first operand if it is `true` or the value of the second operand otherwise |
 
 ### Pervasives.**(==)**
 
@@ -119,7 +119,7 @@ No other changes yet.
 </details>
 
 ```grain
-(==) : (value1: a, value2: a) => Bool
+(==): (value1: a, value2: a) => Bool
 ```
 
 Check that two values are equal. This checks for structural equality,
@@ -127,16 +127,16 @@ so it also works for comparing things like tuples and lists.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value1`|`a`|The first operand|
-|`value2`|`a`|The second operand|
+| param    | type | description        |
+| -------- | ---- | ------------------ |
+| `value1` | `a`  | The first operand  |
+| `value2` | `a`  | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Bool`|`true` if the values are structurally equal or `false` otherwise|
+| type   | description                                                      |
+| ------ | ---------------------------------------------------------------- |
+| `Bool` | `true` if the values are structurally equal or `false` otherwise |
 
 ### Pervasives.**(!=)**
 
@@ -146,7 +146,7 @@ No other changes yet.
 </details>
 
 ```grain
-(!=) : (value1: a, value2: a) => Bool
+(!=): (value1: a, value2: a) => Bool
 ```
 
 Check that two values are **not** equal. This checks for structural equality,
@@ -154,16 +154,16 @@ so it also works for comparing things like tuples and lists.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value1`|`a`|The first operand|
-|`value2`|`a`|The second operand|
+| param    | type | description        |
+| -------- | ---- | ------------------ |
+| `value1` | `a`  | The first operand  |
+| `value2` | `a`  | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Bool`|`false` if the values are structurally equal or `true` otherwise|
+| type   | description                                                      |
+| ------ | ---------------------------------------------------------------- |
+| `Bool` | `false` if the values are structurally equal or `true` otherwise |
 
 ### Pervasives.**is**
 
@@ -173,7 +173,7 @@ No other changes yet.
 </details>
 
 ```grain
-is : (left: a, right: a) => Bool
+is: (left: a, right: a) => Bool
 ```
 
 Checks that two values are physically equal.
@@ -181,16 +181,16 @@ Use this operator if you don’t need or want structural equality.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`left`|`a`|The first operand|
-|`right`|`a`|The second operand|
+| param   | type | description        |
+| ------- | ---- | ------------------ |
+| `left`  | `a`  | The first operand  |
+| `right` | `a`  | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Bool`|`true` if the values are physically equal or `false` otherwise|
+| type   | description                                                    |
+| ------ | -------------------------------------------------------------- |
+| `Bool` | `true` if the values are physically equal or `false` otherwise |
 
 ### Pervasives.**isnt**
 
@@ -200,7 +200,7 @@ No other changes yet.
 </details>
 
 ```grain
-isnt : (value1: a, value2: a) => Bool
+isnt: (value1: a, value2: a) => Bool
 ```
 
 Checks that two values are **not** physically equal.
@@ -208,16 +208,16 @@ Use this operator if you don’t need or want structural equality.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value1`|`a`|The first operand|
-|`value2`|`a`|The second operand|
+| param    | type | description        |
+| -------- | ---- | ------------------ |
+| `value1` | `a`  | The first operand  |
+| `value2` | `a`  | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Bool`|`false` if the values are physically equal or `true` otherwise|
+| type   | description                                                    |
+| ------ | -------------------------------------------------------------- |
+| `Bool` | `false` if the values are physically equal or `true` otherwise |
 
 ### Pervasives.**(<)**
 
@@ -227,23 +227,23 @@ No other changes yet.
 </details>
 
 ```grain
-(<) : (num1: Number, num2: Number) => Bool
+(<): (num1: Number, num2: Number) => Bool
 ```
 
 Checks if the first operand is less than the second operand.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`num1`|`Number`|The first operand|
-|`num2`|`Number`|The second operand|
+| param  | type     | description        |
+| ------ | -------- | ------------------ |
+| `num1` | `Number` | The first operand  |
+| `num2` | `Number` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Bool`|`true` if the first operand is less than the second operand or `false` otherwise|
+| type   | description                                                                      |
+| ------ | -------------------------------------------------------------------------------- |
+| `Bool` | `true` if the first operand is less than the second operand or `false` otherwise |
 
 ### Pervasives.**(>)**
 
@@ -253,23 +253,23 @@ No other changes yet.
 </details>
 
 ```grain
-(>) : (num1: Number, num2: Number) => Bool
+(>): (num1: Number, num2: Number) => Bool
 ```
 
 Checks if the first operand is greater than the second operand.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`num1`|`Number`|The first operand|
-|`num2`|`Number`|The second operand|
+| param  | type     | description        |
+| ------ | -------- | ------------------ |
+| `num1` | `Number` | The first operand  |
+| `num2` | `Number` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Bool`|`true` if the first operand is greater than the second operand or `false` otherwise|
+| type   | description                                                                         |
+| ------ | ----------------------------------------------------------------------------------- |
+| `Bool` | `true` if the first operand is greater than the second operand or `false` otherwise |
 
 ### Pervasives.**(<=)**
 
@@ -279,23 +279,23 @@ No other changes yet.
 </details>
 
 ```grain
-(<=) : (num1: Number, num2: Number) => Bool
+(<=): (num1: Number, num2: Number) => Bool
 ```
 
 Checks if the first operand is less than or equal to the second operand.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`num1`|`Number`|The first operand|
-|`num2`|`Number`|The second operand|
+| param  | type     | description        |
+| ------ | -------- | ------------------ |
+| `num1` | `Number` | The first operand  |
+| `num2` | `Number` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Bool`|`true` if the first operand is less than or equal to the second operand or `false` otherwise|
+| type   | description                                                                                  |
+| ------ | -------------------------------------------------------------------------------------------- |
+| `Bool` | `true` if the first operand is less than or equal to the second operand or `false` otherwise |
 
 ### Pervasives.**(>=)**
 
@@ -305,23 +305,23 @@ No other changes yet.
 </details>
 
 ```grain
-(>=) : (num1: Number, num2: Number) => Bool
+(>=): (num1: Number, num2: Number) => Bool
 ```
 
 Checks if the first operand is greater than or equal to the second operand.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`num1`|`Number`|The first operand|
-|`num2`|`Number`|The second operand|
+| param  | type     | description        |
+| ------ | -------- | ------------------ |
+| `num1` | `Number` | The first operand  |
+| `num2` | `Number` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Bool`|`true` if the first operand is greater than or equal to the second operand or `false` otherwise|
+| type   | description                                                                                     |
+| ------ | ----------------------------------------------------------------------------------------------- |
+| `Bool` | `true` if the first operand is greater than or equal to the second operand or `false` otherwise |
 
 ### Pervasives.**compare**
 
@@ -331,7 +331,7 @@ No other changes yet.
 </details>
 
 ```grain
-compare : (num1: a, num2: a) => Number
+compare: (num1: a, num2: a) => Number
 ```
 
 Compares the first argument to the second argument and produces an integer result.
@@ -340,16 +340,16 @@ Provides a consistent ordering over all types and is suitable for sorting and ot
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`num1`|`a`|The first operand|
-|`num2`|`a`|The second operand|
+| param  | type | description        |
+| ------ | ---- | ------------------ |
+| `num1` | `a`  | The first operand  |
+| `num2` | `a`  | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|A negative integer if the first operand is less than the second operand, `0` if they are equal, or a positive integer otherwise|
+| type     | description                                                                                                                     |
+| -------- | ------------------------------------------------------------------------------------------------------------------------------- |
+| `Number` | A negative integer if the first operand is less than the second operand, `0` if they are equal, or a positive integer otherwise |
 
 ### Pervasives.**(+)**
 
@@ -359,23 +359,23 @@ No other changes yet.
 </details>
 
 ```grain
-(+) : (num1: Number, num2: Number) => Number
+(+): (num1: Number, num2: Number) => Number
 ```
 
 Computes the sum of its operands.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`num1`|`Number`|The first operand|
-|`num2`|`Number`|The second operand|
+| param  | type     | description        |
+| ------ | -------- | ------------------ |
+| `num1` | `Number` | The first operand  |
+| `num2` | `Number` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|The sum of the two operands|
+| type     | description                 |
+| -------- | --------------------------- |
+| `Number` | The sum of the two operands |
 
 ### Pervasives.**(-)**
 
@@ -385,23 +385,23 @@ No other changes yet.
 </details>
 
 ```grain
-(-) : (num1: Number, num2: Number) => Number
+(-): (num1: Number, num2: Number) => Number
 ```
 
 Computes the difference of its operands.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`num1`|`Number`|The first operand|
-|`num2`|`Number`|The second operand|
+| param  | type     | description        |
+| ------ | -------- | ------------------ |
+| `num1` | `Number` | The first operand  |
+| `num2` | `Number` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|The difference of the two operands|
+| type     | description                        |
+| -------- | ---------------------------------- |
+| `Number` | The difference of the two operands |
 
 ### Pervasives.**(*)**
 
@@ -411,23 +411,23 @@ No other changes yet.
 </details>
 
 ```grain
-(*) : (num1: Number, num2: Number) => Number
+(*): (num1: Number, num2: Number) => Number
 ```
 
 Computes the product of its operands.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`num1`|`Number`|The first operand|
-|`num2`|`Number`|The second operand|
+| param  | type     | description        |
+| ------ | -------- | ------------------ |
+| `num1` | `Number` | The first operand  |
+| `num2` | `Number` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|The product of the two operands|
+| type     | description                     |
+| -------- | ------------------------------- |
+| `Number` | The product of the two operands |
 
 ### Pervasives.**(/)**
 
@@ -437,23 +437,23 @@ No other changes yet.
 </details>
 
 ```grain
-(/) : (num1: Number, num2: Number) => Number
+(/): (num1: Number, num2: Number) => Number
 ```
 
 Computes the quotient of its operands.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`num1`|`Number`|The first operand|
-|`num2`|`Number`|The second operand|
+| param  | type     | description        |
+| ------ | -------- | ------------------ |
+| `num1` | `Number` | The first operand  |
+| `num2` | `Number` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|The quotient of the two operands|
+| type     | description                      |
+| -------- | -------------------------------- |
+| `Number` | The quotient of the two operands |
 
 ### Pervasives.**(%)**
 
@@ -463,7 +463,7 @@ No other changes yet.
 </details>
 
 ```grain
-(%) : (num1: Number, num2: Number) => Number
+(%): (num1: Number, num2: Number) => Number
 ```
 
 Computes the remainder of the division of the first operand by the second.
@@ -471,16 +471,16 @@ The result will have the sign of the second operand.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`num1`|`Number`|The first operand|
-|`num2`|`Number`|The second operand|
+| param  | type     | description        |
+| ------ | -------- | ------------------ |
+| `num1` | `Number` | The first operand  |
+| `num2` | `Number` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|The modulus of its operands|
+| type     | description                 |
+| -------- | --------------------------- |
+| `Number` | The modulus of its operands |
 
 ### Pervasives.**(\*\*)**
 
@@ -497,23 +497,23 @@ Returns:
 </details>
 
 ```grain
-(**) : (base: Number, power: Number) => Number
+(**): (base: Number, power: Number) => Number
 ```
 
 Computes the exponentiation of the given base and power.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`base`|`Number`|The base number|
-|`power`|`Number`|The exponent number|
+| param   | type     | description         |
+| ------- | -------- | ------------------- |
+| `base`  | `Number` | The base number     |
+| `power` | `Number` | The exponent number |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|The base raised to the given power|
+| type     | description                        |
+| -------- | ---------------------------------- |
+| `Number` | The base raised to the given power |
 
 ### Pervasives.**incr**
 
@@ -523,22 +523,22 @@ No other changes yet.
 </details>
 
 ```grain
-incr : (value: Number) => Number
+incr: (value: Number) => Number
 ```
 
 Increments the value by one.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value`|`Number`|The value to increment|
+| param   | type     | description            |
+| ------- | -------- | ---------------------- |
+| `value` | `Number` | The value to increment |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|The incremented value|
+| type     | description           |
+| -------- | --------------------- |
+| `Number` | The incremented value |
 
 ### Pervasives.**decr**
 
@@ -548,22 +548,22 @@ No other changes yet.
 </details>
 
 ```grain
-decr : (value: Number) => Number
+decr: (value: Number) => Number
 ```
 
 Decrements the value by one.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value`|`Number`|The value to decrement|
+| param   | type     | description            |
+| ------- | -------- | ---------------------- |
+| `value` | `Number` | The value to decrement |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|The decremented value|
+| type     | description           |
+| -------- | --------------------- |
+| `Number` | The decremented value |
 
 ### Pervasives.**(++)**
 
@@ -573,23 +573,23 @@ No other changes yet.
 </details>
 
 ```grain
-(++) : (str1: String, str2: String) => String
+(++): (str1: String, str2: String) => String
 ```
 
 Concatenate two strings.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`str1`|`String`|The beginning string|
-|`str2`|`String`|The ending string|
+| param  | type     | description          |
+| ------ | -------- | -------------------- |
+| `str1` | `String` | The beginning string |
+| `str2` | `String` | The ending string    |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`String`|The combined string|
+| type     | description         |
+| -------- | ------------------- |
+| `String` | The combined string |
 
 Examples:
 
@@ -605,22 +605,22 @@ No other changes yet.
 </details>
 
 ```grain
-lnot : (value: Number) => Number
+lnot: (value: Number) => Number
 ```
 
 Computes the bitwise NOT of the operand.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value`|`Number`|The operand|
+| param   | type     | description |
+| ------- | -------- | ----------- |
+| `value` | `Number` | The operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|Containing the inverted bits of the operand|
+| type     | description                                 |
+| -------- | ------------------------------------------- |
+| `Number` | Containing the inverted bits of the operand |
 
 ### Pervasives.**(&)**
 
@@ -638,23 +638,23 @@ Returns:
 </details>
 
 ```grain
-(&) : (value1: Number, value2: Number) => Number
+(&): (value1: Number, value2: Number) => Number
 ```
 
 Computes the bitwise AND (`&`) on the given operands.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value1`|`Number`|The first operand|
-|`value2`|`Number`|The second operand|
+| param    | type     | description        |
+| -------- | -------- | ------------------ |
+| `value1` | `Number` | The first operand  |
+| `value2` | `Number` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|Containing a `1` in each bit position for which the corresponding bits of both operands are `1`|
+| type     | description                                                                                     |
+| -------- | ----------------------------------------------------------------------------------------------- |
+| `Number` | Containing a `1` in each bit position for which the corresponding bits of both operands are `1` |
 
 ### Pervasives.**(|)**
 
@@ -672,23 +672,23 @@ Returns:
 </details>
 
 ```grain
-(|) : (value1: Number, value2: Number) => Number
+(|): (value1: Number, value2: Number) => Number
 ```
 
 Computes the bitwise OR (`|`) on the given operands.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value1`|`Number`|The first operand|
-|`value2`|`Number`|The second operand|
+| param    | type     | description        |
+| -------- | -------- | ------------------ |
+| `value1` | `Number` | The first operand  |
+| `value2` | `Number` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|Containing a `1` in each bit position for which the corresponding bits of either or both operands are `1`|
+| type     | description                                                                                               |
+| -------- | --------------------------------------------------------------------------------------------------------- |
+| `Number` | Containing a `1` in each bit position for which the corresponding bits of either or both operands are `1` |
 
 ### Pervasives.**(^)**
 
@@ -707,23 +707,23 @@ Returns:
 </details>
 
 ```grain
-(^) : (value1: Number, value2: Number) => Number
+(^): (value1: Number, value2: Number) => Number
 ```
 
 Computes the bitwise XOR (`^`) on the given operands.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value1`|`Number`|The first operand|
-|`value2`|`Number`|The second operand|
+| param    | type     | description        |
+| -------- | -------- | ------------------ |
+| `value1` | `Number` | The first operand  |
+| `value2` | `Number` | The second operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|Containing a `1` in each bit position for which the corresponding bits of either but not both operands are `1`|
+| type     | description                                                                                                    |
+| -------- | -------------------------------------------------------------------------------------------------------------- |
+| `Number` | Containing a `1` in each bit position for which the corresponding bits of either but not both operands are `1` |
 
 ### Pervasives.**(<<)**
 
@@ -741,23 +741,23 @@ Returns:
 </details>
 
 ```grain
-(<<) : (value: Number, amount: Number) => Number
+(<<): (value: Number, amount: Number) => Number
 ```
 
 Shifts the bits of the value left by the given number of bits.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value`|`Number`|The value to shift|
-|`amount`|`Number`|The number of bits to shift by|
+| param    | type     | description                    |
+| -------- | -------- | ------------------------------ |
+| `value`  | `Number` | The value to shift             |
+| `amount` | `Number` | The number of bits to shift by |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|The shifted value|
+| type     | description       |
+| -------- | ----------------- |
+| `Number` | The shifted value |
 
 ### Pervasives.**(>>>)**
 
@@ -775,23 +775,23 @@ Returns:
 </details>
 
 ```grain
-(>>>) : (value: Number, amount: Number) => Number
+(>>>): (value: Number, amount: Number) => Number
 ```
 
 Shifts the bits of the value right by the given number of bits, preserving the sign bit.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value`|`Number`|The value to shift|
-|`amount`|`Number`|The amount to shift by|
+| param    | type     | description            |
+| -------- | -------- | ---------------------- |
+| `value`  | `Number` | The value to shift     |
+| `amount` | `Number` | The amount to shift by |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|The shifted value|
+| type     | description       |
+| -------- | ----------------- |
+| `Number` | The shifted value |
 
 ### Pervasives.**(>>)**
 
@@ -809,23 +809,23 @@ Returns:
 </details>
 
 ```grain
-(>>) : (value: Number, amount: Number) => Number
+(>>): (value: Number, amount: Number) => Number
 ```
 
 Shifts the bits of the value right by the given number of bits.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value`|`Number`|The value to shift|
-|`amount`|`Number`|The amount to shift by|
+| param    | type     | description            |
+| -------- | -------- | ---------------------- |
+| `value`  | `Number` | The value to shift     |
+| `amount` | `Number` | The amount to shift by |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Number`|The shifted value|
+| type     | description       |
+| -------- | ----------------- |
+| `Number` | The shifted value |
 
 ### Pervasives.**toString**
 
@@ -835,7 +835,7 @@ No other changes yet.
 </details>
 
 ```grain
-toString : (value: a) => String
+toString: (value: a) => String
 ```
 
 Converts the given operand to a string.
@@ -843,15 +843,15 @@ Provides a better representation of data types if those types are provided from
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value`|`a`|The operand|
+| param   | type | description |
+| ------- | ---- | ----------- |
+| `value` | `a`  | The operand |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`String`|The operand, as a string|
+| type     | description              |
+| -------- | ------------------------ |
+| `String` | The operand, as a string |
 
 ### Pervasives.**print**
 
@@ -868,7 +868,7 @@ Returns:
 </details>
 
 ```grain
-print : (value: a, ?suffix: String) => Void
+print: (value: a, ?suffix: String) => Void
 ```
 
 Prints the given operand to the console. Works for any type. Internally, calls `toString`
@@ -877,10 +877,10 @@ are provided from the module.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value`|`a`|The operand|
-|`?suffix`|`String`|The string to print after the argument|
+| param     | type     | description                            |
+| --------- | -------- | -------------------------------------- |
+| `value`   | `a`      | The operand                            |
+| `?suffix` | `String` | The string to print after the argument |
 
 ### Pervasives.**ignore**
 
@@ -890,16 +890,16 @@ No other changes yet.
 </details>
 
 ```grain
-ignore : (value: a) => Void
+ignore: (value: a) => Void
 ```
 
 Accepts any value and always returns `void`.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value`|`a`|The value to ignore|
+| param   | type | description         |
+| ------- | ---- | ------------------- |
+| `value` | `a`  | The value to ignore |
 
 ### Pervasives.**assert**
 
@@ -909,16 +909,16 @@ No other changes yet.
 </details>
 
 ```grain
-assert : (condition: Bool) => Void
+assert: (condition: Bool) => Void
 ```
 
 Assert that the given Boolean condition is `true`.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`condition`|`Bool`|The condition to assert|
+| param       | type   | description             |
+| ----------- | ------ | ----------------------- |
+| `condition` | `Bool` | The condition to assert |
 
 Throws:
 
@@ -944,27 +944,27 @@ No other changes yet.
 </details>
 
 ```grain
-throw : (exn: Exception) => a
+throw: (exn: Exception) => a
 ```
 
 Throw an exception. Currently, exceptions cannot be caught and will crash your program.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`exn`|`Exception`|The exception to be thrown|
+| param | type        | description                |
+| ----- | ----------- | -------------------------- |
+| `exn` | `Exception` | The exception to be thrown |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`a`|Anything and nothing—your program won't continue past a throw|
+| type | description                                                     |
+| ---- | --------------------------------------------------------------- |
+| `a`  | Anything and nothing—your program won't continue past a throw |
 
 ### Pervasives.**fail**
 
 ```grain
-fail : (message: String) => a
+fail: (message: String) => a
 ```
 
 Unconditionally throw a `Failure` exception with a message.
@@ -972,15 +972,15 @@ Currently, Exceptions cannot be caught and will crash your program.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`message`|`String`|The reason for the failure|
+| param     | type     | description                |
+| --------- | -------- | -------------------------- |
+| `message` | `String` | The reason for the failure |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`a`|Anything and nothing—your program won't continue past a fail expression|
+| type | description                                                               |
+| ---- | ------------------------------------------------------------------------- |
+| `a`  | Anything and nothing—your program won't continue past a fail expression |
 
 ### Pervasives.**identity**
 
@@ -990,22 +990,22 @@ No other changes yet.
 </details>
 
 ```grain
-identity : (value: a) => a
+identity: (value: a) => a
 ```
 
 Provides the operand untouched.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value`|`a`|The value to return|
+| param   | type | description         |
+| ------- | ---- | ------------------- |
+| `value` | `a`  | The value to return |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`a`|The value untouched|
+| type | description         |
+| ---- | ------------------- |
+| `a`  | The value untouched |
 
 ### Pervasives.**box**
 
@@ -1015,7 +1015,7 @@ No other changes yet.
 </details>
 
 ```grain
-box : (value: a) => Box<a>
+box: (value: a) => Box<a>
 ```
 
 Creates a box containing the given initial value.
@@ -1024,15 +1024,15 @@ Generally, `let mut` expressions are preferable to using a Box.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value`|`a`|The initial value inside the box|
+| param   | type | description                      |
+| ------- | ---- | -------------------------------- |
+| `value` | `a`  | The initial value inside the box |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Box<a>`|The box containing the initial value|
+| type     | description                          |
+| -------- | ------------------------------------ |
+| `Box<a>` | The box containing the initial value |
 
 ### Pervasives.**unbox**
 
@@ -1042,20 +1042,20 @@ No other changes yet.
 </details>
 
 ```grain
-unbox : (value: Box<a>) => a
+unbox: (value: Box<a>) => a
 ```
 
 Retrieves the current value from a box.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`value`|`Box<a>`|The box to unwrap|
+| param   | type     | description       |
+| ------- | -------- | ----------------- |
+| `value` | `Box<a>` | The box to unwrap |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`a`|The value inside the box|
+| type | description              |
+| ---- | ------------------------ |
+| `a`  | The value inside the box |