Как я могу использовать `IO String` внутри обработчика запросов Spock?

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)

Я хочу показать это в Интернете с помощью Спока, например:

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не ожидаемый тип от Спока:

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 <> "!") }

Как я могу использовать мой IOслучайная строковая функция внутри обработчика запроса Spock?

Answer 1

ActionT тип является экземпляром MonadIO класс типов. Это означает, что вы можете использовать liftIO выполнять операции ввода-вывода внутри этой монады. В вашем случае вам, кажется, нужно 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