нУЁh) C╒ :Еї                   	  
                                               !  "  #  $  %  &  '  (  )  *  +  ,  -  .  /  0  1  2  3  4  5  6  7  8  9  :  ;  <  =  >  ?  @  A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  [  \  ]  ^  _  `  a  b  c  d  e  f  g  h  i  j  k  l  m  n  o  p  q  r  s  t  u  v  w  x  y  z  {  |  }  ~    ─  │  ┌  ┐  └  ┘  ├  ┤  ┬  ┴  ┼  ▀  ▄  █  ▌  ▐  ░  ▒  ▓  ⌠  ■  ∙  √  ≈  ≤  ≥     ⌡  °  ²  ·  ÷  ═  ║  ╒  ё  є  ╔  і  ї  ╗  ╘  ╙  ╚  ╛  ґ  ў  ╞  ╟  ╠  ╡  Ё  Є  ╣  І  Ї  ╦  ╧  ╨  ╩  ╪  Ґ  Ў  ©  ю  а  б  ц  д  е  ф  г  х  и  й  к  л  м  н  о  п  я  р  с  т  у  ж  в  ь  ы  з  ш  э  щ  ч  ъ  Ю  А  Б  Ц  Д  Е  Ф  Г  Х  И  Й  К  Л  М  Н  О  П  Я  Р  С  Т  У  Ж  В  Ь  Ы  З  Ш  Э  Щ  Ч  Ъ  ─  │  ┌  ┐  └  	┘  	├  	┤  	┬  	┴  	┼  	▀  	▄  	█  	▌  ▐  ░  ▒  ▓  ⌠  ■  ∙  √  ≈  ≤  ≥     ⌡  °  ²  ·  ÷  ═  ║  ╒  ё  є  ╔  і  ї  ╗  ╘  ╙  ╚  ╛  ґ  ў  ╞  ╟  ╠  ╡  Ё  Є  ╣  І  Ї  ╦  ╧  ╨  ╩  ╪  Ґ  Ў  ©  ю  
а  
б  
ц  
д  
е  
ф  
г  
х  
и  
й  
к  
л  
м  
н  
о  
п  
я  
р  
с  
т  
у  
ж  
в  
ь  
ы  
з  
ш  
э  
щ  
ч  
ъ  
Ю  
А  
Б  
Ц  
Д  
Е  
Ф  
Г  
Х  
И  
Й  
К  
Л  
М  
Н  
О  
П  
Я  
Р  
С  Т  У  Ж  В  Ь  Ы  З  Ш  Э  Щ  Ч  Ъ  ─  │  ┌  ┐  └  ┘  ├  ┤  ┬  ┴  ┼  ▀  ▄  █  ▌  ▐  ░  ▒  ▓  ⌠  ■  ∙  √  ≈  ≤  ≥     ⌡  °  ²  ·  ÷  ═  ║  ╒  ё  є  ╔  і  1.5.0.0    (c) Neil Mitchell 2005-2014BSD3ndmitchell@gmail.comstableportableSafe-Inferred О   Zs9ї filepath*Is the operating system Unix or Linux like╗ filepath$Is the operating system Windows like0 filepathД The character that separates directories. In the case where more than
   one character is possible,  0 is the 'ideal' one.ш Windows: pathSeparator == '\\'
Posix:   pathSeparator ==  '/'
isPathSeparator pathSeparator1 filepath$The list of all possible separators.К Windows: pathSeparators == ['\\', '/']
Posix:   pathSeparators == ['/']
pathSeparator `elem` pathSeparators2 filepathRather than using (==  0)5, use this. Test if something
   is a path separator..isPathSeparator a == (a `elem` pathSeparators)3 filepathу The character that is used to separate the entries in the $PATH environment variable.г Windows: searchPathSeparator == ';'
Posix:   searchPathSeparator == ':'4 filepath"Is the character a file separator?5isSearchPathSeparator a == (a == searchPathSeparator)5 filepathFile extension characterextSeparator == '.'6 filepath(Is the character an extension character?'isExtSeparator a == (a == extSeparator)7 filepathTake a string, split it on the  3д  character.
   Blank items are ignored on Windows, and converted to .> on Posix.
   On Windows path elements are stripped of quotes."Follows the recommendations in
   ф http://www.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap08.html ЩPosix:   splitSearchPath "File1:File2:File3"  == ["File1","File2","File3"]
Posix:   splitSearchPath "File1::File2:File3" == ["File1",".","File2","File3"]
Windows: splitSearchPath "File1;File2;File3"  == ["File1","File2","File3"]
Windows: splitSearchPath "File1;;File2;File3" == ["File1","File2","File3"]
Windows: splitSearchPath "File1;\"File2\";File3" == ["File1","File2","File3"]8 filepathGet a list of FILEPATHs in the $PATH variable.9 filepathSplit on the extension.  ? is the inverse.єsplitExtension "/directory/path.ext" == ("/directory/path",".ext")
uncurry (<>) (splitExtension x) == x
Valid x => uncurry addExtension (splitExtension x) == x
splitExtension "file.txt" == ("file",".txt")
splitExtension "file" == ("file","")
splitExtension "file/file.txt" == ("file/file",".txt")
splitExtension "file.txt/boris" == ("file.txt/boris","")
splitExtension "file.txt/boris.ext" == ("file.txt/boris",".ext")
splitExtension "file/path.txt.bob.fred" == ("file/path.txt.bob",".fred")
splitExtension "file/path.txt/" == ("file/path.txt/",""): filepath%Get the extension of a file, returns "" for no extension, .ext otherwise.оtakeExtension "/directory/path.ext" == ".ext"
takeExtension x == snd (splitExtension x)
Valid x => takeExtension (addExtension x "ext") == ".ext"
Valid x => takeExtension (replaceExtension x "ext") == ".ext"; filepath<Remove the current extension and add another, equivalent to  <.░"/directory/path.txt" -<.> "ext" == "/directory/path.ext"
"/directory/path.txt" -<.> ".ext" == "/directory/path.ext"
"foo.o" -<.> "c" == "foo.c"< filepathо Set the extension of a file, overwriting one if already present, equivalent to  ;.ІreplaceExtension "/directory/path.txt" "ext" == "/directory/path.ext"
replaceExtension "/directory/path.txt" ".ext" == "/directory/path.ext"
replaceExtension "file.txt" ".bob" == "file.bob"
replaceExtension "file.txt" "bob" == "file.bob"
replaceExtension "file" ".bob" == "file.bob"
replaceExtension "file.txt" "" == "file"
replaceExtension "file.fred.bob" "txt" == "file.fred.txt"
replaceExtension x y == addExtension (dropExtension x) y= filepathд Add an extension, even if there is already one there, equivalent to  ?.Й "/directory/path" <.> "ext" == "/directory/path.ext"
"/directory/path" <.> ".ext" == "/directory/path.ext"> filepath0Remove last extension, and the "." preceding it.Б dropExtension "/directory/path.ext" == "/directory/path"
dropExtension x == fst (splitExtension x)? filepathд Add an extension, even if there is already one there, equivalent to  =.┬addExtension "/directory/path" "ext" == "/directory/path.ext"
addExtension "file.txt" "bib" == "file.txt.bib"
addExtension "file." ".bib" == "file..bib"
addExtension "file" ".bib" == "file.bib"
addExtension "/" "x" == "/.x"
addExtension x "" == x
Valid x => takeFileName (addExtension (addTrailingPathSeparator x) "ext") == ".ext"
Windows: addExtension "\\\\share" ".txt" == "\\\\share\\.txt"@ filepath*Does the given filename have an extension?│hasExtension "/directory/path.ext" == True
hasExtension "/directory/path" == False
null (takeExtension x) == not (hasExtension x)A filepath5Does the given filename have the specified extension?е"png" `isExtensionOf` "/directory/file.png" == True
".png" `isExtensionOf` "/directory/file.png" == True
".tar.gz" `isExtensionOf` "bar/foo.tar.gz" == True
"ar.gz" `isExtensionOf` "bar/foo.tar.gz" == False
"png" `isExtensionOf` "/directory/file.png.jpg" == False
"csv/table.csv" `isExtensionOf` "/data/csv/table.csv" == FalseB filepath2Drop the given extension from a FilePath, and the "." preceding it.
   Returns  ╘: if the FilePath does not have the given extension, or
    ╙. and the part before the extension if it does.+This function can be more predictable than  D5, especially if the filename
   might itself contain . characters.фstripExtension "hs.o" "foo.x.hs.o" == Just "foo.x"
stripExtension "hi.o" "foo.x.hs.o" == Nothing
dropExtension x == fromJust (stripExtension (takeExtension x) x)
dropExtensions x == fromJust (stripExtension (takeExtensions x) x)
stripExtension ".c.d" "a.b.c.d"  == Just "a.b"
stripExtension ".c.d" "a.b..c.d" == Just "a.b."
stripExtension "baz"  "foo.bar"  == Nothing
stripExtension "bar"  "foobar"   == Nothing
stripExtension ""     x          == Just xC filepathSplit on all extensions.┼splitExtensions "/directory/path.ext" == ("/directory/path",".ext")
splitExtensions "file.tar.gz" == ("file",".tar.gz")
uncurry (<>) (splitExtensions x) == x
Valid x => uncurry addExtension (splitExtensions x) == x
splitExtensions "file.tar.gz" == ("file",".tar.gz")D filepathDrop all extensions.аdropExtensions "/directory/path.ext" == "/directory/path"
dropExtensions "file.tar.gz" == "file"
not $ hasExtension $ dropExtensions x
not $ any isExtSeparator $ takeFileName $ dropExtensions xE filepathGet all extensions.ь takeExtensions "/directory/path.ext" == ".ext"
takeExtensions "file.tar.gz" == ".tar.gz"F filepathд Replace all extensions of a file with a new extension. Note
   that  < and  ?М  both work for adding
   multiple extensions, so only required when you need to drop
   all extensions first.Я replaceExtensions "file.fred.bob" "txt" == "file.txt"
replaceExtensions "file.fred.bob" "tar.gz" == "file.tar.gz"╚ filepathН Is the given character a valid drive letter?
 only a-z and A-Z are letters, not isAlpha which is more unicodeyG filepathю Split a path into a drive and a path.
   On Posix, / is a Drive.Бuncurry (<>) (splitDrive x) == x
Windows: splitDrive "file" == ("","file")
Windows: splitDrive "c:/file" == ("c:/","file")
Windows: splitDrive "c:\\file" == ("c:\\","file")
Windows: splitDrive "\\\\shared\\test" == ("\\\\shared\\","test")
Windows: splitDrive "\\\\shared" == ("\\\\shared","")
Windows: splitDrive "\\\\?\\UNC\\shared\\file" == ("\\\\?\\UNC\\shared\\","file")
Windows: splitDrive "\\\\?\\UNCshared\\file" == ("\\\\?\\","UNCshared\\file")
Windows: splitDrive "\\\\?\\d:\\file" == ("\\\\?\\d:\\","file")
Windows: splitDrive "/d" == ("","/d")
Posix:   splitDrive "/test" == ("/","test")
Posix:   splitDrive "//test" == ("//","test")
Posix:   splitDrive "test/file" == ("","test/file")
Posix:   splitDrive "file" == ("","file")H filepath&Join a drive and the rest of the path.ЙValid x => uncurry joinDrive (splitDrive x) == x
Windows: joinDrive "C:" "foo" == "C:foo"
Windows: joinDrive "C:\\" "bar" == "C:\\bar"
Windows: joinDrive "\\\\share" "foo" == "\\\\share\\foo"
Windows: joinDrive "/:" "foo" == "/:\\foo"I filepathGet the drive from a filepath.!takeDrive x == fst (splitDrive x)J filepathDelete the drive, if it exists.!dropDrive x == snd (splitDrive x)K filepathDoes a path have a drive.лnot (hasDrive x) == null (takeDrive x)
Posix:   hasDrive "/foo" == True
Windows: hasDrive "C:\\foo" == True
Windows: hasDrive "C:foo" == True
         hasDrive "foo" == False
         hasDrive "" == FalseL filepathIs an element a drive·Posix:   isDrive "/" == True
Posix:   isDrive "/foo" == False
Windows: isDrive "C:\\" == True
Windows: isDrive "C:\\foo" == False
         isDrive "" == FalseM filepath*Split a filename into directory and file.  Yм  is the inverse.
   The first component will often end with a trailing slash.яsplitFileName "/directory/file.ext" == ("/directory/","file.ext")
Valid x => uncurry (</>) (splitFileName x) == x || fst (splitFileName x) == "./"
Valid x => isValid (fst (splitFileName x))
splitFileName "file/bob.txt" == ("file/", "bob.txt")
splitFileName "file/" == ("file/", "")
splitFileName "bob" == ("./", "bob")
Posix:   splitFileName "/" == ("/","")
Windows: splitFileName "c:" == ("c:","")
Windows: splitFileName "\\\\?\\A:\\fred" == ("\\\\?\\A:\\","fred")N filepathSet the filename.Щ replaceFileName "/directory/other.txt" "file.ext" == "/directory/file.ext"
Valid x => replaceFileName x (takeFileName x) == xO filepathDrop the filename. Unlike  Vи , this function will leave
   a trailing path separator on the directory.ш dropFileName "/directory/file.ext" == "/directory/"
dropFileName x == fst (splitFileName x)P filepathGet the file name.іtakeFileName "/directory/file.ext" == "file.ext"
takeFileName "test/" == ""
isSuffixOf (takeFileName x) x
takeFileName x == snd (splitFileName x)
Valid x => takeFileName (replaceFileName x "fred") == "fred"
Valid x => takeFileName (x </> "fred") == "fred"
Valid x => isRelative (takeFileName x)Q filepath0Get the base name, without an extension or path.┤takeBaseName "/directory/file.ext" == "file"
takeBaseName "file/test.txt" == "test"
takeBaseName "dave.ext" == "dave"
takeBaseName "" == ""
takeBaseName "test" == "test"
takeBaseName (addTrailingPathSeparator x) == ""
takeBaseName "file/file.tar.gz" == "file.tar"R filepathSet the base name.÷replaceBaseName "/directory/other.ext" "file" == "/directory/file.ext"
replaceBaseName "file/test.txt" "bob" == "file/bob.txt"
replaceBaseName "fred" "bill" == "bill"
replaceBaseName "/dave/fred/bob.gz.tar" "new" == "/dave/fred/new.tar"
Valid x => replaceBaseName x (takeBaseName x) == xS filepathе Is an item either a directory or the last character a path separator?я hasTrailingPathSeparator "test" == False
hasTrailingPathSeparator "test/" == TrueT filepathа Add a trailing file path separator if one is not already present.ЁhasTrailingPathSeparator (addTrailingPathSeparator x)
hasTrailingPathSeparator x ==> addTrailingPathSeparator x == x
Posix:    addTrailingPathSeparator "test/rest" == "test/rest/"U filepath#Remove any trailing path separatorsИdropTrailingPathSeparator "file/test/" == "file/test"
          dropTrailingPathSeparator "/" == "/"
Windows:  dropTrailingPathSeparator "\\" == "\\"
Posix:    not (hasTrailingPathSeparator (dropTrailingPathSeparator x)) || isDrive xV filepath*Get the directory name, move up one level.⌡          takeDirectory "/directory/other.ext" == "/directory"
          isPrefixOf (takeDirectory x) x || takeDirectory x == "."
          takeDirectory "foo" == "."
          takeDirectory "/" == "/"
          takeDirectory "/foo" == "/"
          takeDirectory "/foo/bar/baz" == "/foo/bar"
          takeDirectory "/foo/bar/baz/" == "/foo/bar/baz"
          takeDirectory "foo/bar/baz" == "foo/bar"
Windows:  takeDirectory "foo\\bar" == "foo"
Windows:  takeDirectory "foo\\bar\\\\" == "foo\\bar"
Windows:  takeDirectory "C:\\" == "C:\\"W filepath1Set the directory, keeping the filename the same.┴replaceDirectory "root/file.ext" "/directory/" == "/directory/file.ext"
Valid x => replaceDirectory x (takeDirectory x) `equalFilePath` xX filepathAn alias for  Y.╛ filepath0Combine two paths, assuming rhs is NOT absolute.Y filepathєCombine two paths with a path separator.
   If the second path starts with a path separator or a drive letter, then it returns the second.
   The intention is that readFile (dir  Y file)! will access the same file as
   &setCurrentDirectory dir; readFile file.РPosix:   "/directory" </> "file.ext" == "/directory/file.ext"
Windows: "/directory" </> "file.ext" == "/directory\\file.ext"
         "directory" </> "/file.ext" == "/file.ext"
Valid x => (takeDirectory x </> takeFileName x) `equalFilePath` x	Combined:фPosix:   "/" </> "test" == "/test"
Posix:   "home" </> "bob" == "home/bob"
Posix:   "x:" </> "foo" == "x:/foo"
Windows: "C:\\foo" </> "bar" == "C:\\foo\\bar"
Windows: "home" </> "bob" == "home\\bob"Not combined:о Posix:   "home" </> "/bob" == "/bob"
Windows: "home" </> "C:\\bob" == "C:\\bob"Not combined (tricky):гOn Windows, if a filepath starts with a single slash, it is relative to the
   root of the current drive. In [1], this is (confusingly) referred to as an
   absolute path.
   The current behavior of  Y! is to never combine these forms.Ж Windows: "home" </> "/bob" == "/bob"
Windows: "home" </> "\\bob" == "\\bob"
Windows: "C:\\home" </> "\\bob" == "\\bob"ЬOn Windows, from [1]: "If a file name begins with only a disk designator
   but not the backslash after the colon, it is interpreted as a relative path
   to the current directory on the drive with the specified letter."
   The current behavior of  Y! is to never combine these forms.с Windows: "D:\\foo" </> "C:bar" == "C:bar"
Windows: "C:\\foo" </> "C:bar" == "C:bar"Z filepath(Split a path by the directory separator.йsplitPath "/directory/file.ext" == ["/","directory/","file.ext"]
concat (splitPath x) == x
splitPath "test//item/" == ["test//","item/"]
splitPath "test/item/file" == ["test/","item/","file"]
splitPath "" == []
Windows: splitPath "c:\\test\\path" == ["c:\\","test\\","path"]
Posix:   splitPath "/file/test" == ["/","file/","test"][ filepathJust as  Z5, but don't add the trailing slashes to each element.Ъ         splitDirectories "/directory/file.ext" == ["/","directory","file.ext"]
         splitDirectories "test/file" == ["test","file"]
         splitDirectories "/test/file" == ["/","test","file"]
Windows: splitDirectories "C:\\test\\file" == ["C:\\", "test", "file"]
         Valid x => joinPath (splitDirectories x) `equalFilePath` x
         splitDirectories "" == []
Windows: splitDirectories "C:\\test\\\\\\file" == ["C:\\", "test", "file"]
         splitDirectories "/test///file" == ["/","test","file"]\ filepath!Join path elements back together.рjoinPath z == foldr (</>) "" z
joinPath ["/","directory/","file.ext"] == "/directory/file.ext"
Valid x => joinPath (splitPath x) == x
joinPath [] == ""
Posix: joinPath ["test","file","path"] == "test/file/path"] filepathEquality of two FILEPATHs.
   If you call !System.Directory.canonicalizePathК 
   first this has a much better chance of working.
   Note that this doesn't follow symlinks or DOSNAM~1s.Similar to  _, this does not expand "..", because of symlinks.м         x == y ==> equalFilePath x y
         normalise x == normalise y ==> equalFilePath x y
         equalFilePath "foo" "foo/"
         not (equalFilePath "/a/../c" "/c")
         not (equalFilePath "foo" "/foo")
Posix:   not (equalFilePath "foo" "FOO")
Windows: equalFilePath "foo" "FOO"
Windows: not (equalFilePath "C:" "C:/")^ filepathД Contract a filename, based on a relative path. Note that the resulting path
   will never introduce ..* paths, as the presence of symlinks means ../b
   may not reach a/b if it starts from a/c. For a worked example see
   ж http://neilmitchell.blogspot.co.uk/2015/10/filepaths-are-subtle-symlinks-are-hard.htmlthis blog post.The corresponding makeAbsolute function can be found in
   System.Directory.С         makeRelative "/directory" "/directory/file.ext" == "file.ext"
         Valid x => makeRelative (takeDirectory x) x `equalFilePath` takeFileName x
         makeRelative x x == "."
         Valid x y => equalFilePath x y || (isRelative x && makeRelative y x == x) || equalFilePath (y </> makeRelative y x) x
Windows: makeRelative "C:\\Home" "c:\\home\\bob" == "bob"
Windows: makeRelative "C:\\Home" "c:/home/bob" == "bob"
Windows: makeRelative "C:\\Home" "D:\\Home\\Bob" == "D:\\Home\\Bob"
Windows: makeRelative "C:\\Home" "C:Home\\Bob" == "C:Home\\Bob"
Windows: makeRelative "/Home" "/home/bob" == "bob"
Windows: makeRelative "/" "//" == "//"
Posix:   makeRelative "/Home" "/home/bob" == "/home/bob"
Posix:   makeRelative "/home/" "/home/bob/foo/bar" == "bob/foo/bar"
Posix:   makeRelative "/fred" "bob" == "bob"
Posix:   makeRelative "/file/test" "/file/test/fred" == "fred"
Posix:   makeRelative "/file/test" "/file/test/fred/" == "fred/"
Posix:   makeRelative "some/path" "some/path/a/b/c" == "a/b/c"_ filepathNormalise a file)// outside of the drive can be made blank/ ->  0./ -> ""Does not remove "..", because of symlinks.ГPosix:   normalise "/file/\\test////" == "/file/\\test/"
Posix:   normalise "/file/./test" == "/file/test"
Posix:   normalise "/test/file/../bob/fred/" == "/test/file/../bob/fred/"
Posix:   normalise "../bob/fred/" == "../bob/fred/"
Posix:   normalise "/a/../c" == "/a/../c"
Posix:   normalise "./bob/fred/" == "bob/fred/"
Windows: normalise "c:\\file/bob\\" == "C:\\file\\bob\\"
Windows: normalise "c:\\" == "C:\\"
Windows: normalise "c:\\\\\\\\" == "C:\\"
Windows: normalise "C:.\\" == "C:"
Windows: normalise "\\\\server\\test" == "\\\\server\\test"
Windows: normalise "//server/test" == "\\\\server\\test"
Windows: normalise "c:/file" == "C:\\file"
Windows: normalise "/file" == "\\file"
Windows: normalise "\\" == "\\"
Windows: normalise "/./" == "\\"
         normalise "." == "."
