如何在 Spock 请求处理程序中使用“IO 字符串”

Question

我有以下函数，可以生成一个 1024 倍的随机字符串：

import System.Random
rchars :: Int -> [IO Char]
rchars n = map (_ -> randomRIO ('a', 'z')) [n | n <- [0..n]] -- a wasteful "iteration"-like func
rstr :: Int -> IO String
rstr n = sequence $ rchars (1024 * n)

我想使用 Spock 将其公开给网络，例如：

import Data.Monoid
import Data.Text
import Lib
import Web.Spock.Safe
main :: IO ()
main =
    runSpock 8080 $ spockT id $
    do get root $
           redirect "/data/1"
       get ("data" <//> var) $ n ->
          do
           str <- rstr n
           text ("boo:" <> str <> "!")

但这是不正确的，因为最里面的do块产生一个IO b0，而不是来自 Spock 的预期类型：

Couldn't match type ‘ActionT IO ()’ with ‘IO b0’
Expected type: Int -> IO b0
  Actual type: hvect-0.2.0.0:Data.HVect.HVectElim
                 '[Int] (ActionT IO ())
The lambda expression ‘ n -> ...’ has one argument,
but its type ‘hvect-0.2.0.0:Data.HVect.HVectElim
                '[Int] (ActionT IO ())’
has none
In the second argument of ‘($)’, namely
  ‘ n
     -> do { str <- rstr n;
             text ("boo:" <> str <> "!") }’
In a stmt of a 'do' block:
  get ("data" <//> var)
  $  n
      -> do { str <- rstr n;
              text ("boo:" <> str <> "!") }

如何在 Spock get 请求处理程序中使用我的 IO 驱动的随机字符串函数？

Answer 1

ActionT 类型是 MonadIO typeclass 的实例。这意味着您可以使用liftIO在此 monad 中执行 IO 操作。在您的情况下，您似乎需要liftIO $ rstr n而不是普通的rstr n。

这说明了我所指的：

import Control.Monad.IO.Class
...
main :: IO ()
main =
    runSpock 8080 $ spockT id $
    do get root $
           redirect "/data/1"
       get ("data" <//> var) $ n ->
          do
           str <- liftIO $ rstr n
           text $ pack str