type Integer
type NonZeroInteger = {i : Integer | i ~= 0}
| Name | Fixity | Type | Description |
|---|---|---|---|
| - | Integer -> Integer | unary minus (has qualifier Integer_!) | |
| + | L 25 | Integer * Integer -> Integer | addition |
| - | L 25 | Integer * Integer -> Integer | subtraction |
| * | L 27 | Integer * Integer -> Integer | multiplication |
| div | L 26 | Integer * NonZeroInteger -> Integer | division (truncates towards 0) |
| rem | L 26 | Integer * NonZeroInteger -> Integer | remainder (x rem y = x - y * (x div y)) |
| < | L 20 | Integer * Integer -> Boolean | less-than |
| <= | L 20 | Integer * Integer -> Boolean | less-than-or-equal |
| > | L 20 | Integer * Integer -> Boolean | greater-than |
| >= | L 20 | Integer * Integer -> Boolean | greater-than-or-equal |
| abs | Integer -> Integer | absolute value | |
| min | Integer * Integer -> Integer | minimum | |
| max | Integer * Integer -> Integer | maximum | |
| compare | Integer * Integer -> Comparison | compares two integers | |
| toString | Integer -> String | converts integer to string | |
| show | Integer -> String | same as toString | |
| intToString | Integer -> String | same as toString | |
| intConvertible | String -> Boolean | tests if string is representation of integer | |
| stringToInt | (String | intConvertible) -> Integer | converts "convertible" string to integer |