GType的映射函數將類型轉換為IO字符串

Question

此映射位於GType和將該GType的實例轉換為IO String的函數之間。 我正在創建一個函數，它接受一個元素並獲取該元素的字符串表示。

mapping =
    [ (Types.gTypeHTMLSourceElement, HTMLSourceElement.getSrc   )
    , (Types.gTypeHTMLObjectElement, HTMLObjectElement.getData  )
    , (Types.gTypeHTMLTimeElement  , HTMLTimeElement.getDateTime)
    , (Types.gTypeHTMLElement      , HTMLElement.getInnerText   )
    , ...
    ]

給出了這個錯誤：

Couldn't match type ‘HTMLObjectElement’ with ‘HTMLSourceElement’

我正在使用ghcjs-dom。 如何在沒有錯誤的情況下編譯此代碼？ 我是否以正確的方式解決問題？

如果有人能夠提出比Alec的答案更好的答案，我會接受他們的回答。

Answer 1

我認為解決問題的正確方法是只使用一個toString函數來執行基於GType的分支。

toString :: GObjectClass obj => obj -> IO String
toString obj | obj `isA` gTypeHTMLSourceElement = getSrc . castToHTMLSourceElement
             | obj `isA` gTypeHTMLObjectElement = getData . castToHTMLObjectElement
             | obj `isA` gTypeHTMLTimeElement = getDateTime . castToHTMLTimeElement
             | obj `isA` gTypeHTMLElement = getInnerText . castToHTMLElement
             | ...