Web.Scotty 내에서 StateT 사용

Question

데이터를 저장하는 어리석은 웹 서버를 State으로 만들려고합니다. Web.Scotty을 사용하고 있습니다. I've used ReaderT before with scotty to access config이지만 동일한 접근법을 따르는 것은 여기서 작동하지 않습니다. 요청이있을 때마다 상태를 재설정합니다.

프로그램이 시작될 때 초기 상태를 설정하고 프로그램의 전체 수명 동안 동일한 상태를 유지하려고합니다.

어떻게하면됩니까? 참고 documentation for scottyT에서 세 번째 인수의 말 :

{-# LANGUAGE OverloadedStrings #-} 
import Web.Scotty.Trans 
import Control.Monad.State (StateT, evalStateT, lift) 
import qualified Control.Monad.State as S 
import Data.Text.Lazy (Text) 

main :: IO() 
main = do 
    let runner = flip evalStateT "message" 
    scottyT 3000 runner runner routes 

routes :: ScottyT Text (StateT Text IO)() 
routes = do 

    get "/data" $ do 
    val <- lift S.get 
    text val 

    put "/data/:val" $ do 
    val <- param "val" 
    lift $ S.put val 
    text val 

Answer 1

당신이보고있는 행동을 예상 하나를 확실히 (다음은 새로운 상태마다 요청을 만듭니다)

-> (m Response -> IO Response)을 - 실행을 모나드 m을 각 동작마다 호출되는 IO으로 호출합니다.

당신이 할 수있는 일은 StateT 모나드의 외부에 상태를 저장하여 모든 동작의 처리기에서 복원 할 수 있도록하는 것입니다. 내가 생각할 수있는 가장 순진 방법은 즉,이 같은 것 할 :

main :: IO() 
main = do 
    let s0 = "message" 
    let transform = flip evalStateT s0 
    runner <- restartableStateT s0 
    scottyT 3000 transform runner routes 

restartableStateT :: s -> IO (StateT s IO a -> IO a) 
restartableStateT s0 = do 
    r <- newIORef s0 
    return $ \act -> do 
     s <- readIORef r 
     (x, s') <- runStateT act s 
     atomicModifyIORef' r $ const (s', x) 

하지만 정말 두 개의 요청이 동시에 들어오는 경우 어떻게해야하는지 언급하지 않는, 그것은 승리를 완료 그냥 "마지막 하나 ".