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 : string_conversion::Reader((Char, X) ) -> string_conversion::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_alpha_num : 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;
};