package sosa

  1. Overview
  2. Docs

Parameters

module B : sig ... end

Signature

type character = char
type t = B.t
val max_string_length : int option
val empty : B.t
val is_empty : B.t -> bool
val make : int -> char -> B.t
val length : B.t -> int
val of_character : char -> B.t
val of_character_list : char list -> B.t
val to_character_list : B.t -> char list
val get : B.t -> index:int -> char option
val set : B.t -> index:int -> v:char -> B.t option
val get_exn : B.t -> index:int -> char
val set_exn : B.t -> index:int -> v:char -> B.t
val compare : B.t -> B.t -> int
val compare_substring : (B.t * int * int) -> (B.t * int * int) -> int
type s = t
module T_length_and_compsub : sig ... end
val compare_substring_strict : (T_length_and_compsub.t * int * int) -> (T_length_and_compsub.t * int * int) -> int option
val index_of_string : ?from:int -> ?sub_index:int -> ?sub_length:int -> T_length_and_compsub.t -> sub:T_length_and_compsub.t -> int option
val index_of_string_reverse : ?from:int -> ?sub_index:int -> ?sub_length:int -> T_length_and_compsub.t -> sub:T_length_and_compsub.t -> int option
val concat : ?sep:B.t -> B.t list -> B.t
val fold : B.t -> init:'a -> f:('a -> char -> 'a) -> 'a
val foldi : B.t -> init:'a -> f:(int -> 'a -> char -> 'a) -> 'a
val fold2_exn : B.t -> B.t -> init:'a -> f:('a -> char -> char -> 'a) -> 'a
val sub_exn : B.t -> index:int -> length:int -> B.t
val sub : B.t -> index:int -> length:int -> B.t option
val slice_exn : ?start:int -> ?finish:int -> B.t -> B.t
val slice : ?start:int -> ?finish:int -> B.t -> B.t option
val iter : B.t -> f:(char -> unit) -> unit
val iteri : B.t -> f:(int -> char -> unit) -> unit
val iter_reverse : B.t -> f:(char -> 'a) -> unit
val rev : B.t -> B.t
val map : B.t -> f:(char -> char) -> B.t
val map2_exn : B.t -> B.t -> f:(char -> char -> char) -> B.t
val mapi : B.t -> f:(int -> char -> char) -> B.t
val for_all : B.t -> f:(char -> bool) -> bool
val exists : B.t -> f:(char -> bool) -> bool
val index_of_character : B.t -> ?from:int -> char -> int option
val index_of_character_reverse : B.t -> ?from:int -> char -> int option
val resize_from_length : from:int -> ?length:int -> length_of_s:int -> int * int
val find : ?from:int -> ?length:int -> B.t -> f:(char -> bool) -> int option
val find_reverse : ?from:int -> ?length:int -> B.t -> f:(char -> bool) -> int option
val filter_map : ?from:int -> ?length:int -> B.t -> f:(char -> char option) -> B.t
val filter : ?from:int -> ?length:int -> B.t -> f:(char -> bool) -> B.t
val strip : ?on:[< `Both | `Left | `Right Both ] -> ?whitespace:(char -> bool) -> s -> s
val split : s -> on:[< `Character of char | `String of s ] -> s list
val sub_same_tl : s -> comp:s -> len:int -> off:int -> bool
val is_prefix : s -> prefix:s -> bool
val is_suffix : s -> suffix:s -> bool
val chop_prefix_exn : s -> prefix:s -> s
val chop_prefix : s -> prefix:s -> s option
val chop_suffix_exn : s -> suffix:s -> s
val chop_suffix : s -> suffix:s -> s option
val split_at : s -> index:int -> s * s
val take : s -> index:int -> s
val drop : s -> index:int -> s
module Make_output (Model : Api.OUTPUT_MODEL) : sig ... end
val take_while_with_index : B.t -> f:(int -> char -> bool) -> B.t
val take_while : B.t -> f:(char -> bool) -> B.t