Bosatsu/Char

source code: - test_workspace/Char.bosatsu

Index

• Values: char_List_to_Int_List, char_to_Int, cmp_Char, eq_ignore_ascii_case, from_digit, int_List_to_Char_List, int_List_to_String, int_to_Char, is_ascii, is_ascii_alnum, is_ascii_alpha, is_ascii_control, is_ascii_digit, is_ascii_hex, is_ascii_lower, is_ascii_punctuation, is_ascii_upper, is_ascii_whitespace, is_digit, is_hex, is_scalar_value, last_String, max_Char, range_Char, string_to_Char, string_to_Char_List, string_to_Int_List, to_ascii_lower_case, to_ascii_upper_case, to_digit, utf8_len

Values

char_List_to_Int_List

references: Char, Int, List

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

char_to_Int

references: Char, Int

def char_to_Int(c: Char) -> Int

cmp_Char

references: Char, Comparison

def cmp_Char(a: Char, b: Char) -> Comparison

eq_ignore_ascii_case

references: Bool, Char

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

from_digit

Supported radix range is 2..36 inclusive.

references: Char, Int, Option

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

int_List_to_Char_List

references: Char, Int, List, Option

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

int_List_to_String

references: Int, List, Option, String

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

int_to_Char

references: Char, Int, Option

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

is_ascii

references: Bool, Char

def is_ascii(c: Char) -> Bool

is_ascii_alnum

references: Bool, Char

def is_ascii_alnum(c: Char) -> Bool

is_ascii_alpha

references: Bool, Char

def is_ascii_alpha(c: Char) -> Bool

is_ascii_control

references: Bool, Char

def is_ascii_control(c: Char) -> Bool

is_ascii_digit

references: Bool, Char

def is_ascii_digit(c: Char) -> Bool

is_ascii_hex

references: Bool, Char

def is_ascii_hex(c: Char) -> Bool

is_ascii_lower

references: Bool, Char

def is_ascii_lower(c: Char) -> Bool

is_ascii_punctuation

references: Bool, Char

def is_ascii_punctuation(c: Char) -> Bool

is_ascii_upper

references: Bool, Char

def is_ascii_upper(c: Char) -> Bool

is_ascii_whitespace

references: Bool, Char

def is_ascii_whitespace(c: Char) -> Bool

is_digit

references: Bool, Char

def is_digit(c: Char) -> Bool

is_hex

references: Bool, Char

def is_hex(c: Char) -> Bool

is_scalar_value

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

references: Bool, Int

def is_scalar_value(code_point: Int) -> Bool

last_String

references: Char, Option, String

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

max_Char

references: Char

max_Char: Char

range_Char

Returns chars in the half-open interval [start, end), ordered by code point. Build candidate code points with a comprehension, then drop invalid values.

references: Char, List

def range_Char(start: Char, end: Char) -> List[Char]

string_to_Char

references: Char, Option, String

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

string_to_Char_List

references: Char, List, String

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

string_to_Int_List

references: Int, List, String

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

to_ascii_lower_case

references: Char

def to_ascii_lower_case(c: Char) -> Char

to_ascii_upper_case

references: Char

def to_ascii_upper_case(c: Char) -> Char

to_digit

Supported radix range is 2..36 inclusive.

references: Char, Int, Option

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

utf8_len

references: Char, Int

def utf8_len(c: Char) -> Int