haskell - 有没有更好的方式来表达这种类型？

Question

我创建了这种数据类型，其中有很多重复。

data JobState = UnsanitizedData Handle
              | SanitizedData Handle
              | VerifiedData Handle
              | JobFail Handle

我不希望在没有 Handle 的情况下使用这些 JobState 中的任何一个。但重复让我怀疑我没有正确表达这一点。有更好的办法吗？

Answer 1

一种方法是将其分解为状态值和包含句柄的包装器:

data JobState = UnsanitizedData | SanitizedData | VerifiedData | JobFail
  deriving (Eq, Enum, Ord, Show, Read)
data Job = Job { jobState :: JobState, jobHandle :: Handle }
-- or: data Job = Job JobState Handle