partialFunction

Next: partialApply Up: PartialFunction Previous: predicate Contents Index

partialFunction

$\begin{usage} partialFunction~f\\ partialFunction(p, g) \end{usage}$

$\begin{signatures} partialFunction: & (R $\to$\ \htmlref{\texttt{Partial}}{Par... ...\htmlref{\texttt{Boolean}}{Boolean}, R $\to$\ S) $\to$\ \%\\\end{signatures}$

$\begin{params} {\em f} & R $\to$\ \htmlref{\texttt{Partial}}{Partial} S & A pa... ...olean}}{Boolean} & A predicate\\ {\em g} & R $\to$\ S & A map\\\end{params}$

$\begin{retval} partialFunction(f) returns the partial function $\sigma$\ on $R$... ...p(x) = {\it false}\xspace \\ \end{array} \right. \end{displaymath} \end{retval}$

Manuel Bronstein 2000-12-13