partialApply

Next: Permutation Up: PartialFunction Previous: partialFunction Contents Index

partialApply

$\begin{usage} partialApply~x \end{usage}$

Signature

partialApply: (%, R) $\to$ Partial S

$\begin{params} {\em$\sigma$} & \% & A partial function\\ {\em x} & R & An element of R\\\end{params}$

$\begin{retval} Returns $\sigma x$, or {\it failed}\xspace if x is not in the domain of $\sigma$. \end{retval}$

See Also

apply, inDomain?, predicate

Manuel Bronstein 2000-12-13