Module Standard.List

module List: Extends.List

include List
val make : int -> 'a -> 'a list
exception EmptyList
val to_scalar : 'a list -> 'a
val of_opt : 'a option -> 'a list
val to_opt : 'a list -> 'a option
val first : 'a list -> 'a
val last : 'a list -> 'a
Raises EmptyList when the list is empty.
val take : int -> 'a list -> 'a list
val drop : int -> 'a list -> 'a list
val break : int -> 'a list -> 'a list * 'a list
val filter_map : ('a -> 'b option) -> 'a list -> 'b list
val iteri : (int -> 'a -> unit) -> 'a list -> unit
val mapi : (int -> 'a -> 'b) -> 'a list -> 'b list
val rev_mapi : (int -> 'a -> 'b) -> 'a list -> 'b list
val iteri2 : (int -> 'a -> 'b -> unit) -> 'a list -> 'b list -> unit
val mapi2 : (int -> 'a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list
val reduce_left : ('a -> 'a -> 'a) -> 'a list -> 'a
val reduce_right : ('a -> 'a -> 'a) -> 'a list -> 'a
val map_fold_left : ('b -> 'a -> 'c * 'b) -> 'b -> 'a list -> 'c list * 'b
val ifind : ('a -> bool) -> 'a list -> int
val sort_unique : ('a -> 'a -> int) -> 'a list -> 'a list
val unique_sorted : ('a -> 'a -> int) -> 'a list -> 'a list
val replace : int -> 'a -> 'a list -> 'a list
replace i v l returns a new list where l.(i) = v