2つのモナドのどちらもトランスを持っていない場合、それらを結合しますか？

Question

私はウェブアプリを書くことで遊んでいます。この場合、私はscottyとredisを使用していますが、この問題はどのWeb/dbコンボでも発生します。私はこれの前にハッシュスタックを使用していたので、そこにも例が大好きです。

スコッティは、あなたがルート内のデータベース接続へのアクセスが容易になり、ネストされたモナド、中にルートを定義していますWeb.Scotty.ActionM()：

main = do 
    db <- connect defaultConnectInfo 
    scotty 3000 $ do 

    get "/keys" $ do 
     keys <- liftIO $ runRedis db $ keys "*" 
     html $ T.pack $ show keys 

ザ・がGETでブロックしないタイプがあります。すべてのredisコマンドのタイプはDatabase.Redis.Redis aです。 redisまたはscottyにはモナドトランスがありません。

これらを組み合わせるにはどうすればよいですか？私はhaskellを初めて使っていますが、私はReaderTをhappstackのウェブモナドと連携させることができました。

理想的には、同じdoブロック内にkeysとhtmlの両方をサポートする新しいモナドスタックを作ることができます。

Answer 1

私は何かの理由でリフトIOが醜いと感じましたが、それは本当に悪くありません。

queryRedis :: Connection -> Redis a -> ActionM a 
queryRedis db r = liftIO $ runRedis db r 

を部分的に適用される機能redis = queryRedis dbを定義します。あなたはこれを行う場合は特に。ありがとうすべて