haskell - 与 Haskell 类型类中的类型匹配

Question

我不知道如何准确地表达它，所以如果有人有一个好名字，请告诉我。

我正在尝试编写一个名为 Matchable 的类型类。这个想法是我拥有的几种不同类型的正则表达式(RegExp a、ComplexRegex a)应该能够在输入上匹配。

所以我尝试了这个:

class Matchable a where
  --   regex, input, success
  match :: a -> b -> Bool

但我真正想要的是使用类型构造函数变量或其他东西来解构类型类中的构造函数:

class Matchable a where
  --   regex, input, success
  match :: (B a) -> [a] -> Bool

这样我就可以让 RegExp Char 和 ComplexRegex Char 都在 String 上匹配。有什么办法可以做到这一点吗？谢谢。

Answer 1

为了简单起见，为什么不直接让 Matchable 的类变量具有 * -> * 类型呢？ (有关其他示例，请参阅 Functor、Applicative、Monad、Foldable、Traversable更高年级)。

class Matchable b where
  --   regex, input, success
  match :: b a -> [a] -> Bool

instance Matchable ComplexRegex where
  -- match :: ComplexRegex a -> [a] -> Bool
  match = error "unimplemented"

instance Matchable RegExp where
  -- match :: RegExp a -> [a] -> Bool
  match = error "unimplemented"

然后，您可以将 String ~ [Char] 与 ComplexRegex Char 或 RegExp Char 进行匹配。