PathSpec.hs

module PostgresqlTypes.PathSpec (spec) where

import Data.Data (Proxy (Proxy))
import Data.Maybe
import qualified PostgresqlTypes.Path as Path
import Test.Hspec
import Test.QuickCheck
import qualified UnitTests.Scripts as Scripts
import Prelude

spec :: Spec
spec = do
  describe "Show/Read laws" do
    Scripts.testShowRead (Proxy @Path.Path)

  describe "IsScalar laws" do
    Scripts.testIsScalar (Proxy @Path.Path)

  describe "Constructors" do
    describe "refineFromPointList (open path)" do
      it "creates open Path from list of points" do
        let points = [(0.0, 0.0), (1.0, 1.0), (2.0, 2.0)]
            result = Path.refineFromPointList False points
        result `shouldSatisfy` isJust
        fmap Path.toClosed result `shouldBe` Just False
        fmap Path.toPointList result `shouldBe` Just points

    describe "refineFromPointList (closed path)" do
      it "creates closed Path from list of points" do
        let points = [(0.0, 0.0), (1.0, 0.0), (1.0, 1.0)]
            result = Path.refineFromPointList True points
        result `shouldSatisfy` isJust
        fmap Path.toClosed result `shouldBe` Just True
        fmap Path.toPointList result `shouldBe` Just points

  describe "Accessors" do
    describe "toClosed and toPointList" do
      it "extracts closed flag and points" do
        let points = [(1.0, 2.0), (3.0, 4.0), (5.0, 6.0)]
        path <- case Path.refineFromPointList False points of
          Just p -> return p
          Nothing -> error "Failed to create Path"
        Path.toClosed path `shouldBe` False
        Path.toPointList path `shouldBe` points

  describe "Property Tests" do
    it "roundtrips through accessors and refineFromPointList" do
      property \(path :: Path.Path) ->
        let closed = Path.toClosed path
            points = Path.toPointList path
            result = Path.refineFromPointList closed points
         in result === Just path