|
@@ -27,8 +27,8 @@ data World = World
|
|
-- | JSON serialization
|
|
-- | JSON serialization
|
|
instance ToJSON World where
|
|
instance ToJSON World where
|
|
toEncoding w =
|
|
toEncoding w =
|
|
- pairs ( "id" .= _idW w
|
|
|
|
- <> "type" .= _randomNumberW w
|
|
|
|
|
|
+ pairs ( "id" .= _idW w
|
|
|
|
+ <> "randomNumber" .= _randomNumberW w
|
|
)
|
|
)
|
|
{-# INLINE toEncoding #-}
|
|
{-# INLINE toEncoding #-}
|
|
|
|
|