Snap，如何在SnapletISplice中提升IO monade

Question

我有一個IO Bool函數，它給我一些狀態信息。 我想寫“OK”或“KO”，具體取決於此函數返回的值到.tpl文件的拼接中。

所以我很高興能夠在SnapletISplice中提升IO monads，這樣我就可以將statusSplice :: SnapletISplice App與（“splicename”，statusSplice）綁定，並計算IO monad里面的值。

我很確定SnapletISplice“是”IO monad，並且應該存在這樣的提升功能。 但我無法弄清楚它是什么。

Nb：我正在使用按扣0.11。 所以刪除了一些函數（如liftHandle）。

簡而言之，使用代碼，我想做什么：

app = ...
  addSplices splices
  ...

splices = [("spliceName", statusSplice)]

statusSplice :: SnapletISplice App
statusSplice = do
  st <- lift $ computeStatus
  if st then textSplice "ok" else textSplice "ko"

Answer 1

SnapletISplice一個別名HeistT 。

HeistT實現了MonadIO

所以如果導入的話， liftIO應該可以工作