add some doc comments

Author: kokobd

lsp-types/src/Language/LSP/Types/Uri.hs

@@ -218,9 +218,8 @@ toNormalizedFilePath fp = NormalizedFilePath nuri . encodeFilePath $ nfp
     nfp = FP.normalise fp
     nuri = internalNormalizedFilePathToUri nfp
 
--- | Extract 'FilePath' from 'NormalizedFilePath'.
--- The function is total if 'NormalizedFilePath' is valid. The 'HasCallStack' constraint is added
--- for debugging purpose, in case an invalid
+-- | Extracts 'FilePath' from 'NormalizedFilePath'.
+-- The function is total. The 'HasCallStack' constraint is added for debugging purpose only.
 fromNormalizedFilePath :: HasCallStack => NormalizedFilePath -> FilePath
 fromNormalizedFilePath (NormalizedFilePath _ fp) =
   case decodeFilePath fp of
@@ -239,6 +238,7 @@ emptyNormalizedUri =
     let s = "file://"
     in NormalizedUri (hash s) s
 
+-- | 'NormalizedFilePath' that contains an empty file path
 emptyNormalizedFilePath :: NormalizedFilePath
 emptyNormalizedFilePath = NormalizedFilePath emptyNormalizedUri ""
 

lsp-types/src/Language/LSP/Types/Uri/OsPath.hs

@@ -16,15 +16,21 @@ module Language.LSP.Types.Uri.OsPath
 #ifdef OS_PATH
 
 import           Control.DeepSeq        (NFData, force)
+import           Control.Exception      hiding (try)
 import           Control.Monad.Catch
-import           GHC.IO                 (evaluate)
 import           Language.LSP.Types.Uri
 import           System.IO.Unsafe       (unsafePerformIO)
 import           System.OsPath
 
+{-|
+Constructs 'NormalizedFilePath' from 'OsPath'. Throws 'IOException' if the conversion fails.
+-}
 osPathToNormalizedFilePath :: MonadThrow m => OsPath -> m NormalizedFilePath
 osPathToNormalizedFilePath = fmap toNormalizedFilePath . unsafePerformIO' . decodeFS
 
+{-|
+Extracts 'OsPath' from 'NormalizedFilePath'. Throws 'IOException' if the conversion fails.
+-}
 normalizedFilePathToOsPath :: MonadThrow m => NormalizedFilePath -> m OsPath
 normalizedFilePathToOsPath = unsafePerformIO' . encodeFS . fromNormalizedFilePath