Posix:   normalise "./" == "./"
Posix:   normalise "./." == "./"
Posix:   normalise "/./" == "/"
Posix:   normalise "/" == "/"
Posix:   normalise "bob/fred/." == "bob/fred/"
Posix:   normalise "//home" == "/home"` filepathъIs a FilePath valid, i.e. could you create a file like it? This function checks for invalid names,
   and invalid characters, but does not check if length limits are exceeded, as these are typically
   filesystem dependent.щ         isValid "" == False
         isValid "\0" == False
Posix:   isValid "/random_ path:*" == True
Posix:   isValid x == not (null x)
Windows: isValid "c:\\test" == True
Windows: isValid "c:\\test:of_test" == False
Windows: isValid "test*" == False
Windows: isValid "c:\\test\\nul" == False
Windows: isValid "c:\\test\\prn.txt" == False
Windows: isValid "c:\\nul\\file" == False
Windows: isValid "\\\\" == False
Windows: isValid "\\\\\\foo" == False
Windows: isValid "\\\\?\\D:file" == False
Windows: isValid "foo\tbar" == False
Windows: isValid "nul .txt" == False
Windows: isValid " nul.txt" == Truea filepathк Take a FilePath and make it valid; does not change already valid FILEPATHs.▐isValid (makeValid x)
isValid x ==> makeValid x == x
makeValid "" == "_"
makeValid "file\0name" == "file_name"
Windows: makeValid "c:\\already\\/valid" == "c:\\already\\/valid"
Windows: makeValid "c:\\test:of_test" == "c:\\test_of_test"
Windows: makeValid "test*" == "test_"
Windows: makeValid "c:\\test\\nul" == "c:\\test\\nul_"
Windows: makeValid "c:\\test\\prn.txt" == "c:\\test\\prn_.txt"
Windows: makeValid "c:\\test/prn.txt" == "c:\\test/prn_.txt"
Windows: makeValid "c:\\nul\\file" == "c:\\nul_\\file"
Windows: makeValid "\\\\\\foo" == "\\\\drive"
Windows: makeValid "\\\\?\\D:file" == "\\\\?\\D:\\file"
Windows: makeValid "nul .txt" == "nul _.txt"b filepath/Is a path relative, or is it fixed to the root?▓Windows: isRelative "path\\test" == True
Windows: isRelative "c:\\test" == False
Windows: isRelative "c:test" == True
Windows: isRelative "c:\\" == False
Windows: isRelative "c:/" == False
Windows: isRelative "c:" == True
Windows: isRelative "\\\\foo" == False
Windows: isRelative "\\\\?\\foo" == False
Windows: isRelative "\\\\?\\UNC\\foo" == False
Windows: isRelative "/foo" == True
Windows: isRelative "\\foo" == True
Posix:   isRelative "test/path" == True
Posix:   isRelative "/test" == False
Posix:   isRelative "/" == FalseAccording to [1]:/"A UNC name of any format [is never relative]."6"You cannot use the "\?" prefix with a relative path."c filepathnot .  b"isAbsolute x == not (isRelative x)ґ filepath╟The stripSuffix function drops the given suffix from a list. It returns
 Nothing if the list did not end with the suffix given, or Just the list
 before the suffix, if it does. 5 0123456789:<;>?@=CDEFABMPNOQRVWXYZ\[GHIKJLSTU_]^bc`a5 0123456789:<;>?@=CDEFABMPNOQRVWXYZ\[GHIKJLSTU_]^bc`a ;7=7Y5    (c) Neil Mitchell 2005-2014BSD3ndmitchell@gmail.comstableportableSafe   [S  5 0123456789:<;>?@=CDEFABMPNOQRVWXYZ\[GHIKJLSTU_]^bc`a5 0123456789:<;>?@=CDEFABMPNOQRVWXYZ\[GHIKJLSTU_]^bc`a      (c) Neil Mitchell 2005-2014BSD3ndmitchell@gmail.comstableportableSafe-Inferred О   ўy9ў filepath*Is the operating system Unix or Linux like╞ filepath$Is the operating system Windows liked filepathД The character that separates directories. In the case where more than
   one character is possible,  d is the 'ideal' one.ш Windows: pathSeparator == '\\'
Posix:   pathSeparator ==  '/'
isPathSeparator pathSeparatore filepath$The list of all possible separators.К Windows: pathSeparators == ['\\', '/']
Posix:   pathSeparators == ['/']
pathSeparator `elem` pathSeparatorsf filepathRather than using (==  d)5, use this. Test if something
   is a path separator..isPathSeparator a == (a `elem` pathSeparators)g filepathу The character that is used to separate the entries in the $PATH environment variable.г Windows: searchPathSeparator == ';'
Posix:   searchPathSeparator == ':'h filepath"Is the character a file separator?5isSearchPathSeparator a == (a == searchPathSeparator)i filepathFile extension characterextSeparator == '.'j filepath(Is the character an extension character?'isExtSeparator a == (a == extSeparator)k filepathTake a string, split it on the  gд  character.
   Blank items are ignored on Windows, and converted to .> on Posix.
   On Windows path elements are stripped of quotes."Follows the recommendations in
   ф http://www.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap08.html ЩPosix:   splitSearchPath "File1:File2:File3"  == ["File1","File2","File3"]
Posix:   splitSearchPath "File1::File2:File3" == ["File1",".","File2","File3"]
Windows: splitSearchPath "File1;File2;File3"  == ["File1","File2","File3"]
Windows: splitSearchPath "File1;;File2;File3" == ["File1","File2","File3"]
Windows: splitSearchPath "File1;\"File2\";File3" == ["File1","File2","File3"]l filepathGet a list of FILEPATHs in the $PATH variable.m filepathSplit on the extension.  s is the inverse.єsplitExtension "/directory/path.ext" == ("/directory/path",".ext")
uncurry (<>) (splitExtension x) == x
Valid x => uncurry addExtension (splitExtension x) == x
splitExtension "file.txt" == ("file",".txt")
splitExtension "file" == ("file","")
splitExtension "file/file.txt" == ("file/file",".txt")
splitExtension "file.txt/boris" == ("file.txt/boris","")
splitExtension "file.txt/boris.ext" == ("file.txt/boris",".ext")
splitExtension "file/path.txt.bob.fred" == ("file/path.txt.bob",".fred")
splitExtension "file/path.txt/" == ("file/path.txt/","")n filepath%Get the extension of a file, returns "" for no extension, .ext otherwise.оtakeExtension "/directory/path.ext" == ".ext"
takeExtension x == snd (splitExtension x)
Valid x => takeExtension (addExtension x "ext") == ".ext"
Valid x => takeExtension (replaceExtension x "ext") == ".ext"o filepath<Remove the current extension and add another, equivalent to  p.░"/directory/path.txt" -<.> "ext" == "/directory/path.ext"
"/directory/path.txt" -<.> ".ext" == "/directory/path.ext"
"foo.o" -<.> "c" == "foo.c"p filepathо Set the extension of a file, overwriting one if already present, equivalent to  o.ІreplaceExtension "/directory/path.txt" "ext" == "/directory/path.ext"
replaceExtension "/directory/path.txt" ".ext" == "/directory/path.ext"
replaceExtension "file.txt" ".bob" == "file.bob"
replaceExtension "file.txt" "bob" == "file.bob"
replaceExtension "file" ".bob" == "file.bob"
replaceExtension "file.txt" "" == "file"
replaceExtension "file.fred.bob" "txt" == "file.fred.txt"
replaceExtension x y == addExtension (dropExtension x) yq filepathд Add an extension, even if there is already one there, equivalent to  s.Й "/directory/path" <.> "ext" == "/directory/path.ext"
"/directory/path" <.> ".ext" == "/directory/path.ext"r filepath0Remove last extension, and the "." preceding it.Б dropExtension "/directory/path.ext" == "/directory/path"
dropExtension x == fst (splitExtension x)s filepathд Add an extension, even if there is already one there, equivalent to  q.┬addExtension "/directory/path" "ext" == "/directory/path.ext"
addExtension "file.txt" "bib" == "file.txt.bib"
addExtension "file." ".bib" == "file..bib"
addExtension "file" ".bib" == "file.bib"
addExtension "/" "x" == "/.x"
addExtension x "" == x
Valid x => takeFileName (addExtension (addTrailingPathSeparator x) "ext") == ".ext"
Windows: addExtension "\\\\share" ".txt" == "\\\\share\\.txt"t filepath*Does the given filename have an extension?│hasExtension "/directory/path.ext" == True
hasExtension "/directory/path" == False
null (takeExtension x) == not (hasExtension x)u filepath5Does the given filename have the specified extension?е"png" `isExtensionOf` "/directory/file.png" == True
".png" `isExtensionOf` "/directory/file.png" == True
".tar.gz" `isExtensionOf` "bar/foo.tar.gz" == True
"ar.gz" `isExtensionOf` "bar/foo.tar.gz" == False
"png" `isExtensionOf` "/directory/file.png.jpg" == False
"csv/table.csv" `isExtensionOf` "/data/csv/table.csv" == Falsev filepath2Drop the given extension from a FilePath, and the "." preceding it.
   Returns  ╘: if the FilePath does not have the given extension, or
    ╙. and the part before the extension if it does.+This function can be more predictable than  x5, especially if the filename
   might itself contain . characters.фstripExtension "hs.o" "foo.x.hs.o" == Just "foo.x"
stripExtension "hi.o" "foo.x.hs.o" == Nothing
dropExtension x == fromJust (stripExtension (takeExtension x) x)
dropExtensions x == fromJust (stripExtension (takeExtensions x) x)
stripExtension ".c.d" "a.b.c.d"  == Just "a.b"
stripExtension ".c.d" "a.b..c.d" == Just "a.b."
stripExtension "baz"  "foo.bar"  == Nothing
stripExtension "bar"  "foobar"   == Nothing
stripExtension ""     x          == Just xw filepathSplit on all extensions.┼splitExtensions "/directory/path.ext" == ("/directory/path",".ext")
splitExtensions "file.tar.gz" == ("file",".tar.gz")
uncurry (<>) (splitExtensions x) == x
Valid x => uncurry addExtension (splitExtensions x) == x
splitExtensions "file.tar.gz" == ("file",".tar.gz")x filepathDrop all extensions.аdropExtensions "/directory/path.ext" == "/directory/path"
dropExtensions "file.tar.gz" == "file"
not $ hasExtension $ dropExtensions x
not $ any isExtSeparator $ takeFileName $ dropExtensions xy filepathGet all extensions.ь takeExtensions "/directory/path.ext" == ".ext"
takeExtensions "file.tar.gz" == ".tar.gz"z filepathд Replace all extensions of a file with a new extension. Note
   that  p and  sМ  both work for adding
   multiple extensions, so only required when you need to drop
   all extensions first.Я replaceExtensions "file.fred.bob" "txt" == "file.txt"
replaceExtensions "file.fred.bob" "tar.gz" == "file.tar.gz"╟ filepathН Is the given character a valid drive letter?
 only a-z and A-Z are letters, not isAlpha which is more unicodey{ filepathю Split a path into a drive and a path.
   On Posix, / is a Drive.Бuncurry (<>) (splitDrive x) == x
Windows: splitDrive "file" == ("","file")
Windows: splitDrive "c:/file" == ("c:/","file")
Windows: splitDrive "c:\\file" == ("c:\\","file")
Windows: splitDrive "\\\\shared\\test" == ("\\\\shared\\","test")
Windows: splitDrive "\\\\shared" == ("\\\\shared","")
Windows: splitDrive "\\\\?\\UNC\\shared\\file" == ("\\\\?\\UNC\\shared\\","file")
Windows: splitDrive "\\\\?\\UNCshared\\file" == ("\\\\?\\","UNCshared\\file")
Windows: splitDrive "\\\\?\\d:\\file" == ("\\\\?\\d:\\","file")
Windows: splitDrive "/d" == ("","/d")
Posix:   splitDrive "/test" == ("/","test")
Posix:   splitDrive "//test" == ("//","test")
Posix:   splitDrive "test/file" == ("","test/file")
Posix:   splitDrive "file" == ("","file")| filepath&Join a drive and the rest of the path.ЙValid x => uncurry joinDrive (splitDrive x) == x
Windows: joinDrive "C:" "foo" == "C:foo"
Windows: joinDrive "C:\\" "bar" == "C:\\bar"
Windows: joinDrive "\\\\share" "foo" == "\\\\share\\foo"
Windows: joinDrive "/:" "foo" == "/:\\foo"} filepathGet the drive from a filepath.!takeDrive x == fst (splitDrive x)~ filepathDelete the drive, if it exists.!dropDrive x == snd (splitDrive x) filepathDoes a path have a drive.лnot (hasDrive x) == null (takeDrive x)
Posix:   hasDrive "/foo" == True
Windows: hasDrive "C:\\foo" == True
Windows: hasDrive "C:foo" == True
         hasDrive "foo" == False
         hasDrive "" == False─ filepathIs an element a drive·Posix:   isDrive "/" == True
Posix:   isDrive "/foo" == False
Windows: isDrive "C:\\" == True
Windows: isDrive "C:\\foo" == False
         isDrive "" == False│ filepath*Split a filename into directory and file.  █м  is the inverse.
   The first component will often end with a trailing slash.яsplitFileName "/directory/file.ext" == ("/directory/","file.ext")
Valid x => uncurry (</>) (splitFileName x) == x || fst (splitFileName x) == "./"
Valid x => isValid (fst (splitFileName x))
splitFileName "file/bob.txt" == ("file/", "bob.txt")
splitFileName "file/" == ("file/", "")
splitFileName "bob" == ("./", "bob")
Posix:   splitFileName "/" == ("/","")
Windows: splitFileName "c:" == ("c:","")
Windows: splitFileName "\\\\?\\A:\\fred" == ("\\\\?\\A:\\","fred")┌ filepathSet the filename.Щ replaceFileName "/directory/other.txt" "file.ext" == "/directory/file.ext"
Valid x => replaceFileName x (takeFileName x) == x┐ filepathDrop the filename. Unlike  ┼и , this function will leave
   a trailing path separator on the directory.ш dropFileName "/directory/file.ext" == "/directory/"
dropFileName x == fst (splitFileName x)└ filepathGet the file name.іtakeFileName "/directory/file.ext" == "file.ext"
takeFileName "test/" == ""
isSuffixOf (takeFileName x) x
takeFileName x == snd (splitFileName x)
Valid x => takeFileName (replaceFileName x "fred") == "fred"
Valid x => takeFileName (x </> "fred") == "fred"
Valid x => isRelative (takeFileName x)┘ filepath0Get the base name, without an extension or path.┤takeBaseName "/directory/file.ext" == "file"
takeBaseName "file/test.txt" == "test"
takeBaseName "dave.ext" == "dave"
takeBaseName "" == ""
takeBaseName "test" == "test"
takeBaseName (addTrailingPathSeparator x) == ""
takeBaseName "file/file.tar.gz" == "file.tar"├ filepathSet the base name.÷replaceBaseName "/directory/other.ext" "file" == "/directory/file.ext"
replaceBaseName "file/test.txt" "bob" == "file/bob.txt"
replaceBaseName "fred" "bill" == "bill"
replaceBaseName "/dave/fred/bob.gz.tar" "new" == "/dave/fred/new.tar"
Valid x => replaceBaseName x (takeBaseName x) == x┤ filepathе Is an item either a directory or the last character a path separator?я hasTrailingPathSeparator "test" == False
hasTrailingPathSeparator "test/" == True┬ filepathа Add a trailing file path separator if one is not already present.ЁhasTrailingPathSeparator (addTrailingPathSeparator x)
hasTrailingPathSeparator x ==> addTrailingPathSeparator x == x
Posix:    addTrailingPathSeparator "test/rest" == "test/rest/"┴ filepath#Remove any trailing path separatorsИdropTrailingPathSeparator "file/test/" == "file/test"
          dropTrailingPathSeparator "/" == "/"
Windows:  dropTrailingPathSeparator "\\" == "\\"
Posix:    not (hasTrailingPathSeparator (dropTrailingPathSeparator x)) || isDrive x┼ filepath*Get the directory name, move up one level.⌡          takeDirectory "/directory/other.ext" == "/directory"
          isPrefixOf (takeDirectory x) x || takeDirectory x == "."
          takeDirectory "foo" == "."
          takeDirectory "/" == "/"
          takeDirectory "/foo" == "/"
          takeDirectory "/foo/bar/baz" == "/foo/bar"
          takeDirectory "/foo/bar/baz/" == "/foo/bar/baz"
          takeDirectory "foo/bar/baz" == "foo/bar"
Windows:  takeDirectory "foo\\bar" == "foo"
Windows:  takeDirectory "foo\\bar\\\\" == "foo\\bar"
Windows:  takeDirectory "C:\\" == "C:\\"▀ filepath1Set the directory, keeping the filename the same.┴replaceDirectory "root/file.ext" "/directory/" == "/directory/file.ext"
Valid x => replaceDirectory x (takeDirectory x) `equalFilePath` x▄ filepathAn alias for  █.╠ filepath0Combine two paths, assuming rhs is NOT absolute.█ filepathєCombine two paths with a path separator.
   If the second path starts with a path separator or a drive letter, then it returns the second.
   The intention is that readFile (dir  █ file)! will access the same file as
   &setCurrentDirectory dir; readFile file.РPosix:   "/directory" </> "file.ext" == "/directory/file.ext"
Windows: "/directory" </> "file.ext" == "/directory\\file.ext"
         "directory" </> "/file.ext" == "/file.ext"
Valid x => (takeDirectory x </> takeFileName x) `equalFilePath` x	Combined:фPosix:   "/" </> "test" == "/test"
Posix:   "home" </> "bob" == "home/bob"
Posix:   "x:" </> "foo" == "x:/foo"
Windows: "C:\\foo" </> "bar" == "C:\\foo\\bar"
Windows: "home" </> "bob" == "home\\bob"Not combined:о Posix:   "home" </> "/bob" == "/bob"
Windows: "home" </> "C:\\bob" == "C:\\bob"Not combined (tricky):гOn Windows, if a filepath starts with a single slash, it is relative to the
   root of the current drive. In [1], this is (confusingly) referred to as an
   absolute path.
   The current behavior of  █! is to never combine these forms.Ж Windows: "home" </> "/bob" == "/bob"
Windows: "home" </> "\\bob" == "\\bob"
Windows: "C:\\home" </> "\\bob" == "\\bob"ЬOn Windows, from [1]: "If a file name begins with only a disk designator
   but not the backslash after the colon, it is interpreted as a relative path
   to the current directory on the drive with the specified letter."
   The current behavior of  █! is to never combine these forms.с Windows: "D:\\foo" </> "C:bar" == "C:bar"
Windows: "C:\\foo" </> "C:bar" == "C:bar"▌ filepath(Split a path by the directory separator.йsplitPath "/directory/file.ext" == ["/","directory/","file.ext"]
concat (splitPath x) == x
splitPath "test//item/" == ["test//","item/"]
splitPath "test/item/file" == ["test/","item/","file"]
splitPath "" == []
Windows: splitPath "c:\\test\\path" == ["c:\\","test\\","path"]
Posix:   splitPath "/file/test" == ["/","file/","test"]▐ filepathJust as  ▌5, but don't add the trailing slashes to each element.Ъ         splitDirectories "/directory/file.ext" == ["/","directory","file.ext"]
         splitDirectories "test/file" == ["test","file"]
         splitDirectories "/test/file" == ["/","test","file"]
Windows: splitDirectories "C:\\test\\file" == ["C:\\", "test", "file"]
         Valid x => joinPath (splitDirectories x) `equalFilePath` x
         splitDirectories "" == []
Windows: splitDirectories "C:\\test\\\\\\file" == ["C:\\", "test", "file"]
         splitDirectories "/test///file" == ["/","test","file"]░ filepath!Join path elements back together.рjoinPath z == foldr (</>) "" z
joinPath ["/","directory/","file.ext"] == "/directory/file.ext"
Valid x => joinPath (splitPath x) == x
joinPath [] == ""
Posix: joinPath ["test","file","path"] == "test/file/path"▒ filepathEquality of two FILEPATHs.
   If you call !System.Directory.canonicalizePathК 
   first this has a much better chance of working.
   Note that this doesn't follow symlinks or DOSNAM~1s.Similar to  ⌠, this does not expand "..", because of symlinks.м         x == y ==> equalFilePath x y
         normalise x == normalise y ==> equalFilePath x y
         equalFilePath "foo" "foo/"
         not (equalFilePath "/a/../c" "/c")
         not (equalFilePath "foo" "/foo")
Posix:   not (equalFilePath "foo" "FOO")
Windows: equalFilePath "foo" "FOO"
Windows: not (equalFilePath "C:" "C:/")▓ filepathД Contract a filename, based on a relative path. Note that the resulting path
   will never introduce ..* paths, as the presence of symlinks means ../b
   may not reach a/b if it starts from a/c. For a worked example see
   ж http://neilmitchell.blogspot.co.uk/2015/10/filepaths-are-subtle-symlinks-are-hard.htmlthis blog post.The corresponding makeAbsolute function can be found in
   System.Directory.С         makeRelative "/directory" "/directory/file.ext" == "file.ext"
         Valid x => makeRelative (takeDirectory x) x `equalFilePath` takeFileName x
         makeRelative x x == "."
         Valid x y => equalFilePath x y || (isRelative x && makeRelative y x == x) || equalFilePath (y </> makeRelative y x) x
Windows: makeRelative "C:\\Home" "c:\\home\\bob" == "bob"
Windows: makeRelative "C:\\Home" "c:/home/bob" == "bob"
Windows: makeRelative "C:\\Home" "D:\\Home\\Bob" == "D:\\Home\\Bob"
Windows: makeRelative "C:\\Home" "C:Home\\Bob" == "C:Home\\Bob"
Windows: makeRelative "/Home" "/home/bob" == "bob"
Windows: makeRelative "/" "//" == "//"
Posix:   makeRelative "/Home" "/home/bob" == "/home/bob"
Posix:   makeRelative "/home/" "/home/bob/foo/bar" == "bob/foo/bar"
Posix:   makeRelative "/fred" "bob" == "bob"
Posix:   makeRelative "/file/test" "/file/test/fred" == "fred"
Posix:   makeRelative "/file/test" "/file/test/fred/" == "fred/"
Posix:   makeRelative "some/path" "some/path/a/b/c" == "a/b/c"⌠ filepathNormalise a file)// outside of the drive can be made blank/ ->  d./ -> ""Does not remove "..", because of symlinks.ГPosix:   normalise "/file/\\test////" == "/file/\\test/"
Posix:   normalise "/file/./test" == "/file/test"
Posix:   normalise "/test/file/../bob/fred/" == "/test/file/../bob/fred/"
Posix:   normalise "../bob/fred/" == "../bob/fred/"
Posix:   normalise "/a/../c" == "/a/../c"
Posix:   normalise "./bob/fred/" == "bob/fred/"
Windows: normalise "c:\\file/bob\\" == "C:\\file\\bob\\"
Windows: normalise "c:\\" == "C:\\"
Windows: normalise "c:\\\\\\\\" == "C:\\"
Windows: normalise "C:.\\" == "C:"
Windows: normalise "\\\\server\\test" == "\\\\server\\test"
Windows: normalise "//server/test" == "\\\\server\\test"
Windows: normalise "c:/file" == "C:\\file"
Windows: normalise "/file" == "\\file"
Windows: normalise "\\" == "\\"
Windows: normalise "/./" == "\\"
         normalise "." == "."
Posix:   normalise "./" == "./"
Posix:   normalise "./." == "./"
Posix:   normalise "/./" == "/"
Posix:   normalise "/" == "/"
Posix:   normalise "bob/fred/." == "bob/fred/"
Posix:   normalise "//home" == "/home"■ filepathъIs a FilePath valid, i.e. could you create a file like it? This function checks for invalid names,
   and invalid characters, but does not check if length limits are exceeded, as these are typically
   filesystem dependent.щ         isValid "" == False
         isValid "\0" == False
Posix:   isValid "/random_ path:*" == True
Posix:   isValid x == not (null x)
Windows: isValid "c:\\test" == True
Windows: isValid "c:\\test:of_test" == False
Windows: isValid "test*" == False
Windows: isValid "c:\\test\\nul" == False
Windows: isValid "c:\\test\\prn.txt" == False
Windows: isValid "c:\\nul\\file" == False
Windows: isValid "\\\\" == False
Windows: isValid "\\\\\\foo" == False
Windows: isValid "\\\\?\\D:file" == False
Windows: isValid "foo\tbar" == False
Windows: isValid "nul .txt" == False
Windows: isValid " nul.txt" == True∙ filepathк Take a FilePath and make it valid; does not change already valid FILEPATHs.▐isValid (makeValid x)
isValid x ==> makeValid x == x
makeValid "" == "_"
makeValid "file\0name" == "file_name"
Windows: makeValid "c:\\already\\/valid" == "c:\\already\\/valid"
Windows: makeValid "c:\\test:of_test" == "c:\\test_of_test"
Windows: makeValid "test*" == "test_"
Windows: makeValid "c:\\test\\nul" == "c:\\test\\nul_"
Windows: makeValid "c:\\test\\prn.txt" == "c:\\test\\prn_.txt"
Windows: makeValid "c:\\test/prn.txt" == "c:\\test/prn_.txt"
Windows: makeValid "c:\\nul\\file" == "c:\\nul_\\file"
Windows: makeValid "\\\\\\foo" == "\\\\drive"
Windows: makeValid "\\\\?\\D:file" == "\\\\?\\D:\\file"
Windows: makeValid "nul .txt" == "nul _.txt"√ filepath/Is a path relative, or is it fixed to the root?▓Windows: isRelative "path\\test" == True
Windows: isRelative "c:\\test" == False
Windows: isRelative "c:test" == True
Windows: isRelative "c:\\" == False
Windows: isRelative "c:/" == False
Windows: isRelative "c:" == True
Windows: isRelative "\\\\foo" == False
Windows: isRelative "\\\\?\\foo" == False
Windows: isRelative "\\\\?\\UNC\\foo" == False
Windows: isRelative "/foo" == True
Windows: isRelative "\\foo" == True
Posix:   isRelative "test/path" == True
Posix:   isRelative "/test" == False
Posix:   isRelative "/" == FalseAccording to [1]:/"A UNC name of any format [is never relative]."6"You cannot use the "\?" prefix with a relative path."≈ filepathnot .  √"isAbsolute x == not (isRelative x)╡ filepath╟The stripSuffix function drops the given suffix from a list. It returns
 Nothing if the list did not end with the suffix given, or Just the list
 before the suffix, if it does. 5 defghijklmnporstqwxyzuv│└┌┐┘├┼▀▄█▌░▐{|}~─┤┬┴⌠▒▓√≈■∙5 defghijklmnporstqwxyzuv│└┌┐┘├┼▀▄█▌░▐{|}~─┤┬┴⌠▒▓√≈■∙ o7q7█5         Safe-Inferred   ╞L  	
	
      (c) Neil Mitchell 2005-2014BSD3ndmitchell@gmail.comstableportableSafe-Inferred О  с9Ё filepath*Is the operating system Unix or Linux likeЄ filepath$Is the operating system Windows like≤ filepathД The character that separates directories. In the case where more than
   one character is possible,  ≤ is the 'ideal' one.ш Windows: pathSeparator == '\\'
Posix:   pathSeparator ==  '/'
isPathSeparator pathSeparator≥ filepath$The list of all possible separators.К Windows: pathSeparators == ['\\', '/']
Posix:   pathSeparators == ['/']
pathSeparator `elem` pathSeparators  filepathRather than using (==  ≤)5, use this. Test if something
   is a path separator..isPathSeparator a == (a `elem` pathSeparators)⌡ filepathу The character that is used to separate the entries in the $PATH environment variable.г Windows: searchPathSeparator == ';'
Posix:   searchPathSeparator == ':'° filepath"Is the character a file separator?5isSearchPathSeparator a == (a == searchPathSeparator)² filepathFile extension characterextSeparator == '.'· filepath(Is the character an extension character?'isExtSeparator a == (a == extSeparator)÷ filepathTake a string, split it on the  ⌡д  character.
   Blank items are ignored on Windows, and converted to .> on Posix.
   On Windows path elements are stripped of quotes."Follows the recommendations in
   ф http://www.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap08.html ЩPosix:   splitSearchPath "File1:File2:File3"  == ["File1","File2","File3"]
Posix:   splitSearchPath "File1::File2:File3" == ["File1",".","File2","File3"]
Windows: splitSearchPath "File1;File2;File3"  == ["File1","File2","File3"]
Windows: splitSearchPath "File1;;File2;File3" == ["File1","File2","File3"]
Windows: splitSearchPath "File1;\"File2\";File3" == ["File1","File2","File3"]═ filepathSplit on the extension.  і is the inverse.єsplitExtension "/directory/path.ext" == ("/directory/path",".ext")
uncurry (<>) (splitExtension x) == x
Valid x => uncurry addExtension (splitExtension x) == x
splitExtension "file.txt" == ("file",".txt")
splitExtension "file" == ("file","")
splitExtension "file/file.txt" == ("file/file",".txt")
splitExtension "file.txt/boris" == ("file.txt/boris","")
splitExtension "file.txt/boris.ext" == ("file.txt/boris",".ext")
splitExtension "file/path.txt.bob.fred" == ("file/path.txt.bob",".fred")
splitExtension "file/path.txt/" == ("file/path.txt/","")║ filepath%Get the extension of a file, returns "" for no extension, .ext otherwise.оtakeExtension "/directory/path.ext" == ".ext"
takeExtension x == snd (splitExtension x)
Valid x => takeExtension (addExtension x "ext") == ".ext"
Valid x => takeExtension (replaceExtension x "ext") == ".ext"╒ filepath<Remove the current extension and add another, equivalent to  ё.░"/directory/path.txt" -<.> "ext" == "/directory/path.ext"
"/directory/path.txt" -<.> ".ext" == "/directory/path.ext"
"foo.o" -<.> "c" == "foo.c"ё filepathо Set the extension of a file, overwriting one if already present, equivalent to  ╒.ІreplaceExtension "/directory/path.txt" "ext" == "/directory/path.ext"
replaceExtension "/directory/path.txt" ".ext" == "/directory/path.ext"
replaceExtension "file.txt" ".bob" == "file.bob"
replaceExtension "file.txt" "bob" == "file.bob"
replaceExtension "file" ".bob" == "file.bob"
replaceExtension "file.txt" "" == "file"
replaceExtension "file.fred.bob" "txt" == "file.fred.txt"
replaceExtension x y == addExtension (dropExtension x) yє filepathд Add an extension, even if there is already one there, equivalent to  і.Й "/directory/path" <.> "ext" == "/directory/path.ext"
"/directory/path" <.> ".ext" == "/directory/path.ext"╔ filepath0Remove last extension, and the "." preceding it.Б dropExtension "/directory/path.ext" == "/directory/path"
dropExtension x == fst (splitExtension x)і filepathд Add an extension, even if there is already one there, equivalent to  є.┬addExtension "/directory/path" "ext" == "/directory/path.ext"
addExtension "file.txt" "bib" == "file.txt.bib"
addExtension "file." ".bib" == "file..bib"
addExtension "file" ".bib" == "file.bib"
addExtension "/" "x" == "/.x"
addExtension x "" == x
Valid x => takeFileName (addExtension (addTrailingPathSeparator x) "ext") == ".ext"
Windows: addExtension "\\\\share" ".txt" == "\\\\share\\.txt"ї filepath*Does the given filename have an extension?│hasExtension "/directory/path.ext" == True
hasExtension "/directory/path" == False
null (takeExtension x) == not (hasExtension x)╗ filepath5Does the given filename have the specified extension?е"png" `isExtensionOf` "/directory/file.png" == True
".png" `isExtensionOf` "/directory/file.png" == True
".tar.gz" `isExtensionOf` "bar/foo.tar.gz" == True
"ar.gz" `isExtensionOf` "bar/foo.tar.gz" == False
"png" `isExtensionOf` "/directory/file.png.jpg" == False
"csv/table.csv" `isExtensionOf` "/data/csv/table.csv" == False╘ filepath9Drop the given extension from a ShortByteString, and the "." preceding it.
   Returns  ╘а  if the ShortByteString does not have the given extension, or
    ╙. and the part before the extension if it does.+This function can be more predictable than  ╚5, especially if the filename
   might itself contain . characters.фstripExtension "hs.o" "foo.x.hs.o" == Just "foo.x"
stripExtension "hi.o" "foo.x.hs.o" == Nothing
dropExtension x == fromJust (stripExtension (takeExtension x) x)
dropExtensions x == fromJust (stripExtension (takeExtensions x) x)
stripExtension ".c.d" "a.b.c.d"  == Just "a.b"
stripExtension ".c.d" "a.b..c.d" == Just "a.b."
stripExtension "baz"  "foo.bar"  == Nothing
stripExtension "bar"  "foobar"   == Nothing
stripExtension ""     x          == Just x╙ filepathSplit on all extensions.┼splitExtensions "/directory/path.ext" == ("/directory/path",".ext")
splitExtensions "file.tar.gz" == ("file",".tar.gz")
uncurry (<>) (splitExtensions x) == x
Valid x => uncurry addExtension (splitExtensions x) == x
splitExtensions "file.tar.gz" == ("file",".tar.gz")╚ filepathDrop all extensions.аdropExtensions "/directory/path.ext" == "/directory/path"
dropExtensions "file.tar.gz" == "file"
not $ hasExtension $ dropExtensions x
not $ any isExtSeparator $ takeFileName $ dropExtensions x╛ filepathGet all extensions.ь takeExtensions "/directory/path.ext" == ".ext"
takeExtensions "file.tar.gz" == ".tar.gz"ґ filepathд Replace all extensions of a file with a new extension. Note
   that  ё and  іМ  both work for adding
   multiple extensions, so only required when you need to drop
   all extensions first.Я replaceExtensions "file.fred.bob" "txt" == "file.txt"
replaceExtensions "file.fred.bob" "tar.gz" == "file.tar.gz"╣ filepathН Is the given character a valid drive letter?
 only a-z and A-Z are letters, not isAlpha which is more unicodeyў filepathю Split a path into a drive and a path.
   On Posix, / is a Drive.Бuncurry (<>) (splitDrive x) == x
Windows: splitDrive "file" == ("","file")
Windows: splitDrive "c:/file" == ("c:/","file")
Windows: splitDrive "c:\\file" == ("c:\\","file")
Windows: splitDrive "\\\\shared\\test" == ("\\\\shared\\","test")
Windows: splitDrive "\\\\shared" == ("\\\\shared","")
Windows: splitDrive "\\\\?\\UNC\\shared\\file" == ("\\\\?\\UNC\\shared\\","file")
Windows: splitDrive "\\\\?\\UNCshared\\file" == ("\\\\?\\","UNCshared\\file")
Windows: splitDrive "\\\\?\\d:\\file" == ("\\\\?\\d:\\","file")
Windows: splitDrive "/d" == ("","/d")
Posix:   splitDrive "/test" == ("/","test")
Posix:   splitDrive "//test" == ("//","test")
Posix:   splitDrive "test/file" == ("","test/file")
Posix:   splitDrive "file" == ("","file")╞ filepath&Join a drive and the rest of the path.ЙValid x => uncurry joinDrive (splitDrive x) == x
Windows: joinDrive "C:" "foo" == "C:foo"
Windows: joinDrive "C:\\" "bar" == "C:\\bar"
Windows: joinDrive "\\\\share" "foo" == "\\\\share\\foo"
Windows: joinDrive "/:" "foo" == "/:\\foo"╟ filepathGet the drive from a filepath.!takeDrive x == fst (splitDrive x)╠ filepathDelete the drive, if it exists.!dropDrive x == snd (splitDrive x)╡ filepathDoes a path have a drive.лnot (hasDrive x) == null (takeDrive x)
Posix:   hasDrive "/foo" == True
Windows: hasDrive "C:\\foo" == True
Windows: hasDrive "C:foo" == True
         hasDrive "foo" == False
         hasDrive "" == FalseЁ filepathIs an element a drive·Posix:   isDrive "/" == True
Posix:   isDrive "/foo" == False
Windows: isDrive "C:\\" == True
Windows: isDrive "C:\\foo" == False
         isDrive "" == FalseЄ filepath*Split a filename into directory and file.  юм  is the inverse.
   The first component will often end with a trailing slash.яsplitFileName "/directory/file.ext" == ("/directory/","file.ext")
Valid x => uncurry (</>) (splitFileName x) == x || fst (splitFileName x) == "./"
Valid x => isValid (fst (splitFileName x))
splitFileName "file/bob.txt" == ("file/", "bob.txt")
splitFileName "file/" == ("file/", "")
splitFileName "bob" == ("./", "bob")
Posix:   splitFileName "/" == ("/","")
Windows: splitFileName "c:" == ("c:","")
Windows: splitFileName "\\\\?\\A:\\fred" == ("\\\\?\\A:\\","fred")╣ filepathSet the filename.Щ replaceFileName "/directory/other.txt" "file.ext" == "/directory/file.ext"
Valid x => replaceFileName x (takeFileName x) == xІ filepathDrop the filename. Unlike  Ґи , this function will leave
   a trailing path separator on the directory.ш dropFileName "/directory/file.ext" == "/directory/"
dropFileName x == fst (splitFileName x)Ї filepathGet the file name.іtakeFileName "/directory/file.ext" == "file.ext"
takeFileName "test/" == ""
isSuffixOf (takeFileName x) x
takeFileName x == snd (splitFileName x)
Valid x => takeFileName (replaceFileName x "fred") == "fred"
Valid x => takeFileName (x </> "fred") == "fred"
Valid x => isRelative (takeFileName x)╦ filepath0Get the base name, without an extension or path.┤takeBaseName "/directory/file.ext" == "file"
takeBaseName "file/test.txt" == "test"
takeBaseName "dave.ext" == "dave"
takeBaseName "" == ""
takeBaseName "test" == "test"
takeBaseName (addTrailingPathSeparator x) == ""
takeBaseName "file/file.tar.gz" == "file.tar"╧ filepathSet the base name.÷replaceBaseName "/directory/other.ext" "file" == "/directory/file.ext"
replaceBaseName "file/test.txt" "bob" == "file/bob.txt"
replaceBaseName "fred" "bill" == "bill"
replaceBaseName "/dave/fred/bob.gz.tar" "new" == "/dave/fred/new.tar"
Valid x => replaceBaseName x (takeBaseName x) == x╨ filepathе Is an item either a directory or the last character a path separator?я hasTrailingPathSeparator "test" == False
hasTrailingPathSeparator "test/" == True╩ filepathа Add a trailing file path separator if one is not already present.ЁhasTrailingPathSeparator (addTrailingPathSeparator x)
hasTrailingPathSeparator x ==> addTrailingPathSeparator x == x
Posix:    addTrailingPathSeparator "test/rest" == "test/rest/"╪ filepath#Remove any trailing path separatorsИdropTrailingPathSeparator "file/test/" == "file/test"
          dropTrailingPathSeparator "/" == "/"
Windows:  dropTrailingPathSeparator "\\" == "\\"
Posix:    not (hasTrailingPathSeparator (dropTrailingPathSeparator x)) || isDrive xҐ filepath*Get the directory name, move up one level.⌡          takeDirectory "/directory/other.ext" == "/directory"
          isPrefixOf (takeDirectory x) x || takeDirectory x == "."
          takeDirectory "foo" == "."
          takeDirectory "/" == "/"
          takeDirectory "/foo" == "/"
          takeDirectory "/foo/bar/baz" == "/foo/bar"
          takeDirectory "/foo/bar/baz/" == "/foo/bar/baz"
          takeDirectory "foo/bar/baz" == "foo/bar"
Windows:  takeDirectory "foo\\bar" == "foo"
Windows:  takeDirectory "foo\\bar\\\\" == "foo\\bar"
Windows:  takeDirectory "C:\\" == "C:\\"Ў filepath1Set the directory, keeping the filename the same.┴replaceDirectory "root/file.ext" "/directory/" == "/directory/file.ext"
Valid x => replaceDirectory x (takeDirectory x) `equalFilePath` x© filepathAn alias for  ю.І filepath0Combine two paths, assuming rhs is NOT absolute.ю filepathєCombine two paths with a path separator.
   If the second path starts with a path separator or a drive letter, then it returns the second.
   The intention is that readFile (dir  ю file)! will access the same file as
   &setCurrentDirectory dir; readFile file.РPosix:   "/directory" </> "file.ext" == "/directory/file.ext"
Windows: "/directory" </> "file.ext" == "/directory\\file.ext"
         "directory" </> "/file.ext" == "/file.ext"
Valid x => (takeDirectory x </> takeFileName x) `equalFilePath` x	Combined:фPosix:   "/" </> "test" == "/test"
Posix:   "home" </> "bob" == "home/bob"
Posix:   "x:" </> "foo" == "x:/foo"
Windows: "C:\\foo" </> "bar" == "C:\\foo\\bar"
Windows: "home" </> "bob" == "home\\bob"Not combined:о Posix:   "home" </> "/bob" == "/bob"
Windows: "home" </> "C:\\bob" == "C:\\bob"Not combined (tricky):гOn Windows, if a filepath starts with a single slash, it is relative to the
   root of the current drive. In [1], this is (confusingly) referred to as an
   absolute path.
   The current behavior of  ю! is to never combine these forms.Ж Windows: "home" </> "/bob" == "/bob"
Windows: "home" </> "\\bob" == "\\bob"
Windows: "C:\\home" </> "\\bob" == "\\bob"ЬOn Windows, from [1]: "If a file name begins with only a disk designator
   but not the backslash after the colon, it is interpreted as a relative path
   to the current directory on the drive with the specified letter."
   The current behavior of  ю! is to never combine these forms.с Windows: "D:\\foo" </> "C:bar" == "C:bar"
Windows: "C:\\foo" </> "C:bar" == "C:bar"а filepath(Split a path by the directory separator.йsplitPath "/directory/file.ext" == ["/","directory/","file.ext"]
concat (splitPath x) == x
splitPath "test//item/" == ["test//","item/"]
splitPath "test/item/file" == ["test/","item/","file"]
splitPath "" == []
Windows: splitPath "c:\\test\\path" == ["c:\\","test\\","path"]
Posix:   splitPath "/file/test" == ["/","file/","test"]б filepathJust as  а5, but don't add the trailing slashes to each element.Ъ         splitDirectories "/directory/file.ext" == ["/","directory","file.ext"]
         splitDirectories "test/file" == ["test","file"]
         splitDirectories "/test/file" == ["/","test","file"]
Windows: splitDirectories "C:\\test\\file" == ["C:\\", "test", "file"]
         Valid x => joinPath (splitDirectories x) `equalFilePath` x
         splitDirectories "" == []
Windows: splitDirectories "C:\\test\\\\\\file" == ["C:\\", "test", "file"]
         splitDirectories "/test///file" == ["/","test","file"]ц filepath!Join path elements back together.рjoinPath z == foldr (</>) "" z
joinPath ["/","directory/","file.ext"] == "/directory/file.ext"
Valid x => joinPath (splitPath x) == x
joinPath [] == ""
Posix: joinPath ["test","file","path"] == "test/file/path"д filepathEquality of two FILEPATHs.
   If you call !System.Directory.canonicalizePathК 
   first this has a much better chance of working.
   Note that this doesn't follow symlinks or DOSNAM~1s.Similar to  ф, this does not expand "..", because of symlinks.м         x == y ==> equalFilePath x y
         normalise x == normalise y ==> equalFilePath x y
         equalFilePath "foo" "foo/"
         not (equalFilePath "/a/../c" "/c")
         not (equalFilePath "foo" "/foo")
Posix:   not (equalFilePath "foo" "FOO")
Windows: equalFilePath "foo" "FOO"
Windows: not (equalFilePath "C:" "C:/")е filepathД Contract a filename, based on a relative path. Note that the resulting path
   will never introduce ..* paths, as the presence of symlinks means ../b
   may not reach a/b if it starts from a/c. For a worked example see
   ж http://neilmitchell.blogspot.co.uk/2015/10/filepaths-are-subtle-symlinks-are-hard.htmlthis blog post.The corresponding makeAbsolute function can be found in
   System.Directory.С         makeRelative "/directory" "/directory/file.ext" == "file.ext"
         Valid x => makeRelative (takeDirectory x) x `equalFilePath` takeFileName x
         makeRelative x x == "."
         Valid x y => equalFilePath x y || (isRelative x && makeRelative y x == x) || equalFilePath (y </> makeRelative y x) x
Windows: makeRelative "C:\\Home" "c:\\home\\bob" == "bob"
Windows: makeRelative "C:\\Home" "c:/home/bob" == "bob"
Windows: makeRelative "C:\\Home" "D:\\Home\\Bob" == "D:\\Home\\Bob"
Windows: makeRelative "C:\\Home" "C:Home\\Bob" == "C:Home\\Bob"
Windows: makeRelative "/Home" "/home/bob" == "bob"
Windows: makeRelative "/" "//" == "//"
Posix:   makeRelative "/Home" "/home/bob" == "/home/bob"
Posix:   makeRelative "/home/" "/home/bob/foo/bar" == "bob/foo/bar"
Posix:   makeRelative "/fred" "bob" == "bob"
Posix:   makeRelative "/file/test" "/file/test/fred" == "fred"
Posix:   makeRelative "/file/test" "/file/test/fred/" == "fred/"
Posix:   makeRelative "some/path" "some/path/a/b/c" == "a/b/c"ф filepathNormalise a file)// outside of the drive can be made blank/ ->  ≤./ -> ""Does not remove "..", because of symlinks.ГPosix:   normalise "/file/\\test////" == "/file/\\test/"
Posix:   normalise "/file/./test" == "/file/test"
Posix:   normalise "/test/file/../bob/fred/" == "/test/file/../bob/fred/"
Posix:   normalise "../bob/fred/" == "../bob/fred/"
Posix:   normalise "/a/../c" == "/a/../c"
Posix:   normalise "./bob/fred/" == "bob/fred/"
Windows: normalise "c:\\file/bob\\" == "C:\\file\\bob\\"
Windows: normalise "c:\\" == "C:\\"
Windows: normalise "c:\\\\\\\\" == "C:\\"
Windows: normalise "C:.\\" == "C:"
Windows: normalise "\\\\server\\test" == "\\\\server\\test"
Windows: normalise "//server/test" == "\\\\server\\test"
Windows: normalise "c:/file" == "C:\\file"
Windows: normalise "/file" == "\\file"
Windows: normalise "\\" == "\\"
Windows: normalise "/./" == "\\"
         normalise "." == "."
Posix:   normalise "./" == "./"
Posix:   normalise "./." == "./"
Posix:   normalise "/./" == "/"
Posix:   normalise "/" == "/"
Posix:   normalise "bob/fred/." == "bob/fred/"
Posix:   normalise "//home" == "/home"г filepathФIs a ShortByteString valid, i.e. could you create a file like it? This function checks for invalid names,
   and invalid characters, but does not check if length limits are exceeded, as these are typically
   filesystem dependent.щ         isValid "" == False
         isValid "\0" == False
Posix:   isValid "/random_ path:*" == True
Posix:   isValid x == not (null x)
Windows: isValid "c:\\test" == True
Windows: isValid "c:\\test:of_test" == False
Windows: isValid "test*" == False
Windows: isValid "c:\\test\\nul" == False
Windows: isValid "c:\\test\\prn.txt" == False
Windows: isValid "c:\\nul\\file" == False
Windows: isValid "\\\\" == False
Windows: isValid "\\\\\\foo" == False
Windows: isValid "\\\\?\\D:file" == False
Windows: isValid "foo\tbar" == False
Windows: isValid "nul .txt" == False
Windows: isValid " nul.txt" == Trueх filepathр Take a ShortByteString and make it valid; does not change already valid FILEPATHs.▐isValid (makeValid x)
isValid x ==> makeValid x == x
makeValid "" == "_"
makeValid "file\0name" == "file_name"
Windows: makeValid "c:\\already\\/valid" == "c:\\already\\/valid"
Windows: makeValid "c:\\test:of_test" == "c:\\test_of_test"
Windows: makeValid "test*" == "test_"
Windows: makeValid "c:\\test\\nul" == "c:\\test\\nul_"
Windows: makeValid "c:\\test\\prn.txt" == "c:\\test\\prn_.txt"
Windows: makeValid "c:\\test/prn.txt" == "c:\\test/prn_.txt"
Windows: makeValid "c:\\nul\\file" == "c:\\nul_\\file"
Windows: makeValid "\\\\\\foo" == "\\\\drive"
Windows: makeValid "\\\\?\\D:file" == "\\\\?\\D:\\file"
Windows: makeValid "nul .txt" == "nul _.txt"и filepath/Is a path relative, or is it fixed to the root?▓Windows: isRelative "path\\test" == True
Windows: isRelative "c:\\test" == False
Windows: isRelative "c:test" == True
Windows: isRelative "c:\\" == False
Windows: isRelative "c:/" == False
Windows: isRelative "c:" == True
Windows: isRelative "\\\\foo" == False
Windows: isRelative "\\\\?\\foo" == False
Windows: isRelative "\\\\?\\UNC\\foo" == False
Windows: isRelative "/foo" == True
Windows: isRelative "\\foo" == True
Posix:   isRelative "test/path" == True
Posix:   isRelative "/test" == False
Posix:   isRelative "/" == FalseAccording to [1]:/"A UNC name of any format [is never relative]."6"You cannot use the "\?" prefix with a relative path."й filepathnot .  и"isAbsolute x == not (isRelative x)Ї filepathTotal conversion to char.╦ filepath-This is unsafe and clamps at Word16 maxbound. 3≤≥ ⌡°²·÷═║ё╒╔іїє╙╚╛ґ╗╘ЄЇ╣І╦╧ҐЎ©юацбў╞╟╡╠Ё╨╩╪фдеийгх3≤≥ ⌡°²·÷═║ё╒╔іїє╙╚╛ґ╗╘ЄЇ╣І╦╧ҐЎ©юацбў╞╟╡╠Ё╨╩╪фдеийгх ╒7є7ю5         Safe-Inferred  6к filepath&Type representing filenames/pathnames.*This type doesn't add any guarantees over  .л filepath&Ifdef around current platform (either  н or  м).м filepathFilepaths are char[]$ data on unix as passed to syscalls.н filepathFilepaths are wchar_t*' data on windows as passed to syscalls. 
кнмл
кнмл           Safe-Inferred О  A/4о filepathД The character that separates directories. In the case where more than
   one character is possible,  о is the 'ideal' one.pathSeparator ==  '/'п filepath$The list of all possible separators.;pathSeparators == ['/']
pathSeparator `elem` pathSeparatorsя filepathRather than using (==  о)5, use this. Test if something
   is a path separator..isPathSeparator a == (a `elem` pathSeparators)р filepathу The character that is used to separate the entries in the $PATH environment variable.searchPathSeparator == ':'с filepath"Is the character a file separator?5isSearchPathSeparator a == (a == searchPathSeparator)т filepathFile extension characterextSeparator == '.'у filepath(Is the character an extension character?'isExtSeparator a == (a == extSeparator)ж filepathTake a string, split it on the  р character.Blank items are converted to .. on , and quotes are not
   treated specially."Follows the recommendations in
   ф http://www.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap08.html ┤splitSearchPath "File1:File2:File3"  == ["File1","File2","File3"]
splitSearchPath "File1::File2:File3" == ["File1",".","File2","File3"]в filepathSplit on the extension.  щ is the inverse.єsplitExtension "/directory/path.ext" == ("/directory/path",".ext")
uncurry (<>) (splitExtension x) == x
Valid x => uncurry addExtension (splitExtension x) == x
splitExtension "file.txt" == ("file",".txt")
splitExtension "file" == ("file","")
splitExtension "file/file.txt" == ("file/file",".txt")
splitExtension "file.txt/boris" == ("file.txt/boris","")
splitExtension "file.txt/boris.ext" == ("file.txt/boris",".ext")
splitExtension "file/path.txt.bob.fred" == ("file/path.txt.bob",".fred")
splitExtension "file/path.txt/" == ("file/path.txt/","")ь filepath%Get the extension of a file, returns "" for no extension, .ext otherwise.оtakeExtension "/directory/path.ext" == ".ext"
takeExtension x == snd (splitExtension x)
Valid x => takeExtension (addExtension x "ext") == ".ext"
Valid x => takeExtension (replaceExtension x "ext") == ".ext"ы filepath<Remove the current extension and add another, equivalent to  з.░"/directory/path.txt" -<.> "ext" == "/directory/path.ext"
"/directory/path.txt" -<.> ".ext" == "/directory/path.ext"
"foo.o" -<.> "c" == "foo.c"з filepathо Set the extension of a file, overwriting one if already present, equivalent to  ы.ІreplaceExtension "/directory/path.txt" "ext" == "/directory/path.ext"
replaceExtension "/directory/path.txt" ".ext" == "/directory/path.ext"
replaceExtension "file.txt" ".bob" == "file.bob"
replaceExtension "file.txt" "bob" == "file.bob"
replaceExtension "file" ".bob" == "file.bob"
replaceExtension "file.txt" "" == "file"
replaceExtension "file.fred.bob" "txt" == "file.fred.txt"
replaceExtension x y == addExtension (dropExtension x) yш filepathд Add an extension, even if there is already one there, equivalent to  щ.Й "/directory/path" <.> "ext" == "/directory/path.ext"
"/directory/path" <.> ".ext" == "/directory/path.ext"э filepath0Remove last extension, and the "." preceding it.Б dropExtension "/directory/path.ext" == "/directory/path"
dropExtension x == fst (splitExtension x)щ filepathд Add an extension, even if there is already one there, equivalent to  ш.┬addExtension "/directory/path" "ext" == "/directory/path.ext"
addExtension "file.txt" "bib" == "file.txt.bib"
addExtension "file." ".bib" == "file..bib"
addExtension "file" ".bib" == "file.bib"
addExtension "/" "x" == "/.x"
addExtension x "" == x
Valid x => takeFileName (addExtension (addTrailingPathSeparator x) "ext") == ".ext"
Windows: addExtension "\\\\share" ".txt" == "\\\\share\\.txt"д Add an extension, even if there is already one there, equivalent to  ш.йaddExtension "/directory/path" "ext" == "/directory/path.ext"
addExtension "file.txt" "bib" == "file.txt.bib"
addExtension "file." ".bib" == "file..bib"
addExtension "file" ".bib" == "file.bib"
addExtension "/" "x" == "/.x"
addExtension x "" == x
Valid x => takeFileName (addExtension (addTrailingPathSeparator x) "ext") == ".ext"ч filepath*Does the given filename have an extension?│hasExtension "/directory/path.ext" == True
hasExtension "/directory/path" == False
null (takeExtension x) == not (hasExtension x)ъ filepath5Does the given filename have the specified extension?е"png" `isExtensionOf` "/directory/file.png" == True
".png" `isExtensionOf` "/directory/file.png" == True
".tar.gz" `isExtensionOf` "bar/foo.tar.gz" == True
"ar.gz" `isExtensionOf` "bar/foo.tar.gz" == False
"png" `isExtensionOf` "/directory/file.png.jpg" == False
"csv/table.csv" `isExtensionOf` "/data/csv/table.csv" == FalseЮ filepath2Drop the given extension from a filepath, and the "." preceding it.
   Returns  ╘: if the filepath does not have the given extension, or
    ╙. and the part before the extension if it does.+This function can be more predictable than  Б5, especially if the filename
   might itself contain . characters.фstripExtension "hs.o" "foo.x.hs.o" == Just "foo.x"
stripExtension "hi.o" "foo.x.hs.o" == Nothing
dropExtension x == fromJust (stripExtension (takeExtension x) x)
dropExtensions x == fromJust (stripExtension (takeExtensions x) x)
stripExtension ".c.d" "a.b.c.d"  == Just "a.b"
stripExtension ".c.d" "a.b..c.d" == Just "a.b."
stripExtension "baz"  "foo.bar"  == Nothing
stripExtension "bar"  "foobar"   == Nothing
stripExtension ""     x          == Just xА filepathSplit on all extensions.┼splitExtensions "/directory/path.ext" == ("/directory/path",".ext")
splitExtensions "file.tar.gz" == ("file",".tar.gz")
uncurry (<>) (splitExtensions x) == x
Valid x => uncurry addExtension (splitExtensions x) == x
splitExtensions "file.tar.gz" == ("file",".tar.gz")Б filepathDrop all extensions.аdropExtensions "/directory/path.ext" == "/directory/path"
dropExtensions "file.tar.gz" == "file"
not $ hasExtension $ dropExtensions x
not $ any isExtSeparator $ takeFileName $ dropExtensions xЦ filepathGet all extensions.ь takeExtensions "/directory/path.ext" == ".ext"
takeExtensions "file.tar.gz" == ".tar.gz"Д filepathд Replace all extensions of a file with a new extension. Note
   that  з and  щМ  both work for adding
   multiple extensions, so only required when you need to drop
   all extensions first.Я replaceExtensions "file.fred.bob" "txt" == "file.txt"
replaceExtensions "file.fred.bob" "tar.gz" == "file.tar.gz"Е filepath6Split a path into a drive and a path.
   / is a Drive.Єuncurry (<>) (splitDrive x) == x
splitDrive "/test" == ("/","test")
splitDrive "//test" == ("//","test")
splitDrive "test/file" == ("","test/file")
splitDrive "file" == ("","file")Ф filepath&Join a drive and the rest of the path.ЙValid x => uncurry joinDrive (splitDrive x) == x
Windows: joinDrive "C:" "foo" == "C:foo"
Windows: joinDrive "C:\\" "bar" == "C:\\bar"
Windows: joinDrive "\\\\share" "foo" == "\\\\share\\foo"
Windows: joinDrive "/:" "foo" == "/:\\foo"&Join a drive and the rest of the path.0Valid x => uncurry joinDrive (splitDrive x) == xГ filepathGet the drive from a filepath.!takeDrive x == fst (splitDrive x)Х filepathDelete the drive, if it exists.!dropDrive x == snd (splitDrive x)И filepathDoes a path have a drive.К not (hasDrive x) == null (takeDrive x)
hasDrive "/foo" == True
hasDrive "foo" == False
hasDrive "" == FalseЙ filepathIs an element a drive?isDrive "/" == True
isDrive "/foo" == False
isDrive "" == FalseК filepath*Split a filename into directory and file.  Вм  is the inverse.
   The first component will often end with a trailing slash.эsplitFileName "/directory/file.ext" == ("/directory/","file.ext")
Valid x => uncurry (</>) (splitFileName x) == x || fst (splitFileName x) == "./"
Valid x => isValid (fst (splitFileName x))
splitFileName "file/bob.txt" == ("file/", "bob.txt")
splitFileName "file/" == ("file/", "")
splitFileName "bob" == ("./", "bob")
splitFileName "/" == ("/","")Л filepathSet the filename.Щ replaceFileName "/directory/other.txt" "file.ext" == "/directory/file.ext"
Valid x => replaceFileName x (takeFileName x) == xМ filepathDrop the filename. Unlike  Ти , this function will leave
   a trailing path separator on the directory.ш dropFileName "/directory/file.ext" == "/directory/"
dropFileName x == fst (splitFileName x)Н filepathGet the file name.іtakeFileName "/directory/file.ext" == "file.ext"
takeFileName "test/" == ""
takeFileName x `isSuffixOf` x
takeFileName x == snd (splitFileName x)
Valid x => takeFileName (replaceFileName x "fred") == "fred"
Valid x => takeFileName (x </> "fred") == "fred"
Valid x => isRelative (takeFileName x)О filepath0Get the base name, without an extension or path.┤takeBaseName "/directory/file.ext" == "file"
takeBaseName "file/test.txt" == "test"
takeBaseName "dave.ext" == "dave"
takeBaseName "" == ""
takeBaseName "test" == "test"
takeBaseName (addTrailingPathSeparator x) == ""
takeBaseName "file/file.tar.gz" == "file.tar"П filepathSet the base name.÷replaceBaseName "/directory/other.ext" "file" == "/directory/file.ext"
replaceBaseName "file/test.txt" "bob" == "file/bob.txt"
replaceBaseName "fred" "bill" == "bill"
replaceBaseName "/dave/fred/bob.gz.tar" "new" == "/dave/fred/new.tar"
Valid x => replaceBaseName x (takeBaseName x) == xЯ filepathе Is an item either a directory or the last character a path separator?я hasTrailingPathSeparator "test" == False
hasTrailingPathSeparator "test/" == TrueР filepathа Add a trailing file path separator if one is not already present.╘hasTrailingPathSeparator (addTrailingPathSeparator x)
hasTrailingPathSeparator x ==> addTrailingPathSeparator x == x
addTrailingPathSeparator "test/rest" == "test/rest/"С filepath#Remove any trailing path separatorsєdropTrailingPathSeparator "file/test/" == "file/test"
dropTrailingPathSeparator "/" == "/"
not (hasTrailingPathSeparator (dropTrailingPathSeparator x)) || isDrive xТ filepath*Get the directory name, move up one level.▒          takeDirectory "/directory/other.ext" == "/directory"
          takeDirectory x `isPrefixOf` x || takeDirectory x == "."
          takeDirectory "foo" == "."
          takeDirectory "/" == "/"
          takeDirectory "/foo" == "/"
          takeDirectory "/foo/bar/baz" == "/foo/bar"
          takeDirectory "/foo/bar/baz/" == "/foo/bar/baz"
          takeDirectory "foo/bar/baz" == "foo/bar"У filepath1Set the directory, keeping the filename the same.┴replaceDirectory "root/file.ext" "/directory/" == "/directory/file.ext"
Valid x => replaceDirectory x (takeDirectory x) `equalFilePath` xЖ filepathAn alias for  В.В filepathєCombine two paths with a path separator.
   If the second path starts with a path separator or a drive letter, then it returns the second.
   The intention is that readFile (dir  В file)! will access the same file as
   &setCurrentDirectory dir; readFile file.Ж "/directory" </> "file.ext" == "/directory/file.ext"
Valid x => (takeDirectory x </> takeFileName x) `equalFilePath` x	Combined:с "/" </> "test" == "/test"
"home" </> "bob" == "home/bob"
"x:" </> "foo" == "x:/foo"Not combined:"home" </> "/bob" == "/bob"Ь filepath(Split a path by the directory separator.│splitPath "/directory/file.ext" == ["/","directory/","file.ext"]
concat (splitPath x) == x
splitPath "test//item/" == ["test//","item/"]
splitPath "test/item/file" == ["test/","item/","file"]
splitPath "" == []
splitPath "/file/test" == ["/","file/","test"]Ы filepathJust as  Ь5, but don't add the trailing slashes to each element.ЇsplitDirectories "/directory/file.ext" == ["/","directory","file.ext"]
splitDirectories "test/file" == ["test","file"]
splitDirectories "/test/file" == ["/","test","file"]
Valid x => joinPath (splitDirectories x) `equalFilePath` x
splitDirectories "" == []
splitDirectories "/test///file" == ["/","test","file"]З filepath!Join path elements back together.кjoinPath z == foldr (</>) "" z
joinPath ["/","directory/","file.ext"] == "/directory/file.ext"
Valid x => joinPath (splitPath x) == x
joinPath [] == ""
joinPath ["test","file","path"] == "test/file/path"Ш filepath*Equality of two filepaths.
   If you call !System.Directory.canonicalizePathК 
   first this has a much better chance of working.
   Note that this doesn't follow symlinks or DOSNAM~1s.Similar to  Щ, this does not expand "..", because of symlinks.лx == y ==> equalFilePath x y
normalise x == normalise y ==> equalFilePath x y
equalFilePath "foo" "foo/"
not (equalFilePath "/a/../c" "/c")
not (equalFilePath "foo" "/foo")
not (equalFilePath "foo" "FOO")Э filepathД Contract a filename, based on a relative path. Note that the resulting path
   will never introduce ..* paths, as the presence of symlinks means ../b
   may not reach a/b if it starts from a/c. For a worked example see
   ж http://neilmitchell.blogspot.co.uk/2015/10/filepaths-are-subtle-symlinks-are-hard.htmlthis blog post.The corresponding makeAbsolute function can be found in
   System.Directory.иmakeRelative "/directory" "/directory/file.ext" == "file.ext"
Valid x => makeRelative (takeDirectory x) x `equalFilePath` takeFileName x
makeRelative x x == "."
Valid x y => equalFilePath x y || (isRelative x && makeRelative y x == x) || equalFilePath (y </> makeRelative y x) x
makeRelative "/Home" "/home/bob" == "/home/bob"
makeRelative "/home/" "/home/bob/foo/bar" == "bob/foo/bar"
makeRelative "/fred" "bob" == "bob"
makeRelative "/file/test" "/file/test/fred" == "fred"
makeRelative "/file/test" "/file/test/fred/" == "fred/"
makeRelative "some/path" "some/path/a/b/c" == "a/b/c"Щ filepathNormalise a file)// outside of the drive can be made blank/ ->  о./ -> ""Does not remove "..", because of symlinks.юnormalise "/file/\\test////" == "/file/\\test/"
normalise "/file/./test" == "/file/test"
normalise "/test/file/../bob/fred/" == "/test/file/../bob/fred/"
normalise "../bob/fred/" == "../bob/fred/"
normalise "/a/../c" == "/a/../c"
normalise "./bob/fred/" == "bob/fred/"
normalise "." == "."
normalise "./" == "./"
normalise "./." == "./"
normalise "/./" == "/"
normalise "/" == "/"
normalise "bob/fred/." == "bob/fred/"
normalise "//home" == "/home"Ч filepathъIs a filepath valid, i.e. could you create a file like it? This function checks for invalid names,
   and invalid characters, but does not check if length limits are exceeded, as these are typically
   filesystem dependent.Е isValid "" == False
isValid "\0" == False
isValid "/random_ path:*" == True
isValid x == not (null x)Ъ filepathк Take a filepath and make it valid; does not change already valid filepaths.Н isValid (makeValid x)
isValid x ==> makeValid x == x
makeValid "" == "_"
makeValid "file\0name" == "file_name"─ filepath/Is a path relative, or is it fixed to the root?р isRelative "test/path" == True
isRelative "/test" == False
isRelative "/" == False│ filepathnot .  ─"isAbsolute x == not (isRelative x)┌ filepathQuasiQuote a  м>. This accepts Unicode characters
 and encodes as UTF-8. Runs  Ч on the input. а м┌! "#опярстужвьзыэщчшАБЦДъЮКНЛМОПТУЖВЬЗЫЕФГИХЙЯРСЩШЭ─│ЧЪа м┌! "#опярстужвьзыэщчшАБЦДъЮКНЛМОПТУЖВЬЗЫЕФГИХЙЯРСЩШЭ─│ЧЪ    	       Safe-Inferred в э  L└
└ filepath"Partial unicode friendly encoding.▌On windows this encodes as UTF16-LE (strictly), which is a pretty good guess.
 On unix this encodes as UTF8 (strictly), which is a good guess.	Throws a   if encoding fails.┘ filepath	Encode a    with the specified encoding.├ filepathLike  └Б , except this mimics the behavior of the base library when doing filesystem
 operations, which is:	▌on unix, uses shady PEP 383 style encoding (based on the current locale,
    but PEP 383 only works properly on UTF-8 encodings, so good luck)И on windows does permissive UTF-16 encoding, where coding errors generate
    Chars in the surrogate rangeи Looking up the locale requires IO. If you're not worried about calls
 to setFileSystemEncoding, then unsafePerformIOп  may be feasible (make sure
 to deeply evaluate the result to catch exceptions).┤ filepath"Partial unicode friendly decoding.▌On windows this decodes as UTF16-LE (strictly), which is a pretty good guess.
 On unix this decodes as UTF8 (strictly), which is a good guess.	Throws a   if decoding fails.┬ filepath
Decode an  к with the specified encoding.┴ filepathLike  ┤Б , except this mimics the behavior of the base library when doing filesystem
 operations, which is:	▌on unix, uses shady PEP 383 style encoding (based on the current locale,
    but PEP 383 only works properly on UTF-8 encodings, so good luck)И on windows does permissive UTF-16 encoding, where coding errors generate
    Chars in the surrogate rangeи Looking up the locale requires IO. If you're not worried about calls
 to setFileSystemEncoding, then unsafePerformIOп  may be feasible (make sure
 to deeply evaluate the result to catch exceptions).┼ filepathConstructs an OsPath from a ByteString.я On windows, this ensures valid UCS-2LE, on unix it is passed unchanged/unchecked.Throws  3 on invalid UCS-2LE on windows (although unlikely).▀ filepathQuasiQuote an  кч . This accepts Unicode characters
 and encodes as UTF-8 on unix and UTF-16LE on windows. Runs  ┐
 on the input.▄ filepath
Unpack an  к to a list of  .█ filepathPack a list of   to an  к.)Note that using this in conjunction with unsafeFromChar to
 convert from [Char] to  кн  is probably not what
 you want, because it will truncate unicode code points.┘  filepathunix text encoding filepathwindows text encoding┬  filepathunix text encoding filepathwindows text encoding
└┘├┤┬┴┼▀▄█
└┘├┤┬┴┼▀▄█      ╘ 2021 Julian OspaldMIT"Julian Ospald <hasufell@posteo.de>experimentalportableSafe-Inferred О  ═3┐ filepathъIs a filepath valid, i.e. could you create a file like it? This function checks for invalid names,
   and invalid characters, but does not check if length limits are exceeded, as these are typically
   filesystem dependent.щ         isValid "" == False
         isValid "\0" == False
Posix:   isValid "/random_ path:*" == True
Posix:   isValid x == not (null x)
Windows: isValid "c:\\test" == True
Windows: isValid "c:\\test:of_test" == False
Windows: isValid "test*" == False
Windows: isValid "c:\\test\\nul" == False
Windows: isValid "c:\\test\\prn.txt" == False
Windows: isValid "c:\\nul\\file" == False
Windows: isValid "\\\\" == False
Windows: isValid "\\\\\\foo" == False
Windows: isValid "\\\\?\\D:file" == False
Windows: isValid "foo\tbar" == False
Windows: isValid "nul .txt" == False
Windows: isValid " nul.txt" == True▌ filepathД The character that separates directories. In the case where more than
   one character is possible,  ▌ is the 'ideal' one.>Windows: pathSeparator == '\\'S
Posix:   pathSeparator ==  '/'▐ filepath$The list of all possible separators.К Windows: pathSeparators == ['\\', '/']
Posix:   pathSeparators == ['/']
pathSeparator `elem` pathSeparators░ filepathRather than using (==  ▌)5, use this. Test if something
   is a path separator..isPathSeparator a == (a `elem` pathSeparators)▒ filepathу The character that is used to separate the entries in the $PATH environment variable.г Posix:   searchPathSeparator == ':'
Windows: searchPathSeparator == ';'▓ filepath"Is the character a file separator?5isSearchPathSeparator a == (a == searchPathSeparator)⌠ filepathFile extension characterextSeparator == '.'■ filepath(Is the character an extension character?'isExtSeparator a == (a == extSeparator)∙ filepathTake a string, split it on the  ▒ character.э On Windows, blank items are ignored on Windows, and path elements are
   stripped of quotes.'On Posix, blank items are converted to .3 on Posix, and quotes are not
   treated specially."Follows the recommendations in
   ф http://www.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap08.html ЩWindows: splitSearchPath "File1;File2;File3"  == ["File1","File2","File3"]
Windows: splitSearchPath "File1;;File2;File3" == ["File1","File2","File3"]
Windows: splitSearchPath "File1;\"File2\";File3" == ["File1","File2","File3"]
Posix:   splitSearchPath "File1:File2:File3"  == ["File1","File2","File3"]
Posix:   splitSearchPath "File1::File2:File3" == ["File1",".","File2","File3"]√ filepathSplit on the extension.  ° is the inverse.єsplitExtension "/directory/path.ext" == ("/directory/path",".ext")
uncurry (<>) (splitExtension x) == x
Valid x => uncurry addExtension (splitExtension x) == x
splitExtension "file.txt" == ("file",".txt")
splitExtension "file" == ("file","")
splitExtension "file/file.txt" == ("file/file",".txt")
splitExtension "file.txt/boris" == ("file.txt/boris","")
splitExtension "file.txt/boris.ext" == ("file.txt/boris",".ext")
splitExtension "file/path.txt.bob.fred" == ("file/path.txt.bob",".fred")
splitExtension "file/path.txt/" == ("file/path.txt/","")≈ filepath%Get the extension of a file, returns "" for no extension, .ext otherwise.оtakeExtension "/directory/path.ext" == ".ext"
takeExtension x == snd (splitExtension x)
Valid x => takeExtension (addExtension x "ext") == ".ext"
Valid x => takeExtension (replaceExtension x "ext") == ".ext"≤ filepath<Remove the current extension and add another, equivalent to  ≥.░"/directory/path.txt" -<.> "ext" == "/directory/path.ext"
"/directory/path.txt" -<.> ".ext" == "/directory/path.ext"
"foo.o" -<.> "c" == "foo.c"≥ filepathо Set the extension of a file, overwriting one if already present, equivalent to  ≤.ІreplaceExtension "/directory/path.txt" "ext" == "/directory/path.ext"
replaceExtension "/directory/path.txt" ".ext" == "/directory/path.ext"
replaceExtension "file.txt" ".bob" == "file.bob"
replaceExtension "file.txt" "bob" == "file.bob"
replaceExtension "file" ".bob" == "file.bob"
replaceExtension "file.txt" "" == "file"
replaceExtension "file.fred.bob" "txt" == "file.fred.txt"
replaceExtension x y == addExtension (dropExtension x) y  filepathд Add an extension, even if there is already one there, equivalent to  °.Й "/directory/path" <.> "ext" == "/directory/path.ext"
"/directory/path" <.> ".ext" == "/directory/path.ext"⌡ filepath0Remove last extension, and the "." preceding it.Б dropExtension "/directory/path.ext" == "/directory/path"
dropExtension x == fst (splitExtension x)° filepathд Add an extension, even if there is already one there, equivalent to   .┬addExtension "/directory/path" "ext" == "/directory/path.ext"
addExtension "file.txt" "bib" == "file.txt.bib"
addExtension "file." ".bib" == "file..bib"
addExtension "file" ".bib" == "file.bib"
addExtension "/" "x" == "/.x"
addExtension x "" == x
Valid x => takeFileName (addExtension (addTrailingPathSeparator x) "ext") == ".ext"
Windows: addExtension "\\\\share" ".txt" == "\\\\share\\.txt"д Add an extension, even if there is already one there, equivalent to   .┬addExtension "/directory/path" "ext" == "/directory/path.ext"
addExtension "file.txt" "bib" == "file.txt.bib"
addExtension "file." ".bib" == "file..bib"
addExtension "file" ".bib" == "file.bib"
addExtension "/" "x" == "/.x"
addExtension x "" == x
Valid x => takeFileName (addExtension (addTrailingPathSeparator x) "ext") == ".ext"
Windows: addExtension "\\\\share" ".txt" == "\\\\share\\.txt"² filepath*Does the given filename have an extension?│hasExtension "/directory/path.ext" == True
hasExtension "/directory/path" == False
null (takeExtension x) == not (hasExtension x)· filepath5Does the given filename have the specified extension?е"png" `isExtensionOf` "/directory/file.png" == True
".png" `isExtensionOf` "/directory/file.png" == True
".tar.gz" `isExtensionOf` "bar/foo.tar.gz" == True
"ar.gz" `isExtensionOf` "bar/foo.tar.gz" == False
"png" `isExtensionOf` "/directory/file.png.jpg" == False
"csv/table.csv" `isExtensionOf` "/data/csv/table.csv" == False÷ filepath2Drop the given extension from a filepath, and the "." preceding it.
   Returns  ╘: if the filepath does not have the given extension, or
    ╙. and the part before the extension if it does.+This function can be more predictable than  ║5, especially if the filename
   might itself contain . characters.фstripExtension "hs.o" "foo.x.hs.o" == Just "foo.x"
stripExtension "hi.o" "foo.x.hs.o" == Nothing
dropExtension x == fromJust (stripExtension (takeExtension x) x)
dropExtensions x == fromJust (stripExtension (takeExtensions x) x)
stripExtension ".c.d" "a.b.c.d"  == Just "a.b"
stripExtension ".c.d" "a.b..c.d" == Just "a.b."
stripExtension "baz"  "foo.bar"  == Nothing
stripExtension "bar"  "foobar"   == Nothing
stripExtension ""     x          == Just x═ filepathSplit on all extensions.┼splitExtensions "/directory/path.ext" == ("/directory/path",".ext")
splitExtensions "file.tar.gz" == ("file",".tar.gz")
uncurry (<>) (splitExtensions x) == x
Valid x => uncurry addExtension (splitExtensions x) == x
splitExtensions "file.tar.gz" == ("file",".tar.gz")║ filepathDrop all extensions.аdropExtensions "/directory/path.ext" == "/directory/path"
dropExtensions "file.tar.gz" == "file"
not $ hasExtension $ dropExtensions x
not $ any isExtSeparator $ takeFileName $ dropExtensions x╒ filepathGet all extensions.ь takeExtensions "/directory/path.ext" == ".ext"
takeExtensions "file.tar.gz" == ".tar.gz"ё filepathд Replace all extensions of a file with a new extension. Note
   that  ≥ and  °М  both work for adding
   multiple extensions, so only required when you need to drop
   all extensions first.Я replaceExtensions "file.fred.bob" "txt" == "file.txt"
replaceExtensions "file.fred.bob" "tar.gz" == "file.tar.gz"є filepathю Split a path into a drive and a path.
   On Posix, / is a Drive.Бuncurry (<>) (splitDrive x) == x
Windows: splitDrive "file" == ("","file")
Windows: splitDrive "c:/file" == ("c:/","file")
Windows: splitDrive "c:\\file" == ("c:\\","file")
Windows: splitDrive "\\\\shared\\test" == ("\\\\shared\\","test")
Windows: splitDrive "\\\\shared" == ("\\\\shared","")
Windows: splitDrive "\\\\?\\UNC\\shared\\file" == ("\\\\?\\UNC\\shared\\","file")
Windows: splitDrive "\\\\?\\UNCshared\\file" == ("\\\\?\\","UNCshared\\file")
Windows: splitDrive "\\\\?\\d:\\file" == ("\\\\?\\d:\\","file")
Windows: splitDrive "/d" == ("","/d")
Posix:   splitDrive "/test" == ("/","test")
Posix:   splitDrive "//test" == ("//","test")
Posix:   splitDrive "test/file" == ("","test/file")
Posix:   splitDrive "file" == ("","file")╔ filepath&Join a drive and the rest of the path.ЙValid x => uncurry joinDrive (splitDrive x) == x
Windows: joinDrive "C:" "foo" == "C:foo"
Windows: joinDrive "C:\\" "bar" == "C:\\bar"
Windows: joinDrive "\\\\share" "foo" == "\\\\share\\foo"
Windows: joinDrive "/:" "foo" == "/:\\foo"&Join a drive and the rest of the path.ЙValid x => uncurry joinDrive (splitDrive x) == x
Windows: joinDrive "C:" "foo" == "C:foo"
Windows: joinDrive "C:\\" "bar" == "C:\\bar"
Windows: joinDrive "\\\\share" "foo" == "\\\\share\\foo"
Windows: joinDrive "/:" "foo" == "/:\\foo"і filepathGet the drive from a filepath.!takeDrive x == fst (splitDrive x)ї filepathDelete the drive, if it exists.!dropDrive x == snd (splitDrive x)╗ filepathDoes a path have a drive.лnot (hasDrive x) == null (takeDrive x)
Posix:   hasDrive "/foo" == True
Windows: hasDrive "C:\\foo" == True
Windows: hasDrive "C:foo" == True
         hasDrive "foo" == False
         hasDrive "" == False╘ filepathIs an element a drive·Posix:   isDrive "/" == True
Posix:   isDrive "/foo" == False
Windows: isDrive "C:\\" == True
Windows: isDrive "C:\\foo" == False
         isDrive "" == False╙ filepath*Split a filename into directory and file.  Ім  is the inverse.
   The first component will often end with a trailing slash.▌splitFileName "/directory/file.ext" == ("/directory/","file.ext")
Valid x => uncurry (</>) (splitFileName x) == x || fst (splitFileName x) == "./"
Valid x => isValid (fst (splitFileName x))
splitFileName "file/bob.txt" == ("file/", "bob.txt")
splitFileName "file/" == ("file/", "")
splitFileName "bob" == ("./", "bob")
Posix:   splitFileName "/" == ("/","")
Windows: splitFileName "c:" == ("c:","")╚ filepathSet the filename.Щ replaceFileName "/directory/other.txt" "file.ext" == "/directory/file.ext"
Valid x => replaceFileName x (takeFileName x) == x╛ filepathDrop the filename. Unlike  Ёи , this function will leave
   a trailing path separator on the directory.ш dropFileName "/directory/file.ext" == "/directory/"
dropFileName x == fst (splitFileName x)ґ filepathGet the file name.іtakeFileName "/directory/file.ext" == "file.ext"
takeFileName "test/" == ""
takeFileName x `isSuffixOf` x
takeFileName x == snd (splitFileName x)
Valid x => takeFileName (replaceFileName x "fred") == "fred"
Valid x => takeFileName (x </> "fred") == "fred"
Valid x => isRelative (takeFileName x)ў filepath0Get the base name, without an extension or path.┤takeBaseName "/directory/file.ext" == "file"
takeBaseName "file/test.txt" == "test"
takeBaseName "dave.ext" == "dave"
takeBaseName "" == ""
takeBaseName "test" == "test"
takeBaseName (addTrailingPathSeparator x) == ""
takeBaseName "file/file.tar.gz" == "file.tar"╞ filepathSet the base name.÷replaceBaseName "/directory/other.ext" "file" == "/directory/file.ext"
replaceBaseName "file/test.txt" "bob" == "file/bob.txt"
replaceBaseName "fred" "bill" == "bill"
replaceBaseName "/dave/fred/bob.gz.tar" "new" == "/dave/fred/new.tar"
Valid x => replaceBaseName x (takeBaseName x) == x╟ filepathе Is an item either a directory or the last character a path separator?я hasTrailingPathSeparator "test" == False
hasTrailingPathSeparator "test/" == True╠ filepathа Add a trailing file path separator if one is not already present.ЁhasTrailingPathSeparator (addTrailingPathSeparator x)
hasTrailingPathSeparator x ==> addTrailingPathSeparator x == x
Posix:    addTrailingPathSeparator "test/rest" == "test/rest/"╡ filepath#Remove any trailing path separatorsИdropTrailingPathSeparator "file/test/" == "file/test"
          dropTrailingPathSeparator "/" == "/"
Windows:  dropTrailingPathSeparator "\\" == "\\"
Posix:    not (hasTrailingPathSeparator (dropTrailingPathSeparator x)) || isDrive xЁ filepath*Get the directory name, move up one level.⌡          takeDirectory "/directory/other.ext" == "/directory"
          takeDirectory x `isPrefixOf` x || takeDirectory x == "."
          takeDirectory "foo" == "."
          takeDirectory "/" == "/"
          takeDirectory "/foo" == "/"
          takeDirectory "/foo/bar/baz" == "/foo/bar"
          takeDirectory "/foo/bar/baz/" == "/foo/bar/baz"
          takeDirectory "foo/bar/baz" == "foo/bar"
Windows:  takeDirectory "foo\\bar" == "foo"
Windows:  takeDirectory "foo\\bar\\\\" == "foo\\bar"
Windows:  takeDirectory "C:\\" == "C:\\"Є filepath1Set the directory, keeping the filename the same.┴replaceDirectory "root/file.ext" "/directory/" == "/directory/file.ext"
Valid x => replaceDirectory x (takeDirectory x) `equalFilePath` x╣ filepathAn alias for  І.І filepathєCombine two paths with a path separator.
   If the second path starts with a path separator or a drive letter, then it returns the second.
   The intention is that readFile (dir  І file)! will access the same file as
   &setCurrentDirectory dir; readFile file.РPosix:   "/directory" </> "file.ext" == "/directory/file.ext"
Windows: "/directory" </> "file.ext" == "/directory\\file.ext"
         "directory" </> "/file.ext" == "/file.ext"
Valid x => (takeDirectory x </> takeFileName x) `equalFilePath` x	Combined:фPosix:   "/" </> "test" == "/test"
Posix:   "home" </> "bob" == "home/bob"
Posix:   "x:" </> "foo" == "x:/foo"
Windows: "C:\\foo" </> "bar" == "C:\\foo\\bar"
Windows: "home" </> "bob" == "home\\bob"Not combined:о Posix:   "home" </> "/bob" == "/bob"
Windows: "home" </> "C:\\bob" == "C:\\bob"Not combined (tricky):гOn Windows, if a filepath starts with a single slash, it is relative to the
   root of the current drive. In [1], this is (confusingly) referred to as an
   absolute path.
   The current behavior of  І! is to never combine these forms.Ж Windows: "home" </> "/bob" == "/bob"
Windows: "home" </> "\\bob" == "\\bob"
Windows: "C:\\home" </> "\\bob" == "\\bob"ЬOn Windows, from [1]: "If a file name begins with only a disk designator
   but not the backslash after the colon, it is interpreted as a relative path
   to the current directory on the drive with the specified letter."
   The current behavior of  І! is to never combine these forms.с Windows: "D:\\foo" </> "C:bar" == "C:bar"
Windows: "C:\\foo" </> "C:bar" == "C:bar"Ї filepath(Split a path by the directory separator.йsplitPath "/directory/file.ext" == ["/","directory/","file.ext"]
concat (splitPath x) == x
splitPath "test//item/" == ["test//","item/"]
splitPath "test/item/file" == ["test/","item/","file"]
splitPath "" == []
Windows: splitPath "c:\\test\\path" == ["c:\\","test\\","path"]
Posix:   splitPath "/file/test" == ["/","file/","test"]╦ filepathJust as  Ї5, but don't add the trailing slashes to each element.Ъ         splitDirectories "/directory/file.ext" == ["/","directory","file.ext"]
         splitDirectories "test/file" == ["test","file"]
         splitDirectories "/test/file" == ["/","test","file"]
Windows: splitDirectories "C:\\test\\file" == ["C:\\", "test", "file"]
         Valid x => joinPath (splitDirectories x) `equalFilePath` x
         splitDirectories "" == []
Windows: splitDirectories "C:\\test\\\\\\file" == ["C:\\", "test", "file"]
         splitDirectories "/test///file" == ["/","test","file"]╧ filepath!Join path elements back together.рjoinPath z == foldr (</>) "" z
joinPath ["/","directory/","file.ext"] == "/directory/file.ext"
Valid x => joinPath (splitPath x) == x
joinPath [] == ""
Posix: joinPath ["test","file","path"] == "test/file/path"╨ filepath*Equality of two filepaths.
   If you call !System.Directory.canonicalizePathК 
   first this has a much better chance of working.
   Note that this doesn't follow symlinks or DOSNAM~1s.Similar to  ╪, this does not expand "..", because of symlinks.м         x == y ==> equalFilePath x y
         normalise x == normalise y ==> equalFilePath x y
         equalFilePath "foo" "foo/"
         not (equalFilePath "/a/../c" "/c")
         not (equalFilePath "foo" "/foo")
Posix:   not (equalFilePath "foo" "FOO")
Windows: equalFilePath "foo" "FOO"
Windows: not (equalFilePath "C:" "C:/")╩ filepathД Contract a filename, based on a relative path. Note that the resulting path
   will never introduce ..* paths, as the presence of symlinks means ../b
   may not reach a/b if it starts from a/c. For a worked example see
   ж http://neilmitchell.blogspot.co.uk/2015/10/filepaths-are-subtle-symlinks-are-hard.htmlthis blog post.The corresponding makeAbsolute function can be found in
   System.Directory.С         makeRelative "/directory" "/directory/file.ext" == "file.ext"
         Valid x => makeRelative (takeDirectory x) x `equalFilePath` takeFileName x
         makeRelative x x == "."
         Valid x y => equalFilePath x y || (isRelative x && makeRelative y x == x) || equalFilePath (y </> makeRelative y x) x
Windows: makeRelative "C:\\Home" "c:\\home\\bob" == "bob"
Windows: makeRelative "C:\\Home" "c:/home/bob" == "bob"
Windows: makeRelative "C:\\Home" "D:\\Home\\Bob" == "D:\\Home\\Bob"
Windows: makeRelative "C:\\Home" "C:Home\\Bob" == "C:Home\\Bob"
Windows: makeRelative "/Home" "/home/bob" == "bob"
Windows: makeRelative "/" "//" == "//"
Posix:   makeRelative "/Home" "/home/bob" == "/home/bob"
Posix:   makeRelative "/home/" "/home/bob/foo/bar" == "bob/foo/bar"
Posix:   makeRelative "/fred" "bob" == "bob"
Posix:   makeRelative "/file/test" "/file/test/fred" == "fred"
Posix:   makeRelative "/file/test" "/file/test/fred/" == "fred/"
Posix:   makeRelative "some/path" "some/path/a/b/c" == "a/b/c"╪ filepathNormalise a file)// outside of the drive can be made blank/ ->  ▌./ -> ""Does not remove "..", because of symlinks.ҐPosix:   normalise "/file/\\test////" == "/file/\\test/"
Posix:   normalise "/file/./test" == "/file/test"
Posix:   normalise "/test/file/../bob/fred/" == "/test/file/../bob/fred/"
Posix:   normalise "../bob/fred/" == "../bob/fred/"
Posix:   normalise "/a/../c" == "/a/../c"
Posix:   normalise "./bob/fred/" == "bob/fred/"
Windows: normalise "c:\\file/bob\\" == "C:\\file\\bob\\"
Windows: normalise "c:\\" == "C:\\"
Windows: normalise "C:.\\" == "C:"
Windows: normalise "\\\\server\\test" == "\\\\server\\test"
Windows: normalise "//server/test" == "\\\\server\\test"
Windows: normalise "c:/file" == "C:\\file"
Windows: normalise "/file" == "\\file"
Windows: normalise "\\" == "\\"
Windows: normalise "/./" == "\\"
         normalise "." == "."
Posix:   normalise "./" == "./"
Posix:   normalise "./." == "./"
Posix:   normalise "/./" == "/"
Posix:   normalise "/" == "/"
Posix:   normalise "bob/fred/." == "bob/fred/"
Posix:   normalise "//home" == "/home"Ґ filepathк Take a filepath and make it valid; does not change already valid filepaths.▐isValid (makeValid x)
isValid x ==> makeValid x == x
makeValid "" == "_"
makeValid "file\0name" == "file_name"
Windows: makeValid "c:\\already\\/valid" == "c:\\already\\/valid"
Windows: makeValid "c:\\test:of_test" == "c:\\test_of_test"
Windows: makeValid "test*" == "test_"
Windows: makeValid "c:\\test\\nul" == "c:\\test\\nul_"
Windows: makeValid "c:\\test\\prn.txt" == "c:\\test\\prn_.txt"
Windows: makeValid "c:\\test/prn.txt" == "c:\\test/prn_.txt"
Windows: makeValid "c:\\nul\\file" == "c:\\nul_\\file"
Windows: makeValid "\\\\\\foo" == "\\\\drive"
Windows: makeValid "\\\\?\\D:file" == "\\\\?\\D:\\file"
Windows: makeValid "nul .txt" == "nul _.txt"Ў filepath/Is a path relative, or is it fixed to the root?▓Windows: isRelative "path\\test" == True
Windows: isRelative "c:\\test" == False
Windows: isRelative "c:test" == True
Windows: isRelative "c:\\" == False
Windows: isRelative "c:/" == False
Windows: isRelative "c:" == True
Windows: isRelative "\\\\foo" == False
Windows: isRelative "\\\\?\\foo" == False
Windows: isRelative "\\\\?\\UNC\\foo" == False
Windows: isRelative "/foo" == True
Windows: isRelative "\\foo" == True
Posix:   isRelative "test/path" == True
Posix:   isRelative "/test" == False
Posix:   isRelative "/" == FalseAccording to [1]:/"A UNC name of any format [is never relative]."6"You cannot use the "\?" prefix with a relative path."© filepathnot .  Ў"isAbsolute x == not (isRelative x) а к└┘├▀█┤┬┴▄$%▌▐░▒▓⌠■∙√≈≥≤⌡°² ═║╒ё·÷╙ґ╚╛ў╞ЁЄ╣ІЇ╧╦є╔і╗ї╘╟╠╡╪╨╩Ў©┐Ґа к└┘├▀█┤┬┴▄$%▌▐░▒▓⌠■∙√≈≥≤⌡°² ═║╒ё·÷╙ґ╚╛ў╞ЁЄ╣ІЇ╧╦є╔і╗ї╘╟╠╡╪╨╩Ў©┐Ґ    
  (c) Neil Mitchell 2005-2014BSD3ndmitchell@gmail.comstableportableSafe-Inferred О  Сv9╧ filepath*Is the operating system Unix or Linux like╨ filepath$Is the operating system Windows likeю filepathД The character that separates directories. In the case where more than
   one character is possible,  ю is the 'ideal' one.ш Windows: pathSeparator == '\\'
Posix:   pathSeparator ==  '/'
isPathSeparator pathSeparatorа filepath$The list of all possible separators.К Windows: pathSeparators == ['\\', '/']
Posix:   pathSeparators == ['/']
pathSeparator `elem` pathSeparatorsб filepathRather than using (==  ю)5, use this. Test if something
   is a path separator..isPathSeparator a == (a `elem` pathSeparators)ц filepathу The character that is used to separate the entries in the $PATH environment variable.г Windows: searchPathSeparator == ';'
Posix:   searchPathSeparator == ':'д filepath"Is the character a file separator?5isSearchPathSeparator a == (a == searchPathSeparator)е filepathFile extension characterextSeparator == '.'ф filepath(Is the character an extension character?'isExtSeparator a == (a == extSeparator)г filepathTake a string, split it on the  цд  character.
   Blank items are ignored on Windows, and converted to .> on Posix.
   On Windows path elements are stripped of quotes."Follows the recommendations in
   ф http://www.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap08.html ЩPosix:   splitSearchPath "File1:File2:File3"  == ["File1","File2","File3"]
Posix:   splitSearchPath "File1::File2:File3" == ["File1",".","File2","File3"]
Windows: splitSearchPath "File1;File2;File3"  == ["File1","File2","File3"]
Windows: splitSearchPath "File1;;File2;File3" == ["File1","File2","File3"]
Windows: splitSearchPath "File1;\"File2\";File3" == ["File1","File2","File3"]х filepathSplit on the extension.  н is the inverse.єsplitExtension "/directory/path.ext" == ("/directory/path",".ext")
uncurry (<>) (splitExtension x) == x
Valid x => uncurry addExtension (splitExtension x) == x
splitExtension "file.txt" == ("file",".txt")
splitExtension "file" == ("file","")
splitExtension "file/file.txt" == ("file/file",".txt")
splitExtension "file.txt/boris" == ("file.txt/boris","")
splitExtension "file.txt/boris.ext" == ("file.txt/boris",".ext")
splitExtension "file/path.txt.bob.fred" == ("file/path.txt.bob",".fred")
splitExtension "file/path.txt/" == ("file/path.txt/","")и filepath%Get the extension of a file, returns "" for no extension, .ext otherwise.оtakeExtension "/directory/path.ext" == ".ext"
takeExtension x == snd (splitExtension x)
Valid x => takeExtension (addExtension x "ext") == ".ext"
Valid x => takeExtension (replaceExtension x "ext") == ".ext"й filepath<Remove the current extension and add another, equivalent to  к.░"/directory/path.txt" -<.> "ext" == "/directory/path.ext"
"/directory/path.txt" -<.> ".ext" == "/directory/path.ext"
"foo.o" -<.> "c" == "foo.c"к filepathо Set the extension of a file, overwriting one if already present, equivalent to  й.ІreplaceExtension "/directory/path.txt" "ext" == "/directory/path.ext"
replaceExtension "/directory/path.txt" ".ext" == "/directory/path.ext"
replaceExtension "file.txt" ".bob" == "file.bob"
replaceExtension "file.txt" "bob" == "file.bob"
replaceExtension "file" ".bob" == "file.bob"
replaceExtension "file.txt" "" == "file"
replaceExtension "file.fred.bob" "txt" == "file.fred.txt"
replaceExtension x y == addExtension (dropExtension x) yл filepathд Add an extension, even if there is already one there, equivalent to  н.Й "/directory/path" <.> "ext" == "/directory/path.ext"
"/directory/path" <.> ".ext" == "/directory/path.ext"м filepath0Remove last extension, and the "." preceding it.Б dropExtension "/directory/path.ext" == "/directory/path"
dropExtension x == fst (splitExtension x)н filepathд Add an extension, even if there is already one there, equivalent to  л.┬addExtension "/directory/path" "ext" == "/directory/path.ext"
addExtension "file.txt" "bib" == "file.txt.bib"
addExtension "file." ".bib" == "file..bib"
addExtension "file" ".bib" == "file.bib"
addExtension "/" "x" == "/.x"
addExtension x "" == x
Valid x => takeFileName (addExtension (addTrailingPathSeparator x) "ext") == ".ext"
Windows: addExtension "\\\\share" ".txt" == "\\\\share\\.txt"о filepath*Does the given filename have an extension?│hasExtension "/directory/path.ext" == True
hasExtension "/directory/path" == False
null (takeExtension x) == not (hasExtension x)п filepath5Does the given filename have the specified extension?е"png" `isExtensionOf` "/directory/file.png" == True
".png" `isExtensionOf` "/directory/file.png" == True
".tar.gz" `isExtensionOf` "bar/foo.tar.gz" == True
"ar.gz" `isExtensionOf` "bar/foo.tar.gz" == False
"png" `isExtensionOf` "/directory/file.png.jpg" == False
"csv/table.csv" `isExtensionOf` "/data/csv/table.csv" == Falseя filepath9Drop the given extension from a ShortByteString, and the "." preceding it.
   Returns  ╘а  if the ShortByteString does not have the given extension, or
    ╙. and the part before the extension if it does.+This function can be more predictable than  с5, especially if the filename
   might itself contain . characters.фstripExtension "hs.o" "foo.x.hs.o" == Just "foo.x"
stripExtension "hi.o" "foo.x.hs.o" == Nothing
dropExtension x == fromJust (stripExtension (takeExtension x) x)
dropExtensions x == fromJust (stripExtension (takeExtensions x) x)
stripExtension ".c.d" "a.b.c.d"  == Just "a.b"
stripExtension ".c.d" "a.b..c.d" == Just "a.b."
stripExtension "baz"  "foo.bar"  == Nothing
stripExtension "bar"  "foobar"   == Nothing
stripExtension ""     x          == Just xр filepathSplit on all extensions.┼splitExtensions "/directory/path.ext" == ("/directory/path",".ext")
splitExtensions "file.tar.gz" == ("file",".tar.gz")
uncurry (<>) (splitExtensions x) == x
Valid x => uncurry addExtension (splitExtensions x) == x
splitExtensions "file.tar.gz" == ("file",".tar.gz")с filepathDrop all extensions.аdropExtensions "/directory/path.ext" == "/directory/path"
dropExtensions "file.tar.gz" == "file"
not $ hasExtension $ dropExtensions x
not $ any isExtSeparator $ takeFileName $ dropExtensions xт filepathGet all extensions.ь takeExtensions "/directory/path.ext" == ".ext"
takeExtensions "file.tar.gz" == ".tar.gz"у filepathд Replace all extensions of a file with a new extension. Note
   that  к and  нМ  both work for adding
   multiple extensions, so only required when you need to drop
   all extensions first.Я replaceExtensions "file.fred.bob" "txt" == "file.txt"
replaceExtensions "file.fred.bob" "tar.gz" == "file.tar.gz"╩ filepathН Is the given character a valid drive letter?
 only a-z and A-Z are letters, not isAlpha which is more unicodeyж filepathю Split a path into a drive and a path.
   On Posix, / is a Drive.Бuncurry (<>) (splitDrive x) == x
Windows: splitDrive "file" == ("","file")
Windows: splitDrive "c:/file" == ("c:/","file")
Windows: splitDrive "c:\\file" == ("c:\\","file")
Windows: splitDrive "\\\\shared\\test" == ("\\\\shared\\","test")
Windows: splitDrive "\\\\shared" == ("\\\\shared","")
Windows: splitDrive "\\\\?\\UNC\\shared\\file" == ("\\\\?\\UNC\\shared\\","file")
Windows: splitDrive "\\\\?\\UNCshared\\file" == ("\\\\?\\","UNCshared\\file")
Windows: splitDrive "\\\\?\\d:\\file" == ("\\\\?\\d:\\","file")
Windows: splitDrive "/d" == ("","/d")
Posix:   splitDrive "/test" == ("/","test")
Posix:   splitDrive "//test" == ("//","test")
Posix:   splitDrive "test/file" == ("","test/file")
Posix:   splitDrive "file" == ("","file")в filepath&Join a drive and the rest of the path.ЙValid x => uncurry joinDrive (splitDrive x) == x
Windows: joinDrive "C:" "foo" == "C:foo"
Windows: joinDrive "C:\\" "bar" == "C:\\bar"
Windows: joinDrive "\\\\share" "foo" == "\\\\share\\foo"
Windows: joinDrive "/:" "foo" == "/:\\foo"ь filepathGet the drive from a filepath.!takeDrive x == fst (splitDrive x)ы filepathDelete the drive, if it exists.!dropDrive x == snd (splitDrive x)з filepathDoes a path have a drive.лnot (hasDrive x) == null (takeDrive x)
Posix:   hasDrive "/foo" == True
Windows: hasDrive "C:\\foo" == True
Windows: hasDrive "C:foo" == True
         hasDrive "foo" == False
         hasDrive "" == Falseш filepathIs an element a drive·Posix:   isDrive "/" == True
Posix:   isDrive "/foo" == False
Windows: isDrive "C:\\" == True
Windows: isDrive "C:\\foo" == False
         isDrive "" == Falseэ filepath*Split a filename into directory and file.  Хм  is the inverse.
   The first component will often end with a trailing slash.яsplitFileName "/directory/file.ext" == ("/directory/","file.ext")
Valid x => uncurry (</>) (splitFileName x) == x || fst (splitFileName x) == "./"
Valid x => isValid (fst (splitFileName x))
splitFileName "file/bob.txt" == ("file/", "bob.txt")
splitFileName "file/" == ("file/", "")
splitFileName "bob" == ("./", "bob")
Posix:   splitFileName "/" == ("/","")
Windows: splitFileName "c:" == ("c:","")
Windows: splitFileName "\\\\?\\A:\\fred" == ("\\\\?\\A:\\","fred")щ filepathSet the filename.Щ replaceFileName "/directory/other.txt" "file.ext" == "/directory/file.ext"
Valid x => replaceFileName x (takeFileName x) == xч filepathDrop the filename. Unlike  Еи , this function will leave
   a trailing path separator on the directory.ш dropFileName "/directory/file.ext" == "/directory/"
dropFileName x == fst (splitFileName x)ъ filepathGet the file name.іtakeFileName "/directory/file.ext" == "file.ext"
takeFileName "test/" == ""
isSuffixOf (takeFileName x) x
takeFileName x == snd (splitFileName x)
Valid x => takeFileName (replaceFileName x "fred") == "fred"
Valid x => takeFileName (x </> "fred") == "fred"
Valid x => isRelative (takeFileName x)Ю filepath0Get the base name, without an extension or path.┤takeBaseName "/directory/file.ext" == "file"
takeBaseName "file/test.txt" == "test"
takeBaseName "dave.ext" == "dave"
takeBaseName "" == ""
takeBaseName "test" == "test"
takeBaseName (addTrailingPathSeparator x) == ""
takeBaseName "file/file.tar.gz" == "file.tar"А filepathSet the base name.÷replaceBaseName "/directory/other.ext" "file" == "/directory/file.ext"
replaceBaseName "file/test.txt" "bob" == "file/bob.txt"
replaceBaseName "fred" "bill" == "bill"
replaceBaseName "/dave/fred/bob.gz.tar" "new" == "/dave/fred/new.tar"
Valid x => replaceBaseName x (takeBaseName x) == xБ filepathе Is an item either a directory or the last character a path separator?я hasTrailingPathSeparator "test" == False
hasTrailingPathSeparator "test/" == TrueЦ filepathа Add a trailing file path separator if one is not already present.ЁhasTrailingPathSeparator (addTrailingPathSeparator x)
hasTrailingPathSeparator x ==> addTrailingPathSeparator x == x
Posix:    addTrailingPathSeparator "test/rest" == "test/rest/"Д filepath#Remove any trailing path separatorsИdropTrailingPathSeparator "file/test/" == "file/test"
          dropTrailingPathSeparator "/" == "/"
Windows:  dropTrailingPathSeparator "\\" == "\\"
Posix:    not (hasTrailingPathSeparator (dropTrailingPathSeparator x)) || isDrive xЕ filepath*Get the directory name, move up one level.⌡          takeDirectory "/directory/other.ext" == "/directory"
          isPrefixOf (takeDirectory x) x || takeDirectory x == "."
          takeDirectory "foo" == "."
          takeDirectory "/" == "/"
          takeDirectory "/foo" == "/"
          takeDirectory "/foo/bar/baz" == "/foo/bar"
          takeDirectory "/foo/bar/baz/" == "/foo/bar/baz"
          takeDirectory "foo/bar/baz" == "foo/bar"
Windows:  takeDirectory "foo\\bar" == "foo"
Windows:  takeDirectory "foo\\bar\\\\" == "foo\\bar"
Windows:  takeDirectory "C:\\" == "C:\\"Ф filepath1Set the directory, keeping the filename the same.┴replaceDirectory "root/file.ext" "/directory/" == "/directory/file.ext"
Valid x => replaceDirectory x (takeDirectory x) `equalFilePath` xГ filepathAn alias for  Х.╪ filepath0Combine two paths, assuming rhs is NOT absolute.Х filepathєCombine two paths with a path separator.
   If the second path starts with a path separator or a drive letter, then it returns the second.
   The intention is that readFile (dir  Х file)! will access the same file as
   &setCurrentDirectory dir; readFile file.РPosix:   "/directory" </> "file.ext" == "/directory/file.ext"
Windows: "/directory" </> "file.ext" == "/directory\\file.ext"
         "directory" </> "/file.ext" == "/file.ext"
Valid x => (takeDirectory x </> takeFileName x) `equalFilePath` x	Combined:фPosix:   "/" </> "test" == "/test"
Posix:   "home" </> "bob" == "home/bob"
Posix:   "x:" </> "foo" == "x:/foo"
Windows: "C:\\foo" </> "bar" == "C:\\foo\\bar"
Windows: "home" </> "bob" == "home\\bob"Not combined:о Posix:   "home" </> "/bob" == "/bob"
Windows: "home" </> "C:\\bob" == "C:\\bob"Not combined (tricky):гOn Windows, if a filepath starts with a single slash, it is relative to the
   root of the current drive. In [1], this is (confusingly) referred to as an
   absolute path.
   The current behavior of  Х! is to never combine these forms.Ж Windows: "home" </> "/bob" == "/bob"
Windows: "home" </> "\\bob" == "\\bob"
Windows: "C:\\home" </> "\\bob" == "\\bob"ЬOn Windows, from [1]: "If a file name begins with only a disk designator
   but not the backslash after the colon, it is interpreted as a relative path
   to the current directory on the drive with the specified letter."
   The current behavior of  Х! is to never combine these forms.с Windows: "D:\\foo" </> "C:bar" == "C:bar"
Windows: "C:\\foo" </> "C:bar" == "C:bar"И filepath(Split a path by the directory separator.йsplitPath "/directory/file.ext" == ["/","directory/","file.ext"]
concat (splitPath x) == x
splitPath "test//item/" == ["test//","item/"]
splitPath "test/item/file" == ["test/","item/","file"]
splitPath "" == []
Windows: splitPath "c:\\test\\path" == ["c:\\","test\\","path"]
Posix:   splitPath "/file/test" == ["/","file/","test"]Й filepathJust as  И5, but don't add the trailing slashes to each element.Ъ         splitDirectories "/directory/file.ext" == ["/","directory","file.ext"]
         splitDirectories "test/file" == ["test","file"]
         splitDirectories "/test/file" == ["/","test","file"]
Windows: splitDirectories "C:\\test\\file" == ["C:\\", "test", "file"]
         Valid x => joinPath (splitDirectories x) `equalFilePath` x
         splitDirectories "" == []
Windows: splitDirectories "C:\\test\\\\\\file" == ["C:\\", "test", "file"]
         splitDirectories "/test///file" == ["/","test","file"]К filepath!Join path elements back together.рjoinPath z == foldr (</>) "" z
joinPath ["/","directory/","file.ext"] == "/directory/file.ext"
Valid x => joinPath (splitPath x) == x
joinPath [] == ""
Posix: joinPath ["test","file","path"] == "test/file/path"Л filepathEquality of two FILEPATHs.
   If you call !System.Directory.canonicalizePathК 
   first this has a much better chance of working.
   Note that this doesn't follow symlinks or DOSNAM~1s.Similar to  Н, this does not expand "..", because of symlinks.м         x == y ==> equalFilePath x y
         normalise x == normalise y ==> equalFilePath x y
         equalFilePath "foo" "foo/"
         not (equalFilePath "/a/../c" "/c")
         not (equalFilePath "foo" "/foo")
Posix:   not (equalFilePath "foo" "FOO")
Windows: equalFilePath "foo" "FOO"
Windows: not (equalFilePath "C:" "C:/")М filepathД Contract a filename, based on a relative path. Note that the resulting path
   will never introduce ..* paths, as the presence of symlinks means ../b
   may not reach a/b if it starts from a/c. For a worked example see
   ж http://neilmitchell.blogspot.co.uk/2015/10/filepaths-are-subtle-symlinks-are-hard.htmlthis blog post.The corresponding makeAbsolute function can be found in
   System.Directory.С         makeRelative "/directory" "/directory/file.ext" == "file.ext"
         Valid x => makeRelative (takeDirectory x) x `equalFilePath` takeFileName x
         makeRelative x x == "."
         Valid x y => equalFilePath x y || (isRelative x && makeRelative y x == x) || equalFilePath (y </> makeRelative y x) x
Windows: makeRelative "C:\\Home" "c:\\home\\bob" == "bob"
Windows: makeRelative "C:\\Home" "c:/home/bob" == "bob"
Windows: makeRelative "C:\\Home" "D:\\Home\\Bob" == "D:\\Home\\Bob"
Windows: makeRelative "C:\\Home" "C:Home\\Bob" == "C:Home\\Bob"
Windows: makeRelative "/Home" "/home/bob" == "bob"
Windows: makeRelative "/" "//" == "//"
Posix:   makeRelative "/Home" "/home/bob" == "/home/bob"
Posix:   makeRelative "/home/" "/home/bob/foo/bar" == "bob/foo/bar"
Posix:   makeRelative "/fred" "bob" == "bob"
Posix:   makeRelative "/file/test" "/file/test/fred" == "fred"
Posix:   makeRelative "/file/test" "/file/test/fred/" == "fred/"
Posix:   makeRelative "some/path" "some/path/a/b/c" == "a/b/c"Н filepathNormalise a file)// outside of the drive can be made blank/ ->  ю./ -> ""Does not remove "..", because of symlinks.ГPosix:   normalise "/file/\\test////" == "/file/\\test/"
Posix:   normalise "/file/./test" == "/file/test"
Posix:   normalise "/test/file/../bob/fred/" == "/test/file/../bob/fred/"
Posix:   normalise "../bob/fred/" == "../bob/fred/"
Posix:   normalise "/a/../c" == "/a/../c"
Posix:   normalise "./bob/fred/" == "bob/fred/"
Windows: normalise "c:\\file/bob\\" == "C:\\file\\bob\\"
Windows: normalise "c:\\" == "C:\\"
Windows: normalise "c:\\\\\\\\" == "C:\\"
Windows: normalise "C:.\\" == "C:"
Windows: normalise "\\\\server\\test" == "\\\\server\\test"
Windows: normalise "//server/test" == "\\\\server\\test"
Windows: normalise "c:/file" == "C:\\file"
Windows: normalise "/file" == "\\file"
Windows: normalise "\\" == "\\"
Windows: normalise "/./" == "\\"
         normalise "." == "."
Posix:   normalise "./" == "./"
Posix:   normalise "./." == "./"
Posix:   normalise "/./" == "/"
Posix:   normalise "/" == "/"
Posix:   normalise "bob/fred/." == "bob/fred/"
Posix:   normalise "//home" == "/home"О filepathФIs a ShortByteString valid, i.e. could you create a file like it? This function checks for invalid names,
   and invalid characters, but does not check if length limits are exceeded, as these are typically
   filesystem dependent.щ         isValid "" == False
         isValid "\0" == False
Posix:   isValid "/random_ path:*" == True
Posix:   isValid x == not (null x)
Windows: isValid "c:\\test" == True
Windows: isValid "c:\\test:of_test" == False
Windows: isValid "test*" == False
Windows: isValid "c:\\test\\nul" == False
Windows: isValid "c:\\test\\prn.txt" == False
Windows: isValid "c:\\nul\\file" == False
Windows: isValid "\\\\" == False
Windows: isValid "\\\\\\foo" == False
Windows: isValid "\\\\?\\D:file" == False
Windows: isValid "foo\tbar" == False
Windows: isValid "nul .txt" == False
Windows: isValid " nul.txt" == TrueП filepathр Take a ShortByteString and make it valid; does not change already valid FILEPATHs.▐isValid (makeValid x)
isValid x ==> makeValid x == x
makeValid "" == "_"
makeValid "file\0name" == "file_name"
Windows: makeValid "c:\\already\\/valid" == "c:\\already\\/valid"
Windows: makeValid "c:\\test:of_test" == "c:\\test_of_test"
Windows: makeValid "test*" == "test_"
Windows: makeValid "c:\\test\\nul" == "c:\\test\\nul_"
Windows: makeValid "c:\\test\\prn.txt" == "c:\\test\\prn_.txt"
Windows: makeValid "c:\\test/prn.txt" == "c:\\test/prn_.txt"
Windows: makeValid "c:\\nul\\file" == "c:\\nul_\\file"
Windows: makeValid "\\\\\\foo" == "\\\\drive"
Windows: makeValid "\\\\?\\D:file" == "\\\\?\\D:\\file"
Windows: makeValid "nul .txt" == "nul _.txt"Я filepath/Is a path relative, or is it fixed to the root?▓Windows: isRelative "path\\test" == True
Windows: isRelative "c:\\test" == False
Windows: isRelative "c:test" == True
Windows: isRelative "c:\\" == False
Windows: isRelative "c:/" == False
Windows: isRelative "c:" == True
Windows: isRelative "\\\\foo" == False
Windows: isRelative "\\\\?\\foo" == False
Windows: isRelative "\\\\?\\UNC\\foo" == False
Windows: isRelative "/foo" == True
Windows: isRelative "\\foo" == True
Posix:   isRelative "test/path" == True
Posix:   isRelative "/test" == False
Posix:   isRelative "/" == FalseAccording to [1]:/"A UNC name of any format [is never relative]."6"You cannot use the "\?" prefix with a relative path."Р filepathnot .  Я"isAbsolute x == not (isRelative x)Ґ filepathTotal conversion to char.Ў filepath-This is unsafe and clamps at Word16 maxbound. 3юабцдефгхикймнолрступяэъщчЮАЕФГХИКЙжвьзышБЦДНЛМЯРОП3юабцдефгхикймнолрступяэъщчЮАЕФГХИКЙжвьзышБЦДНЛМЯРОП й7л7Х5         Safe-Inferred О  9С4С filepathД The character that separates directories. In the case where more than
   one character is possible,  С is the 'ideal' one.pathSeparator == '\\'SТ filepath$The list of all possible separators.а pathSeparators == ['\\', '/']
pathSeparator `elem` pathSeparatorsУ filepathRather than using (==  С)5, use this. Test if something
   is a path separator..isPathSeparator a == (a `elem` pathSeparators)Ж filepathу The character that is used to separate the entries in the $PATH environment variable.searchPathSeparator == ';'В filepath"Is the character a file separator?5isSearchPathSeparator a == (a == searchPathSeparator)Ь filepathFile extension characterextSeparator == '.'Ы filepath(Is the character an extension character?'isExtSeparator a == (a == extSeparator)З filepathTake a string, split it on the  Ж character.а Blank items are ignored and path elements are stripped of quotes.хsplitSearchPath "File1;File2;File3"  == ["File1","File2","File3"]
splitSearchPath "File1;;File2;File3" == ["File1","File2","File3"]
splitSearchPath "File1;\"File2\";File3" == ["File1","File2","File3"]Ш filepathSplit on the extension.  │ is the inverse.єsplitExtension "/directory/path.ext" == ("/directory/path",".ext")
uncurry (<>) (splitExtension x) == x
Valid x => uncurry addExtension (splitExtension x) == x
splitExtension "file.txt" == ("file",".txt")
splitExtension "file" == ("file","")
splitExtension "file/file.txt" == ("file/file",".txt")
splitExtension "file.txt/boris" == ("file.txt/boris","")
splitExtension "file.txt/boris.ext" == ("file.txt/boris",".ext")
splitExtension "file/path.txt.bob.fred" == ("file/path.txt.bob",".fred")
splitExtension "file/path.txt/" == ("file/path.txt/","")Э filepath%Get the extension of a file, returns "" for no extension, .ext otherwise.оtakeExtension "/directory/path.ext" == ".ext"
takeExtension x == snd (splitExtension x)
Valid x => takeExtension (addExtension x "ext") == ".ext"
Valid x => takeExtension (replaceExtension x "ext") == ".ext"Щ filepath<Remove the current extension and add another, equivalent to  Ч.░"/directory/path.txt" -<.> "ext" == "/directory/path.ext"
"/directory/path.txt" -<.> ".ext" == "/directory/path.ext"
"foo.o" -<.> "c" == "foo.c"Ч filepathо Set the extension of a file, overwriting one if already present, equivalent to  Щ.ІreplaceExtension "/directory/path.txt" "ext" == "/directory/path.ext"
replaceExtension "/directory/path.txt" ".ext" == "/directory/path.ext"
replaceExtension "file.txt" ".bob" == "file.bob"
replaceExtension "file.txt" "bob" == "file.bob"
replaceExtension "file" ".bob" == "file.bob"
replaceExtension "file.txt" "" == "file"
replaceExtension "file.fred.bob" "txt" == "file.fred.txt"
replaceExtension x y == addExtension (dropExtension x) yЪ filepathд Add an extension, even if there is already one there, equivalent to  │.Й "/directory/path" <.> "ext" == "/directory/path.ext"
"/directory/path" <.> ".ext" == "/directory/path.ext"─ filepath0Remove last extension, and the "." preceding it.Б dropExtension "/directory/path.ext" == "/directory/path"
dropExtension x == fst (splitExtension x)│ filepathд Add an extension, even if there is already one there, equivalent to  Ъ.┬addExtension "/directory/path" "ext" == "/directory/path.ext"
addExtension "file.txt" "bib" == "file.txt.bib"
addExtension "file." ".bib" == "file..bib"
addExtension "file" ".bib" == "file.bib"
addExtension "/" "x" == "/.x"
addExtension x "" == x
Valid x => takeFileName (addExtension (addTrailingPathSeparator x) "ext") == ".ext"
Windows: addExtension "\\\\share" ".txt" == "\\\\share\\.txt"д Add an extension, even if there is already one there, equivalent to  Ъ.ЪaddExtension "/directory/path" "ext" == "/directory/path.ext"
addExtension "file.txt" "bib" == "file.txt.bib"
addExtension "file." ".bib" == "file..bib"
addExtension "file" ".bib" == "file.bib"
addExtension "/" "x" == "/.x"
addExtension x "" == x
Valid x => takeFileName (addExtension (addTrailingPathSeparator x) "ext") == ".ext"
addExtension "\\\\share" ".txt" == "\\\\share\\.txt"┌ filepath*Does the given filename have an extension?│hasExtension "/directory/path.ext" == True
hasExtension "/directory/path" == False
null (takeExtension x) == not (hasExtension x)┐ filepath5Does the given filename have the specified extension?е"png" `isExtensionOf` "/directory/file.png" == True
".png" `isExtensionOf` "/directory/file.png" == True
".tar.gz" `isExtensionOf` "bar/foo.tar.gz" == True
"ar.gz" `isExtensionOf` "bar/foo.tar.gz" == False
"png" `isExtensionOf` "/directory/file.png.jpg" == False
"csv/table.csv" `isExtensionOf` "/data/csv/table.csv" == False└ filepath2Drop the given extension from a filepath, and the "." preceding it.
   Returns  ╘: if the filepath does not have the given extension, or
    ╙. and the part before the extension if it does.+This function can be more predictable than  ├5, especially if the filename
   might itself contain . characters.фstripExtension "hs.o" "foo.x.hs.o" == Just "foo.x"
stripExtension "hi.o" "foo.x.hs.o" == Nothing
dropExtension x == fromJust (stripExtension (takeExtension x) x)
dropExtensions x == fromJust (stripExtension (takeExtensions x) x)
stripExtension ".c.d" "a.b.c.d"  == Just "a.b"
stripExtension ".c.d" "a.b..c.d" == Just "a.b."
stripExtension "baz"  "foo.bar"  == Nothing
stripExtension "bar"  "foobar"   == Nothing
stripExtension ""     x          == Just x┘ filepathSplit on all extensions.┼splitExtensions "/directory/path.ext" == ("/directory/path",".ext")
splitExtensions "file.tar.gz" == ("file",".tar.gz")
uncurry (<>) (splitExtensions x) == x
Valid x => uncurry addExtension (splitExtensions x) == x
splitExtensions "file.tar.gz" == ("file",".tar.gz")├ filepathDrop all extensions.аdropExtensions "/directory/path.ext" == "/directory/path"
dropExtensions "file.tar.gz" == "file"
not $ hasExtension $ dropExtensions x
not $ any isExtSeparator $ takeFileName $ dropExtensions x┤ filepathGet all extensions.ь takeExtensions "/directory/path.ext" == ".ext"
takeExtensions "file.tar.gz" == ".tar.gz"┬ filepathд Replace all extensions of a file with a new extension. Note
   that  Ч and  │М  both work for adding
   multiple extensions, so only required when you need to drop
   all extensions first.Я replaceExtensions "file.fred.bob" "txt" == "file.txt"
replaceExtensions "file.fred.bob" "tar.gz" == "file.tar.gz"┴ filepath%Split a path into a drive and a path.ыuncurry (<>) (splitDrive x) == x
splitDrive "file" == ("","file")
splitDrive "c:/file" == ("c:/","file")
splitDrive "c:\\file" == ("c:\\","file")
splitDrive "\\\\shared\\test" == ("\\\\shared\\","test")
splitDrive "\\\\shared" == ("\\\\shared","")
splitDrive "\\\\?\\UNC\\shared\\file" == ("\\\\?\\UNC\\shared\\","file")
splitDrive "\\\\?\\UNCshared\\file" == ("\\\\?\\","UNCshared\\file")
splitDrive "\\\\?\\d:\\file" == ("\\\\?\\d:\\","file")
splitDrive "/d" == ("","/d")┼ filepath&Join a drive and the rest of the path.ЙValid x => uncurry joinDrive (splitDrive x) == x
Windows: joinDrive "C:" "foo" == "C:foo"
Windows: joinDrive "C:\\" "bar" == "C:\\bar"
Windows: joinDrive "\\\\share" "foo" == "\\\\share\\foo"
Windows: joinDrive "/:" "foo" == "/:\\foo"&Join a drive and the rest of the path.фValid x => uncurry joinDrive (splitDrive x) == x
joinDrive "C:" "foo" == "C:foo"
joinDrive "C:\\" "bar" == "C:\\bar"
joinDrive "\\\\share" "foo" == "\\\\share\\foo"
joinDrive "/:" "foo" == "/:\\foo"▀ filepathGet the drive from a filepath.!takeDrive x == fst (splitDrive x)▄ filepathDelete the drive, if it exists.!dropDrive x == snd (splitDrive x)█ filepathDoes a path have a drive.┤not (hasDrive x) == null (takeDrive x)
hasDrive "C:\\foo" == True
hasDrive "C:foo" == True
hasDrive "foo" == False
hasDrive "" == False▌ filepathIs an element a driveе isDrive "C:\\" == True
isDrive "C:\\foo" == False
isDrive "" == False▐ filepath*Split a filename into directory and file.  ⌡м  is the inverse.
   The first component will often end with a trailing slash.чsplitFileName "/directory/file.ext" == ("/directory/","file.ext")
Valid x => uncurry (</>) (splitFileName x) == x || fst (splitFileName x) == "./"
Valid x => isValid (fst (splitFileName x))
splitFileName "file/bob.txt" == ("file/", "bob.txt")
splitFileName "file/" == ("file/", "")
splitFileName "bob" == ("./", "bob")
splitFileName "c:" == ("c:","")░ filepathSet the filename.Щ replaceFileName "/directory/other.txt" "file.ext" == "/directory/file.ext"
Valid x => replaceFileName x (takeFileName x) == x▒ filepathDrop the filename. Unlike  ≤и , this function will leave
   a trailing path separator on the directory.ш dropFileName "/directory/file.ext" == "/directory/"
dropFileName x == fst (splitFileName x)▓ filepathGet the file name.іtakeFileName "/directory/file.ext" == "file.ext"
takeFileName "test/" == ""
takeFileName x `isSuffixOf` x
takeFileName x == snd (splitFileName x)
Valid x => takeFileName (replaceFileName x "fred") == "fred"
Valid x => takeFileName (x </> "fred") == "fred"
Valid x => isRelative (takeFileName x)⌠ filepath0Get the base name, without an extension or path.┤takeBaseName "/directory/file.ext" == "file"
takeBaseName "file/test.txt" == "test"
takeBaseName "dave.ext" == "dave"
takeBaseName "" == ""
takeBaseName "test" == "test"
takeBaseName (addTrailingPathSeparator x) == ""
takeBaseName "file/file.tar.gz" == "file.tar"■ filepathSet the base name.÷replaceBaseName "/directory/other.ext" "file" == "/directory/file.ext"
replaceBaseName "file/test.txt" "bob" == "file/bob.txt"
replaceBaseName "fred" "bill" == "bill"
replaceBaseName "/dave/fred/bob.gz.tar" "new" == "/dave/fred/new.tar"
Valid x => replaceBaseName x (takeBaseName x) == x∙ filepathе Is an item either a directory or the last character a path separator?я hasTrailingPathSeparator "test" == False
hasTrailingPathSeparator "test/" == True√ filepathа Add a trailing file path separator if one is not already present.Т hasTrailingPathSeparator (addTrailingPathSeparator x)
hasTrailingPathSeparator x ==> addTrailingPathSeparator x == x≈ filepath#Remove any trailing path separators│dropTrailingPathSeparator "file/test/" == "file/test"
dropTrailingPathSeparator "/" == "/"
dropTrailingPathSeparator "\\" == "\\"≤ filepath*Get the directory name, move up one level.ґtakeDirectory "/directory/other.ext" == "/directory"
takeDirectory x `isPrefixOf` x || takeDirectory x == "."
takeDirectory "foo" == "."
takeDirectory "/" == "/"
takeDirectory "/foo" == "/"
takeDirectory "/foo/bar/baz" == "/foo/bar"
takeDirectory "/foo/bar/baz/" == "/foo/bar/baz"
takeDirectory "foo/bar/baz" == "foo/bar"
takeDirectory "foo\\bar" == "foo"
takeDirectory "foo\\bar\\\\" == "foo\\bar"
takeDirectory "C:\\" == "C:\\"≥ filepath1Set the directory, keeping the filename the same.┴replaceDirectory "root/file.ext" "/directory/" == "/directory/file.ext"
Valid x => replaceDirectory x (takeDirectory x) `equalFilePath` x  filepathAn alias for  ⌡.⌡ filepathєCombine two paths with a path separator.
   If the second path starts with a path separator or a drive letter, then it returns the second.
   The intention is that readFile (dir  ⌡ file)! will access the same file as
   &setCurrentDirectory dir; readFile file.╒"/directory" </> "file.ext" == "/directory\\file.ext"
"directory" </> "/file.ext" == "/file.ext"
Valid x => (takeDirectory x </> takeFileName x) `equalFilePath` x	Combined:е "C:\\foo" </> "bar" == "C:\\foo\\bar"
"home" </> "bob" == "home\\bob"Not combined:!"home" </> "C:\\bob" == "C:\\bob"Not combined (tricky):╩If a filepath starts with a single slash, it is relative to the
   root of the current drive. In [1], this is (confusingly) referred to as an
   absolute path.
   The current behavior of  ⌡! is to never combine these forms.ш "home" </> "/bob" == "/bob"
"home" </> "\\bob" == "\\bob"
"C:\\home" </> "\\bob" == "\\bob"ЛFrom [1]: "If a file name begins with only a disk designator
   but not the backslash after the colon, it is interpreted as a relative path
   to the current directory on the drive with the specified letter."
   The current behavior of  ⌡! is to never combine these forms.а "D:\\foo" </> "C:bar" == "C:bar"
"C:\\foo" </> "C:bar" == "C:bar"° filepath(Split a path by the directory separator.┴splitPath "/directory/file.ext" == ["/","directory/","file.ext"]
concat (splitPath x) == x
splitPath "test//item/" == ["test//","item/"]
splitPath "test/item/file" == ["test/","item/","file"]
splitPath "" == []
splitPath "c:\\test\\path" == ["c:\\","test\\","path"]² filepathJust as  °5, but don't add the trailing slashes to each element.ЇsplitDirectories "/directory/file.ext" == ["/","directory","file.ext"]
splitDirectories "test/file" == ["test","file"]
splitDirectories "/test/file" == ["/","test","file"]
splitDirectories "C:\\test\\file" == ["C:\\", "test", "file"]
Valid x => joinPath (splitDirectories x) `equalFilePath` x
splitDirectories "" == []
splitDirectories "C:\\test\\\\\\file" == ["C:\\", "test", "file"]
splitDirectories "/test///file" == ["/","test","file"]· filepath!Join path elements back together.≈joinPath z == foldr (</>) "" z
joinPath ["/","directory/","file.ext"] == "/directory/file.ext"
Valid x => joinPath (splitPath x) == x
joinPath [] == ""÷ filepath*Equality of two filepaths.
   If you call !System.Directory.canonicalizePathК 
   first this has a much better chance of working.
   Note that this doesn't follow symlinks or DOSNAM~1s.Similar to  ║, this does not expand "..", because of symlinks.Еx == y ==> equalFilePath x y
normalise x == normalise y ==> equalFilePath x y
equalFilePath "foo" "foo/"
not (equalFilePath "/a/../c" "/c")
not (equalFilePath "foo" "/foo")
equalFilePath "foo" "FOO"
not (equalFilePath "C:" "C:/")═ filepathД Contract a filename, based on a relative path. Note that the resulting path
   will never introduce ..* paths, as the presence of symlinks means ../b
   may not reach a/b if it starts from a/c. For a worked example see
   ж http://neilmitchell.blogspot.co.uk/2015/10/filepaths-are-subtle-symlinks-are-hard.htmlthis blog post.The corresponding makeAbsolute function can be found in
   System.Directory.╟makeRelative "/directory" "/directory/file.ext" == "file.ext"
Valid x => makeRelative (takeDirectory x) x `equalFilePath` takeFileName x
makeRelative x x == "."
Valid x y => equalFilePath x y || (isRelative x && makeRelative y x == x) || equalFilePath (y </> makeRelative y x) x
makeRelative "C:\\Home" "c:\\home\\bob" == "bob"
makeRelative "C:\\Home" "c:/home/bob" == "bob"
makeRelative "C:\\Home" "D:\\Home\\Bob" == "D:\\Home\\Bob"
makeRelative "C:\\Home" "C:Home\\Bob" == "C:Home\\Bob"
makeRelative "/Home" "/home/bob" == "bob"
makeRelative "/" "//" == "//"║ filepathNormalise a file)// outside of the drive can be made blank/ ->  С./ -> ""Does not remove "..", because of symlinks.кnormalise "c:\\file/bob\\" == "C:\\file\\bob\\"
normalise "c:\\" == "C:\\"
normalise "C:.\\" == "C:"
normalise "\\\\server\\test" == "\\\\server\\test"
normalise "//server/test" == "\\\\server\\test"
normalise "c:/file" == "C:\\file"
normalise "/file" == "\\file"
normalise "\\" == "\\"
normalise "/./" == "\\"
normalise "." == "."╒ filepathъIs a filepath valid, i.e. could you create a file like it? This function checks for invalid names,
   and invalid characters, but does not check if length limits are exceeded, as these are typically
   filesystem dependent.▒isValid "" == False
isValid "\0" == False
isValid "c:\\test" == True
isValid "c:\\test:of_test" == False
isValid "test*" == False
isValid "c:\\test\\nul" == False
isValid "c:\\test\\prn.txt" == False
isValid "c:\\nul\\file" == False
isValid "\\\\" == False
isValid "\\\\\\foo" == False
isValid "\\\\?\\D:file" == False
isValid "foo\tbar" == False
isValid "nul .txt" == False
isValid " nul.txt" == Trueё filepathк Take a filepath and make it valid; does not change already valid filepaths.╣isValid (makeValid x)
isValid x ==> makeValid x == x
makeValid "" == "_"
makeValid "file\0name" == "file_name"
makeValid "c:\\already\\/valid" == "c:\\already\\/valid"
makeValid "c:\\test:of_test" == "c:\\test_of_test"
makeValid "test*" == "test_"
makeValid "c:\\test\\nul" == "c:\\test\\nul_"
makeValid "c:\\test\\prn.txt" == "c:\\test\\prn_.txt"
makeValid "c:\\test/prn.txt" == "c:\\test/prn_.txt"
makeValid "c:\\nul\\file" == "c:\\nul_\\file"
makeValid "\\\\\\foo" == "\\\\drive"
makeValid "\\\\?\\D:file" == "\\\\?\\D:\\file"
makeValid "nul .txt" == "nul _.txt"є filepath/Is a path relative, or is it fixed to the root?аisRelative "path\\test" == True
isRelative "c:\\test" == False
isRelative "c:test" == True
isRelative "c:\\" == False
isRelative "c:/" == False
isRelative "c:" == True
isRelative "\\\\foo" == False
isRelative "\\\\?\\foo" == False
isRelative "\\\\?\\UNC\\foo" == False
isRelative "/foo" == True
isRelative "\\foo" == TrueAccording to [1]:/"A UNC name of any format [is never relative]."6"You cannot use the "\?" prefix with a relative path."╔ filepathnot .  є"isAbsolute x == not (isRelative x)і filepathQuasiQuote a  на . This accepts Unicode characters
 and encodes as UTF-16LE. Runs  ╒ on the input. а н&'(і-)*+,./СТУЖВЬЫЗШЭЧЩ─│┌Ъ┘├┤┬┐└▐▓░▒⌠■≤≥ ⌡°·²┴┼▀█▄▌∙√≈║÷═є╔╒ёа н&'(і-)*+,./СТУЖВЬЫЗШЭЧЩ─│┌Ъ┘├┤┬┐└▐▓░▒⌠■≤≥ ⌡°·²┴┼▀█▄▌∙√≈║÷═є╔╒ё  ©                                !  "  #  $ %& %' %( %) %* %+ , - , . , / , 0 , 1 , 2 , 3 , 4 , 5 , 6 7 5 7 6 8 - 8 . 8 / 8 0 8 1 8 2 8 3 8 4 8 5 8 6   9   :   ;   <   =   >   ?   @   A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z   [   \   ]   ^   _   `   a   b   c   d   e   f   g   h   i   j   k   l   9   :   ;   <   =   >   ?   @   A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z   [   \   ]   ^   _   `   a   b   c   d   e   f   g   h   i   j   k   l   9   :   ;   <   =   >   ?   @   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z   [   \   ]   ^   _   `   a   b   c   d   e   f   g   h   i   j   k   l  m  n  o  p   9   :   ;   <   =   >   ?   @   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z   [   \   ]   ^   _   `   a   b   c   d   e   f   g   h   i   j   k   l   q   i  	 -  	 .  	 /  	 0  	 1  	 2  	 r  	 s  	 3  	 4   9   :   ;   <   =   >   ?   @   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z   [   \   ]   ^   _   `   a   b   c   d   e   f   g   h   j   k   l  
 9  
 :  
 ;  
 <  
 =  
 >  
 ?  
 @  
 B  
 C  
 D  
 E  
 F  
 G  
 H  
 I  
 J  
 K  
 L  
 M  
 N  
 O  
 P  
 Q  
 R  
 S  
 T  
 U  
 V  
 W  
 X  
 Y  
 Z  
 [  
 \  
 ]  
 ^  
 _  
 `  
 a  
 b  
 c  
 d  
 e  
 f  
 g  
 h  
 i  
 j  
 k  
 l   9   :   ;   <   =   >   ?   @   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z   [   \   ]   ^   _   `   a   b   c   d   e   f   g   h   i   j   k   l   q   t   u vw vx   y   z   {   t   u   y   z   {   t   u   y   z   |   }  
 t  
 u  
 y  
 z  
 |  
 }Ч filepath-1.5.0.0-inplaceSystem.FilePath.PosixSystem.OsPath.EncodingSystem.OsPath.TypesSystem.OsPath.PosixSystem.OsPathSystem.OsPath.WindowsSystem.FilePath.WindowsSystem.OsPath.Posix.InternalSystem.OsPath.InternalSystem.OsPath.Windows.InternalfilepathSystem.FilePathbaseGHC.IOFilePathп os-string-2.0.0-5f2e68f9f25edae9b3c93a3b32047c314a765c922451327cd3cce091fb7d0113!System.OsString.Encoding.InternalEncodingExceptionEncodingErrorucs2lemkUcs2le	ucs2le_DF	ucs2le_EFucs2le_decodeucs2le_encode	utf16le_bmkUTF16le_butf16le_b_DFutf16le_b_EFutf16le_b_decodeutf16le_b_encodedecodeWithBasePosixencodeWithBasePosixdecodeWithBaseWindowsencodeWithBaseWindowsshowEncodingExceptionSystem.OsString.Internal.TypesOsCharOsString	PosixCharWindowsCharPosixStringWindowsStringSystem.OsString.Posix	encodeUtf
encodeWithencodeFS	decodeUtf
decodeWithdecodeFSunpackpackunsafeFromChartoCharSystem.OsString.InternalSystem.OsString.WindowspathSeparatorpathSeparatorsisPathSeparatorsearchPathSeparatorisSearchPathSeparatorextSeparatorisExtSeparatorsplitSearchPathgetSearchPathsplitExtensiontakeExtension-<.>replaceExtension<.>dropExtensionaddExtensionhasExtensionisExtensionOfstripExtensionsplitExtensionsdropExtensionstakeExtensionsreplaceExtensions
splitDrive	joinDrive	takeDrive	dropDrivehasDriveisDrivesplitFileNamereplaceFileNamedropFileNametakeFileNametakeBaseNamereplaceBaseNamehasTrailingPathSeparatoraddTrailingPathSeparatordropTrailingPathSeparatortakeDirectoryreplaceDirectorycombine</>	splitPathsplitDirectoriesjoinPathequalFilePathmakeRelative	normaliseisValid	makeValid
isRelative
isAbsoluteOsPathPlatformPath	PosixPathWindowsPathpstr	fromBytesospisPosix	isWindows	GHC.MaybeNothingJustisLettercombineAlwaysstripSuffix
wordToChar
charToWord