如何导入特定的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被发现.