haskell - 如何将 Int 字段限制为某个值范围？

Question

在我的数据中

data User = User { uRank :: Int, uProgress :: Int }

例如，我想将 uRank 限制为值列表 [-1, 1, 3]。

我该怎么做？

Answer 1

定义一个小总和类型是这个特定问题的最佳答案。您还可以将 newtype 与智能构造函数一起使用来实现此效果。

newtype Rank = UnsafeMkRank { unRank :: Int }

mkRank :: Int -> Maybe Rank
mkRank i 
    | i `elem` [-1, 1, 3] = Just (UnsafeMkRank i)
    | otherwise = Nothing

现在，只要您仅使用安全的 mkRank 构造函数，您就可以假设您的 Rank 值具有您想要的 Int 值。