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