haskell - 如何导入特定的 PortNumber 构造函数

Question

简单的问题。

这编译:

module Example where

import Network

port :: PortID
port = PortNumber 3001

这不会:

module Example where

import Network (PortID, PortNumber)

port :: PortID
port = PortNumber 3001

GHC 说:

Example.hs:6:8: Not in scope: data constructor `PortNumber'

为什么？

Answer 1

它一定要是

import Network (PortID(PortNumber))

如 PortNumber似乎是 PortID 的构造函数.另一个导入只是导入所有 Network因此 PortNumber被发现。