This package contains various functions on (signed) chars and unsigned chars.
castfn g0ofg1_char(c: Char):<> char
castfn g1ofg0_char(c: char):<> Char
fun add_char0_int0
(c: char, i: int):<> char = "mac#%"
fun sub_char0_int0
(c: char, i: int):<> char = "mac#%"
fun sub_char0_char0
(c1: char, c2: char):<> int = "mac#%"
fun lt_char0_char0
(c1: char, c2: char):<> bool = "mac#%"
fun
lt_char1_char1
{c1,c2:int}
(c1: char(c1), c2: char(c2)):<> bool(c1 < c2) = "mac#%"
fun lte_char0_char0
(c1: char, c2: char):<> bool = "mac#%"
fun
lte_char1_char1
{c1,c2:int}
(c1: char(c1), c2: char(c2)):<> bool(c1 <= c2) = "mac#%"
fun gt_char0_char0
(c1: char, c2: char):<> bool = "mac#%"
fun
gt_char1_char1
{c1,c2:int}
(c1: char(c1), c2: char(c2)):<> bool(c1 > c2) = "mac#%"
fun gte_char0_char0
(c1: char, c2: char):<> bool = "mac#%"
fun
gte_char1_char1
{c1,c2:int}
(c1: char(c1), c2: char(c2)):<> bool(c1 >= c2) = "mac#%"
fun eq_char0_char0
(c1: char, c2: char):<> bool = "mac#%"
fun
eq_char1_char1
{c1,c2:int}
(c1: char(c1), c2: char(c2)):<> bool(c1 == c2) = "mac#%"
fun neq_char0_char0
(c1: char, c2: char):<> bool = "mac#%"
fun
neq_char1_char1
{c1,c2:int}
(c1: char(c1), c2: char(c2)):<> bool(c1 != c2) = "mac#%"
fun compare_char0_char0
(c1: char, c2: char):<> int = "mac#%"
fun compare_char1_char1
{c1,c2:int}
(c1: char c1, c2: char c2) :<> int(c1-c2) = "mac#%"
fun print_char(x: char): void = "mac#%"
fun prerr_char(x: char): void = "mac#%"
fun fprint_char : fprint_type (char) = "mac#%"
overload isalpha with isalpha_int of 0
overload isalpha with isalpha_char of 0
fun isalpha_int(c: int):<> bool = "mac#%"
fun isalpha_char(c: char):<> bool = "mac#%"
overload isalnum with isalnum_int of 0
overload isalnum with isalnum_char of 0
fun isalnum_int(c: int):<> bool = "mac#%"
fun isalnum_char(c: char):<> bool = "mac#%"
overload isascii with isascii_int of 0
overload isascii with isascii_char of 0
fun isascii_int(c: int):<> bool = "mac#%"
fun isascii_char(c: char):<> bool = "mac#%"
overload isblank with isblank_int of 0
overload isblank with isblank_char of 0
fun isblank_int(c: int):<> bool = "mac#%"
fun isblank_char(c: char):<> bool = "mac#%"
overload isspace with isspace_int of 0
overload isspace with isspace_char of 0
fun isspace_int(c: int):<> bool = "mac#%"
fun isspace_char(c: char):<> bool = "mac#%"
overload iscntrl with iscntrl_int of 0
overload iscntrl with iscntrl_char of 0
fun iscntrl_int(c: int):<> bool = "mac#%"
fun iscntrl_char(c: char):<> bool = "mac#%"
overload isdigit with isdigit_int of 0
overload isdigit with isdigit_char of 0
fun isdigit_int(c: int):<> bool = "mac#%"
fun isdigit_char(c: char):<> bool = "mac#%"
overload isxdigit with isxdigit_int of 0
overload isxdigit with isxdigit_char of 0
fun isxdigit_int(c: int):<> bool = "mac#%"
fun isxdigit_char(c: char):<> bool = "mac#%"
overload isgraph with isgraph_int of 0
overload isgraph with isgraph_char of 0
fun isgraph_int(c: int):<> bool = "mac#%"
fun isgraph_char(c: char):<> bool = "mac#%"
overload isprint with isprint_int of 0
overload isprint with isprint_char of 0
fun isprint_int(c: int):<> bool = "mac#%"
fun isprint_char(c: char):<> bool = "mac#%"
overload ispunct with ispunct_int of 0
overload ispunct with ispunct_char of 0
fun ispunct_int(c: int):<> bool = "mac#%"
fun ispunct_char(c: char):<> bool = "mac#%"
overload islower with islower_int of 0
overload islower with islower_char of 0
fun islower_int(c: int):<> bool = "mac#%"
fun islower_char(c: char):<> bool = "mac#%"
overload isupper with isupper_int of 0
overload isupper with isupper_char of 0
fun isupper_int(c: int):<> bool = "mac#%"
fun isupper_char(c: char):<> bool = "mac#%"
fun toascii (c: int):<> int = "mac#%"
overload tolower with tolower_int
overload tolower with tolower_char
fun tolower_int(c: int):<> int = "mac#%"
fun tolower_char(c: char):<> char = "mac#%"
overload toupper with toupper_int
overload toupper with toupper_char
fun toupper_int(c: int):<> int = "mac#%"
fun toupper_char(c: char):<> char = "mac#%"
fun int2digit (i: intBtw(0, 10)): char = "mac#%"
fun int2xdigit (i: intBtw(0, 16)): char = "mac#%"
fun int2xxdigit (i: intBtw(0, 16)): char = "mac#%"
overload g0ofg1 with g0ofg1_char // index-erasing
overload g1ofg0 with g1ofg0_char // index-inducing
overload + with add_char0_int0 of 0
overload - with sub_char0_int0 of 0
overload - with sub_char0_char0 of 0
overload < with lt_char0_char0 of 0
overload < with lt_char1_char1 of 20
overload < with lt_uchar0_uchar0 of 0
overload < with lt_uchar1_uchar1 of 20
overload <= with lte_char0_char0 of 0
overload <= with lte_char1_char1 of 20
overload <= with lte_uchar0_uchar0 of 0
overload <= with lte_uchar1_uchar1 of 20
overload > with gt_char0_char0 of 0
overload > with gt_char1_char1 of 20
overload > with gt_uchar0_uchar0 of 0
overload > with gt_uchar1_uchar1 of 20
overload >= with gte_char0_char0 of 0
overload >= with gte_char1_char1 of 20
overload >= with gte_uchar0_uchar0 of 0
overload >= with gte_uchar1_uchar1 of 20
overload = with eq_char0_char0 of 0
overload = with eq_char1_char1 of 20
overload = with eq_char0_int0 of 0
overload = with eq_int0_char0 of 0
overload = with eq_uchar0_uchar0 of 0
overload = with eq_uchar1_uchar1 of 20
overload != with neq_char0_char0 of 0
overload != with neq_char1_char1 of 20
overload != with neq_char0_int0 of 0
overload != with neq_int0_char0 of 0
overload != with neq_uchar0_uchar0 of 0
overload != with neq_uchar1_uchar1 of 20
overload compare with compare_char0_char0 of 0
overload compare with compare_char1_char1 of 20
overload compare with compare_char0_int0
overload compare with compare_int0_char0
overload compare with compare_uchar0_uchar0 of 0
overload compare with compare_uchar1_uchar1 of 20
overload iseqz with char0_iseqz of 0
overload iseqz with char1_iseqz of 10
overload isneqz with char0_isneqz of 0
overload isneqz with char1_isneqz of 10
overload print with print_char
overload print with print_schar
overload print with print_uchar
overload prerr with prerr_char
overload prerr with prerr_schar
overload prerr with prerr_uchar
overload fprint with fprint_char
overload fprint with fprint_schar
overload fprint with fprint_uchar
| This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi. |
|