Describe all the wire types (#4)

Author: dpwiz

.github/workflows/workflow.yml

@@ -20,6 +20,5 @@ jobs:
           ghc-version: ${{ matrix.ghc }}
           cabal-version: ${{ matrix.cabal }}
 
-      - run: cabal build --only-dependencies -j2
-      - run: cabal install hspec-discover
+      - run: cabal build --enable-tests --only-dependencies -j2
       - run: cabal test

README.md

@@ -2,9 +2,27 @@
 
 [![Hackage](https://img.shields.io/hackage/v/aeson-tiled.svg)](https://hackage.haskell.org/package/aeson-tiled)
 
-Types and instances for [Tiled](https://www.mapeditor.org/) map editor `.tmj` files.
+Types and instances for [Tiled](https://www.mapeditor.org/) map editor map/`.tmj` and tileset/`.tsj` files.
 
 > `aeson-tiled` is the spiritual successor to `htiled`.
 > `htiled` uses `hxt` which relies too heavily on Arrows and is rather hard to work with.
 > Tiled's json export supports 100% of Tiled's features, so there doesn't seem to be much of a point to maintaining a large Arrows-based project when writing Aeson instances for Tiled types is much easier.
 > Hence this project!
+
+The package is geared toward minimal divergence from Tiled type specifications.
+
+Tiled data format is taken at version 1.8.4.
+Should be compatible down to 1.6 (where the `version` field changed to string).
+
+GHC versions are supported from 8.10 and follow Stackage LTS + Stackage Nightly + whatever is available on `ghcup`.
+
+## Module structure
+
+The modules are designed for qualified imports and `OverloadedRecordDot` extension.
+Everyone has a `Generic` instance so you can use `generic-lens` or `generic-optics` if you wish.
+
+- Modules under `Codec.Tiled.*` are concerned with `aeson` representation, one type at a time.
+  They provide JSON `Value` translation to concrete types, but not much beyond that.
+  Your application most likely should use its own representation.
+- Modules under `Data.Tiled.*` are types specific to this package.
+  They are more refined and may be utilized directly.

aeson-tiled.cabal

@@ -1,33 +1,79 @@
-name:                aeson-tiled
-version:             0.0.1.0
-synopsis:            Aeson instances for the Tiled map editor.
-description:         The mighty Tiled 2D map editor is an open source
-                     app for creating tile based level maps. This package provides
-                     types and aeson instances to read Tiled json files.
-homepage:            https://github.com/haskell-game/aeson-tiled
-license:             BSD3
-license-file:        LICENSE
-maintainer:          [email protected]
-author:              Schell Scivally
-copyright:           (c) 2017 Schell Scivally
-category:            Game Engine
-build-type:          Simple
-cabal-version:       >=1.10
+cabal-version: 3.0
+name: aeson-tiled
+version: 0.0.2.0
+synopsis: Aeson instances for the Tiled map editor.
+description:
+  The mighty Tiled 2D map editor is an open source
+  app for creating tile based level maps. This package provides
+  types and aeson instances to read Tiled json files.
+homepage: https://github.com/haskell-game/aeson-tiled
+license: BSD-3-Clause
+license-file: LICENSE
+maintainer: [email protected]
+author: Schell Scivally
+copyright: (c) 2017 Schell Scivally
+category: Game Engine
+build-type: Simple
 
 extra-source-files:
   README.md,
-  ChangeLog.md
+  ChangeLog.md,
+  maps/microgue/*.tmj,
+  maps/microgue/*.tsj
 
 library
-  hs-source-dirs:      src
-  exposed-modules:     Data.Aeson.Tiled
-  build-depends:       base       >= 4.7 && < 5
-                     , bytestring >= 0.10 && < 1
-                     , aeson      >= 1.0 && < 3
-                     , containers >= 0.5 && < 1
-                     , text       >= 1.2 && < 3
-                     , vector     >= 0.11 && < 1
-  default-language:    Haskell2010
+  hs-source-dirs: src
+  exposed-modules:
+    Codec.Tiled
+    Codec.Tiled.Aeson
+    Codec.Tiled.Layer
+    Codec.Tiled.Layer.Chunk
+    Codec.Tiled.Layer.Data
+    Codec.Tiled.Map
+    Codec.Tiled.Map.IO
+    Codec.Tiled.Object
+    Codec.Tiled.Object.Point
+    Codec.Tiled.Object.Template
+    Codec.Tiled.Object.Template.IO
+    Codec.Tiled.Object.Text
+    Codec.Tiled.Property
+    Codec.Tiled.Tileset
+    Codec.Tiled.Tileset.Frame
+    Codec.Tiled.Tileset.Grid
+    Codec.Tiled.Tileset.IO
+    Codec.Tiled.Tileset.Ref
+    Codec.Tiled.Tileset.Terrain
+    Codec.Tiled.Tileset.Tile
+    Codec.Tiled.Tileset.TileOffset
+    Codec.Tiled.Tileset.Transformations
+    Codec.Tiled.Tileset.WangColor
+    Codec.Tiled.Tileset.WangSet
+    Codec.Tiled.Tileset.WangTile
+    Codec.Tiled.World
+    Codec.Tiled.World.Map
+    Codec.Tiled.World.Pattern
+    Data.Tiled.GID
+  build-depends:
+      base       >= 4.7 && < 5
+    , bytestring >= 0.10 && < 1
+    , aeson      >= 1.0 && < 3
+    , containers >= 0.5 && < 1
+    , text       >= 1.2 && < 3
+    , vector     >= 0.11 && < 1
+  default-language:
+    Haskell2010
+  default-extensions:
+    BlockArguments,
+    DeriveGeneric,
+    DerivingStrategies,
+    FlexibleContexts,
+    GeneralizedNewtypeDeriving,
+    ImportQualifiedPost,
+    LambdaCase,
+    OverloadedStrings,
+    PatternSynonyms,
+    RecordWildCards,
+    StrictData,
 
 flag tests
   manual: True
@@ -36,17 +82,29 @@ flag tests
 test-suite aeson-tiled-test
   if !flag(tests)
     buildable: False
-  type:                exitcode-stdio-1.0
-  hs-source-dirs:      test
-  main-is:             Spec.hs
-  build-depends:       base
-                     , aeson >= 1.1
-                     , aeson-tiled
-                     , hspec
-                     , hspec-discover
-                     , bytestring
-  ghc-options:         -threaded -rtsopts -with-rtsopts=-N
-  default-language:    Haskell2010
-  other-modules:
-    ParseObjectSpec
-    RoundTripSpec
+  type: exitcode-stdio-1.0
+  hs-source-dirs: tests
+  main-is: Main.hs
+  build-depends:
+    aeson-tiled,
+    base,
+    filepath,
+    tasty-hunit,
+    tasty,
+    temporary
+
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N
+  default-language:
+    Haskell2010
+  default-extensions:
+    BlockArguments,
+    DeriveGeneric,
+    DerivingStrategies,
+    FlexibleContexts,
+    GeneralizedNewtypeDeriving,
+    ImportQualifiedPost,
+    LambdaCase,
+    OverloadedStrings,
+    PatternSynonyms,
+    RecordWildCards,
+    StrictData,