upgrade horizon

README.md

@@ -91,7 +91,7 @@ Here is the type:
 
 ```haskell
 newtype Path b t = Path FilePath
-  deriving (Data, Typeable, Generic)
+  deriving (Data, Generic)
 ```
 
 The type variables are:
@@ -102,15 +102,15 @@ The type variables are:
 The base types can be filled with these:
 
 ```haskell
-data Abs deriving (Typeable)
-data Rel deriving (Typeable)
+data Abs
+data Rel
 ```
 
 And the type can be filled with these:
 
 ```haskell
-data File deriving (Typeable)
-data Dir deriving (Typeable)
+data File
+data Dir
 ```
 
 (Why not use data kinds like `data Type = File | Dir`? Because that imposes

path/path.cabal

@@ -74,7 +74,7 @@ library
                    , base       >= 4.12    && < 5
                    , deepseq
                    , exceptions >= 0.4     && < 0.11
-                   , hashable   >= 1.2     && < 1.5
+                   , hashable   >= 1.2     && < 1.6
                    , path:os-string-compat
                    , text
                    , template-haskell

path/src/OsPath/Include.hs

@@ -108,7 +108,7 @@ import           Control.Exception (Exception(..))
 import           Control.Monad (unless, when, (<=<))
 import           Control.Monad.Catch (MonadThrow(..))
 import           Data.Coerce (coerce)
-import           Data.Data (Data, Typeable)
+import           Data.Data (Data)
 import           Data.Hashable (Hashable (..))
 import           Data.Maybe (isJust, isNothing)
 import           GHC.Generics (Generic)
@@ -126,17 +126,17 @@ import qualified System.OsString.Compat.PLATFORM_NAME as OsString
 -- Types
 
 -- | An absolute path.
-data Abs deriving (Typeable, Data)
+data Abs deriving (Data)
 
 -- | A relative path; one without a root. Note that a @..@ path component to
 -- represent the parent directory is not allowed by this library.
-data Rel deriving (Typeable, Data)
+data Rel deriving (Data)
 
 -- | A file path.
-data File deriving (Typeable, Data)
+data File deriving (Data)
 
 -- | A directory path.
-data Dir deriving (Typeable, Data)
+data Dir deriving (Data)
 
 -- | Exceptions that can occur during path operations.
 --
@@ -151,7 +151,7 @@ data PathException
   | NotAProperPrefix PLATFORM_PATH PLATFORM_PATH
   | HasNoExtension PLATFORM_PATH
   | InvalidExtension PLATFORM_STRING
-  deriving (Show,Eq,Typeable)
+  deriving (Show,Eq)
 
 instance Exception PathException where
   displayException (InvalidExtension ext) = concat
@@ -658,7 +658,7 @@ mkRelFile = either (fail . displayException) lift . parseRelFile
 -- directory. Pattern match to find whether the path is absolute or relative.
 data SomeBase t = Abs (Path Abs t)
                 | Rel (Path Rel t)
-  deriving (Typeable, Generic, Eq, Ord)
+  deriving (Generic, Eq, Ord)
 
 instance NFData (SomeBase t) where
   rnf (Abs p) = rnf p

path/src/OsPath/Internal/Include.hs

@@ -70,7 +70,7 @@ import qualified System.OsString.Compat.PLATFORM_NAME as OsString
 -- All directories end in a trailing separator. There are no duplicate
 -- path separators @\/\/@, no @..@, no @.\/@, no @~\/@, etc.
 newtype Path b t = Path PLATFORM_PATH
-  deriving (Data, Typeable, Generic)
+  deriving (Data, Generic)
 
 -- | String equality.
 --

path/src/Path/Include.hs

@@ -122,17 +122,17 @@ import qualified System.FilePath.PLATFORM_NAME as FilePath
 -- Types
 
 -- | An absolute path.
-data Abs deriving (Typeable, Data)
+data Abs deriving (Data)
 
 -- | A relative path; one without a root. Note that a @..@ path component to
 -- represent the parent directory is not allowed by this library.
-data Rel deriving (Typeable, Data)
+data Rel deriving (Data)
 
 -- | A file path.
-data File deriving (Typeable, Data)
+data File deriving (Data)
 
 -- | A directory path.
-data Dir deriving (Typeable, Data)
+data Dir deriving (Data)
 
 instance FromJSON (Path Abs File) where
   parseJSON = parseJSONWith parseAbsFile
@@ -198,7 +198,7 @@ data PathException
   | NotAProperPrefix FilePath FilePath
   | HasNoExtension FilePath
   | InvalidExtension String
-  deriving (Show,Eq,Typeable)
+  deriving (Show,Eq)
 
 instance Exception PathException where
   displayException (InvalidExtension ext) = concat
@@ -853,7 +853,7 @@ normalizeFilePath
 -- relative.
 data SomeBase t = Abs (Path Abs t)
                 | Rel (Path Rel t)
-  deriving (Typeable, Generic, Eq, Ord)
+  deriving (Generic, Eq, Ord)
 
 instance NFData (SomeBase t) where
   rnf (Abs p) = rnf p

path/src/Path/Internal/Include.hs

@@ -45,7 +45,7 @@ import qualified System.FilePath.PLATFORM_NAME as FilePath
 -- All directories end in a trailing separator. There are no duplicate
 -- path separators @\/\/@, no @..@, no @.\/@, no @~\/@, etc.
 newtype Path b t = Path FilePath
-  deriving (Data, Typeable, Generic)
+  deriving (Data, Generic)
 
 -- | String equality.
 --