Coercions module
This modules defines function versions of the coercions between built-in types. string(x) is equivalent in function to the explicit coercion String(x) but as it may be applied as a function, it may be partially applied, used as a function parameter, etc.
Additionally, the coercion to Void is defined for discarding the output of a function with side-effects.
It is automatically imported (via the Prelude module) unless
the -noprelude compiler option is used.
Functions
- [Char] array(String x) - Unpack a string to characters.
- Char char(Int x) - Built-in coercion
- Float float(Int x) - Built-in coercion
- Float float(String x) - Built-in coercion
- Int int(Char x) - Built-in coercion
- Int int(Float x) - Built-in coercion
- Int int(String x) - Built-in coercion
- String string([Char] x) - Pack an array of characters into a string.
- String string(Bool x) - Built-in coercion
- String string(Char x) - Built-in coercion
- String string(Float x) - Built-in coercion
- String string(Int x) - Built-in coercion
- Void t_array_1() -
- Void t_array_2() -
- Void t_string_1() -
- Void t_string_2() -
- Void void(a x) - Coercion to Void.
