Typed rules in Shakes

Author: vidit-od

ghcide/src/Development/IDE/Core/InputPath.hs

@@ -3,6 +3,7 @@
 module Development.IDE.Core.InputPath
     ( InputPath
     , unInputPath
+    , unsafeMkInputPath
     , toAllHaskellInput
     , toNoFileInput
     , toProjectHaskellInput
@@ -30,6 +31,15 @@ newtype InputPath (i :: InputClass) =
     InputPath { unInputPath :: NormalizedFilePath }
     deriving newtype (Eq, Hashable, NFData, Show)
 
+-- | Construct an InputPath without checking whether the path belongs to the
+-- requested input class.
+--
+-- This is only for trusted internals that are rehydrating already-typed rule
+-- keys from the Shake database. Normal call sites should use the smart
+-- constructors below.
+unsafeMkInputPath :: NormalizedFilePath -> InputPath i
+unsafeMkInputPath = InputPath
+
 -- | Any Haskell source path HLS may inspect.
 --
 -- This includes generated dependency source files. Rules accepting