sort Integer
sort NonZeroInteger = {i : Integer | i ~= 0}
| Name | Fixity | Sort | Description |
|---|---|---|---|
| ~ | Integer -> Integer | unary minus | |
| + | infixl 25 | Integer * Integer -> Integer | addition |
| - | infixl 25 | Integer * Integer -> Integer | subtraction |
| * | infixl 27 | Integer * Integer -> Integer | multiplication |
| div | infixl 26 | Integer * NonZeroInteger -> Integer | division (truncates towards 0) |
| rem | infixl 26 | Integer * NonZeroInteger -> Integer | remainder (x rem y = x - y * (x div y)) |
| < | infixl 20 | Integer * Integer -> Boolean | less-than |
| <= | infixl 20 | Integer * Integer -> Boolean | less-than-or-equal |
| > | infixl 20 | Integer * Integer -> Boolean | greater-than |
| >= | infixl 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 |