module Rattletrap.Type.Header where
import qualified Rattletrap.ByteGet as ByteGet
import qualified Rattletrap.BytePut as BytePut
import qualified Rattletrap.Schema as Schema
import qualified Rattletrap.Type.Dictionary as Dictionary
import qualified Rattletrap.Type.Property as Property
import qualified Rattletrap.Type.Str as Str
import qualified Rattletrap.Type.U32 as U32
import qualified Rattletrap.Type.Version as Version
import qualified Rattletrap.Utility.Json as Json
data =
{ Header -> Version
version :: Version.Version
, Header -> Str
label :: Str.Str
, Header -> Dictionary Property
properties :: Dictionary.Dictionary Property.Property
}
deriving (Header -> Header -> Bool
(Header -> Header -> Bool)
-> (Header -> Header -> Bool) -> Eq Header
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Header -> Header -> Bool
$c/= :: Header -> Header -> Bool
== :: Header -> Header -> Bool
$c== :: Header -> Header -> Bool
Eq, Int -> Header -> ShowS
[Header] -> ShowS
Header -> String
(Int -> Header -> ShowS)
-> (Header -> String) -> ([Header] -> ShowS) -> Show Header
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Header] -> ShowS
$cshowList :: [Header] -> ShowS
show :: Header -> String
$cshow :: Header -> String
showsPrec :: Int -> Header -> ShowS
$cshowsPrec :: Int -> Header -> ShowS
Show)
instance Json.FromJSON Header where
parseJSON :: Value -> Parser Header
parseJSON = String -> (Object -> Parser Header) -> Value -> Parser Header
forall a. String -> (Object -> Parser a) -> Value -> Parser a
Json.withObject String
"Header" ((Object -> Parser Header) -> Value -> Parser Header)
-> (Object -> Parser Header) -> Value -> Parser Header
forall a b. (a -> b) -> a -> b
$ \Object
object -> do
U32
major <- Object -> String -> Parser U32
forall value. FromJSON value => Object -> String -> Parser value
Json.required Object
object String
"engine_version"
U32
minor <- Object -> String -> Parser U32
forall value. FromJSON value => Object -> String -> Parser value
Json.required Object
object String
"licensee_version"
Maybe U32
patch <- Object -> String -> Parser (Maybe U32)
forall value.
FromJSON value =>
Object -> String -> Parser (Maybe value)
Json.optional Object
object String
"patch_version"
Str
label <- Object -> String -> Parser Str
forall value. FromJSON value => Object -> String -> Parser value
Json.required Object
object String
"label"
Dictionary Property
properties <- Object -> String -> Parser (Dictionary Property)
forall value. FromJSON value => Object -> String -> Parser value
Json.required Object
object String
"properties"
Header -> Parser Header
forall (f :: * -> *) a. Applicative f => a -> f a
pure Header :: Version -> Str -> Dictionary Property -> Header
Header
{ version :: Version
version = Version :: U32 -> U32 -> Maybe U32 -> Version
Version.Version
{ U32
major :: U32
major :: U32
Version.major
, U32
minor :: U32
minor :: U32
Version.minor
, Maybe U32
patch :: Maybe U32
patch :: Maybe U32
Version.patch
}
, Str
label :: Str
label :: Str
label
, Dictionary Property
properties :: Dictionary Property
properties :: Dictionary Property
properties
}
instance Json.ToJSON Header where
toJSON :: Header -> Value
toJSON Header
x = [Pair] -> Value
Json.object
[ String -> U32 -> Pair
forall value pair.
(ToJSON value, KeyValue pair) =>
String -> value -> pair
Json.pair String
"engine_version" (U32 -> Pair) -> (Version -> U32) -> Version -> Pair
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Version -> U32
Version.major (Version -> Pair) -> Version -> Pair
forall a b. (a -> b) -> a -> b
$ Header -> Version
version Header
x
, String -> U32 -> Pair
forall value pair.
(ToJSON value, KeyValue pair) =>
String -> value -> pair
Json.pair String
"licensee_version" (U32 -> Pair) -> (Version -> U32) -> Version -> Pair
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Version -> U32
Version.minor (Version -> Pair) -> Version -> Pair
forall a b. (a -> b) -> a -> b
$ Header -> Version
version Header
x
, String -> Maybe U32 -> Pair
forall value pair.
(ToJSON value, KeyValue pair) =>
String -> value -> pair
Json.pair String
"patch_version" (Maybe U32 -> Pair) -> (Version -> Maybe U32) -> Version -> Pair
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Version -> Maybe U32
Version.patch (Version -> Pair) -> Version -> Pair
forall a b. (a -> b) -> a -> b
$ Header -> Version
version Header
x
, String -> Str -> Pair
forall value pair.
(ToJSON value, KeyValue pair) =>
String -> value -> pair
Json.pair String
"label" (Str -> Pair) -> Str -> Pair
forall a b. (a -> b) -> a -> b
$ Header -> Str
label Header
x
, String -> Dictionary Property -> Pair
forall value pair.
(ToJSON value, KeyValue pair) =>
String -> value -> pair
Json.pair String
"properties" (Dictionary Property -> Pair) -> Dictionary Property -> Pair
forall a b. (a -> b) -> a -> b
$ Header -> Dictionary Property
properties Header
x
]
schema :: Schema.Schema
schema :: Schema
schema = String -> Value -> Schema
Schema.named String
"header" (Value -> Schema) -> Value -> Schema
forall a b. (a -> b) -> a -> b
$ [(Pair, Bool)] -> Value
Schema.object
[ (String -> Value -> Pair
forall value pair.
(ToJSON value, KeyValue pair) =>
String -> value -> pair
Json.pair String
"engine_version" (Value -> Pair) -> Value -> Pair
forall a b. (a -> b) -> a -> b
$ Schema -> Value
Schema.ref Schema
U32.schema, Bool
True)
, (String -> Value -> Pair
forall value pair.
(ToJSON value, KeyValue pair) =>
String -> value -> pair
Json.pair String
"licensee_version" (Value -> Pair) -> Value -> Pair
forall a b. (a -> b) -> a -> b
$ Schema -> Value
Schema.ref Schema
U32.schema, Bool
True)
, (String -> Value -> Pair
forall value pair.
(ToJSON value, KeyValue pair) =>
String -> value -> pair
Json.pair String
"patch_version" (Value -> Pair) -> (Schema -> Value) -> Schema -> Pair
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Schema -> Value
Schema.json (Schema -> Pair) -> Schema -> Pair
forall a b. (a -> b) -> a -> b
$ Schema -> Schema
Schema.maybe Schema
U32.schema, Bool
False)
, (String -> Value -> Pair
forall value pair.
(ToJSON value, KeyValue pair) =>
String -> value -> pair
Json.pair String
"label" (Value -> Pair) -> Value -> Pair
forall a b. (a -> b) -> a -> b
$ Schema -> Value
Schema.ref Schema
Str.schema, Bool
True)
, ( String -> Value -> Pair
forall value pair.
(ToJSON value, KeyValue pair) =>
String -> value -> pair
Json.pair String
"properties" (Value -> Pair) -> (Schema -> Value) -> Schema -> Pair
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Schema -> Value
Schema.json (Schema -> Pair) -> Schema -> Pair
forall a b. (a -> b) -> a -> b
$ Schema -> Schema
Dictionary.schema Schema
Property.schema
, Bool
True
)
]
bytePut :: Header -> BytePut.BytePut
bytePut :: Header -> BytePut
bytePut Header
x =
Version -> BytePut
Version.bytePut (Header -> Version
version Header
x) BytePut -> BytePut -> BytePut
forall a. Semigroup a => a -> a -> a
<> Str -> BytePut
Str.bytePut (Header -> Str
label Header
x) BytePut -> BytePut -> BytePut
forall a. Semigroup a => a -> a -> a
<> (Property -> BytePut) -> Dictionary Property -> BytePut
forall a. (a -> BytePut) -> Dictionary a -> BytePut
Dictionary.bytePut
Property -> BytePut
Property.bytePut
(Header -> Dictionary Property
properties Header
x)
byteGet :: ByteGet.ByteGet Header
byteGet :: ByteGet Header
byteGet = do
Version
version <- ByteGet Version
Version.byteGet
Str
label <- ByteGet Str
Str.byteGet
Dictionary Property
properties <- ByteGet Property -> ByteGet (Dictionary Property)
forall a. ByteGet a -> ByteGet (Dictionary a)
Dictionary.byteGet ByteGet Property
Property.byteGet
Header -> ByteGet Header
forall (f :: * -> *) a. Applicative f => a -> f a
pure Header :: Version -> Str -> Dictionary Property -> Header
Header { Version
version :: Version
version :: Version
version, Str
label :: Str
label :: Str
label, Dictionary Property
properties :: Dictionary Property
properties :: Dictionary Property
properties }