タイプをインポートせずにデータコンストラクタをインポートします

Question

numeric-preludeすべてのデータタイプの名前はTで、すべてのタイプクラスの名前はCです。の...一貫ために、私は私が一緒にプレーするとします

{-# LANGUAGE NoImplicitPrelude #-} 
module Number.SqrtRatio (T(..), ratioPart) where 

import qualified Number.Ratio as Ratio 
import Number.Ratio ((:%)) 

import qualified Algebra.Ring as Ring 
import NumericPrelude.Base 

-- | A number whose square is rational, canonicalized as a rational 
-- times the square root of a squarefree integer. 
data T x = T { 
    numerator :: !x, 
    denominator :: !x, 
    rootNum :: !x 
    } deriving (Eq, Show) 

ratioPart :: T x -> Ratio.T x 
ratioPart (T n d _) = n :% d 

fromRatio :: (Ring.C x) => Ratio.T x -> T x 
fromRatio (n :% d) = T n d Ring.one 

ghcは感心しない。

Number/SqrtRatio.hs:5:22: 
    In module ‘Number.Ratio’: 
     ‘(:%)’ is a data constructor of ‘T’ 
    To import it use 
     ‘import’ Number.Ratio(T((:%))) 
    or 
     ‘import’ Number.Ratio(T(..)) 

---

確かにもの仲間、私が遵守することができます：

{-# LANGUAGE NoImplicitPrelude #-} 
module Number.SqrtRatio (T, ratioPart) where 

import qualified Number.Ratio as Ratio 
import Number.Ratio (T((:%))) 
--  newly added^

...しかし、これもまたRatio.Tをインポートして、私のTと矛盾します！

ratioPart :: T x -> Ratio.T x 
{-   ^-- Ambiguous occurrence ‘T’ 
    It could refer to either ‘Number.SqrtRatio.T’, 
          defined at Number/SqrtRatio.hs:11:1 
          or ‘Number.Ratio.T’, 
          imported from ‘Number.Ratio’ at Number/SqrtRatio.hs:5:22-28 
-} 

---

さて、その方法についてimport Number.Ratio (T((:%))) hiding T？

Number/SqrtRatio.hs:5:31: parse error on input ‘hiding’ 

私は少し喪失しています。 ：/

Answer 1

がががこれを行うための適切な方法で判明：私はそれは明らかですので、ちょうどpatternキーワードを有効にするために、実際に任意のパターンの同義語を定義することはない-XPatternSynonyms拡張子を使用しました

{-# LANGUAGE NoImplicitPrelude, PatternSynonyms #-} 
module Number.SqrtRatio (T(..), ratioPart) where 

import qualified Number.Ratio as Ratio 
import Number.Ratio (pattern (:%)) 

注意私は値コンストラクタ:%だけをインポートしたいと思います。

Answer 2

私の現在のソリューションは、投稿する前に瞬間を発見：

• は(:%)をインポートしようとする上であきらめます。
• 修飾インポートを保持します。
• :%〜Ratio.:%どこでも（パターンと表現）を変更してください。

結果：

{-# LANGUAGE NoImplicitPrelude #-} 
module Number.SqrtRatio (T(..), ratioPart) where 

import qualified Number.Ratio as Ratio 

import qualified Algebra.Ring as Ring 
import NumericPrelude.Base 

-- | A number whose square is rational, canonicalized as a rational 
-- times the square root of a squarefree integer. 
data T x = T { 
    numerator :: !x, 
    denominator :: !x, 
    rootNum :: !x 
    } deriving (Eq, Show) 

ratioPart :: T x -> Ratio.T x 
ratioPart (T n d _) = n Ratio.:% d 

fromRatio :: (Ring.C x) => Ratio.T x -> T x 
fromRatio (n Ratio.:% d) = T n d Ring.one 

醜いです。