нУЁh& ╟\ ═К╙                   	  
                                               !  "  #  $  %  &  '  (  )  *  +  ,  -  .  /  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  {  |  }  ~    ─  │  ┌  ┐  └  ┘  ├  ┤  ┬  ┴  ┼  ▀  ▄  █  ▌  ▐  ░  ▒  ▓  ⌠  ■  ∙  √  ≈  ≤  ≥     ⌡  °  ²  ·  ÷  ═  ║  ╒  ё  є  ╔  і  ї  ╗  ╘  ╙  ╚  ╛  ґ  ў  ╞  ╟  ╠  ╡  Ё  Є  ╣  І  Ї  ╦  ╧  ╨  ╩  ╪  Ґ  Ў  ©  ю  а  б  ц  д  е  ф  г  х  и  й  к  л  м  н  о  п  я  р  с  т  у  ж  в  ь  ы  з  ш  э  щ  ч  ъ  Ю  А  Б  Ц  Д  Е  Ф  Г  Х  И  Й  К  Л  М  Н  О  П  Я  Р  С  Т  У  Ж  В  Ь  Ы  З  Ш  Э  Щ  Ч  Ъ  ─  │  ┌  ┐  └  ┘  ├  ┤  ┬  ┴  ┼  ▀  ▄  █  ▌  ▐  ░  ▒  ▓  ⌠  ■  ∙  √  ≈  ≤  ≥     ⌡  °  ²  ·  ÷  ═  ║  ╒  ё  є  ╔  і  ї  ╗  ╘  ╙  ╚  ╛  ґ  ў  ╞  ╟  ╠  ╡  Ё  Є  ╣  І  Ї  ╦  ╧  ╨  ╩  ╪  Ґ  Ў  ©  ю  а  б  ц  д  е  ф  г  х  и  й  к  л  м  н  о  п  я  р  с  т  у  ж  в  ь  ы  з  ш  э  щ  ч  ъ  Ю  А  Б  Ц  Д  Е  Ф  Г  Х  И  Й  К  Л  М  Н  О  П  Я  Р  С  Т  У  Ж  В  Ь  Ы  З  Ш  Э  Щ  Ч  Ъ  ─  │  ┌  ┐  └  ┘  ├  ┤  ┬  ┴  ┼  ▀  ▄  █  ▌  ▐  ░  ▒  ▓  ⌠  ■  ∙  √  ≈  ≤  ≥     	⌡  	°  	²  	·  	÷  	═  	║  	╒  	ё  	є  	╔  	і  	ї  	╗  	╘  	╙  	╚  	╛  	ґ  	ў  	╞  	╟  	╠  	╡  	Ё  	Є  	╣  	І  	Ї  	╦  	╧  	╨  	╩  	╪  	Ґ  	Ў  	©  	ю  	а  	б  	ц  	д  	е  	ф  	г  	х  	и  	й  	к  	л  	м  	н  	о  	п  	я  	р  	с  	т  	у  	ж  	в  	ь  	ы  	з  	ш  	э  	щ  
ч  
ъ  
Ю  
А  Б  Ц  Д  Е  Ф  Г  Х  И  Й  К  Л  М  Н  О  П  Я  Р  С  Т  У  Ж  В  Ь  Ы  З  Ш  Э  Щ  Ч  Ъ  ─  │  ┌  ┐  └  ┘  ├  ┤  ┬  ┴  ┼  ▀  ▄  █  ▌  ▐  ░  ▒  ▓  ⌠  ■  ∙  √  ≈  ≤  ≥     ⌡  °  ²  ·  ÷  ═  ║  ╒  ё  є  ╔  і  ї  ╗  ╘  ╙  ╚  ╛  ґ  ў  ╞  ╟  ╠  ╡  Ё  Є  ╣  І  Ї  ╦  ╧  ╨  ╩  ╪  Ґ  Ў  ©  ю  а  б  ц  д  е  ф  г  х  и  й  к  л  м  н  о  п  я  р  с  т  у  ж  в  ь  ы  з  ш  э  щ  ч  ъ  Ю  А  Б  Ц  Д  Е  Ф  Г  Х  И  Й  К  Л  М  Н  О  П  Я  Р  С  Т  У  Ж  В  Ь  Ы  З  Ш  Э  Щ  Ч  Ъ  ─  │  ┌  ┐  └  ┘  ├  ┤  ┬  ┴  ┼  ▀  ▄  █  ▌  ▐  ░  ▒  ▓  ⌠  ■  ∙  √  ≈  ≤  ≥     ⌡  °  ²  ·  ÷  ═  ║  ╒  ё  є  ╔  і  ї  ╗  ╘      (c) Neil Mitchell 2005-2014BSD3ndmitchell@gmail.comstableportableSafe-Inferred О   _O9╙ filepath*Is the operating system Unix or Linux like╚ filepath$Is the operating system Windows likeJ filepathД The character that separates directories. In the case where more than
   one character is possible,  J is the 'ideal' one.ш Windows: pathSeparator == '\\'
