Expose/Implement multiple functions in the FileSystem.Path module

Author: adithyaov

core/src/Streamly/FileSystem/Path.hs

@@ -101,11 +101,8 @@ module Streamly.FileSystem.Path
     -- * Type
       Path
 
-    -- * Conversions
-    , IsPath (..)
-    , adapt
-
     -- * Construction
+    , fromChunk
     , fromString
 
     -- * Statically Verified String Literals
@@ -117,15 +114,51 @@ module Streamly.FileSystem.Path
     , pathE
 
     -- * Elimination
+    , toChunk
+    , toChars
     , toString
+#if !defined(mingw32_HOST_OS) && !defined(__MINGW32__)
+    , asCString
+#else
+    , asCWString
+#endif
 
-    -- * Operations
-    -- , dropTrailingSeparators
-    , isRooted
-    , isBranch
+    -- * Separators
+    , dropTrailingSeparators
+    , hasTrailingSeparator
+    , addTrailingSeparator
 
-    -- * Combinators
+    -- * Joining
+    , unsafeExtend
     , extend
+    , extendByString
+
+    -- * Splitting
+    , splitRoot
+    , splitPath
+    , splitPath_
+    , splitFile
+
+    -- * Extension
+    , splitExtension
+    , dropExtension
+    -- , addExtension
+    -- , replaceExtension
+
+    -- ** Path View
+    , takeFileName
+    , takeDirectory
+    , takeExtension
+    , takeBaseName
+
+    -- * Equality
+    , EqCfg
+    , eqPath
+#ifndef IS_WINDOWS
+    , ignoreTrailingSeparators
+    , ignoreCase
+    , allowRelativeEquality
+#endif
     )
 where
 

core/src/Streamly/Internal/FileSystem/PosixPath.hs

@@ -131,7 +131,7 @@ module Streamly.Internal.FileSystem.OS_PATH
     , isBranch
 
     -- * Joining
-    , addString
+    , extendByString
  -- , concat
     , unsafeExtend
 #ifndef IS_WINDOWS
@@ -153,9 +153,17 @@ module Streamly.Internal.FileSystem.OS_PATH
     , splitFirst
     , splitLast
 
+    -- ** Extension
     , splitExtension
     , dropExtension
     , addExtension
+    , replaceExtension
+
+    -- ** Path View
+    , takeFileName
+    , takeDirectory
+    , takeExtension
+    , takeBaseName
 
     -- * Equality
     , EqCfg
@@ -413,9 +421,12 @@ fromString = fromChars . Stream.fromList
 --  Throws an error if the resulting path is not a valid path as per
 --  'isValidPath'.
 --
--- /Unimplemented/
-addString :: OS_PATH -> [Char] -> OS_PATH
-addString (OS_PATH _a) = undefined
+extendByString :: OS_PATH -> [Char] -> OS_PATH
+extendByString (OS_PATH a) b =
+    OS_PATH $
+        Common.append Common.OS_NAME
+            (Common.toString Unicode.UNICODE_DECODER) a (rawFromString b)
+
 
 ------------------------------------------------------------------------------
 -- Statically Verified Strings
@@ -1013,6 +1024,10 @@ splitExtension (OS_PATH a) =
     fmap (bimap OS_PATH OS_PATH) $ Common.splitExtension Common.OS_NAME a
 #endif
 
+-- | Take the extension of a file if it has one.
+takeExtension :: OS_PATH -> Maybe OS_PATH
+takeExtension = fmap snd . splitExtension
+
 -- | Drop the extension of a file if it has one.
 dropExtension :: OS_PATH -> OS_PATH
 dropExtension orig@(OS_PATH a) =
@@ -1028,6 +1043,23 @@ dropExtension orig@(OS_PATH a) =
 addExtension :: OS_PATH -> OS_PATH -> OS_PATH
 addExtension (OS_PATH _a) = undefined
 
+-- /Unimplemented/
+replaceExtension :: OS_PATH -> OS_PATH -> OS_PATH
+replaceExtension (OS_PATH _a) = undefined
+
+------------------------------------------------------------------------------
+-- Path View
+------------------------------------------------------------------------------
+
+takeFileName :: OS_PATH -> Maybe OS_PATH
+takeFileName = fmap snd . splitFile
+
+takeBaseName :: OS_PATH -> Maybe OS_PATH
+takeBaseName = fmap dropExtension . takeFileName
+
+takeDirectory :: OS_PATH -> Maybe OS_PATH
+takeDirectory x = splitFile x >>= fst
+
 ------------------------------------------------------------------------------
 -- Path equality
 ------------------------------------------------------------------------------