haskell - Yesod 中的模型验证

Question

我想在字段上定义一个约束，因此保留字无效。我怎样才能在 Yesod 中做到这一点？

{-# LANGUAGE TemplateHaskell #-}
module Sid where

import Control.Exception
import Data.List
import Database.Persist.TH
import Data.Aeson.TH
import Text.Show
import Text.Read
import Data.Text

data Sid = Sid Text
         deriving (Show, Read)

reserved :: [Text]
reserved = ["abc","def"]

allowedSid :: Text -> Sid
allowedSid a = (assert (notElem a reserved)) Sid a

derivePersistField "allowedSid"
deriveJSON defaultOptions ''allowedSid

Answer 1

我会在普通的 Haskell 中执行此操作：使用一些智能构造函数创建一个新类型包装器。这看起来像：

newtype Sid = Sid Text

mkSid :: Text -> Maybe Sid
mkSid t = if t `elem` reserved then Nothing else Just t

将此代码放在模块中，不要导出Sid数据构造函数。