Module `Bigstring`Source

Sourcetype 'a gen = unit -> 'a option

Sourcetype 'a sequence = ('a -> unit) -> unit

Sourcetype 'a printer = Format.formatter -> 'a -> unit

Interface to 1-dimension Bigarrays of bytes (char)

A "bigstring" here is simply a bigarray of chars. It can be used instead of regular strings when IO involve calling C (or another language), when very large strings are required, or for memory-mapping.

Source

type t =
  (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t

Sourceval create : int -> t

Create a new bigstring of the given size. Content is arbitrary.

Sourceval make : int -> char -> t

Create a new bigstring of the given size filled with c.

Sourceval empty : t

Empty string

Sourceval init : int -> (int -> char) -> t

Initialize with the given function (called at every index). init n f is the string f 0, f 1, ..., f (n-1).

Sourceval fill : t -> char -> unit

Fill the string with the given byte.

Sourceval fill_slice : t -> char -> int -> int -> unit

fill_slice s c i len is the same as fill (sub s i len) c, it fills the slice from i to i+len-1 of s with the char c

Sourceval size : t -> int

Number of bytes

Sourceval length : t -> int

Alias for size.

Sourceval get : t -> int -> char

Obtain the byte at the given index.

raises Invalid_argument
if the index is invalid

Sourceval unsafe_get : t -> int -> char

Same as get, but without bound check. Can fail arbitrarily (including segfault) if used improperly.

Sourceval set : t -> int -> char -> unit

Change the byte at the given index.

raises Invalid_argument
if the index is invalid

Sourceval unsafe_set : t -> int -> char -> unit

Same as set, but without bound check. Can fail arbitrarily (including segfault) if used improperly.

Sourceval blit : t -> int -> t -> int -> int -> unit

Blit a slice of the bigstring into another. blit s1 i1 s2 i2 len means that elements from s1 whose indices range from i1 to i1+len-1 are copied into the slots of s2 whose indices range from i2 to i2+len-1. This is similar to String.blit or Bytes.blit or Array.blit.

Sourceval copy : t -> t

Copy of the string

Sourceval sub : t -> int -> int -> t

sub s i len takes a slice of length len from the string s, starting at offset i. The slice shares the same memory as s, meaning that modifications of the slice will modify s as well. Slicing is cheap since it does not involve copying the whole range.

raises Invalid_argument
if i, len doesn't designate a valid substring

Sourceval fold : ('a -> char -> 'a) -> 'a -> t -> 'a

Fold on every char in increasing order

Sourceval foldi : ('a -> int -> char -> 'a) -> 'a -> t -> 'a

Fold on every char in increasing order

Sourceval iter : (char -> unit) -> t -> unit

Iterate on every char in increasing order

Sourceval iteri : (int -> char -> unit) -> t -> unit

Iterate on every char in increasing order

Sourceval equal : t -> t -> bool

Equality of content.

Sourceval compare : t -> t -> int

Lexicographic order

Conversions

Sourceval to_bytes : t -> Bytes.t

Sourceval of_bytes : Bytes.t -> t

Sourceval of_bytes_slice : Bytes.t -> int -> int -> t

Sourceval sub_bytes : t -> int -> int -> Bytes.t

Sourceval blit_to_bytes : t -> int -> Bytes.t -> int -> int -> unit

Sourceval blit_of_bytes : Bytes.t -> int -> t -> int -> int -> unit

Sourceval blit_of_buffer : Buffer.t -> int -> t -> int -> int -> unit

Sourceval to_string : t -> string

Sourceval of_string : string -> t

Sourceval of_string_slice : string -> int -> int -> t

Sourceval of_buffer : Buffer.t -> t

of_buffer b creates a string that contains the same as b

Sourceval of_gen : char gen -> t

Sourceval sub_string : t -> int -> int -> string

Sourceval blit_of_string : string -> int -> t -> int -> int -> unit

Sourceval to_seq : t -> char sequence

Sourceval to_gen : t -> char gen

Sourceval to_seq_slice : t -> int -> int -> char sequence

Sourceval to_gen_slice : t -> int -> int -> char gen

Sourceval to_buffer : t -> Buffer.t -> unit

Add the whole string at the end of the buffer

Sourceval print : t printer

Pretty-print the string into a formatter, surrounded with '"'

Utils

Sourceval concat : string -> t list -> t

concat set l concatenates the list l, inserting sep between each pair of string.

Sourceval map : f:(char -> char) -> t -> t

Sourceval mapi : f:(int -> char -> char) -> t -> t

Sourceval lowercase : t -> t

Copy of the string with all characters in lowercase (see Char.lowercase)

Sourceval uppercase : t -> t

Copy of the string with all characters in uppercase (see Char.uppercase)

Sourceval trim : t -> t

trim s returns a slice of s without the leading and trailing whitespaces, where whitespaces are defined identically to String.trim. note that it does not copy the substring, but returns a slice!

returns
a slice of s, or empty if s is totally composed of whitespaces

Sourceval index : t -> c:char -> int

index s ~c returns the index of the first occurrence of character c in string s.

raises Not_found
if c does not occurr in s

Sourceval rindex : t -> c:char -> int

rindex s ~c returns the index of the last occurrence of character c in string s.

raises Not_found
if c does not occurr in s

Sourceval index_pred : f:(char -> bool) -> t -> int

index_pred ~f s returns the index of the first char in s that satisfies s.

raises Not_found
if no character in s satisfies p

Sourceval rindex_pred : f:(char -> bool) -> t -> int

rindex_pred ~f s returns the index of the last char in s that satisfies s.

raises Not_found
if no character in s satisfies p

Sourceval contains : t -> c:char -> bool

String.contains s c tests if character c appears in the string s.

Sourceval for_all : f:(char -> bool) -> t -> bool

True for all chars?

Sourceval exists : f:(char -> bool) -> t -> bool

True for some char?

Sourceval split : by:char -> t -> t list

split s ~by splits s along the occurrences of by.

Sourceval split_gen : by:char -> t -> t gen

Same as split but returns a generator

Sourceval lines : t -> t list

lines s returns a list of the lines of s (splits along '\n')

Sourceval lines_gen : t -> t gen

lines_gen s returns a generator of the lines of s (splits along '\n') where every line is a slice of s

package bigstring

Module BigstringSource

Interface to 1-dimension Bigarrays of bytes (char)

Conversions

Utils

Module `Bigstring`Source