Question

说我有一个功能：

get :: String -> Maybe [(C8.ByteString, Maybe C8.ByteString)] -> IO (Response LC8.ByteString)
get url qParams' = do
  request <- parseUrl url

  --todo simplify
  let qParams = case qParams' of
                  Just p -> p
                  Nothing -> [] 

  res <- withManager $ httpLbs $ configRequest request qParams
  return res

我相信有一种方法可以简化let qParams = ...表达式。但我不知道。我可以用 Just qParams <- qParams'如果它是可能monad，但它是IO monad所以我不能使用它。

你的想法？

Answer 1

使用maybe功能：

let qParams = maybe [] id qParams'

或者@MichaelSnoyman建议你可以使用fromMaybe：

let qParams = fromMaybe [] qParams'

Answer 2

您还可以使用fold中的Data.Foldable：

let qParams = fold qParams'

在IO块中简化可能monad

2 个答案: