pathtype-0.5.5: test/TestResult.hs

{- Do not edit! Created from test/TestTemplate.hs -}
{-# LANGUAGE OverloadedStrings #-}
module TestResult (results) where

import System.Path.Posix as Path
import Data.Char (toLower)


results :: Char -> Path.FilePath ar -> [(String, Bool)]
results a x =
  ("pathMap (map toLower) \"/tmp/Reports/SpreadSheets\" == \"/tmp/reports/spreadsheets\"",
    pathMap (map toLower) "/tmp/Reports/SpreadSheets" == "/tmp/reports/spreadsheets") :
  ("show (rootDir </> \"bla\" </> \"blub\") == \"rootDir </> \\\"bla\\\" </> \\\"blub\\\"\"",
    show (rootDir </> "bla" </> "blub") == "rootDir </> \"bla\" </> \"blub\"") :
  ("show (Just (rootDir </> \"bla\" </> \"blub\")) == \"Just (rootDir </> \\\"bla\\\" </> \\\"blub\\\")\"",
    show (Just (rootDir </> "bla" </> "blub")) == "Just (rootDir </> \"bla\" </> \"blub\")") :
  ("show (currentDir </> \"bla\" </> \"blub\") == \"currentDir </> \\\"bla\\\" </> \\\"blub\\\"\"",
    show (currentDir </> "bla" </> "blub") == "currentDir </> \"bla\" </> \"blub\"") :
  ("show (Just (currentDir </> \"bla\" </> \"blub\")) == \"Just (currentDir </> \\\"bla\\\" </> \\\"blub\\\")\"",
    show (Just (currentDir </> "bla" </> "blub")) == "Just (currentDir </> \"bla\" </> \"blub\")") :
  ("read (show (rootDir </> \"bla\" </> \"blub\")) == rootDir </> \"bla\" </> \"blub\"",
    read (show (rootDir </> "bla" </> "blub")) == rootDir </> "bla" </> "blub") :
  ("read (show (Just (rootDir </> \"bla\" </> \"blub\"))) == Just (rootDir </> \"bla\" </> \"blub\")",
    read (show (Just (rootDir </> "bla" </> "blub"))) == Just (rootDir </> "bla" </> "blub")) :
  ("read (show (currentDir </> \"bla\" </> \"blub\")) == currentDir </> \"bla\" </> \"blub\"",
    read (show (currentDir </> "bla" </> "blub")) == currentDir </> "bla" </> "blub") :
  ("read (show (Just (currentDir </> \"bla\" </> \"blub\"))) == Just (currentDir </> \"bla\" </> \"blub\")",
    read (show (Just (currentDir </> "bla" </> "blub"))) == Just (currentDir </> "bla" </> "blub")) :
  ("asPath \"/tmp\" == \"/tmp\"",
    asPath "/tmp" == "/tmp") :
  ("asPath \"file.txt\" == \"file.txt\"",
    asPath "file.txt" == "file.txt") :
  ("isAbsolute (asPath \"/tmp\" :: AbsDir) == True",
    isAbsolute (asPath "/tmp" :: AbsDir) == True) :
  ("isAbsolute (asPath \"/tmp\" :: RelDir) == False",
    isAbsolute (asPath "/tmp" :: RelDir) == False) :
  ("getPathString (asPath \"/tmp\" :: AbsDir) == \"/tmp\"",
    getPathString (asPath "/tmp" :: AbsDir) == "/tmp") :
  ("getPathString (asPath \"/tmp\" :: RelDir) == \"tmp\"",
    getPathString (asPath "/tmp" :: RelDir) == "tmp") :
  ("getPathString (asRelFile \"file.txt\") == \"file.txt\"",
    getPathString (asRelFile "file.txt") == "file.txt") :
  ("getPathString (asRelFile \"/file.txt\") == \"file.txt\"",
    getPathString (asRelFile "/file.txt") == "file.txt") :
  ("getPathString (asRelFile \"tmp\") == \"tmp\"",
    getPathString (asRelFile "tmp") == "tmp") :
  ("getPathString (asRelFile \"/tmp\") == \"tmp\"",
    getPathString (asRelFile "/tmp") == "tmp") :
  ("getPathString (asRelDir \".\") == \".\"",
    getPathString (asRelDir ".") == ".") :
  ("getPathString (asRelDir \"file.txt\") == \"file.txt\"",
    getPathString (asRelDir "file.txt") == "file.txt") :
  ("getPathString (asRelDir \"/file.txt\") == \"file.txt\"",
    getPathString (asRelDir "/file.txt") == "file.txt") :
  ("getPathString (asRelDir \"tmp\") == \"tmp\"",
    getPathString (asRelDir "tmp") == "tmp") :
  ("getPathString (asRelDir \"/tmp\") == \"tmp\"",
    getPathString (asRelDir "/tmp") == "tmp") :
  ("getPathString (asAbsFile \"file.txt\") == \"/file.txt\"",
    getPathString (asAbsFile "file.txt") == "/file.txt") :
  ("getPathString (asAbsFile \"/file.txt\") == \"/file.txt\"",
    getPathString (asAbsFile "/file.txt") == "/file.txt") :
  ("getPathString (asAbsFile \"tmp\") == \"/tmp\"",
    getPathString (asAbsFile "tmp") == "/tmp") :
  ("getPathString (asAbsFile \"/tmp\") == \"/tmp\"",
    getPathString (asAbsFile "/tmp") == "/tmp") :
  ("getPathString (asAbsDir \"file.txt\") == \"/file.txt\"",
    getPathString (asAbsDir "file.txt") == "/file.txt") :
  ("getPathString (asAbsDir \"/file.txt\") == \"/file.txt\"",
    getPathString (asAbsDir "/file.txt") == "/file.txt") :
  ("getPathString (asAbsDir \"tmp\") == \"/tmp\"",
    getPathString (asAbsDir "tmp") == "/tmp") :
  ("getPathString (asAbsDir \"/tmp\") == \"/tmp\"",
    getPathString (asAbsDir "/tmp") == "/tmp") :
  ("mkPathAbsOrRel \"/tmp\" == Left (asAbsDir \"/tmp\")",
    mkPathAbsOrRel "/tmp" == Left (asAbsDir "/tmp")) :
  ("mkPathAbsOrRel  \"tmp\" == Right (asRelDir \"tmp\")",
    mkPathAbsOrRel  "tmp" == Right (asRelDir "tmp")) :
  ("mkAbsPath \"/tmp\" \"foo.txt\" == \"/tmp/foo.txt\"",
    mkAbsPath "/tmp" "foo.txt" == "/tmp/foo.txt") :
  ("mkAbsPath \"/tmp\" \"/etc/foo.txt\" == \"/etc/foo.txt\"",
    mkAbsPath "/tmp" "/etc/foo.txt" == "/etc/foo.txt") :
  ("addExtension \"file.txt\" \"bib\" == \"file.txt.bib\"",
    addExtension "file.txt" "bib" == "file.txt.bib") :
  ("addExtension \"file.\" \".bib\" == \"file..bib\"",
    addExtension "file." ".bib" == "file..bib") :
  ("addExtension \"file\" \".bib\" == \"file.bib\"",
    addExtension "file" ".bib" == "file.bib") :
  ("addExtension \"\" \"bib\" == \".bib\"",
    addExtension "" "bib" == ".bib") :
  ("addExtension \"\" \".bib\" == \".bib\"",
    addExtension "" ".bib" == ".bib") :
  ("takeFileName (addExtension \"\" \"ext\") == \".ext\"",
    takeFileName (addExtension "" "ext") == ".ext") :
  ("dropExtension x == fst (splitExtension x)",
    dropExtension x == fst (splitExtension x)) :
  ("not $ hasAnExtension (dropExtensions x)",
    not $ hasAnExtension (dropExtensions x)) :
  ("replaceExtension \"file.txt\" \".bob\" == \"file.bob\"",
    replaceExtension "file.txt" ".bob" == "file.bob") :
  ("replaceExtension \"file.txt\" \"bob\" == \"file.bob\"",
    replaceExtension "file.txt" "bob" == "file.bob") :
  ("replaceExtension \"file\" \".bob\" == \"file.bob\"",
    replaceExtension "file" ".bob" == "file.bob") :
  ("replaceExtension \"file.txt\" \"\" == \"file\"",
    replaceExtension "file.txt" "" == "file") :
  ("replaceExtension \"file.fred.bob\" \"txt\" == \"file.fred.txt\"",
    replaceExtension "file.fred.bob" "txt" == "file.fred.txt") :
  ("uncurry (<.>) (splitExtension x) == x",
    uncurry (<.>) (splitExtension x) == x) :
  ("uncurry addExtension (splitExtension x) == x",
    uncurry addExtension (splitExtension x) == x) :
  ("splitExtension \"file.txt\" == (\"file\",\".txt\")",
    splitExtension "file.txt" == ("file",".txt")) :
  ("splitExtension \"file\" == (\"file\",\"\")",
    splitExtension "file" == ("file","")) :
  ("splitExtension \"file/file.txt\" == (\"file/file\",\".txt\")",
    splitExtension "file/file.txt" == ("file/file",".txt")) :
  ("splitExtension \"file.txt/boris\" == (\"file.txt/boris\",\"\")",
    splitExtension "file.txt/boris" == ("file.txt/boris","")) :
  ("splitExtension \"file.txt/boris.ext\" == (\"file.txt/boris\",\".ext\")",
    splitExtension "file.txt/boris.ext" == ("file.txt/boris",".ext")) :
  ("splitExtension \"file/path.txt.bob.fred\" == (\"file/path.txt.bob\",\".fred\")",
    splitExtension "file/path.txt.bob.fred" == ("file/path.txt.bob",".fred")) :
  ("splitExtensions \"file.tar.gz\" == (\"file\",\".tar.gz\")",
    splitExtensions "file.tar.gz" == ("file",".tar.gz")) :
  ("takeBaseName \"/tmp/somedir/myfile.txt\" == \"myfile\"",
    takeBaseName "/tmp/somedir/myfile.txt" == "myfile") :
  ("takeBaseName \"./myfile.txt\" == \"myfile\"",
    takeBaseName "./myfile.txt" == "myfile") :
  ("takeBaseName \"myfile.txt\" == \"myfile\"",
    takeBaseName "myfile.txt" == "myfile") :
  ("takeExtension x == snd (splitExtension x)",
    takeExtension x == snd (splitExtension x)) :
  ("takeExtension (addExtension x \"ext\") == \".ext\"",
    takeExtension (addExtension x "ext") == ".ext") :
  ("takeExtension (replaceExtension x \"ext\") == \".ext\"",
    takeExtension (replaceExtension x "ext") == ".ext") :
  ("takeExtensions \"file.tar.gz\" == \".tar.gz\"",
    takeExtensions "file.tar.gz" == ".tar.gz") :
  ("takeFileName \"/tmp/somedir/myfile.txt\" == \"myfile.txt\"",
    takeFileName "/tmp/somedir/myfile.txt" == "myfile.txt") :
  ("takeFileName \"./myfile.txt\" == \"myfile.txt\"",
    takeFileName "./myfile.txt" == "myfile.txt") :
  ("takeFileName \"myfile.txt\" == \"myfile.txt\"",
    takeFileName "myfile.txt" == "myfile.txt") :
  ("equalFilePath \"/tmp/\" \"/tmp\" == True",
    equalFilePath "/tmp/" "/tmp" == True) :
  ("equalFilePath \"/tmp\"  \"tmp\"  == False",
    equalFilePath "/tmp"  "tmp"  == False) :
  ("joinPath [\"/tmp\",\"someDir\",\"file.txt\"] == \"/tmp/someDir/file.txt\"",
    joinPath ["/tmp","someDir","file.txt"] == "/tmp/someDir/file.txt") :
  ("joinPath [\"/tmp\",\"someDir\",\"file.txt\"] == asRelFile \"tmp/someDir/file.txt\"",
    joinPath ["/tmp","someDir","file.txt"] == asRelFile "tmp/someDir/file.txt") :
  ("normalise \"/tmp/fred/./jim/./file\" == \"/tmp/fred/jim/file\"",
    normalise "/tmp/fred/./jim/./file" == "/tmp/fred/jim/file") :
  ("splitPath (asAbsDir \"/tmp/someDir/mydir.dir\") == ([\"tmp\",\"someDir\",\"mydir.dir\"], Nothing)",
    splitPath (asAbsDir "/tmp/someDir/mydir.dir") == (["tmp","someDir","mydir.dir"], Nothing)) :
  ("splitPath (asAbsFile \"/tmp/someDir/myfile.txt\") == ([\"tmp\",\"someDir\"], Just \"myfile.txt\")",
    splitPath (asAbsFile "/tmp/someDir/myfile.txt") == (["tmp","someDir"], Just "myfile.txt")) :
  ("makeRelative \"/tmp/somedir\" \"/tmp/somedir/anotherdir/file.txt\" == asRelFile \"anotherdir/file.txt\"",
    makeRelative "/tmp/somedir" "/tmp/somedir/anotherdir/file.txt" == asRelFile "anotherdir/file.txt") :
  ("makeRelative \"/tmp/somedir\" \"/tmp/somedir/anotherdir/dir\" == asRelDir \"anotherdir/dir\"",
    makeRelative "/tmp/somedir" "/tmp/somedir/anotherdir/dir" == asRelDir "anotherdir/dir") :
  ("makeAbsolute \"/tmp\" \"file.txt\"      == asAbsFile \"/tmp/file.txt\"",
    makeAbsolute "/tmp" "file.txt"      == asAbsFile "/tmp/file.txt") :
  ("makeAbsolute \"/tmp\" \"adir/file.txt\" == asAbsFile \"/tmp/adir/file.txt\"",
    makeAbsolute "/tmp" "adir/file.txt" == asAbsFile "/tmp/adir/file.txt") :
  ("makeAbsolute \"/tmp\" \"adir/dir\"      == asAbsDir \"/tmp/adir/dir\"",
    makeAbsolute "/tmp" "adir/dir"      == asAbsDir "/tmp/adir/dir") :
  ("genericMakeAbsolute \"/tmp\" (asRelFile \"file.txt\")       == \"/tmp/file.txt\"",
    genericMakeAbsolute "/tmp" (asRelFile "file.txt")       == "/tmp/file.txt") :
  ("genericMakeAbsolute \"/tmp\" (asRelFile \"adir/file.txt\")  == \"/tmp/adir/file.txt\"",
    genericMakeAbsolute "/tmp" (asRelFile "adir/file.txt")  == "/tmp/adir/file.txt") :
  ("genericMakeAbsolute \"/tmp\" (asAbsFile \"adir/file.txt\")  == \"/adir/file.txt\"",
    genericMakeAbsolute "/tmp" (asAbsFile "adir/file.txt")  == "/adir/file.txt") :
  ("genericMakeAbsolute \"/tmp\" (asAbsFile \"/adir/file.txt\") == \"/adir/file.txt\"",
    genericMakeAbsolute "/tmp" (asAbsFile "/adir/file.txt") == "/adir/file.txt") :
  ("isAbsolute (asAbsFile \"fred\")  == True",
    isAbsolute (asAbsFile "fred")  == True) :
  ("isAbsolute (asRelFile \"fred\")  == False",
    isAbsolute (asRelFile "fred")  == False) :
  ("isAbsolute (asAbsFile \"/fred\") == True",
    isAbsolute (asAbsFile "/fred") == True) :
  ("isAbsolute (asRelFile \"/fred\") == False",
    isAbsolute (asRelFile "/fred") == False) :
  ("null (takeExtension x) == not (hasAnExtension x)",
    null (takeExtension x) == not (hasAnExtension x)) :
  ("hasExtension \".hs\" \"MyCode.hs\" == True",
    hasExtension ".hs" "MyCode.hs" == True) :
  ("hasExtension \".hs\" \"MyCode.hs.bak\" == False",
    hasExtension ".hs" "MyCode.hs.bak" == False) :
  ("hasExtension \".hs\" \"MyCode.bak.hs\" == True",
    hasExtension ".hs" "MyCode.bak.hs" == True) :
  ("extSeparator == '.'",
    extSeparator == '.') :
  ("isPathSeparator pathSeparator",
    isPathSeparator pathSeparator) :
  ("pathSeparator `elem` pathSeparators",
    pathSeparator `elem` pathSeparators) :
  ("isExtSeparator a == (a == extSeparator)",
    isExtSeparator a == (a == extSeparator)) :
  ("isPathSeparator a == (a `elem` pathSeparators)",
    isPathSeparator a == (a `elem` pathSeparators)) :
  ("isSearchPathSeparator a == (a == searchPathSeparator)",
    isSearchPathSeparator a == (a == searchPathSeparator)) :
  ("genericAddExtension \"/\" \"x\" == asAbsDir \"/.x\"",
    genericAddExtension "/" "x" == asAbsDir "/.x") :
  ("genericAddExtension \"/a\" \"x\" == asAbsDir \"/a.x\"",
    genericAddExtension "/a" "x" == asAbsDir "/a.x") :
  ("genericAddExtension \"\" \"x\" == asRelFile \".x\"",
    genericAddExtension "" "x" == asRelFile ".x") :
  ("genericAddExtension \"\" \"\" == asRelFile \"\"",
    genericAddExtension "" "" == asRelFile "") :
  []