GeometryTests.hs

{-# LANGUAGE OverloadedStrings #-}

module Data.Geospatial.Internal.GeometryTests where

import qualified Data.Aeson                        as A
import qualified Data.ByteString.Lazy.Char8        as BS
import           Test.Tasty
import           Test.Tasty.Hspec                  (Spec, describe, it,
                                                    shouldBe, testSpec)
-- Local
import           Data.Geospatial.Internal.Geometry
import           Fixture

-- Tests

tests :: IO TestTree
tests = do
  specs <- specTests
  pure $ testGroup "Data.Geospatial.Internal.GeometryTests" [specs]

specTests :: IO TestTree
specTests = do
  specs <- sequence
    [ testSpec "Data.Geospatial.Internal.Geometry.fromJSON" testFromJSON
    , testSpec "Data.Geospatial.Internal.Geometry.toJSON" testToJSON
    ]
  pure $ testGroup "Data.Geospatial.Internal.GeometryTests.Spec" specs

-- Spec

-- >>> decode' lShapedPolyJSON == Just lShapedPoly
-- True
--
-- >>> decode' emptyPolyJSON == Just emptyPoly
-- True
--
-- >>> decode' emptyMultiPolyJSON == Just emptyMultiPoly
-- True
--
-- >>> decode' singleLineMultiLineJSON == Just singleLineMultiLine
-- True
--
-- >>> decode' multiLineJSON == Just multiLine
-- True
--
-- >>> decode' emptyCollectionJSON == Just emptyCollection
-- True
--
-- >>> decode' bigassCollectionJSON == Just bigassCollection
-- True

--
-- decode' "null" :: Maybe GeospatialGeometry
-- Just NoGeometry
--
testFromJSON :: Spec
testFromJSON =
  describe "fromJSON" $
    it "decode Feature Objects from GeoJSON" $ do
      A.decode lShapedPolyJSON         `shouldBe` Just lShapedPoly
      A.decode emptyPolyJSON           `shouldBe` Just emptyPoly
      A.decode emptyMultiPolyJSON      `shouldBe` Just emptyMultiPoly
      A.decode singleLineMultiLineJSON `shouldBe` Just singleLineMultiLine
      A.decode multiLineJSON           `shouldBe` Just multiLine
      A.decode emptyCollectionJSON     `shouldBe` Just emptyCollection
      A.decode bigassCollectionJSON    `shouldBe` Just bigassCollection
      (A.decode . BS.pack) "null"      `shouldBe` Just NoGeometry

-- >>> A.encode NoGeometry
-- "null"
--
-- >>> (A.decode . A.encode) lShapedPoly == Just lShapedPoly
-- True
--
-- >>> (A.decode . A.encode) emptyPoly == Just emptyPoly
-- True
--
-- >>> (A.decode . A.encode) emptyMultiPoly == Just emptyMultiPoly
-- True
--
-- >>> (A.decode . A.encode) singleLineMultiLine == Just singleLineMultiLine
-- True
--
-- >>> (A.decode . A.encode) multiLine == Just multiLine
-- True
--
-- >>> (A.decode . A.encode) emptyCollection == Just emptyCollection
-- True
--
-- >>> (A.decode . A.encode) bigassCollection == Just bigassCollection
-- True
--
testToJSON :: Spec
testToJSON =
  describe "toJSON" $
    it "encode Feature Objects to GeoJSON" $ do
      A.encode NoGeometry                       `shouldBe` "null"
      (A.decode . A.encode) lShapedPoly         `shouldBe` Just lShapedPoly
      (A.decode . A.encode) emptyPoly           `shouldBe` Just emptyPoly
      (A.decode . A.encode) emptyMultiPoly      `shouldBe` Just emptyMultiPoly
      (A.decode . A.encode) singleLineMultiLine `shouldBe` Just singleLineMultiLine
      (A.decode . A.encode) multiLine           `shouldBe` Just multiLine
      (A.decode . A.encode) emptyCollection     `shouldBe` Just emptyCollection
      (A.decode . A.encode) bigassCollection    `shouldBe` Just bigassCollection