Support AbstractFilePath

hie.yaml

@@ -0,0 +1,16 @@
+cradle:
+  cabal:
+    - path: "src"
+      component: "lib:path"
+
+    - path: "test"
+      component: "path:test:test"
+
+    - path: "test-ospath"
+      component: "path:test:test-ospath"
+
+    - path: "validity-test"
+      component: "path:test:validity-test"
+
+    - path: "validity-test-ospath"
+      component: "path:test:validity-test-ospath"

path.cabal

@@ -15,7 +15,12 @@ extra-source-files:  README.md
                    , CHANGELOG
                    , src/Path/Include.hs
                    , src/Path/Internal/Include.hs
+                   , src/OsPath/Include.hs
+                   , src/OsPath/Internal/Include.hs
                    , test/Common/Include.hs
+                   , test-ospath/Common/Include.hs
+                   , validity-test-ospath/Include.hs
+                   , validity-test-ospath/OsPath/Gen/Include.hs
 
 flag dev
   description:        Turn on development settings.
@@ -30,12 +35,19 @@ library
                    , Path.Internal
                    , Path.Internal.Posix
                    , Path.Internal.Windows
+                   , OsPath
+                   , OsPath.Posix
+                   , OsPath.Windows
+                   , OsPath.Internal
+                   , OsPath.Internal.Posix
+                   , OsPath.Internal.Windows
   build-depends:     aeson
                    , base       >= 4.12     && < 5
                    , deepseq
                    , exceptions >= 0.4     && < 0.11
-                   , filepath   < 1.2.0.1  || >= 1.3
+                   , filepath   >= 1.5.0.0
                    , hashable   >= 1.2     && < 1.5
+                   , os-string  >= 2.0.0
                    , text
                    , template-haskell
   if flag(dev)
@@ -56,13 +68,41 @@ test-suite test
                    , Windows
                    , Common.Posix
                    , Common.Windows
+                   , TH.Posix
+                   , TH.Windows
   hs-source-dirs:    test
   build-depends:     aeson
-                   , base       >= 4.12     && < 5
+                   , base
+                   , bytestring
+                   , filepath
+                   , hspec      >= 2.0     && < 3
+                   , mtl        >= 2.0     && < 3
+                   , path
+                   , template-haskell
+  if flag(dev)
+    ghc-options:      -Wall -Werror
+  else
+    ghc-options:      -O2 -Wall
+  default-language:  Haskell2010
+
+test-suite test-ospath
+  type:              exitcode-stdio-1.0
+  main-is:           Main.hs
+  other-modules:     Posix
+                   , Windows
+                   , Common.Posix
+                   , Common.Windows
+                   , TH.Posix
+                   , TH.Windows
+  hs-source-dirs:    test-ospath
+  build-depends:     aeson
+                   , base
                    , bytestring
-                   , filepath   < 1.2.0.1  || >= 1.3
+                   , exceptions
+                   , filepath
                    , hspec      >= 2.0     && < 3
                    , mtl        >= 2.0     && < 3
+                   , os-string
                    , path
                    , template-haskell
   if flag(dev)
@@ -73,19 +113,43 @@ test-suite test
 
 test-suite validity-test
   type:              exitcode-stdio-1.0
-  main-is:           ValidityTest.hs
+  main-is:           Main.hs
   other-modules:     Path.Gen
-  hs-source-dirs:    test
+  hs-source-dirs:    validity-test
+  build-depends:     QuickCheck
+                   , aeson
+                   , base
+                   , bytestring
+                   , filepath
+                   , genvalidity >= 1.0
+                   , genvalidity-property >= 0.4
+                   , genvalidity-hspec >= 0.7
+                   , hspec      >= 2.0     && < 3
+                   , mtl        >= 2.0     && < 3
+                   , path
+                   , validity   >= 0.8.0.0
+  default-language:  Haskell2010
+  ghc-options: -threaded -rtsopts -with-rtsopts=-N
+
+test-suite validity-test-ospath
+  type:              exitcode-stdio-1.0
+  main-is:           Main.hs
+  other-modules:     OsPath.Gen.Posix
+                   , OsPath.Gen.Windows
+                   , Posix
+                   , Windows
+  hs-source-dirs:    validity-test-ospath
   build-depends:     QuickCheck
                    , aeson
-                   , base       >= 4.12 && < 5
+                   , base
                    , bytestring
-                   , filepath   < 1.2.0.1  || >= 1.3
+                   , filepath
                    , genvalidity >= 1.0
                    , genvalidity-property >= 0.4
                    , genvalidity-hspec >= 0.7
                    , hspec      >= 2.0     && < 3
                    , mtl        >= 2.0     && < 3
+                   , os-string
                    , path
                    , validity   >= 0.8.0.0
   default-language:  Haskell2010

src/OsPath.hs

@@ -0,0 +1,15 @@
+-- | This library provides a well-typed representation of paths in a filesystem
+-- directory tree.
+--
+-- Both "Path.Posix" and "Path.Windows" provide the same interface. This
+-- module will reexport the appropriate module for your platform.
+
+{-# LANGUAGE CPP #-}
+
+#if defined(mingw32_HOST_OS)
+module OsPath(module OsPath.Windows) where
+import OsPath.Windows
+#else
+module OsPath(module OsPath.Posix) where
+import OsPath.Posix
+#endif