haskell 如何在类函数上设置相等约束？

um6iljoc 于 2023-10-19 发布在其他

关注(0)|答案(1)|浏览(133)

给定

class ProblemC c where
  data ProblemData c :: * -> *
  embedC :: (ProblemData c x ~ x) => x -> c x

data TestThing a f
  = TestA a
  | TestB f
  deriving Functor

instance (ProblemData (TestThing a) x ~ a) => ProblemC (TestThing a) where
  data ProblemData (TestThing a) b = TestData a
  embedC = TestA

我如何得到的东西，类型检查？
本质上，我想要一个类，它将嵌入（和提取，不包括在示例代码中）一些参数化类型。

haskell

来源：https://stackoverflow.com/questions/77233732/how-does-one-make-an-equality-constraint-on-a-class-function

1条答案

按热度按时间

anhgbhbe1#

多亏了西尔维奥的问题，我想通了。我想要的：

class ProblemC c where
  type ProblemData c
  embedC :: ProblemData c -> c (ProblemData c)

data TestThing a f
  = TestA a
  | TestB f
  deriving Functor

instance ProblemC (TestThing a) where
  type ProblemData (TestThing a) = a
  embedC = TestA

赞(0）回复(0）举报 2023-10-19

我来回答

haskell 如何在类函数上设置相等约束？

1条答案

相关问题

热门标签

最新问答