Zakwalifikowany reeksport - jak rozwiązać to rozwiązanie?

Question

Mam dokładnie taki sam problem jak opisany w pytaniu Re-export qualified?

module Foo.A where 

foo = 42 

i

module Foo.B where 

foo = 12 

i chcesz napisać super moduł

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

import Foo.A 
import Foo.B 

który re-eksportu w tych modułach, zderzysz się z nazwą.

Zapytano mnie 5 lat temu, przypuszczam, że od tamtej pory mogło dojść do pewnych zmian. Czy były jakieś? Jeśli nie, nadal nie ma na to rozwiązania?

Ja robię nie za obiektyw do rozwiązania.

UPDATE:

Nie może być wiele funkcji foo w każdym module (foo1, foo2, etc) i chcę użyć je z obu modułów. W każdym module mogą być również dostępne nazwy z tymi samymi nazwami członków.

Ukrywanie nie jest rozwiązaniem.

Answer 1

Nie ma rozwiązania nowe, ale nadal istnieje rozwiązanie. Po pierwsze, jako że tylko jeden foo może zostać wyeksportowany, musisz zdecydować, który z nich chcesz wyeksportować jako czysty foo. Następnie musisz ukryć i wymienić drugi.

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, to nie jest naprawdę eleganckie, ale to obejście, jeśli naprawdę musisz.