2018-11-17 19:11:36 +01:00
|
|
|
{-# LANGUAGE DeriveGeneric #-}
|
|
|
|
{-# LANGUAGE OverloadedLists #-}
|
|
|
|
module Character (
|
|
|
|
Character(..)
|
|
|
|
, Key
|
|
|
|
, dex
|
|
|
|
) where
|
|
|
|
|
|
|
|
import Data.Aeson (ToJSON(..), FromJSON(..), genericToEncoding, genericParseJSON, defaultOptions)
|
|
|
|
import Data.Vector (Vector)
|
|
|
|
import GHC.Generics (Generic)
|
2018-12-08 18:15:12 +01:00
|
|
|
import Gender (Gender(..))
|
2018-12-17 12:40:46 +01:00
|
|
|
import Pokemon (Pokemon)
|
2018-12-15 07:53:03 +01:00
|
|
|
import Tool.Array (Array)
|
2018-11-17 19:11:36 +01:00
|
|
|
|
|
|
|
data Character = Character {
|
|
|
|
name :: String
|
|
|
|
, skin :: FilePath
|
2018-12-08 18:15:12 +01:00
|
|
|
, gender :: Gender
|
2018-12-17 12:40:46 +01:00
|
|
|
, pokemons :: Array Pokemon
|
2018-11-17 19:11:36 +01:00
|
|
|
} deriving (Generic)
|
|
|
|
|
|
|
|
instance ToJSON Character where
|
|
|
|
toEncoding = genericToEncoding defaultOptions
|
|
|
|
instance FromJSON Character where
|
|
|
|
parseJSON = genericParseJSON defaultOptions
|
|
|
|
|
|
|
|
newtype Key = Key Int deriving (Generic)
|
|
|
|
|
|
|
|
instance ToJSON Key where
|
|
|
|
toEncoding = genericToEncoding defaultOptions
|
|
|
|
instance FromJSON Key where
|
|
|
|
parseJSON = genericParseJSON defaultOptions
|
|
|
|
|
|
|
|
dex :: Vector Character
|
|
|
|
dex = []
|