Haskell入門P368 ルーティング、本体

HaskellでSpockを使ったルーティングは、慣れるまで大変そうですが、無駄のない構成という感じがします。

-- src/Web/WeightRecorder.hsに追記。 authHook :: WRAction WRContext authHook = do ctx <- getContext mUser <- fmap wrsesUser readSession case mUser of Nothing -> startView Nothing Just user -> return $ ctx { wrconUser = Just user } -- src/Web/WeightRecorder.hsに追記。 -- ルーティング定義。 spockApp :: WRApp () () spockApp = prehook (return emptyContext) $ do prehook authHook $ do get root $ mainView Nothing post "new_record" newRecordAction post "register" registerAction post "login" loginAction -- src/Web/WeightRecorder.hsに追記。 weightRecorderMiddleware :: WRConfig -> IO WAI.Middleware weightRecorderMiddleware cfg = do -- テンプレートの読み込み。 starttpl <- loadStartTemplate cfg maintpl <- loadMainTemplate cfg -- 状態を作成。 let state = WRState { wrstStartTemplate = starttpl , wrstMainTemplate = maintpl } pool <- sqlitePool $ wrcDBPath cfg -- セッションと状態を渡して設定を作成。 spCfg <- defaultSpockCfg emptySession (PCPool pool) state spock spCfg spockApp -- 生成。 -- src/Web/WeightRecorder.hsに追記。 sqlitePool :: FilePath -> IO (Pool Connection) sqlitePool dbpath = createPool (connectSqlite3 dbpath) disconnect 1 60 5 -- src/Web/WeightRecorder.hsに追記。 runWeightRecorder :: WRConfig -> IO () runWeightRecorder cfg = runSpock (wrcPort cfg) (weightRecorderMiddleware cfg)

authHook:ログイン認証

・ctx <- getContextについて：ユーザーからのリクエスト関連情報が、ある時点で箱にはいっていて、そこから、とりだしたのがctxへいく、というイメージ。

・mUser <- fmap wrsesUser readSessionについて：オブジェクトにフィールド名を関数として適用すると、該当フィールドの要素を返す仕組みになっている(P96).

readSession :: WRAction (SessionVal UserSession):現在のリクエストに紐づく セッション情報 を取得する関数 data UserSession = UserSession { wrsesUser :: Maybe User....から、取り出しmUserに

spockApp:ルーティング

・外側のprehookは認証なし、内側はauthHookで認証　うまく階層的に配置してわかりやすい構造

・get,postの別やURLと対応するActionが並べられている。

prehook (return emptyContext) $

 ├─ prehook authHook $ do

 │    ├─ get root

 │    └─ post "new_record"

 ├─ post "register"       ← authHook は適用されない

 └─ post "login"          ← authHook は適用されない

weightRecorderMiddleware:WAI ミドルウェアとして起動するための処理

・runWeightRecorder cfgで定義されているように、runSpockで呼ばれる。

  　　ここで、spock spCfg spockApp にreturnがないが、do内のモナド計算なので不要