module Network.API.Telegram.Bot.Object.Update.Message.Content.File (File (..), module Exports) where

import Network.API.Telegram.Bot.Object.Update.Message.Content.File.Audio as Exports
import Network.API.Telegram.Bot.Object.Update.Message.Content.File.Document as Exports
import Network.API.Telegram.Bot.Object.Update.Message.Content.File.Size as Exports
import Network.API.Telegram.Bot.Object.Update.Message.Content.File.Video as Exports
import Network.API.Telegram.Bot.Object.Update.Message.Content.File.Voice as Exports

import "aeson" Data.Aeson (FromJSON (parseJSON), withObject, (.:))
import "aeson" Data.Aeson.Types (Object, Parser, Value)
import "base" Control.Applicative ((<*>), (<|>))
import "base" Control.Monad ((>>=))
import "base" Data.Function (($))
import "base" Data.Functor ((<$>))
import "base" Data.String (String)
import "base" Text.Show (Show)
import "text" Data.Text (Text)

data File
        = Audiofile Text Audio
        | Videofile Text Video
        | General Text Document
        | Voicerecord Text Voice
        | Photo [Size]
        deriving Show

instance FromJSON File where
        parseJSON = withObject "Message" $ \v ->
                photo v <|> document v <|> audio v <|> video v <|> voice v where

                photo :: Object -> Parser File
                photo v = Photo <$> v .: "photo"

                audio :: Object -> Parser File
                audio v = Audiofile <$> (v .: "audio" >>= file_id "Audio") <*> v .: "audio"

                document :: Object -> Parser File
                document v = General <$> (v .: "document" >>= file_id "Document") <*> v .: "document"

                video :: Object -> Parser File
                video v = Videofile <$> (v .: "video" >>= file_id "Video") <*> v .: "video"

                voice :: Object -> Parser File
                voice v = Voicerecord <$> (v .: "voice" >>= file_id "Voice") <*> v .: "voice"

                file_id :: String -> Value -> Parser Text
                file_id otype = withObject otype $ \f -> f .: "file_id"