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))

asPortNumberのコンストラクタのようですPortID。もう 1 つのインポートは単にすべてをインポートするNetworkためPortNumber、検出されます。