Как правильно обьявить типы при парсинге json?

Question

[mirexdoors]

Здравствуйте, я новичок в хаскеле! Задача в следующем: я получаю список из json следующим образом.

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE DeriveGeneric #-}
import Data.Aeson
import qualified Data.ByteString.Lazy as B
import GHC.Generics

data DayHealthItem = DayHealthItem { summary_date :: String,
                                     period_id :: Int,
                                     is_longest :: Int,
                                     timezone :: Int
                                  } deriving (Generic, Show)

instance FromJSON DayHealthItem

main = do
  input <- B.readFile "mock/data.json"
  let maybeDecodedJSON = decode input :: Maybe [DayHealthItem]
  case maybeDecodedJSON of
    Nothing -> error "error parsing JSON"
    Just decodedJSON -> (putStrLn.show) decodedJSON

Вопрос в том, как мне правильно обьявить типы, чтобы потом с этими данными управляться, То есть, применять к ним все функции списков, потому что если я в последней строке делаю что-то типа:

...
    Just decodedJSON -> (putStrLn.head) decodedJSON

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

Couldn't match type ‘DayHealthItem’ with ‘[Char]’
      Expected type: [String]
        Actual type: [DayHealthItem]

Comments

[Василий Дёмин]

Вы итак можете применять функции для списков. У вас ошибка в том, что вы пытаетесь вывести не String, а DayHealthItem. Используйте print вместо putStrLn

[wiz]

> (putStrLn.show) decodedJSON

скрепыш.гиф: Возможно вы имели в виду putStrLn (show decodedJSON)?

[mirexdoors]

wiz, это же композиция, какая разница?)

[mirexdoors]

Василий Дёмин, благодарю! А не подскажете ли вы еще, есть ли какой-то удобный способ обращаться к полям вложенных в список элементов? Например, написать функцию, которая выбирает из всех элементов значение поля timezone? Или придётся просто разбирать как строку?

[Василий Дёмин]

mirexdoors, map timezone decodedJSON

[wiz]

mirexdoors, разница такая, что без пробела вокруг операторов код будет ломаться от новых расширений для рекордов. Ещё разница такая, что вы композите эффект с чистой функцией вместо более банального применения чистой чистой функции к аргументу, с передачей результата процедуре.