インスタンス

Question

の重複の解決方法I次のコードもちろん

instance {-# OVERLAPS #-} Transformable a a where 
    transform x = x 

instance {-# OVERLAPPABLE #-} (Transformable l l', Transformable r r') 
     => Transformable (Either l r) (Either l' r') 
    where 
    transform = bimap transform transform 

は、それらのインスタンスは、私がEither a bにEither a bを変換し、次のように取得しようとしている場合には重複する（変換は、変換に似ている）持っていますエラーメッセージ（ParsingErrorがEither something somethingElseの型の別名である）

Overlapping instances for Transformable 
           (parsingerror text) (parsingerror text) 
     arising from a use of ‘makereceipt’ 
    matching instances: 
Matching instances: Overlapping instances for Transformable 
          (ParsingError Text) (ParsingError Text) 
    arising from a use of ‘makeReceipt’ 
Matching instances: 
    instance [overlappable] (Transformable l l', Transformable r r') => 
          Transformable (Either l r) (Either l' r') 
     instance [overlappable] (Transformable l l', Transformable r r') => 
           Transformable (Either l r) (Either l' r') 
     -- Defined at Handler/GLEnterReceiptSheet/ReceiptRow.hs:154:31 
     instance [overlap ok] Transformable a a 
     -- Defined at Handler/GLEnterReceiptSheet/ReceiptRow.hs:151:27 

私はOVERLAPS、OVERLAPPINGとOVERLAPPABLEの異なる組み合わせを試してみましたが、何も働きません。これをどうすれば解決できますか？

Answer 1

あなたは、インスタンス定義の1つ変更する必要があります：

class Transformable a b where 
    transform :: a -> b 

-- this one 
instance {-# OVERLAPS #-} (a ~ b) => Transformable a b where 
    transform x = x 

instance (Transformable l l', Transformable r r') 
     => Transformable (Either l r) (Either l' r') where 
    transform = either (Left . transform) (Right . transform) 

test0 :: (Transformable a a', Transformable b b') => Either a b -> Either a' b' 
test0 = transform 

を、コードに関係なく、あなたが他のインスタンスで使用重なるの動作します。 2番目のインスタンスにプラグマは実際には必要ありません。

元のコードの問題は、インスタンスが実際にちょうど重なった支離滅裂、ではないので、{-# OVERLAPS/OVERLAPPING/OVERLAPPABLE #-}のない組み合わせがあなたを救うないだろうということです - あなたは望ましくない{-# INHCOHERENT #-}を使用する必要があるだろうと私はお勧めしません。 GHCはエラーメッセージでは、この矛盾をご紹介します：

>:t transform :: (Transformable a a', Transformable b b') => Either a b -> Either a' b' 

<interactive>:1:1: Warning: 
    Overlapping instances for Transformable 
           (Either a1 b1) (Either a'1 b'1) 
     arising from a use of `transform' 
    Matching instances: 
     instance [overlappable] (Transformable l l', Transformable r r') => 
           Transformable (Either l r) (Either l' r') 
     -- Defined at test6.hs:9:31 
     instance [overlap ok] Transformable a a -- Defined at test6.hs:6:27 
    (The choice depends on the instantiation of `a1, b1, a'1, b'1' 
    To pick the first instance above, use IncoherentInstances 
    when compiling the other instance declarations) 
    In the expression: 
     transform :: 
      (Transformable a a', Transformable b b') => 
      Either a b -> Either a' b' 

基本的には、オーバーラップインスタンスから選択するためには、1つのインスタンスはあなたが一致しようとしているタイプ（S）のための「最も具体的」でなければなりません。これの詳細は、user guideに記載されています。