haskell - 为什么 Yesod 需要 PathPiece 用于隐藏字段

Question

在 Yesod 中创建隐藏字段的类型签名是：hiddenField :: (Monad m, PathPiece p, RenderMessage (HandlerSite m) FormMessage) => Field m p. 这是唯一需要PathPiece约束的字段，为什么呢？

Answer 1

hiddenField是一个非常自由形式的字段，不像 egtextField专门适用于Text. hiddenField将适用于可以编组到文本表示和从文本表示中编组的任何类型，这是PathPiece约束发挥作用的地方。