Tái xuất đủ điều kiện - cách giải quyết nó ngày nay, bất kỳ giải pháp nào?

Question

tôi có chính xác cùng một vấn đề như mô tả trong câu hỏi này Re-export qualified?

module Foo.A where 

foo = 42 

và

module Foo.B where 

foo = 12 

và bạn muốn viết một module siêu

module Foo (
     module Foo.A 
    , module Foo.B 
    ) where 

import Foo.A 
import Foo.B 

mà-xuất khẩu lại các mô-đun đó, bạn sẽ nhận được xung đột tên.

Đã hỏi 5 năm trước, tôi cho rằng có thể đã có một số thay đổi kể từ đó. Đã có bất kỳ? Nếu không, vẫn không có giải pháp cho điều đó?

Tôi làm không xem xét Lens để giải quyết.

CẬP NHẬT:

Có thể có rất nhiều các chức năng foo trong mỗi module (foo1, foo2, vv) và tôi muốn sử dụng chúng từ cả hai mô-đun. Tuy nhiên, cũng có thể có data s có cùng tên thành viên trong mỗi mô-đun.

Vì vậy, ẩn không phải là giải pháp.

Answer 1

Không có giải pháp mới, nhưng vẫn còn một giải pháp. Trước tiên, bạn chỉ có thể xuất khẩu foo bạn phải quyết định bạn muốn xuất loại nào là số foo. Sau đó, bạn chỉ cần ẩn và bí danh người khác.

module Foo (
    module Foo.A 
, module Foo.B 
, bFoo 
) where 

import Foo.A 
import Foo.B hiding (foo) 
import qualified B as B 

bFoo = B.foo 

Ok, nó không thực sự thanh lịch nhưng đó là cách giải quyết nếu bạn thực sự phải làm vậy.