Functor Sosa.List_of (.ml)

module List_of: 
functor (Char : BASIC_CHARACTER) -> sig .. end
Parameters:
Char : BASIC_CHARACTER

type character = Char.t 
type t = character list 
val empty : 'a list
val is_empty : character list -> bool
val make : int -> 'a -> 'a list
val of_character : 'a -> 'a list
val of_character_list : 'a -> 'a
val to_character_list : 'a -> 'a
val get : 'a list -> index:int -> 'a option
val set : 'a list -> index:int -> v:'a -> 'a list option
val get_exn : 'a list -> index:int -> 'a
val set_exn : 'a list -> index:int -> v:'a -> 'a list
val iter : 'a list -> f:('a -> unit) -> unit
val iteri : 'a list -> f:(int -> 'a -> unit) -> unit
val iter_reverse : 'a list -> f:('a -> unit) -> unit
val rev : 'a list -> 'a list
val fold : 'a list -> init:'b -> f:('b -> 'a -> 'b) -> 'b
val foldi : 'a list -> init:'b -> f:(int -> 'b -> 'a -> 'b) -> 'b
val fold2_exn : 'a list -> 'b list -> init:'c -> f:('c -> 'a -> 'b -> 'c) -> 'c
val map : 'a list -> f:('a -> 'b) -> 'b list
val mapi : 'a list -> f:(int -> 'a -> 'b) -> 'b list
val map2_exn : 'a list -> 'b list -> f:('a -> 'b -> 'c) -> 'c list
val for_all : 'a list -> f:('a -> bool) -> bool
val exists : 'a list -> f:('a -> bool) -> bool
val compare : Char.t list -> Char.t list -> int
val of_native_substring : String.t ->
offset:int ->
length:int ->
(Char.t list, [> `out_of_bounds | `wrong_char_at of int ]) Sosa.result
val of_native_string : String.t -> (Char.t list, [> `wrong_char_at of int ]) Sosa.result
val to_native_string : Char.t list -> string
val to_string_hum : Char.t list -> string
val concat : ?sep:'a list -> 'a list list -> 'a list
val length : 'a list -> int
val sub : 'a list -> index:int -> length:int -> 'a list option
val sub_exn : 'a list -> index:int -> length:int -> 'a list
val slice_exn : ?start:int ->
?finish:int -> character list -> character list
val slice : ?start:int ->
?finish:int ->
character list -> character list option
val is_prefix : 'a list -> prefix:'a list -> bool
val is_suffix : 'a list -> suffix:'a list -> bool
val chop_prefix_exn : 'a list -> prefix:'a list -> 'a list
val chop_prefix : 'a list -> prefix:'a list -> 'a list option
val chop_suffix_exn : 'a list -> suffix:'a list -> 'a list
val chop_suffix : 'a list -> suffix:'a list -> 'a list option
val split_at : 'a list -> index:int -> 'a list * 'a list
val take : 'a list -> index:int -> 'a list
val drop : 'a list -> index:int -> 'a list
val index_of_character : 'a list -> ?from:int -> 'a -> int option
val index_of_character_reverse : 'a list -> ?from:int -> 'a -> int option
val compare_substring : Char.t list * int * int -> Char.t list * int * int -> int
include struct ... end
include struct ... end
val find : ?from:int -> ?length:int -> 'a list -> f:('a -> bool) -> int option
val find_reverse : ?from:int -> ?length:int -> 'a list -> f:('a -> bool) -> int option
val filter_map : ?from:int -> ?length:int -> 'a list -> f:('a -> 'b option) -> 'b list
val filter : ?from:int -> ?length:int -> 'a list -> f:('a -> bool) -> 'a list
include struct ... end
include struct ... end
module Make_output: 
functor (Model : Sosa.OUTPUT_MODEL) -> sig .. end
val take_while_with_index : 'a list -> f:(int -> 'a -> bool) -> 'a list
val take_while : 'a list -> f:('a -> bool) -> 'a list