|
|
|
Description |
Arit and eta expansion
|
|
Synopsis |
|
|
|
Documentation |
|
|
manifestArity sees how many leading value lambdas there are
|
|
|
An approximate, fast, version of exprEtaExpandArity
The Arity returned is the number of value args the
expression can be applied to without doing much work
|
|
|
|
|
:: Arity | Result should have this number of value args
| -> CoreExpr | Expression to expand
| -> CoreExpr | | etaExpand n us e ty returns an expression with
the same meaning as e, but with arity n.
Given:
e' = etaExpand n us e ty
We should have that:
ty = exprType e = exprType e'
|
|
|
Produced by Haddock version 2.6.1 |