Labels:black | darkness OCR: type effect 'a list * 'a list -> 'a list append all ('a -> bool) -> 'a list -> bool if p true of all elements app ('a -> unit) -> 'a list -> unit apply f to all elements concat 'a list list -> 'a list concatenate lists drop 'a list * int -> 'a list drop a first elements exists ('a -> bool) -> 'a list -> bool if p true of some element filter ('a -> bool) -> 'a list -> 'a list the elements for which p is true find ('a -> bool) -> 'a list -> 'a option first element for which p is true fold1 ('a * 'b -> 'b) -> 'b -> 'a list -> 'b fold from left to right foldr ('a * 'b -> 'b) -> 'b -> 'a list -> 'b fold from right to left hd 'a list -> 'a first element last 'a list -> 'a last element length 'a list -> int number of elements map ('a -> 'b) -> 'a list -> 'b list results of applying f to all elements mapPartial ('a -> 'b option) -> 'a list -> 'b list list of the non-NONE results of f nth 'a list * int -> 'a n'th element (0-based) null 'a list -> bool true if list is empty partition ('a->bool)->'a list->'a list*'a list compute (true for p, false for p) rev 'a list -> 'a list reverse list revAppend 'a list * 'a list -> 'a list compute (rev ms) @ ys tabulate int * (int -> 'a) -> 'a list compute [f (0) ,..., f (n-1)] take 'a list * int -> 'a list take a first elements t1 'a list -> 'a list tail of list
