使用关联类型族时推断类型 class 约束

Question

我知道 you can add constraints on associated type families and data families。这样做是对 class.

的所有实例实施约束

但我不知道如何在实例派生或函数声明中推断出这些约束。例如，此代码无法键入检查：

{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeFamilies #-}

import Data.Proxy ( Proxy )

class Eq (FooT a) => Foo a where
    type FooT a :: *

-- Can't infer it in an instance derivation
data CantInferEq a = CantInferEq (FooT a) deriving Eq

-- Also can't infer it in a function declaration.
-- The Proxy is there to avoid non-injectivity issues.
cantInferEq :: Proxy a -> FooT a -> FooT a -> Bool
cantInferEq _ x y = x == y

错误信息是：

Test.hs:11:52: No instance for (Eq (FooT a)) …
      arising from the first field of ‘CantInferEq’ (type ‘FooT a’)
    Possible fix:
      use a standalone 'deriving instance' declaration,
        so you can specify the instance context yourself
    When deriving the instance for (Eq (CantInferEq a))

Test.hs:16:23: No instance for (Eq (FooT a)) arising from a use of ‘==’ …
    In the expression: x == y
    In an equation for ‘cantInferEq’: cantInferEq _ x y = x == y

Compilation failed.

这是怎么回事？是否有解决方法来获得我想要的行为？

Answer 1

问题的症结在于只给定一个 FooT a，你无处可以从中提取 Eq 实例字典。

解决方法是在您的类型类要求中明确说明，从而有一个地方可以传递 Eq 字典：

{-# LANGUAGE StandaloneDeriving, UndecidableInstances #-}

data CantInferEq a = CantInferEq (FooT a)    
deriving instance (Eq (FooT a)) => Eq (CantInferEq a)

cantInferEq :: (Eq (FooT a)) => Proxy a -> FooT a -> FooT a -> Bool
cantInferEq _ x y = x == y

或者您可以通过使用 CantInferEq 构造函数打包 Eq (FooT a) 字典来避免必须使用 UndecidableInstances：

{-# LANGUAGE GADTs, StandaloneDeriving #-}
data CantInferEq a where
    CantInferEq :: (Eq (FooT a)) => FooT a -> CantInferEq a
deriving instance Eq (CantInferEq a)

使用关联类型族时推断类型 class 约束

inferring type class constraint when using associated type families

haskell

types

typeclass

type-families