|
|
|
| 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 |
