Previous  Up  Next

Module It_type.IT.Subarray


module Subarray: sig .. end
module C: sig .. end
type 'a t = private 'a C.t = private {
   arr : 'a array;
   ofs : int;
   len : int;
} 
val length : 'a t -> int
val get : 'a t -> int -> 'a
val empty : 'a C.t
val replace_with_substring : char array -> string -> int -> int -> char C.t
val of_string : string -> char C.t
val of_array : 'a array -> 'a C.t
val of_array_sub : 'a array -> int -> int -> 'a C.t
val of_list : 'a list -> 'a C.t
val of_elem : 'a -> 'a C.t
type dir = Subarray.dir =
| L
| R 
val fold : dir ->
       ('a -> 'b -> 'a) -> 'a -> 'b C.t -> 'a
val iter : ('a -> unit) -> 'a C.t -> unit
val to_list : 'a C.t -> 'a list
val to_string : char C.t -> string
val append_to_list_rev : 'a C.t -> 'a list -> 'a list
val get_first_item : 'a C.t -> 'a option
val destruct_first_item : 'a C.t -> ('a * 'a C.t) option
val sub : 'a C.t ->
       ofs:int -> len:int -> 'a C.t
val split_at : int ->
       'a C.t ->
       'a C.t * 'a C.t
val drop : int -> 'a C.t -> 'a C.t
val break : ('a -> bool) ->
       'a C.t ->
       'a C.t * 'a C.t
val break_limit : limit:int ->
       ('a -> bool) ->
       'a C.t ->
       [> `Found of 'a C.t * 'a C.t
        | `Hit_end
        | `Hit_limit ]
val drop_while : ('a -> bool) -> 'a C.t -> 'a C.t
val is_empty : 'a C.t -> bool
val buffer_add : Buffer.t -> char C.t -> unit
val map : ('a -> 'b) -> 'a C.t -> 'b C.t
val copy : 'a C.t -> 'a C.t
val concat_splitted : 'a C.t ->
       'a C.t -> 'a C.t