Haskell再帰型クラス

Question

タプルに基づいて再帰的インスタンス型を作成したいと思います。私が探しているものは、これと似たものです：

class Provider a b where 
    getInstance :: a -> b 

instance Provider a b => Provider (x, a) b where 
    getInstance (x, a) = getInstance a 

instance Provider (b, x) b where 
    getInstance (b, _) = b 

tryFunc1 :: Int 
tryFunc1 = 
    let provider = ("test", (10,())) :: (String, (Int,())) 
    in getInstance provider 

tryFunc2 :: String 
tryFunc2 = 
    let provider = ("test", (10,())) :: (String, (Int,())) 
    in getInstance provider 

不幸にも、haskellはインスタンスを解決できません。何らかの理由？

Answer 1

推奨されないOverlappingInstancesプラグマの使用を中止し、インスタンスOVERLAPPINGおよびOVERLAPPABLEプラグマごとに使用を開始することです。ちょうどこの変更により：

instance {-# OVERLAPPABLE #-} Provider a b => Provider (x, a) b where 
    getInstance (x, a) = getInstance a 

instance {-# OVERLAPPING #-} Provider (b, x) b where 
    getInstance (b, _) = b 

私はtryFunc1は"test"する10とtryFunc2であることを取得します。両方この場合には...また、私は、これはあなたが望む行動であると仮定しますが、ご注意

---

技術を使用すると、いずれか一方のみOVERLAPPABLEまたはOVERLAPPINGプラグマを必要とするが、私はそれを持っているのは良い習慣であると信じていますこれはちょうどあなたが探しているものは何でもタイプの最初取得する情報の

グッドソース機能の作成を追跡ticketである（そうgetInstance (10, (20,())) :: Intは10とはない20が私に与えます）。

Answer 2

私は一部の人がUndecidableInstancesを好きではないことを知っていますが、これは私がこのような状況でやりたいことです。クローズドtype familyを使用して選択肢が完全に確定的になるようにします。

アイデアは、型のファミリにブール型フラグを計算させて、どのクラスを型変換の仕組みに使うべきかを明確にすることです。無害ですが、Provider a b (AtHead a b) =>という制約のため、UndecidableInstanceの拡張が必要です。

{-# LANGUAGE MultiParamTypeClasses #-} 
{-# LANGUAGE FlexibleInstances  #-} 
{-# LANGUAGE FlexibleContexts  #-} 
{-# LANGUAGE UndecidableInstances #-} 
{-# LANGUAGE TypeFamilies   #-} 
{-# LANGUAGE DataKinds    #-} 
{-# LANGUAGE TypeOperators   #-} 
{-# LANGUAGE ScopedTypeVariables #-} 

module Provider where 

import Data.Proxy 
import Data.Type.Equality 

class Provider a b (f :: Bool) where 
    getInstance' :: Proxy f -> a -> b 

type family AtHead x y :: Bool where 
    AtHead (x, a) y = x == y 

instance Provider a b (AtHead a b) => Provider (x, a) b 'False where 
    getInstance' _ (x, a) = getInstance' (Proxy :: Proxy (AtHead a b)) a 

instance Provider (b, x) b 'True where 
    getInstance' _ (b, _) = b 

getInstance :: forall a b. Provider a b (AtHead a b) => a -> b 
getInstance = getInstance' (Proxy :: Proxy (AtHead a b)) 

tryFunc1 :: Int 
tryFunc1 = 
    let provider = ("test", (10,())) :: (String, (Int,())) 
    in getInstance provider 

tryFunc2 :: String 
tryFunc2 = 
    let provider = ("test", (10,())) :: (String, (Int,())) 
    in getInstance provider