Làm cách nào để viết tên đủ điều kiện của một biểu tượng trong Haskell?

Question

Tôi đã có một cuộc đụng độ tên giữa hai mô-đun Haskell khác nhau muốn sử dụng cùng một toán tử kết hợp (<*>). Báo cáo Haskell 98 nói rằng

modid.varsym 

được phép, nhưng tôi không thể làm cho nó hoạt động. Trong toàn bộ của họ vào đây là Test.hs:

module Test 
where 

import qualified Test2 as T 

three = T.<*> 

và Test2.hs:

module Test2 
where 
(<*>) = 3 

Nhưng cố gắng để biên dịch kết quả trong một thông báo lỗi:

Test.hs:6:12: parse error on input `T.<*>' 

tôi đã cố gắng T.(<*>) nhưng điều đó không làm việc hoặc.

Làm cách nào tôi có thể tham chiếu đến tên biểu tượng được xác định trong mô-đun được nhập bởi import qualified?

Answer 1

thử

three = (T.<*>) 

Đó là lạ để xác định một nhà điều hành ghi là một số nguyên. Hãy xem xét \\ (nhà khai thác khác biệt set):

import qualified Data.List as L 

foo = [1..5] L.\\ [1..3] -- evaluates to [4,5] 
diff = (L.\\) 

Như bạn thấy ở trên, L.\\ là một nhà điều hành ghi đủ tiêu chuẩn; và nó vẫn hoạt động như một toán tử infix. Để sử dụng nó như một giá trị, bạn đặt dấu ngoặc đơn xung quanh toàn bộ điều.

Answer 2

Hãy nhớ rằng chúng tôi nhập khẩu các biểu tượng được bao quanh. Ví dụ.

import T ((<*>)) 

để nhập khẩu chất lượng là như nhau:

import qualified T as Q 

main = print (Q.<*>)