Haskell эсон: Как получить значение из Parser в IO монаде

Question

Я пытаюсь сделать JSON синтаксический в IO:

{-# LANGUAGE OverloadedStrings #-} 
import Network.HTTP.Simple 
import Data.Aeson 
import Data.Maybe (fromJust) 

main :: IO() 
main = do 
    response <- getResponseBody <$> httpJSON "http://localhost:9200" :: IO Object 
    name <- fromJust <$> response .: "name" :: Parser String 
    print "hi" 

Я получаю ошибку:

/home/nut/dev/haskell/elastic/app/Main.hs:39:11: error: 
    • Couldn't match type ‘Parser’ with ‘IO’ 
     Expected type: IO String 
     Actual type: Parser String 
    • In a stmt of a 'do' block: 

Так как я получить name из результата json?

Answer 1

эсон имеет кучу функций, чтобы перейти от Parser a к a:

parse  :: (a -> Parser b) -> a -> Result b 
parseEither :: (a -> Parser b) -> a -> Either String b 
parseMaybe :: (a -> Parser b) -> a -> Maybe b 

так что если у вас есть, например,

(.: "name") :: Object -> Parser String 

то есть

parseMaybe (.: "name") :: Object -> Maybe String 

так что вы можете сделать

{-# LANGUAGE OverloadedStrings #-} 
import Network.HTTP.Simple 
import Data.Aeson 
import Data.Maybe (fromJust) 
import Data.Aeson.Types -- new import for parseMaybe 

main :: IO() 
main = do 
    response <- getResponseBody <$> httpJSON "http://localhost:9200" 
    let name = fromJust $ parseMaybe (.: "name") response :: String 
    print "hi"