package bigstring

  1. Overview
  2. Docs
package bigstring
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module BigstringSource

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.

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.

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.

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.

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.

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

rindex s ~c returns the index of the last occurrence of character c in string 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