renaming imported identifiers (Was: Proposal: unify constant functors)
lemming at henning-thielemann.de
Mon May 7 19:42:00 CEST 2012
On Fri, 4 May 2012, Andreas Abel wrote:
> P.P.S.: All of discussion would be superfluous if import statements had a
> renaming option like in Agda.
> open import Data.Functor.Constant renaming (Constant to K)
> Maybe that could be a feature of future Haskell as well?
If library writers would define names that work well with qualification,
then we could simply use qualification renaming for that.
More information about the Libraries