Module Prelude.Chars

Additional char functions.

N.B. These functions pertain only to chars as ASCII bytes.

val to_int : char -> int

to_int is Char.code.

val of_int : int -> char

of_int is Char.chr.

val upto : char -> char -> char list

(upto a b) is the list of the chars between a and b inclusive; not tail-recursive.

  • (upto '0' '9') = ['0';'1';'2';'3';'4';'5';'6';'7';'8';'9']
val (--) : char -> char -> char list

(--) is upto.

module Uppercase : sig ... end
module Lowercase : sig ... end
module Alphabetic : sig ... end
module Decimal : sig ... end
module Octal : sig ... end
module Hex : sig ... end

Development Utils

val to_string : char -> string

(to_string c) is the string containing just the character c.

Invariants:

  • String.len (to_string c) = 1
  • String.get (to_string c) 0 = c
val print : char -> unit

print is (to_string >> print_endline).

val random : ?printable:bool -> ?charset:char list -> unit -> char

(random ?(printable=true) ?charset ()) is a random printable ASCII character in the range [0x20 -- 0x7E].

If (printable = false), the result is a random ASCII character in the range [0x00 -- 0x7E].

If charset is provided, it trumps printable and the characters will be chosen from this list.

Partially apply for efficiency.

  • raises Invalid_argument

    if (Some charset) is empty.

Ops

module Ops : sig ... end