`Bosatsu/Char`

Index

def char_List_to_Int_List(chars: List[Char]) -> List[Int]

def char_to_Int(c: Char) -> Int

def eq_ignore_ascii_case(left: Char, right: Char) -> Bool

Supported radix range is 2..36 inclusive.

def from_digit(digit: Int, radix: Int) -> Option[Char]

def int_List_to_Char_List(code_points: List[Int]) -> Option[List[Char]]

def int_List_to_String(code_points: List[Int]) -> Option[String]

def int_to_Char(code_point: Int) -> Option[Char]

def is_ascii(c: Char) -> Bool

def is_ascii_alnum(c: Char) -> Bool

def is_ascii_alpha(c: Char) -> Bool

def is_ascii_control(c: Char) -> Bool

def is_ascii_digit(c: Char) -> Bool

def is_ascii_hex(c: Char) -> Bool

def is_ascii_lower(c: Char) -> Bool

def is_ascii_punctuation(c: Char) -> Bool

def is_ascii_upper(c: Char) -> Bool

def is_ascii_whitespace(c: Char) -> Bool

def is_digit(c: Char) -> Bool

def is_hex(c: Char) -> Bool

Unicode scalar value = [0, 0x10FFFF] excluding UTF-16 surrogate code points.

def is_scalar_value(code_point: Int) -> Bool

def last_String(s: String) -> Option[Char]

def string_to_Char(s: String) -> Option[Char]

def string_to_Char_List(s: String) -> List[Char]

def string_to_Int_List(s: String) -> List[Int]

def to_ascii_lower_case(c: Char) -> Char

def to_ascii_upper_case(c: Char) -> Char

Supported radix range is 2..36 inclusive.

def to_digit(c: Char, radix: Int) -> Option[Int]

def utf8_len(c: Char) -> Int

The source code for this page can be found here.

Next: Bosatsu/Collection/Array