| Value | Description |
val add_buffer : t -> t -> unit |
Add second buffer to the first.
|
val add_channel : t -> in_channel -> int -> unit | |
val add_char : t -> char -> unit |
Add character to the buffer.
|
val add_string : t -> string -> unit |
Add string to the buffer.
|
val add_substring : t -> string -> int -> int -> unit |
Given a string, start position and length add that substring to the buffer.
|
val clear : t -> unit |
Clears the buffer.
|
val contents : t -> string |
Gets the string built from the buffer.
|
val create : int -> t |
Create a buffer with suggested size.
|
val length : t -> int |
Number of characters in the buffer.
|
val output_buffer : out_channel -> t -> unit | |
val reset : t -> unit |
Clears the buffer (same as Buffer.clear).
|