| |||||||||||||||||||||
| |||||||||||||||||||||
Synopsis | |||||||||||||||||||||
| |||||||||||||||||||||
Documentation | |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
Compute the clauses for the with-function given the original patterns. | |||||||||||||||||||||
| |||||||||||||||||||||
stripWithClausePatterns qs ps = ps' - context bound by lhs of original function (not an argument) - type of arguments to original function qs - internal patterns for original function - permutation taking vars(qs) to support() ps - patterns in with clause (presumably of type ) ps' - patterns for with function (presumably of type ) | |||||||||||||||||||||
| |||||||||||||||||||||
Construct the display form for a with function. It will display applications of the with function as applications to the original function. For instance, aux a b c as f (suc a) (suc b) | c | |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
Produced by Haddock version 2.4.2 |