Cách nhập phương thức khởi tạo PortNumber cụ thể

Question

Câu hỏi đơn giản.

này biên dịch:

module Example where 

import Network 

port :: PortID 
port = PortNumber 3001 

Và đây không:

module Example where 

import Network (PortID, PortNumber) 

port :: PortID 
port = PortNumber 3001 

GHC nói:

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

Tại sao?

Answer 1

Nó phải được

import Network (PortID(PortNumber)) 

như PortNumber có vẻ là một constructor của PortID. Nhập khác chỉ cần nhập tất cả Network và do đó tìm thấy PortNumber.