Haskell *qualified* 导入一组函数

Question

在 Haskell 中，我可以导入一个由其名称或快捷方式名称限定的模块，如下所示：

import qualified Data.List as List
import qualified Data.Map

我也可以从一个模块中只导入一组精选的函数，或者导入一个精选集以外的所有函数，如下所示：

import Data.List (sort, intersperse)
import Data.Map hiding (findWithDefault)

是否可以导入一组特定的函数，例如上面的 import Data.List (sort, intersperse) 示例，但要确保仍然以合格的方式标识函数，例如 List.sort 和 List.intersperse？

虽然这行不通，但这是我所要求的精神：

import qualified Data.List (sort, intersperse) as List

或许

import qualified Data.List as List (sort, intersperse)

Answer 1

import qualified Data.List as List (sort, intersperse)

这实际上很好并且有效。导入声明的语法如下：

5.3 进口申报

impdecl   →   import [qualified] modid [as modid] [impspec]

qualified 和 as 会不阻止导入规范。这不是 Haskell2010 的补充，因为它是 Haskell 98 report 的一部分。

另一方面，你的第一个例子

import qualified Data.List (sort, intersperse) as List
--     qualified           impspec!            as modid
--                            ^                    ^         
--                            +--------------------+

不遵循语法，因为 impspec 必须是导入声明中的最后一个元素（如果提供的话）。

Answer 2

这是允许的，至少根据 Haskell 2010 报告。首先查看examples，其中包括这个：

import qualified A(x)

然后查找actual syntax spec，表示qualified、as和“impspec”（导入标识符列表或隐藏标识符列表）都是可选且独立的。因此语法 genisage describes 实际上是标准的。

Answer 3

尽管https://www.haskell.org/haskellwiki/Import 上没有提到它，但import qualified Foo as Bar (x, y) 似乎对我来说很好用。我正在运行 ghc 7.6.3。也许那个特定的 wiki 页面已经过时了。如果它不适合您，您使用的是哪个版本的 ghc？