将 Either 回复 [Maybe ByteString] 处理成 [Maybe Text]

Question

以下代码使用 Hedis 运行 mget 命令，并将结果作为 [Maybe BS.ByteString] 返回：

-- | Text to ByteString
tbs :: Text -> BS.ByteString
tbs = BS.pack . T.unpack


-- | ByteString to Text
bst :: BS.ByteString -> Text
bst = T.pack . BS.unpack


mgetRedis :: Redis.Connection -> [Text] -> IO [Maybe BS.ByteString]
mgetRedis connection keys =
    runRedis connection action
    where
        action = do

            result <- Redis.mget $ tbs <$> keys
            -- `result` is of type `Either Reply [Maybe BS.ByteString]`

            case result of
                Right values -> pure values
                _            -> pure []

首先，我发现这段代码很乱，想知道有没有办法让它更干净。

其次，我希望 mgetRedis 使用上面编写的 bst 帮助器返回 [Maybe Text]。我不能做pure $ bst <$> values，因为这里有两个解包级别：首先是Maybe，然后是List。有没有什么方法可以让这个函数返回所需的类型而不会淹没在嵌套的case 语句的海洋中？

Answer 1

您要问的本质上是如何fmap 任意深入一堆函子。这可以通过撰写fmaps 轻松完成：

mgetRedis :: Redis.Connection -> [Text] -> IO [Maybe Text]
mgetRedis connection keys =
    runRedis connection action
    where
        action = do

            result <- Redis.mget $ tbs <$> keys
            -- `result` is of type `Either Reply [Maybe BS.ByteString]`

            case result of
                Right values -> pure $ fmap T.decodeUtf8 <$> values
                      -- equivalent to (fmap . fmap) T.decodeUtf8 $ values
                _            -> pure []

fmap . fmap 模式重复，即您可以使用fmap . fmap . fmap 映射三个深度级别。但到那时，最好将整个堆栈视为单个函子，这可以通过 monad 转换器 来完成。