如何驗證類型家庭存儲在json後？

Question

下面的代碼不會編譯並給出的誤差

無法與「C」 「C1」匹配類型「C1」是 結合的圖案構造的剛性類型的變量： SomeReq :: forall c。康涅狄格州C =>所需物品Ç - > SomeReq， 爲「運行」

{-# LANGUAGE TypeFamilies #-} 
{-# LANGUAGE ExistentialQuantification #-} 

module Main where 

import qualified Data.Text as T 

class Conn c where 
    data Auth c :: * 
    data Env c :: * 
    data Req c :: * 

    getEnv :: Auth c -> IO (Env c) 
    runReq :: Env c -> Req c -> IO String 

data SomeAuth = forall c. (Conn c) => SomeAuth (Auth c) 
data SomeReq = forall c. (Conn c) => SomeReq (Auth c) 

run :: SomeAuth -> SomeReq -> IO String 
run (SomeAuth auth) (SomeReq req) = do 
    env <- getEnv auth 
    runReq env req 

main :: IO() 
main = return() 

的原因existentials等式中是，我需要這些數據類型存儲在JSON。 (Auth c)和(Req c)總是seperatly存儲，但總是一起使用。

我假設的唯一可能的方法，使這項工作是有某種運行時檢查，以驗證這些類型匹配。我不知道該怎麼做。

Answer 1

鑑於SomeAuth和SomeReq，您無法確定它們包裝的類型是否相同。如果有有限個可能性（有限「宇宙」），那麼你可以使用一個GADT來標記它們：

data CTag c where 
    C1T :: CTag C1 
    C2T :: CTag C2 
    ... 

在SomeReq和模式匹配貼敷在SomeAuth和一個CTag。

如果c可以是任何舊事，最好的辦法是使用Data.Typeable，加入Typeable約束到SomeAuth和SomeReq構造。一旦你打開它們，你將能夠找出這些類型是否匹配，如果有的話就可以得到它的證據。