如何在 Spock 请求处理程序中使用“IO 字符串”?
How can I use an `IO String` inside a Spock request handler?
我有以下函数可以生成 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
驱动的随机字符串函数?
ActionT
类型是 MonadIO
类型类的实例。这意味着您可以使用 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
我有以下函数可以生成 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
驱动的随机字符串函数?
ActionT
类型是 MonadIO
类型类的实例。这意味着您可以使用 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