Functor Functors.Make_native (.ml)

module Make_native (B : sig
type t 
val empty : t
val length : t -> int
val get : t -> int -> char
val make : int -> char -> t
val init : int -> f:(int -> char) -> t
val compare : t -> t -> int
val concat : sep:t -> t list -> t
val iter : f:(char -> unit) -> t -> unit
val iteri : f:(int -> char -> unit) -> t -> unit
val map : f:(char -> char) -> t -> t
val mapi : f:(int -> char -> char) -> t -> t
val index_from : t -> int -> char -> int
val rindex_from : t -> int -> char -> int
val sub : t -> pos:int -> len:int -> t
val of_buffer : Buffer.t -> t
val string_for_output : t -> string
end) : sig .. end
Parameters:
B : sig type t val empty : t val length : t -> int val get : t -> int -> char val make : int -> char -> t val init : int -> f:(int -> char) -> t val compare : t -> t -> int val concat : sep:t -> t list -> t val iter : f:(char -> unit) -> t -> unit val iteri : f:(int -> char -> unit) -> t-> unit val map : f:(char -> char) -> t -> t val mapi : f:(int -> char -> char) -> t -> t val index_from : t -> int -> char -> int val rindex_from : t -> int -> char -> int val sub : t -> pos:int -> len:int -> t val of_buffer : Buffer.t -> t val string_for_output : t -> string end

type character = char 
type t = B.t 
val max_string_length : int option
val empty : B.t
val compare : B.t -> B.t -> int
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
include struct ... end
include struct ... end
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
include struct ... end
include struct ... end
include struct ... end
include struct ... end
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