{-# language DataKinds           #-}
{-# language DeriveAnyClass      #-}
{-# language DeriveGeneric       #-}
{-# language DerivingStrategies  #-}
{-# language OverloadedStrings   #-}
{-# language ScopedTypeVariables #-}
{-# language TypeApplications    #-}
{-# language TypeFamilies        #-}
module Main where

import qualified Data.ByteString      as BS
import qualified Data.ByteString.Lazy as LBS
import qualified Data.Map             as M
import qualified Data.Text            as T
import           GHC.Generics
import qualified Proto3.Wire.Decode   as PBDec
import qualified Proto3.Wire.Encode   as PBEnc
import           System.Environment

import           Mu.Adapter.ProtoBuf
import           Mu.Schema
import           Mu.Schema.Examples

data MPerson
  = MPerson { firstName     :: T.Text
            , lastName      :: T.Text
            , age           :: Maybe Int
            , gender        :: Gender
            , address       :: MAddress
            , lucky_numbers :: [Int]
            , things        :: M.Map T.Text Int }
  deriving (Eq, Show, Generic)
  deriving (ToSchema ExampleSchema "person")
  deriving (FromSchema ExampleSchema "person")

data MAddress
  = MAddress { postcode :: T.Text
             , country  :: T.Text }
  deriving (Eq, Show, Generic)
  deriving (ToSchema ExampleSchema "address")
  deriving (FromSchema ExampleSchema "address")

type instance AnnotatedSchema ProtoBufAnnotation ExampleSchema
  = '[ 'AnnField "gender" "male"   ('ProtoBufId 1 '[])
     , 'AnnField "gender" "female" ('ProtoBufId 2 '[])
     , 'AnnField "gender" "nb"     ('ProtoBufId 3 '[])
     , 'AnnField "gender" "gender0" ('ProtoBufId 4 '[])
     , 'AnnField "gender" "gender1" ('ProtoBufId 5 '[])
     , 'AnnField "gender" "gender2" ('ProtoBufId 6 '[])
     , 'AnnField "gender" "gender3" ('ProtoBufId 7 '[])
     , 'AnnField "gender" "gender4" ('ProtoBufId 8 '[])
     , 'AnnField "gender" "gender5" ('ProtoBufId 9 '[])
     , 'AnnField "gender" "gender6" ('ProtoBufId 10 '[])
     , 'AnnField "gender" "gender7" ('ProtoBufId 11 '[])
     , 'AnnField "gender" "gender8" ('ProtoBufId 12 '[])
     , 'AnnField "gender" "gender9" ('ProtoBufId 13 '[])
     , 'AnnField "gender" "unspecified" ('ProtoBufId 0 '[])
     , 'AnnField "address" "postcode" ('ProtoBufId 1 '[])
     , 'AnnField "address" "country"  ('ProtoBufId 2 '[])
     , 'AnnField "person" "firstName" ('ProtoBufId 1 '[])
     , 'AnnField "person" "lastName"  ('ProtoBufId 2 '[])
     , 'AnnField "person" "age"       ('ProtoBufId 3 '[])
     , 'AnnField "person" "gender"    ('ProtoBufId 4 '[])
     , 'AnnField "person" "address"   ('ProtoBufId 5 '[])
     , 'AnnField "person" "lucky_numbers" ('ProtoBufId 6 '[ '("packed", 'ProtoBufOptionConstantBool 'True) ])
     , 'AnnField "person" "things"    ('ProtoBufId 7 '[]) ]

exampleAddress :: MAddress
exampleAddress = MAddress "1111BB" "Spain"

examplePerson1, examplePerson2 :: MPerson
examplePerson1 = MPerson "Haskellio" "Gómez"
                         (Just 30) Male
                         exampleAddress [1,2,3]
                         (M.fromList [("pepe", 1), ("juan", 2)])
examplePerson2 = MPerson "Cuarenta" "Siete"
                         Nothing Unspecified
                         exampleAddress [] M.empty

main :: IO ()
main = do -- Obtain the filenames
  [genFile, conFile] <- getArgs
  -- Read the file produced by Python
  putStrLn "haskell/consume"
  cbs <- BS.readFile conFile
  let Right people = PBDec.parse (fromProtoViaSchema @_ @_ @ExampleSchema) cbs
  print (people :: MPerson)
  -- Encode a couple of values
  putStrLn "haskell/generate"
  print examplePerson1
  let gbs = PBEnc.toLazyByteString (toProtoViaSchema @_ @_ @ExampleSchema examplePerson1)
  LBS.writeFile genFile gbs