형식을 가져 오지 않고 데이터 생성자를 가져옵니다.

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^

...하지만이 또한 내 T과 충돌하는 Ratio.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 

미운.