sosa 0.0.1 · OCaml Package

type character = char

type t = Internal_pervasives.String.t

val empty : t

val is_empty : t -> bool

val make : int -> character -> t

val length : t -> int

val of_character : character -> t

val of_character_list : character list -> t

val to_character_list : t -> character list

val get : t -> index:int -> character option

val set : t -> index:int -> v:character -> t option

val get_exn : t -> index:int -> character

val set_exn : t -> index:int -> v:character -> t

val concat : ?sep:t -> t list -> t

val of_native_string : string -> (t, [> `wrong_char_at of int ]) result

val of_native_substring : 
  string ->
  offset:int ->
  length:int ->
  (t, [> `out_of_bounds | `wrong_char_at of int ]) result

val to_native_string : t -> string

val to_string_hum : t -> string

val fold : t -> init:'a -> f:('a -> character -> 'a) -> 'a

val compare : t -> t -> int

val sub : t -> index:int -> length:int -> t option

val sub_exn : t -> index:int -> length:int -> t

val compare_substring : (t * int * int) -> (t * int * int) -> int

val compare_substring_strict : (t * int * int) -> (t * int * int) -> int option

val iter : t -> f:(character -> unit) -> unit

val iter_reverse : t -> f:(character -> unit) -> unit

val map : t -> f:(character -> character) -> t

val for_all : t -> f:(character -> bool) -> bool

val exists : t -> f:(character -> bool) -> bool

val index_of_character : t -> ?from:int -> character -> int option

val index_of_character_reverse : t -> ?from:int -> character -> int option

val index_of_string : 
  ?from:int ->
  ?sub_index:int ->
  ?sub_length:int ->
  t ->
  sub:t ->
  int option

val index_of_string_reverse : 
  ?from:int ->
  ?sub_index:int ->
  ?sub_length:int ->
  t ->
  sub:t ->
  int option

val find : ?from:int -> ?length:int -> t -> f:(character -> bool) -> int option

val find_reverse : 
  ?from:int ->
  ?length:int ->
  t ->
  f:(character -> bool) ->
  int option

val filter_map : 
  ?from:int ->
  ?length:int ->
  t ->
  f:(character -> character option) ->
  t

val split : t -> on:[ `Character of character | `String of t ] -> t list

val strip : 
  ?on:[ `Both | `Left | `Right ] ->
  ?whitespace:(character -> bool) ->
  t ->
  t

module Make_output (Model : OUTPUT_MODEL) : sig ... end

val mutate : 
  Internal_pervasives.String.t ->
  index:int ->
  char ->
  (unit, [> `out_of_bounds ]) result

val mutate_exn : Internal_pervasives.String.t -> index:int -> char -> unit

val blit : 
  src:Internal_pervasives.String.t ->
  src_index:int ->
  dst:Internal_pervasives.String.t ->
  dst_index:int ->
  length:int ->
  (unit, [> `out_of_bounds ]) result

val blit_exn : 
  src:Internal_pervasives.String.t ->
  src_index:int ->
  dst:Internal_pervasives.String.t ->
  dst_index:int ->
  length:int ->
  unit

package sosa