如何为自定义新类型派生 PersistField？

Question

这是一个特定于 Yesod 的问题，但即使您不知道 Yesod 也可以帮助我，它与新类型有关。

假设我的配置/模型中有以下简化模型

Value
  userId       UserId
  weight       Weight
  deriving (Show)

我将在我的 web 应用程序中同时使用公斤和磅，但我决定数据库应该以公斤为单位存储东西。为了让类型系统避免混淆这两者，我定义了以下内容：

newtype Weight = Kilograms Int
  deriving (Read, Show, Eq, PersistField, PersistFieldSql)

编译得很好，但是如何从表单中使用它？

logForm :: UserId -> Form Value
logForm uid = renderDivs $ Value <$>
    pure uid <*>
    areq intField "Weight" Nothing

我得到了错误

No instance for (Integral ModelTypes.Weight)
  arising from a use of `intField'

我尝试派生Integral，但它抱怨我没有Real Weight。不断地，我最终得到：

newtype Weight = Grams Int
   deriving (Read, Show, Eq, Enum, Ord, Num, Integral, Real, PersistField, PersistFieldSql)

这是正确的方法吗？好像有很多重复。有什么更好的方法？

一般来说，如果我在 Haskell 中有一个

newtype N = T a

对于具体类型a，我如何让N 重新派生a 的所有实例，并让N 派生一些其他类型类（在我的示例中为PersistField 和PersistFieldSql)。非常感谢。

Answer 1

PersistField 与字段不同。您想通过导入 Yesod.Forms 来创建自定义字段。这是一个示例，用于 MathJax 类型 ;)

newtype MathJax = MathJax { unMathJax :: Markdown }
  deriving (Eq, Ord, Show, Read, PersistField, PersistFieldSql, IsString, Monoid)

unMM :: MathJax -> Text
unMM = unMarkdown . unMathJax

mathJaxField :: (Monad m,  RenderMessage (HandlerSite m) FormMessage) => Field m MathJax
mathJaxField = Field
    { fieldParse = parseHelper $ Right . MathJax . Markdown . Text.filter (/= '\r')
    , fieldView  = \theId name attrs val _isReq -> toWidget
      [hamlet|$newline never
        <textarea id="#{theId}" name="#{name}" *{attrs}>#{either id unMM val}
      |]
    , fieldEnctype = UrlEncoded
    }