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

graph : ('a, 'b) func -> ('a * 'b) list

SYNOPSIS

Returns the graph of a finite partial function.

DESCRIPTION

This is one of a suite of operations on finite partial functions, type ('a,'b)func. These may sometimes be preferable to ordinary functions since they permit more operations such as equality comparison, extraction of domain etc. The graph function takes a finite partial function that maps x1 to y1, ..., xn to yn and returns its graph as a set/list: [x1,y1; ...; xn,yn].

FAILURE CONDITIONS

Attempts to sort the resulting list, so may fail if the type of the pairs does not permit comparison.

EXAMPLE

  # graph undefined;;
  val it : ('a * 'b) list = []
  # graph (1 |=> 2);;
  val it : (int * int) list = [(1, 2)]