module Swarm.TUI.Editor.Json where import Data.Text (Text) import Data.Yaml as Y import GHC.Generics (Generic) import Swarm.Game.Entity (Entity) import Swarm.Game.Scenario.Topography.WorldDescription data SkeletonScenario = SkeletonScenario { SkeletonScenario -> Int version :: Int , SkeletonScenario -> Text name :: Text , SkeletonScenario -> Text description :: Text , SkeletonScenario -> Bool creative :: Bool , SkeletonScenario -> [Entity] entities :: [Entity] , SkeletonScenario -> WorldDescriptionPaint world :: WorldDescriptionPaint , SkeletonScenario -> [String] robots :: [String] } deriving (forall x. Rep SkeletonScenario x -> SkeletonScenario forall x. SkeletonScenario -> Rep SkeletonScenario x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep SkeletonScenario x -> SkeletonScenario $cfrom :: forall x. SkeletonScenario -> Rep SkeletonScenario x Generic) instance ToJSON SkeletonScenario