Posix:   pathSeparator ==  '/'
isPathSeparator pathSeparatorK filepath$The list of all possible separators.К Windows: pathSeparators == ['\\', '/']
Posix:   pathSeparators == ['/']
pathSeparator `elem` pathSeparatorsL filepathRather than using (==  J)5, use this. Test if something
   is a path separator..isPathSeparator a == (a `elem` pathSeparators)M filepathу The character that is used to separate the entries in the $PATH environment variable.г Windows: searchPathSeparator == ';'
Posix:   searchPathSeparator == ':'N filepath"Is the character a file separator?5isSearchPathSeparator a == (a == searchPathSeparator)O filepathFile extension characterextSeparator == '.'P filepath(Is the character an extension character?'isExtSeparator a == (a == extSeparator)Q filepathTake a string, split it on the  Mд  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"]R filepathGet a list of FILEPATHs in the $PATH variable.S filepathSplit on the extension.  Y 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/","")T 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"U filepath<Remove the current extension and add another, equivalent to  V.░"/directory/path.txt" -<.> "ext" == "/directory/path.ext"
"/directory/path.txt" -<.> ".ext" == "/directory/path.ext"
"foo.o" -<.> "c" == "foo.c"V filepathо Set the extension of a file, overwriting one if already present, equivalent to  U.І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) yW filepathд Add an extension, even if there is already one there, equivalent to  Y.Й "/directory/path" <.> "ext" == "/directory/path.ext"
"/directory/path" <.> ".ext" == "/directory/path.ext"X filepath0Remove last extension, and the "." preceding it.Б dropExtension "/directory/path.ext" == "/directory/path"
dropExtension x == fst (splitExtension x)Y filepathд Add an extension, even if there is already one there, equivalent to  W.┬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"Z 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  V and  YМ  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 unicodeya 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")b 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"c filepathGet the drive from a filepath.!takeDrive x == fst (splitDrive x)d filepathDelete the drive, if it exists.!dropDrive x == snd (splitDrive x)e 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 "" == Falsef filepathIs an element a drive·Posix:   isDrive "/" == True
Posix:   isDrive "/foo" == False
Windows: isDrive "C:\\" == True
Windows: isDrive "C:\\foo" == False
         isDrive "" == Falseg filepath*Split a filename into directory and file.  sм  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")h filepathSet the filename.Щ replaceFileName "/directory/other.txt" "file.ext" == "/directory/file.ext"
Valid x => replaceFileName x (takeFileName x) == xi filepathDrop the filename. Unlike  pи , this function will leave
   a trailing path separator on the directory.ш dropFileName "/directory/file.ext" == "/directory/"
dropFileName x == fst (splitFileName x)j 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)k 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"l 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) == xm filepathе Is an item either a directory or the last character a path separator?я hasTrailingPathSeparator "test" == False
hasTrailingPathSeparator "test/" == Truen 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/"o filepath#Remove any trailing path separatorsИdropTrailingPathSeparator "file/test/" == "file/test"
          dropTrailingPathSeparator "/" == "/"
