API Reference › Text › Text.to_int
method

Text.to_int

Text.to_int(s) -> int

Reads an optional sign and the leading decimal digits of s and returns them as an int, stopping at the first non-digit — so Text.to_int("42abc") is 42. A string with no leading number yields 0. Use it to turn typed input, a config value, or a parsed field into a number. It is the inverse of Text.from_int.

Parameters

sthe string to parse

Example

program ParseAmount {
  var typed: string = "250"

  handler Apply phase Update {
    let gold = Text.to_int(typed)   # 250
  }
}
← All symbols