1995-05-04 03:15:53 -07:00
|
|
|
(* String operations *)
|
|
|
|
|
1995-07-10 02:48:27 -07:00
|
|
|
external length : string -> int = "%string_length"
|
1995-05-04 03:15:53 -07:00
|
|
|
|
1995-07-10 02:48:27 -07:00
|
|
|
external get : string -> int -> char = "%string_safe_get"
|
|
|
|
external set : string -> int -> char -> unit = "%string_safe_set"
|
1995-05-04 03:15:53 -07:00
|
|
|
|
1995-05-05 03:05:18 -07:00
|
|
|
external create : int -> string = "create_string"
|
1995-05-04 03:15:53 -07:00
|
|
|
val make : int -> char -> string
|
|
|
|
val copy : string -> string
|
|
|
|
val sub : string -> int -> int -> string
|
|
|
|
|
|
|
|
val fill : string -> int -> int -> char -> unit
|
|
|
|
val blit : string -> int -> string -> int -> int -> unit
|
|
|
|
|
1995-05-05 03:05:18 -07:00
|
|
|
val concat : string -> string list -> string
|
|
|
|
|
1995-05-04 03:15:53 -07:00
|
|
|
val escaped: string -> string
|
|
|
|
|
1995-06-15 01:10:01 -07:00
|
|
|
external unsafe_get : string -> int -> char = "%string_unsafe_get"
|
|
|
|
external unsafe_set : string -> int -> char -> unit = "%string_unsafe_set"
|
1995-05-05 03:05:18 -07:00
|
|
|
external unsafe_blit : string -> int -> string -> int -> int -> unit
|
1995-07-25 04:39:02 -07:00
|
|
|
= "blit_string" "noalloc"
|
|
|
|
external unsafe_fill : string -> int -> int -> char -> unit
|
|
|
|
= "fill_string" "noalloc"
|
1995-05-04 03:15:53 -07:00
|
|
|
|
|
|
|
|