Ignore:
Timestamp:
Mar 2, 2011, 3:27:41 PM (10 years ago)
Author:
ayache
Message:

Update of D2.2 from Paris.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/utilities/miscPottier.mli

    r486 r619  
    66val index_of : 'a -> 'a list -> int
    77
    8 val foldi: (int -> 'a -> 'b -> 'a) -> 'a -> 'b list -> 'a
     8val foldi : (int -> 'a -> 'b -> 'a) -> 'a -> 'b list -> 'a
    99
    10 val iteri: (int -> 'a -> unit) -> 'a list -> unit
     10val iteri : (int -> 'a -> unit) -> 'a list -> unit
    1111
    12 val mapi: (int -> 'a -> 'b) -> 'a list -> 'b list
     12val mapi : (int -> 'a -> 'b) -> 'a list -> 'b list
    1313
    14 (* [split a i] splits the list a in two lists: one with the elements
     14(* Raises Not_found if the list is empty. *)
     15val last : 'a list -> 'a
     16
     17(* [split l i] splits the list [l] in two lists: one with the elements
    1518   up until the [i]th (exclusive) and one with the rest. *)
    1619
    1720val split: 'a list -> int -> ('a list * 'a list)
     21
     22(* [split_last l] returns the list [l] without its last element and its last
     23   element. Raises Invalid_argument "MiscPottier.split_last" if the list is
     24   empty. *)
     25
     26val split_last : 'a list -> ('a list * 'a)
    1827
    1928val update_list_assoc: 'a -> 'b -> ('a * 'b) list -> ('a * 'b) list
Note: See TracChangeset for help on using the changeset viewer.