haskell - ADT相关程序设计

Question

我有一个类型

data Phase = PhaseOne
           | PhaseTwo
           | PhaseThree deriving Enum

每个阶段要执行五个操作

• 阅读
• 写
• 验证
• evalStatus
• 更新

我开始尝试创建一个类型类。问题是，它们都是同一类型。我希望能够做类似的事情

instance MyClass PhaseThree where
  read a = ...

此外，我需要重载返回类型。

我知道类型类不是我想要的。但我不确定如何做我想做的事。我想GADT 的一部分，但这不太正确，因为我需要能够将每个实例放在单独的文件中。

我想要一些关于我需要调查哪些机制的建议？我提供了足够的信息吗？

Answer 1

我建议稍微颠倒一下。

data Phase = Phase {
    read :: String -> Foo,
    write :: Foo -> IO (),
    validate :: Foo -> Bool,
    evalStatus :: IO (),
    update :: Foo -> Foo
}

phaseOne, phaseTwo, phaseThree :: Phase

(或将类重新调整为显式记录)。