14.2.4  Char

The standard library Char api defines functions on characters.

The Char api is implemented by the char package.

The Char api source code is in src/lib/std/src/char.api.

See also: String.

The above information is manually maintained and may contain errors.

api {
    eqtype Char;
    eqtype String;
    from_int : Int -> Char;
    to_int : Char -> Int;
    min_char : Char;
    max_char : Char;
    max_ord : Int;
    prior : Char -> Char;
    next : Char -> Char;
    < : (Char , Char) -> Bool;
    <= : (Char , Char) -> Bool;
    > : (Char , Char) -> Bool;
    >= : (Char , Char) -> Bool;
    compare : (Char , Char) -> Order;
    scan : number_string::Reader((Char, X)) -> number_string::Reader((Char, X));
    from_string : string::String -> Null_Or(Char );
    to_string : Char -> string::String;
    from_cstring : string::String -> Null_Or(Char );
    to_cstring : Char -> string::String;
    contains : String -> Char -> Bool;
    not_contains : String -> Char -> Bool;
    is_lower : Char -> Bool;
    is_upper : Char -> Bool;
    is_digit : Char -> Bool;
    is_alpha : Char -> Bool;
    is_hex_digit : Char -> Bool;
    is_alphanumeric : Char -> Bool;
    is_print : Char -> Bool;
    is_space : Char -> Bool;
    is_punct : Char -> Bool;
    is_graph : Char -> Bool;
    is_cntrl : Char -> Bool;
    is_ascii : Char -> Bool;
    to_upper : Char -> Char;
    to_lower : Char -> Char;
    nul : Char;
    ctrl_a : Char;
    ctrl_b : Char;
    ctrl_c : Char;
    ctrl_d : Char;
    ctrl_e : Char;
    ctrl_f : Char;
    ctrl_g : Char;
    ctrl_h : Char;
    ctrl_i : Char;
    ctrl_j : Char;
    newline : Char;
    ctrl_k : Char;
    ctrl_l : Char;
    ctrl_m : Char;
    return : Char;
    ctrl_n : Char;
    ctrl_o : Char;
    ctrl_p : Char;
    ctrl_q : Char;
    ctrl_r : Char;
    ctrl_s : Char;
    ctrl_t : Char;
    ctrl_u : Char;
    ctrl_v : Char;
    ctrl_w : Char;
    ctrl_x : Char;
    ctrl_y : Char;
    ctrl_z : Char;
    del : Char;};