使用snaplet-session键入错误

Question

应用类型

data App = App
    { _heist       :: Snaplet (Heist App)
    , _session     :: Snaplet SessionManager
    }

初始化器

...
addRoutes [ ("/ss", companyHandler)
          , ("", heistServe)
          ]
...

处理程序

companyHandler :: Handler b v ()
companyHandler = method GET getter <|> method POST setter
  where
    getter = do
        value <- getFromSession "name"
        writeText $ fromMaybe "nothing" value
    setter = do
        mname <- getParam "name"
        setInSession "name" (convert mname)
        getter
    convert = T.pack . B.unpack . (fromMaybe "nothing")

heistServe类型为Handler b (Heist b) ()

类型错误：

src/Tutorial.hs:50:52:
    Couldn't match type `v' with `SessionManager'
      `v' is a rigid type variable bound by
          the type signature for companyHandler :: Handler b v ()
          at src/Tutorial.hs:50:1
    Expected type: Handler b v ()
       Actual type: Handler b SessionManager ()
    In the second argument of `method', namely `setter'
    In the second argument of `(<|>)', namely `method POST setter'

Answer 1

您必须先将SessionManager绑定到处理程序的上下文，然后才能使用对其进行操作的函数。 这完成了：

withTop session $ setInSession "name" (convert mname)
-- Where session is the generated lens for your snaplet

如果您还想在之后提交会话（因为您更改了会话而不是只读取变量），则需要：

withSession . withTop session $ ...

如果将以下代码添加到主应用程序的snaplet初始化代码中，则根本不必担心提交会话，因为它是自动完成的：

wrapHandlers withSession

Answer 2

解决问题的一种方法是使用以下行：

companyHandler = with session $ method GET getter <|> method POST setter

我觉得有用的另一件事是将类型签名专门化到我的应用程序。 在这种情况下，新的类型签名将是：

companyHandler :: Handler App App ()

在大多数情况下，您不会编写可在多个应用程序之间重用的通用代码，因此此处的少量通用性并不会伤害您。 通常，拥有更具体的类型签名会使错误消息更容易被破译，这对于代码编译很有帮助。 即使我正在编写应该在所有应用程序/快照中都是通用的代码，有时我仍然觉得从更具体的类型开始然后在我使其工作之后进行概括是有帮助的。

dflemstr关于withSession的说法是正确的。 我通常更倾向于对所有内容执行withSession而不是将其置于setInSession的调用上，但是您应该做适合您的应用程序的任何事情。