Previous Contents Next
19.31 Module String: string operations


val length : string -> int
Return the length (number of characters) of the given string.
val get : string -> int -> char
String.get s n returns character number n in string s. The first character is character number 0. The last character is character number String.length s - 1. Raise Invalid_argument if n is outside the range 0 to (String.length s - 1). You can also write s.[n] instead of String.get s n.
val set : string -> int -> char -> unit
String.set s n c modifies string s in place, replacing the character number n by c. Raise Invalid_argument if n is outside the range 0 to (String.length s - 1). You can also write s.[n] <- c instead of String.set s n c.
val create : int -> string
String.create n returns a fresh string of length n. The string initially contains arbitrary characters. Raise Invalid_argument if n < 0 or n > Sys.max_string_length.
val make : int -> char -> string
String.make n c returns a fresh string of length n, filled with the character c. Raise Invalid_argument if n < 0 or n > Sys.max_string_length.
val copy : string -> string
Return a copy of the given string.
val sub : string -> int -> int -> string
String.sub s start len returns a fresh string of length len, containing the characters number start to start + len - 1 of string s. Raise Invalid_argument if start and len do not designate a valid substring of s; that is, if start < 0, or len < 0, or start + len > String.length s.
val fill : string -> int -> int -> char -> unit
String.fill s start len c modifies string s in place, replacing the characters number start to start + len - 1 by c. Raise Invalid_argument if start and len do not designate a valid substring of s.
val blit : string -> int -> string -> int -> int -> unit
String.blit src srcoff dst dstoff len copies len characters from str