Windows:  dropTrailingPathSeparator "\\" == "\\"
Posix:    not (hasTrailingPathSeparator (dropTrailingPathSeparator x)) || isDrive xp 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:\\"q filepath1Set the directory, keeping the filename the same.┴replaceDirectory "root/file.ext" "/directory/" == "/directory/file.ext"
Valid x => replaceDirectory x (takeDirectory x) `equalFilePath` xr filepathAn alias for  s.╞ filepath0Combine two paths, assuming rhs is NOT absolute.s 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  s 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  s! 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  s! is to never combine these forms.с Windows: "D:\\foo" </> "C:bar" == "C:bar"
Windows: "C:\\foo" </> "C:bar" == "C:bar"t 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"]u filepathJust as  t5, 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"]v 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"w 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  y, 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:/")x 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"y filepathNormalise a file)// outside of the drive can be made blank/ ->  J./ -> ""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"z 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 JKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}5 JKLMNOPQRSTVUXYZW]^_`[\gjhiklpqrstvuabcedfmnoywx|}z{ U7W7s5    (c) Neil Mitchell 2005-2014BSD3ndmitchell@gmail.comstableportableSafe   `/  5 JKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}5 JKLMNOPQRSTVUXYZW]^_`[\gjhiklpqrstvuabcedfmnoywx|}z{      (c) Neil Mitchell 2005-2014BSD3ndmitchell@gmail.comstableportableSafe-Inferred О   ЁN9╠ 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Get a list of FILEPATHs in the $PATH variable.┤ 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░ 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Н 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 "\\\\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 ~─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠5 ~─│┌┐└┘├┤┬┼┴▄█▌▀▒▓⌠■▐░⌡·°²÷═є╔ії╗╙╘∙√≈≥≤ ║╒ёґ╚╛╟╠ў╞ ┴7▀7ї5    ╘ 2022 Julian OspaldMIT"Julian Ospald <hasufell@posteo.de>experimentalportableSafe-Inferred (й в э   Ў÷
╦ filepathTotal conversion to char.ю 

 filepathO(n). Construct a new ShortByteString from a CWString. The
 resulting ShortByteString' is an immutable copy of the original
 CWString4, and is managed on the Haskell heap. The original
 CWString must be null terminated.а 

 filepathO(n). Construct a new ShortByteString from a CWStringLen. The
 resulting ShortByteString& is an immutable copy of the original CWStringLen.
 The ShortByteStringд  is a normal Haskell value and will be managed on the
 Haskell heap.б 

 filepathO(n) construction. Use a ShortByteString. with a function requiring a
 null-terminated CWString.  The CWStringН  is a copy and will be freed
 automatically; it must not be stored or used after the
 subcomputation finishes.ц 

 filepathO(n) construction. Use a ShortByteString with a function requiring a CWStringLen
.
 As for useAsCWString, this function makes a copy of the original ShortByteStringц .
 It must not be stored or used after the subcomputation finishes.д 

 filepathO(n) construction. Use a ShortByteString with a function requiring a CWStringLen
.
 As for useAsCWString, this function makes a copy of the original ShortByteStringц .
 It must not be stored or used after the subcomputation finishes.л filepathЦThis isn't strictly Word16 array write. Instead it's two consecutive Word8 array
 writes to avoid endianness issues due to primops doing automatic alignment based
 on host platform. We want to always write LE to the byte array.н filepathяThis isn't strictly Word16 array read. Instead it's two Word8 array reads
 to avoid endianness issues due to primops doing automatic alignment based
 on host platform. We expect the byte array to be LE always.с filepathЯ Given the maximum size needed and a function to make the contents
 of a ShortByteString, createAndTrim makes the  ╗.
 The generating function is required to return the actual final size
 (<= the maximum size) and the result value. The resulting byte array
 is realloced to this size.в filepathу Returns the length of the substring matching, not the index.
 If no match, returns 0.л filepathWord8 index (not Word16)м filepathWord8 indexн filepathWord8 index (not Word16)о  filepathWord16 filepathWord8 (LSB, MSB)п  filepathWord8 (LSB, MSB) filepathWord16)╡ЁЄ╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьыз)ІЇ╦╧╨Є╣╡Ё╩╪ҐЎ©юабцдефгхийклмнопярстужвьыз      /(c) Duncan Coutts 2012-2013, Julian Ospald 2022	BSD-stylehasufell@posteo.destableghc onlySafe-InferredД   ©х  й 	
 !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIшй 8+
AF"	ш*'! &3210/.-,HGB?>=<DE%$#C;67)(I:9@54      ╘ 2022 Julian OspaldMIT"Julian Ospald <hasufell@posteo.de>experimentalportableSafe-Inferred (в э Д   ЙБ7э filepathO(1) Convert a  І into a  щ filepathO(n). Convert a list into a  ч filepathO(n). Convert a   into a list.ъ filepathThis is like  !, but the number of  І, not  Ї.Ю filepathO(n)! Append a Word16 to the end of a  "Note: copies the entire byte arrayА filepathO(n)  А is analogous to (:) for lists."Note: copies the entire byte arrayБ filepathO(1)ё Extract the last element of a ShortByteString, which must be finite and at least one Word16.
 An exception will be thrown in the case of an empty ShortByteString.Ц filepathO(n)═ Extract the elements after the head of a ShortByteString, which must at least one Word16.
 An exception will be thrown in the case of an empty ShortByteString."Note: copies the entire byte arrayД filepathO(n)н  Extract the head and tail of a ByteString, returning Nothing
 if it is empty.Е filepathO(n)П  Extract first two elements and the rest of a ByteString,
 returning Nothing if it is shorter than two elements.Ф filepathO(1)≥ Extract the first element of a ShortByteString, which must be at least one Word16.
 An exception will be thrown in the case of an empty ShortByteString.Г filepathO(n) Return all the elements of a  ш  except the last one.
 An exception will be thrown in the case of an empty ShortByteString."Note: copies the entire byte arrayХ filepathO(n) Extract the  Г and  Б4 of a ByteString, returning Nothing
 if it is empty.И filepathO(n)  И f xs- is the ShortByteString obtained by applying f to each
 element of xs.Й filepathO(n)  Й xs% efficiently returns the elements of xs in reverse order.К filepathO(n) Applied to a predicate and a  ,  К$ determines
 if all elements of the   satisfy the predicate.Л filepathO(n)* Applied to a predicate and a ByteString,  Л# determines if
 any element of the 
ByteString satisfies the predicate.М filepathO(n)  М n x is a ByteString of length n with x2
 the value of every element. The following holds:.replicate w c = unfoldr w (\u -> Just (u,u)) cН filepathO(n), where n# is the length of the result.  The  Н0
 function is analogous to the List 'unfoldr'.   Нш  builds a
 ShortByteString from a seed value.  The function takes the element and
 returns  ╛9 if it is done producing the ShortByteString or returns
  ґ (a,b), in which case, a& is the next byte in the string,
 and b* is the seed value for further production.=This function is not efficient/safe. It will build a list of [Word16])
 and run the generator until it returns  ╛7, otherwise recurse infinitely,
 then finally create a  .	Examples:ш    unfoldr (\x -> if x <= 5 then Just (x, x + 1) else Nothing) 0
== pack [0, 1, 2, 3, 4, 5]О filepathO(n) Like  Н,  ОЖ  builds a ShortByteString from a seed
 value.  However, the length of the result is limited by the first
 argument to  О(.  This function is more efficient than  Н1
 when the maximum length of the result is known.The following equation relates  О and  Н:,fst (unfoldrN n f s) == take n (unfoldr f s)П filepathO(n)  П n, applied to a ShortByteString xs, returns the prefix
 of xs of length n, or xs itself if n >  ! xs."Note: copies the entire byte arrayЯ filepathO(1)  Я n xs is equivalent to  Т ( ! xs - n) xs	.
 Takes n! elements from end of bytestring./takeEnd 3 "a\NULb\NULc\NULd\NULe\NULf\NULg\NUL""e\NULf\NULg\NUL"/takeEnd 0 "a\NULb\NULc\NULd\NULe\NULf\NULg\NUL"""takeEnd 4 "a\NULb\NULc\NUL""a\NULb\NULc\NUL"Р filepathSimilar to   у ,
 returns the longest (possibly empty) prefix of elements
 satisfying the predicate.С filepathр Returns the longest (possibly empty) suffix of elements
 satisfying the predicate. С p is equivalent to  Й .  Р p .  Й.Т filepathO(n)  Т n xs returns the suffix of xs  after the first n elements, or [] if n >  ! xs."Note: copies the entire byte arrayУ filepathO(1)  У n xs is equivalent to  П ( ! xs - n) xs	.
 Drops n! elements from end of bytestring./dropEnd 3 "a\NULb\NULc\NULd\NULe\NULf\NULg\NUL""a\NULb\NULc\NULd\NUL"/dropEnd 0 "a\NULb\NULc\NULd\NULe\NULf\NULg\NUL"%"a\NULb\NULc\NULd\NULe\NULf\NULg\NUL"dropEnd 4 "a\NULb\NULc\NUL"""Ж filepathSimilar to   М ,
 drops the longest (possibly empty) prefix of elements
 satisfying the predicate and returns the remainder."Note: copies the entire byte arrayВ 
 filepathSimilar to   М ,
 drops the longest (possibly empty) suffix of elements
 satisfying the predicate and returns the remainder. В p is equivalent to  Й .  Ж p .  Й.Ь filepath>Returns the longest (possibly empty) suffix of elements which do not8
 satisfy the predicate and the remainder of the string. Ь p is equivalent to  Ш
 (not . p) and to ( С (not . p) &&&  В (not . p)).Ы filepathSimilar to   а ,
 returns the longest (possibly empty) prefix of elements which do not8
 satisfy the predicate and the remainder of the string. Ы p is equivalent to  З
 (not . p) and to ( Р (not . p) &&&  Ж (not . p)).З filepathSimilar to   У ,
 returns the longest (possibly empty) prefix of elements
 satisfying the predicate and the remainder of the string. З p is equivalent to  Ы
 (not . p) and to ( Р p &&&  Ж p).Ш filepathР Returns the longest (possibly empty) suffix of elements
 satisfying the predicate and the remainder of the string. Ш p is equivalent to  Ь
 (not . p) and to ( С p &&&  В p).We have0spanEnd (not . isSpace) "x y z" == ("x y ", "z")andИ spanEnd (not . isSpace) ps
   ==
let (x, y) = span (not . isSpace) (reverse ps) in (reverse y, reverse x)Э filepathO(n)  Э n xs is equivalent to ( П n xs,  Т n xs).Note: copies the substringsЩ filepathO(n)	 Break a  к  into pieces separated by the byte
 argument, consuming the delimiter. I.e.▀split 10  "a\nb\nd\ne" == ["a","b","d","e"]   -- fromEnum '\n' == 10
split 97  "aXaXaXa"    == ["","X","X","X",""] -- fromEnum 'a' == 97
split 120 "x"          == ["",""]             -- fromEnum 'x' == 120
split undefined ""     == []                  -- and not [""]and9intercalate [c] . split c == id
split == splitWith . (==)Note: copies the substringsЧ filepathO(n)
 Splits a  Х into components delimited by
 separators, where the predicate returns True for a separator element.
 The resulting components do not contain the separators.  Two adjacent
 separators result in an empty component in the output.  eg.┴splitWith (==97) "aabbaca" == ["","","bb","c",""] -- fromEnum 'a' == 97
splitWith undefined ""     == []                  -- and not [""]Ъ filepath Ъц, applied to a binary operator, a starting value (typically
 the left-identity of the operator), and a ShortByteString, reduces the
 ShortByteString using the binary operator, from left to right.─ filepath ─	 is like  Ъ , but strict in the accumulator.│ filepath │д, applied to a binary operator, a starting value
 (typically the right-identity of the operator), and a ShortByteString,
 reduces the ShortByteString using the binary operator, from right to left.┌ filepath ┌	 is like  │ , but strict in the accumulator.┐ filepath ┐ is a variant of  Ъм  that has no starting value
 argument, and thus must be applied to non-empty  х s.
 An exception will be thrown in the case of an empty ShortByteString.└ filepath └	 is like  ┐Ф , but strict in the accumulator.
 An exception will be thrown in the case of an empty ShortByteString.┘ filepath ┘ is a variant of  │м  that has no starting value argument,
 and thus must be applied to non-empty  г s
 An exception will be thrown in the case of an empty ShortByteString.├ filepath ├ is a variant of  ┘$, but is strict in the
 accumulator.┤ filepathO(1)  - index (subscript) operator, starting from 0.┬   filepathO(1)  & index, starting from 0, that returns  ґ if:0 <= n < length bs┴   filepathO(1)  & index, starting from 0, that returns  ґ if:0 <= n < length bs┼ filepathO(n)  ┼ is the   membership predicate.▀ filepathO(n)  ▀Ы , applied to a predicate and a ByteString,
 returns a ByteString containing those characters that satisfy the
 predicate.▄ filepathO(n) The  ▄К  function takes a predicate and a ByteString,
 and returns the first element in matching the predicate, or  ╛
 if there is no such element.ф find f p = case findIndex f p of Just n -> Just (p ! n) ; _ -> Nothing█ filepathO(n) The  █⌡ function takes a predicate a ByteString and returns
 the pair of ByteStrings with elements which do and do not satisfy the
 predicate, respectively; i.e.,4partition p bs == (filter p xs, filter (not . p) xs)▌ filepathO(n) The  ▌? function returns the index of the first
 element in the given  * which is equal to the query
 element, or  ╛ if there is no such element.▐ filepathO(n) The  ▐ function extends  ▌ш , by returning
 the indices of all elements equal to the query element, in ascending order.░ filepathм count returns the number of times its argument appears in the ShortByteString▒ filepathO(n) The  ▒" function takes a predicate and a  ы  and
 returns the index of the first element in the ByteString
 satisfying the predicate.▓ filepathO(n) The  ▓ function extends  ▒ы , by returning the
 indices of all elements satisfying the predicate, in ascending order.О  filepath
number of  ІП  filepathnumber of Word16Я  filepath
number of  ІТ  filepath
number of  ІУ  filepath
number of  ІЭ  filepathnumber of Word16┤ filepath
number of  І┬ filepath
number of  І╦ filepath
number of  І┴ filepath
number of  І▌ filepath
number of  Іл 
!#$%&+8BCFюабцдэщчъЮАБЦДЕФГХИЙКЛМНОПЯРСТУЖВЬЫЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓л 8эщч+
ЮАFБЦДЕФГХ!ъИЙ&Ъ─┐└│┌┘├КЛBМНОПЯСРТУЖВЬЫЗШЭЩЧ%$#C┼▄▀█┤┬┴▌▐░▒▓юадбц Ю5 А5         Safe-InferredД О   ЯL■ filepathУ Could not decode a byte sequence because it was invalid under
 the given encoding, or ran out of input in mid-decode.⌡ filepathЛ Mimics the base encoding for filesystem operations. This should be total on all inputs (word16 byte arrays).*Note that this has a subtle difference to  ґ/ ╛: it doesn't care for
 the 0x0000< end marker and will as such produce different results. Use takeWhile (/= 'NUL')( on the input
 to recover this behavior.╗ filepathDecode with the given  ╧.╘ filepathEncode with the given  ╧.╙ filepathёThis mimics the filepath decoder base uses on unix,
 with the small distinction that we're not truncating at NUL bytes (because we're not at
 the outer FFI layer).╚ filepathєThis mimics the filepath dencoder base uses on unix,
 with the small distinction that we're not truncating at NUL bytes (because we're not at
 the outer FFI layer).╛ filepathіThis mimics the filepath decoder base uses on windows,
 with the small distinction that we're not truncating at NUL bytes (because we're not at
 the outer FFI layer).ґ filepathїThis mimics the filepath dencoder base uses on windows,
 with the small distinction that we're not truncating at NUL bytes (because we're not at
 the outer FFI layer). ⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґ⌠■ў╞           Safe-Inferred   ЯФ  ⌠■∙√≈≤≥ ⌡°²·÷═╙╚╛ґў⌠■ў∙√≈≤≥ ⌡°²·÷═╚╙ґ╛      (c) Neil Mitchell 2005-2014BSD3ndmitchell@gmail.comstableportableSafe-Inferred О  Di9╨ 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 "\\\\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    (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 "\\\\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 ;л я в з ш э К О  ·╘  filepath!Newtype representing a code unit.7On Windows, this is restricted to two-octet codepoints  І,
 on POSIX one-octet ( Ї).² filepath=Newtype representing short operating system specific strings.Internally this is either  ╚ or  ╗1,
 depending on the platform. Both use unpinned
 ShortByteString for efficiency.%The constructor is only exported via System.OsString.Internal.Types │, since
 dealing with the internals isn't generally recommended, but supported
 in case you need to write platform specific code.╗ filepath,Commonly used Posix string as uninterpreted char[]
 array.╚ filepath5Commonly used windows string as wide character bytes.ў filepath'Just a short bidirectional synonym for  ║ constructor.╟ filepath'Just a short bidirectional synonym for  є constructor.╡ filepath'Just a short bidirectional synonym for  ╗ constructor.Є filepath'Just a short bidirectional synonym for  ╚ constructor.Ї filepathDecodes as UCS-2.╧ filepath&Prints the raw bytes without decoding.Ў filepath"String-Concatenation" for  ²
. This is not the same
 as (</>).© filepath-Byte ordering of the internal representation.ю filepath-Byte equality of the internal representation.а filepathл On windows, decodes as UCS-2. On unix prints the raw bytes without decoding.б filepath-Byte ordering of the internal representation.ц filepath-Byte equality of the internal representation.  ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґў╞╟╠╡ЁЄ╣╚╛ґЄ╣╗╘╙Ё╡їє╔і╠╟║╒ё╞ў═²·÷ ⌡°    
       Safe-Inferred  ═°щ 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 К О  ╗уБ filepath"Partial unicode friendly encoding.7This encodes as UTF8 (strictly), which is a good guess.
Throws an  ⌠ if encoding fails.Ц filepath	Encode a  ф with the specified encoding.Д filepathыThis mimics the behavior of the base library when doing filesystem
 operations, which uses shady PEP 383 style encoding (based on the current locale,
 but PEP 383 only works properly on UTF-8 encodings, so good luck).и Looking up the locale requires IO. If you're not worried about calls
 to setFileSystemEncoding, then  гп  may be feasible (make sure
 to deeply evaluate the result to catch exceptions).Е filepath"Partial unicode friendly decoding.В This decodes as UTF8 (strictly), which is a good guess. Note that
 filenames on unix are encoding agnostic char arrays.	Throws a  ⌠ if decoding fails.Ф filepath	Decode a  ╗ with the specified encoding.9The String is forced into memory to catch all exceptions.Г filepathыThis mimics the behavior of the base library when doing filesystem
 operations, which uses shady PEP 383 style encoding (based on the current locale,
 but PEP 383 only works properly on UTF-8 encodings, so good luck).и Looking up the locale requires IO. If you're not worried about calls
 to setFileSystemEncoding, then  гп  may be feasible (make sure
 to deeply evaluate the result to catch exceptions).Х filepath/Constructs a platform string from a ByteString.This is a no-op.И filepathQuasiQuote a  ╗ю . This accepts Unicode characters
 and encodes as UTF-8 on unix.Й filepath5Unpack a platform string to a list of platform words.К filepath3Pack a list of platform words to a platform string.)Note that using this in conjunction with  Л to
 convert from [Char]А  to platform string is probably not what
 you want, because it will truncate unicode code points.Л filepathTruncates to 1 octet.М filepath-Converts back to a unicode codepoint (total). ║╗БЦДЕФГХИЙКЛМ╗║БЦДХИКЕФГЙЛМ           Safe-Inferred в э  ЄOН 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 an  ²' given the platform specific encodings.П 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. Note that
 filenames on unix are encoding agnostic char arrays.	Throws a  ⌠ if decoding fails.Р filepath
Decode an  ² with the specified encoding.9The String is forced into memory to catch all exceptions.С 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 OsString 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-16 on windows.Ж filepath
Unpack an  ² to a list of   .В filepathPack a list of    to an  ²)Note that using this in conjunction with  Ь to
 convert from [Char] to  ²н  is probably not what
 you want, because it will truncate unicode code points.Ь filepath2Truncates on unix to 1 and on Windows to 2 octets.Ы filepath-Converts back to a unicode codepoint (total).О  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  ЄЬ   ²НОПЯРСУЖВЬЫ²НОПУВЯРСЖ ЬЫ           Safe-Inferred О  Р	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. а ║╗ъБЦДЕФГЙКЛМЗШЭЩЧЪ─│┌┐└┘├┤┬┴┼▀▄█▌▐░▒▓⌠■∙√≈≤≥ ⌡°²·÷═║╒ёє╔ії╗╘╙╚╛ґа ╗║ъБЦДґКЕФГЙЛМЗШЭЩЧЪ─│┌┐┘└┤┬┴├▄█▌▐┼▀√≥≈≤ ⌡÷═║╒ё╔є░▒▓■⌠∙°²·╗ії╚╛╘╙      ╘ 2021 Julian OspaldMIT"Julian Ospald <hasufell@posteo.de>experimentalportableSafe-Inferred О  Fz3А 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) а  ²щАЬЫў╞╟╠╡Ё╣ІЇ╦╧╨╩╪ҐЎ©юабцдефгхийклмнопярстужвьызшэщчъЮАБЦДЕФГХИа щ² ў╞╟╣Ї╠╡ЁІЬЫ╦╧╨╩╪ҐЎ©юацбефгдйклмхитвужьыщчъЮАЦБнопрясзшэФДЕХИАГ           Safe-Inferred в э  QХ
ў 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
ў╞╟╠╡ЁЄ╣ІЇ
ў╞╟╠╡ЁЄ╣ІЇ           Safe-Inferred К О  ZЙ filepath"Partial unicode friendly encoding.б This encodes as UTF16-LE (strictly), which is a pretty good guess.
Throws an  ⌠ if encoding fails.К filepath	Encode a  ф with the specified encoding.Л filepath╡This mimics the behavior of the base library when doing filesystem
 operations, which does permissive UTF-16 encoding, where coding errors generate
 Chars in the surrogate range.С The reason this is in IO is because it unifies with the Posix counterpart,
 which does require IO. This is safe to  г/unsafeDupablePerformIO.М filepath"Partial unicode friendly decoding.<This decodes as UTF16-LE (strictly), which is a pretty good.	Throws a  ⌠ if decoding fails.Н filepath	Decode a  ╚ with the specified encoding.9The String is forced into memory to catch all exceptions.О filepathLike  М╩, except this mimics the behavior of the base library when doing filesystem
 operations, which does permissive UTF-16 encoding, where coding errors generate
 Chars in the surrogate range.Ц The reason this is in IO is because it unifies with the Posix counterpart,
 which does require IO.  г/unsafeDupablePerformIO are safe, however.П filepath/Constructs a platform string from a ByteString.У This ensures valid UCS-2LE.
 Note that this doesn't expand Word8 to Word16 on windows, so you may get invalid UTF-16.Throws  ⌠( on invalid UCS-2LE (although unlikely).Я filepathQuasiQuote a  ╚ф . This accepts Unicode characters
 and encodes as UTF-16LE on windows.Р filepath5Unpack a platform string to a list of platform words.С filepath3Pack a list of platform words to a platform string.)Note that using this in conjunction with  Т to
 convert from [Char]А  to platform string is probably not what
 you want, because it will truncate unicode code points.Т filepathTruncates to 2 octets.У filepath-Converts back to a unicode codepoint (total). є╚ЙКЛМНОПЯРСТУ╚єЙКЛПЯСМНОРТУ           Safe-Inferred О  ÷А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  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   {   |   }   ~      ─   │   ┌   ┐   └   ┘   ├   ┤   ┬   ┴   ┼   ▀   ▄   █   ▌   ▐   ░   ▒   ▓   ⌠   ■   ∙   √   ≈   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z   {   |   }   ~      ─   │   ┌   ┐   └   ┘   ├   ┤   ┬   ┴   ┼   ▀   ▄   █   ▌   ▐   ░   ▒   ▓   ⌠   ■   ∙   √   ≈  ≤  ≥     ⌡   °   ²   ·   ÷   ═   ║   ╒   ё   є   ╔   і   ї   ╗   ╘   ╙   ╚   ╛   ґ   ў   ╞   ╟   ╠   ╡   Ё   Є   ╣   І   Ї   ╦   ╧   ╨   ╩   ╪   Ґ   Ў   ©   ю   а   5   ;   %   б   4   \   ?   -   (   а   G   D   $   =   6   b   a   7   '   &   ,   +      *   Z   Y         _         3   1   2   0   P   O   L   K   N   M   J   I   F   E   c   X   T   S   8   W   V   [   R   Q  ц  д   е   ф   г   х   и   й   к   л   м   н   о   п   я   р   с   т   у   ж   в   ь   ы   з   ш   э   щ   ч   ъ   Ю   А   Б   Ц   d   e   f   g   h   i   j   k   m   n   o   p   q   r   s   t   u   v   w   x   y   z   {   |   }   ~      ─   │   ┌   ┐   └   ┘   ├   ┤   ┬   ┴   ┼   ▀   ▄   █   ▌   ▐   ░   ▒   ▓   ⌠   ■   ∙   √   ≈   d   e   f   g   h   i   j   k   m   n   o   p   q   r   s   t   u   v   w   x   y   z   {   |   }   ~      ─   │   ┌   ┐   └   ┘   ├   ┤   ┬   ┴   ┼   ▀   ▄   █   ▌   ▐   ░   ▒   ▓   ⌠   ■   ∙   √   ≈  	Д  	Д  	 Е  	Ф  	Ф  	 Г  	Х  	И  	И  	 Й  	К  	К  	 Л  	М  	Н  	Н  	 О  	П  	П  	 Я  	Р  	 С  	Т  	 У  	Ж  	 В  	Ь  	 Ы  	 З  	 Ш  	 Э  	 Щ  	 Ч  	 Ъ  	 ─  	 │  	 ┌  	 ┐  	 └  	 ┘  	 ├  	 ┤  	 ┬  	 ┴  	 ┼  	 ▀  	 ▄  	 █  	 ▌  	 ▐  	 ░  	 ▒  	 ▓  	 ⌠  	 ■  	 ∙  	 √  	 ≈  	 ≤  	 ≥  	    	 ⌡  	 °  	 ²  	 ·  	 ÷  	 ═  
║  
╒  
ё  
є   ■   ╔   і   ї   ╗   ╘   ╙   ╚   ╛   %   ;   ґ   ў   ╔   і   ї   ╗   ╘   ╙   ╚   ╞   %   ;   ґ   ў   d   e   f   g   h   i   j   k   m   n   o   p   q   r   s   t   u   v   w   x   y   z   {   |   }   ~      ─   │   ┌   ┐   └   ┘   ├   ┤   ┬   ┴   ┼   ▀   ▄   █   ▌   ▐   ░   ▒   ▓   ⌠   ■   ∙   √   ≈   ╛   ╔   і   ї   ╗   ╘   ╙   ╚   ╟   %   ;   d   e   f   g   h   i   j   k   m   n   o   p   q   r   s   t   u   v   w   x   y   z   {   |   }   ~      ─   │   ┌   ┐   └   ┘   ├   ┤   ┬   ┴   ┼   ▀   ▄   █   ▌   ▐   ░   ▒   ▓   ⌠   ∙   √   ≈   ╔   і   ї   ╗   ╘   ╙   ╚   ╛   %   ;   ґ   ў   d   e   f   g   h   i   j   k   m   n   o   p   q   r   s   t   u   v   w   x   y   z   {   |   }   ~      ─   │   ┌   ┐   └   ┘   ├   ┤   ┬   ┴   ┼   ▀   ▄   █   ▌   ▐   ░   ▒   ▓   ⌠   ■   ∙   √   ≈   ╛   ╠   ╡ ЁЄ Ё╣   І   Ї   .   ╠   ╡   І   Ї   . ╦╧ ╦╨   ╩ ╪Ґ   ╠   ╡   І   Ї   Ў   ©   ╠   ╡   І   Ї   Ў   © юа б цд)filepath-1.4.100.3-39mvyRs9KwlCA9FbUoZgHJSystem.FilePath.Posix#System.OsPath.Data.ByteString.ShortSystem.FilePath.Windows,System.OsPath.Data.ByteString.Short.Internal*System.OsPath.Data.ByteString.Short.Word16System.OsPath.Encoding.InternalSystem.OsPath.Posix.InternalSystem.OsPath.Windows.InternalSystem.OsString.Internal.TypesSystem.OsPath.TypesSystem.OsPathSystem.OsString.PosixSystem.OsString.InternalSystem.OsPath.PosixSystem.OsPath.InternalSystem.OsString.WindowsSystem.OsPath.WindowsSystem.FilePathP	takeWhile	dropWhiledropWhileEndbreakspanSystem.OsPath.EncodingSystem.OsStringbaseGHC.IOFilePathbytestring-0.11.3.1Data.ByteString.Short.InternalSBSShortByteStringuseAsCStringLenuseAsCStringunsnocunpackunfoldrNunfoldrunconstoShorttakeWhileEndtakeEndtaketailstripSuffixstripPrefix	splitWithsplitAtsplitspanEndsnoc	singletonreverse	replicate	partitionpackCStringLenpackCStringpacknullmaplengthlast
isSuffixOf
isPrefixOf	isInfixOfintercalateinit
indexMaybeindexhead	fromShortfoldr1'foldr1foldr'foldrfoldl1'foldl1foldl'foldlfindIndices	findIndexfindfilteremptyelemIndices	elemIndexelemdropEnddropcountconsconcatbreakSubstringbreakEndappendanyall!?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
isAbsoluteMBAMBA#BABA#_nulisSpaceword16ToCharcreateasBAnewPinnedByteArraynewByteArraycopyByteArrayunsafeFreezeByteArraycopyAddrToByteArraypackCWStringpackCWStringLenuseAsCWStringuseAsCWStringLennewCWStringmoduleErrorIOmoduleErrorMsg
packWord16packLenWord16unpackWord16packWord16RevpackLenWord16RevwriteWord16ArrayindexWord8ArrayindexWord16ArrayencodeWord16LE#decodeWord16LE#setByteArraycopyMutableByteArraycreateAndTrimcreateAndTrim'createAndTrim''findIndexOrLengthfindFromEndUntil
assertEvenerrorEmptySBSmoduleErroruncons2	numWord16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cWcharsToChars_UCS2cWcharsToCharscharsToCWcharswithFilePathWinpeekFilePathWinwithFilePathPosixpeekFilePathPosixdecodeWithTEencodeWithTEdecodeWithBasePosixencodeWithBasePosixdecodeWithBaseWindowsencodeWithBaseWindowsshowEncodingExceptionwNUL$fNFDataEncodingException$fExceptionEncodingException$fShowEncodingException$fEqEncodingExceptionOsChar	getOsCharOsStringgetOsStringPlatformChar	PosixChargetPosixCharWindowsChargetWindowsCharPlatformStringPosixStringgetPosixStringWindowsStringgetWindowsStringPWunPWWWunWWPSunPSWSunWS$fLiftBoxedRepWindowsString$fShowWindowsString$fLiftBoxedRepPosixString$fShowPosixString$fShowWindowsChar$fShowPosixChar$fLiftBoxedRepOsString$fSemigroupOsString$fMonoidOsString$fOrdOsString$fEqOsString$fShowOsString$fOrdOsChar
$fEqOsChar$fShowOsChar$fGenericOsChar$fNFDataOsChar$fGenericOsString$fNFDataOsString$fEqPosixChar$fOrdPosixChar$fGenericPosixChar$fNFDataPosixChar$fEqWindowsChar$fOrdWindowsChar$fGenericWindowsChar$fNFDataWindowsChar$fEqPosixString$fOrdPosixString$fSemigroupPosixString$fMonoidPosixString$fGenericPosixString$fNFDataPosixString$fEqWindowsString$fOrdWindowsString$fSemigroupWindowsString$fMonoidWindowsString$fGenericWindowsString$fNFDataWindowsStringOsPathPlatformPath	PosixPathWindowsPath	encodeUtf
encodeWithencodeFS	decodeUtf
decodeWithdecodeFS	fromBytespstrunsafeFromChartoCharosstrospisPosix	isWindows	GHC.MaybeNothingJustisLettercombineAlwaysGHC.WordWord16Word8unsafeIndexGHC.IO.Encoding.TypesTextEncoding
wordToChar
charToWordGHC.BaseStringGHC.IO.UnsafeunsafePerformIO