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

Question

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

Answer 1

hiddenField是一个非常自由的字段，与textField具体适用于Text。 hiddenField将适用于任何可以与文本表示进行编组的类型，这是PathPiece约束发挥作用的地方。