Aeson이 포함 된 중첩 JSON의 구문 분석 배열

Question

Aeson의 FromJSON 함수를 작성하려고합니다.

json으로 :

{ 
    "total": 1, 
    "movies": [ 
    { 
     "id": "771315522", 
     "title": "Harry Potter and the Philosophers Stone (Wizard's Collection)", 
     "posters": { 
     "thumbnail": "http://content7.flixster.com/movie/11/16/66/11166609_mob.jpg", 
     "profile": "http://content7.flixster.com/movie/11/16/66/11166609_pro.jpg", 
     "detailed": "http://content7.flixster.com/movie/11/16/66/11166609_det.jpg", 
     "original": "http://content7.flixster.com/movie/11/16/66/11166609_ori.jpg" 
     } 
    } 
    ] 
} 

ADT : data Movie = Movie {id::String, title::String}이

내 시도가 :

instance FromJSON Movie where 
    parseJSON (Object o) = do 
     movies <- parseJSON =<< (o .: "movies") :: Parser Array 
     v <- head $ decode movies 
     return $ Movie <$> 
      (v .: "movies" >>= (.: "id")) <*> 
      (v .: "movies" >>= (.: "title")) 
    parseJSON _ = mzero 

이 Couldn't match expected type 'Parser t0' with actual type 'Maybe a0' In the first argument of 'head'을 제공합니다.

알다시피, 나는 Array에서 첫 번째 영화를 고르려고 노력하고 있지만, 영화의 목록을 얻는 것도 괜찮습니다.

Answer 1

, 당신은 다음과 같이 수행 할 수 있습니다

instance FromJSON Movie where 
    parseJSON (Object o) = do 
     movieValue <- head <$> o .: "movies" 
     Movie <$> movieValue .: "id" <*> movieValue .: "title" 
    parseJSON _ = mzero 

을하지만 안전한 경로는 newtype 래퍼를 통해 [Movie]을 구문 분석하는 것 :

main = print $ movieList <$> decode "{\"total\":1,\"movies\":[ {\"id\":\"771315522\",\"title\":\"Harry Potter and the Philosophers Stone (Wizard's Collection)\",\"posters\":{\"thumbnail\":\"http://content7.flixster.com/movie/11/16/66/11166609_mob.jpg\",\"profile\":\"http://content7.flixster.com/movie/11/16/66/11166609_pro.jpg\",\"detailed\":\"http://content7.flixster.com/movie/11/16/66/11166609_det.jpg\",\"original\":\"http://content7.flixster.com/movie/11/16/66/11166609_ori.jpg\"}}]}" 

newtype MovieList = MovieList {movieList :: [Movie]} 

instance FromJSON MovieList where 
    parseJSON (Object o) = MovieList <$> o .: "movies" 
    parseJSON _ = mzero 

data Movie = Movie {id :: String, title :: String} 

instance FromJSON Movie where 
    parseJSON (Object o) = Movie <$> o .: "id" <*> o .: "title" 
    parseJSON _ = mzero 

Answer 2

일반적으로 ADT 및 인스턴스의 구조를 JSON의 구조와 일치시키는 것이 가장 쉽습니다.

여기서 가장 새로운 객체를 처리하기 위해 MovieList이라는 새로운 유형을 추가하여 Movie의 인스턴스는 하나의 동영상 만 처리해야합니다. 또한 목록의 FromJSON 인스턴스를 통해 여러 영화를 무료로 제공합니다. 당신이 정말로 영화의 JSON 배열에서 단일 Movie을 구문 분석하려면

data Movie = Movie { id :: String, title :: String } 

newtype MovieList = MovieList [Movie] 

instance FromJSON MovieList where 
    parseJSON (Object o) = 
    MovieList <$> (o .: "movies") 
    parseJSON _ = mzero 

instance FromJSON Movie where 
    parseJSON (Object o) = 
    Movie <$> (o .: "id") 
      <*> (o .: "title") 
    parseJSON _ = mzero