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