Kết hợp hai monads khi không có biến áp?

Question

Tôi đang chơi xung quanh bằng cách viết một ứng dụng web. Trong trường hợp này, tôi đang sử dụng scotty và redis, nhưng sự cố này xuất hiện trong bất kỳ kết hợp web/db nào. Tôi đã sử dụng hạnh phúc trước đó, vì vậy tôi cũng thích một ví dụ ở đó.

Scotty có bạn xác định các tuyến đường trong một đơn nguyên lồng nhau, mà làm cho nó dễ dàng để truy cập kết nối cơ sở dữ liệu trong vòng một lộ trình:

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

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

Các làm chặn trong get có kiểu: Web.Scotty.ActionM(). Tất cả các lệnh redis có loại Database.Redis.Redis a. Không redis hoặc scotty có một biến áp monad.

Cách tốt nhất để kết hợp những thứ này là gì? Tôi mới quen với haskell, nhưng tôi đã cố gắng để có được ReaderT làm việc với các trang web monad trong happstack.

Lý tưởng nhất, tôi bằng cách nào đó có thể tạo một chồng đơn nguyên mới hỗ trợ cả hai keys và html trong cùng một khối.

Answer 1

Vì một lý do nào đó, tôi cảm thấy như liftIO là xấu xí, nhưng nó thực sự không tệ. Đặc biệt nếu bạn làm điều này:

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

Và định nghĩa một hàm áp dụng một phần redis = queryRedis db. Cảm ơn tất cả mọi người