haskell——可以从实例函数声明中访问类型变量吗？

Question

我想访问实例中的类型变量，这些变量不会显示在实例的参数中。例如，

class A a where foo :: a b
data C a
instance A C where
    foo :: forall b. C b
    foo = undefined :: C b

当然，上面的内容将在没有作用域类型表达式的情况下解析，但我有一个我真正想要的非玩具示例。

编辑

在将其粘贴为答案之前，请先 尝试您的代码！上述（丹尼尔的回答）导致

Test.hs:51:5: Misplaced type signature: foo :: forall b. C b
Failed, modules loaded: none.

Answer 1

我认为要克服丹尼尔的解决方案不允许为类型类函数提供签名的问题，您可以简单地定义一个顶级函数并在类型类的实例中“重命名”它。在您的简单示例中，以下内容应该有效。

{-# LANGUAGE ScopedTypeVariables #-}

class A a where 
    foo :: a b

instance A C where
    foo = foo'

foo' :: C b
foo' = undefined :: C b

Answer 2

虽然真正的解决方案更好，但可以使用 asTypeOf 并添加虚拟参数来解决该问题。这是一个例子，

class A a where foo2 :: b -> a b -- added parameter b
data C a
instance A C where
    foo2 x = undefined `asTypeOf` (wrapA x)

wrapA :: A C => a -> C a
wrapA = undefined

foo :: A a => a b
foo = foo2 undefined

它恰好适用于我的现实世界的例子。干杯！

Answer 3

我认为在类声明中，

class A a where
    foo :: a b

foo 的类型确实是这样的

forall b. a b

，即 foo 应该与类型 b 无关。或者，b 实际上并不是类 A 的一部分。所以...我认为您不需要能够参考它？虽然我可能不明白......也许你可以在必要的地方发布一个例子？

如果您需要在多个方法中保持相同的类型，您可以使用多参数类型类：

class A a b where
    foo :: a b
    bar :: a b

Answer 4

{-# LANGUAGE ScopedTypeVariables #-}
class A a where foo :: a b
instance A C where
    foo :: forall b. C b
    foo = undefined :: C b

了解更多。