為Either和Maybe單子符號

Question

有一種方法：

import Control.Applicative ((<$>))
import Network.HTTP.Types

getJSON :: String -> IO (Either String Value)
getJSON url = eitherDecode <$> simpleHttp url

而不是這樣：

method1 :: String -> IO Object
method1 url = do
                maybeJson <- getJSON url
                case maybeJson of
                   jsonValue -> 
                    case jsonValue of
                      Object jsonObject -> return jsonObject
                      _ -> error "error123"
                  Left errorMsg -> error $ "error456"

我可以做這個：

method1 :: String -> IO Object
method1 url = do
                Right jsonValue <- getJSON url
                case jsonValue of
                  Object jsonObject -> return jsonObject
                  _ -> error "error123"

有沒有辦法在不使用像lens這樣的庫的情況下進一步簡化它？

Answer 1

如果您不關心特定的錯誤消息，則可以進一步合並模式：

method1 url = do
                Right (Object jsonObject) <- getJSON url
                return jsonObject