|Arit and eta expansion
|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
etaExpand n us e ty returns an expression with
the same meaning as e, but with arity n.
e' = etaExpand n us e ty
We should have that:
ty = exprType e = exprType e'
|Produced by Haddock version 2.6.1|