A Non empty list. The module allows to deal with non-empty list. Lists where the minimum size is one.
val create : 'a -> 'a tcreate x create a new non-empty list with x.
val from_list : 'a list -> 'a t optionCreates a non-empty list from a regular list.
val to_list : 'a t -> 'a listConvert non-empty list to a regular list.
val hd : 'a t -> 'aReturns the head of a non-empty list.
val length : 'a t -> intReturns the length of a non-empty list.
rev_append a b is a tail-recursive version of append (rev a) b.
val iteri : (int -> 'a -> unit) -> 'a t -> unitList.iteri for non-empty list.
val reduce : ('a -> 'a -> 'a) -> 'a t -> 'areduce f xs reduce all value of xs into one.
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'aList.fold_left for non-empty list.
val fold_right : ('a -> 'b -> 'b) -> 'a t -> 'b -> 'bList.fold_right for non-empty list.
val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unitFormatter for pretty-printing for Nonempty_list.t.