14.4.101  String_Chartype

The standard library String_Chartype api defines C-style predicates on characters in strings. This is modelled after the Unix C libraries. Each predicate comes in two forms; one that works on integers, and one that works on an arbitrary character in a string. The meanings of these predicates are documented in Section 3 of the Unix manual.

The String_Chartype api is implemented in the string_chartype package.

The String_Chartype api source code is in src/lib/std/src/string-chartype.api.

See also: Int_Chartype. The above information is manually maintained and may contain errors.

api {
    is_alpha : (String , Int) -> Bool;
    is_upper : (String , Int) -> Bool;
    is_lower : (String , Int) -> Bool;
    is_digit : (String , Int) -> Bool;
    is_hex_digit : (String , Int) -> Bool;
    is_alphanumeric : (String , Int) -> Bool;
    is_space : (String , Int) -> Bool;
    is_punct : (String , Int) -> Bool;
    is_graph : (String , Int) -> Bool;
    is_print : (String , Int) -> Bool;
    is_cntrl : (String , Int) -> Bool;
    is_ascii : (String , Int) -> Bool;};