如何在 ScottyM 中運行 IO

Question

我正在使用Scotty編寫一個小的 web 應用程序。 我需要在ScottyM類型中運行IO 。

有幾個困難：

首先，我不能自動從MonadIO派生類型同義詞以運行liftIO ：

type ScottyM = ScottyT Text IO 

其次，我不知道如何從 MonadIO 派生MonadIO ：

newtype ScottyT e m a

Constructors
ScottyT  

    runS :: State (ScottyState e m) a 

我有哪些選擇？

謝謝

Answer 1

您是否有必要在ScottyM而不是在開始之前運行您的scotty ？

{-# LANGUAGE OverloadedStrings #-}

import Web.Scotty

import Data.Monoid (mconcat)

main = do
    print "Hello world!" -- Or your IO action of choice
    scotty 3000 $
        get "/:word" $ do
            beam <- param "word"
        html $ mconcat ["<h1>Scotty, ", beam, " me up!</h1>"]

另一種選擇是濫用notFound和next在 ActionM 中運行ActionM ，這更直接：

{-# LANGUAGE OverloadedStrings #-}

import Web.Scotty

import Control.Monad.Trans.Class (lift)
import Data.Monoid (mconcat)

main = scotty 3000 $ do
    notFound $ do
        lift $ print "Hello world!" -- Or some other IO action
        next
    get "/:word" $ do
        beam <- param "word"
        html $ mconcat ["<h1>Scotty, ", beam, " me up!</h1>"]