Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

mapfilter : ('a -> 'b) -> 'a list -> 'b list

SYNOPSIS

Applies a function to every element of a list, returning a list of results for those elements for which application succeeds.

FAILURE CONDITIONS

Fails if an exception not of the form Failure _ is generated by any application to the elements.

EXAMPLE

  # mapfilter hd [[1;2;3];[4;5];[];[6;7;8];[]];;
  val it : int list = [1; 4; 6]

  # mapfilter (fun (h::t) -> h) [[1;2;3];[4;5];[];[6;7;8];[]];;
  Warning: this pattern-matching is not exhaustive.
  Here is an example of a value that is not matched:
  []
  Exception: Match_failure ("", 24547, -35120).

SEE ALSO

filter, map.