问从runRedis conn $ Get "hello“获取字符串- Haskell

EN

当您不确定Haskell的工作原理时，最好的起点是找到它们的文档(海迪斯来了)。您应该查看所需的构建块(即函数)及其定义。不管怎么说关于你的问题。

看起来您最终需要的是总是返回一个ByteString的东西，所以让我们从原来的位置前进。

基本上，您正在使用以下函数：runRedis和get。签名情况如下：

runRedis :: Connection -> Redis a -> IO a

get :: RedisCtx m f => ByteString -> m (f (Maybe ByteString))

一开始看上去有点混乱。我知道runRedis要求我给它一个Redis-based例程，而get需要某种RedisCtx (我到底能从哪里得到它呢？)那么，如果您遍历兔子洞并查看Redis a的定义，您将看到is已经支持一个RedisCtx：

RedisCtx Redis (Either Reply)

您应该注意到的第一件事是，Redis monad已经为您绑定了m和f of RedisCtx。特别是，它将m绑定到Redis，将f绑定到Either Reply。您还应该注意到，Either仅被部分应用，这为您提供了在成功的情况下指定返回类型的灵活性(即Right)。

这使得我们的生活变得更容易(您知道，选择的悖论)，因为我们已经为我们的许多参数设置了严格的类型。现在我们为什么要做这个练习？有了这种理解，我们现在就可以看到如何使用get方法了！

由于我们在Redis monad中应用get，我们理解它有一个绑定的RedisCtx，并且我们知道这些m和f值是什么。因此，我们在当前用例中为get提供了一种严格的类型：

get :: RedisCtx Redis (Either Reply) => ByteString => Redis (Either Reply (Maybe ByteString))

嗯，这看起来不那么模棱两可，但可能并不完全是对用户友好的。省略Redis monad (因为我们将在其中操作输出)，您现在可以考虑如何简单地处理：

Either Reply (Maybe ByteString)

现在，这看起来不那么可怕了，因为您在Haskell中学到的一些最开始的事情是如何操作Either和Maybe类型。假设我们想省略Either的失败案例( read :您应该读取文档并查看如何处理Reply的情况)，我们的处理代码突然看起来很简单：

value <- get "..."
case value of
  Left _ -> return "Some error occurred"
  Right v -> return $ fromMaybe "Could not find key in store" v

tl；博士--你可能在寻找这样的东西：

{-# LANGUAGE OverloadedStrings #-}
module Main(main) where

import Data.ByteString
import Data.Maybe
import Database.Redis

onlyStringResult :: ByteString -> Redis ByteString
onlyStringResult key = do
  value <- get key
  case value of
    Left _ -> return "Some error occurred"
    Right v -> return $ fromMaybe "Could not find key in store" v

main :: IO ()
main = do
  conn <- connect defaultConnectInfo
  result <- runRedis conn (onlyStringResult "hello")
  print result