PartialFunction

Exports

• apply:	(%, R) $\to$ S	Apply a partial function
  inDomain?:	(%, R) $\to$ Boolean	Check if an element is in the domain
  mapping:	% $\to$ (R $\to$ S)	Action of a function
  partialApply:	(%, R) $\to$ Partial S	Apply a partial function
  partialMapping:	% $\to$ (R $\to$ Partial S)	Action of a function
  predicate:	% $\to$ (R $\to$ Boolean)	Domain of a partial function
  partialFunction:	(R $\to$ Partial S) $\to$ %	Create a partial function
  partialFunction:	((R $\to$ Boolean, R $\to$ S)) $\to$ %	Create a partial function