TESTS: restructure files

test/FileSystem/FileOperations/CopyDirRecursiveSpec.hs

@@ -0,0 +1,102 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module FileSystem.FileOperations.CopyDirRecursiveSpec where
+
+
+import Test.Hspec
+import HSFM.FileSystem.Errors
+import System.IO.Error
+  (
+    ioeGetErrorType
+  )
+import GHC.IO.Exception
+  (
+    IOErrorType(..)
+  )
+import System.Exit
+import System.Process
+import Utils
+
+
+
+copyDirRecursiveSpec :: Spec
+copyDirRecursiveSpec =
+  describe "HSFM.FileSystem.FileOperations.copyDirRecursive" $ do
+
+    -- successes --
+    it "copyDirRecursive, all fine" $ do
+      copyDirRecursive' "test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir"
+                        "test/FileSystem/FileOperations/copyDirRecursiveSpec/outputDir"
+      removeDirIfExists "test/FileSystem/FileOperations/copyDirRecursiveSpec/outputDir"
+
+    it "copyDirRecursive, all fine and compare" $ do
+      copyDirRecursive' "test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir"
+                        "test/FileSystem/FileOperations/copyDirRecursiveSpec/outputDir"
+      (system $ "diff -r --no-dereference "
+                          ++ "test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir" ++ " "
+                          ++ "test/FileSystem/FileOperations/copyDirRecursiveSpec/outputDir")
+        `shouldReturn` ExitSuccess
+      removeDirIfExists "test/FileSystem/FileOperations/copyDirRecursiveSpec/outputDir"
+
+    -- posix failures --
+    it "copyDirRecursive, source directory does not exist" $
+      copyDirRecursive' "test/FileSystem/FileOperations/copyDirRecursiveSpec/doesNotExist"
+                        "test/FileSystem/FileOperations/copyDirRecursiveSpec/outputDir"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    it "copyDirRecursive, no write permission on output dir" $
+      copyDirRecursive' "test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir"
+                        "test/FileSystem/FileOperations/copyDirRecursiveSpec/noWritePerm/foo"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "copyDirRecursive, cannot open output dir" $
+      copyDirRecursive' "test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir"
+                        "test/FileSystem/FileOperations/copyDirRecursiveSpec/noPerms/foo"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "copyDirRecursive, cannot open source dir" $
+      copyDirRecursive' "test/FileSystem/FileOperations/copyDirRecursiveSpec/noPerms/inputDir"
+                        "test/FileSystem/FileOperations/copyDirRecursiveSpec/foo"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "copyDirRecursive, destination dir already exists" $
+      copyDirRecursive' "test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir"
+                        "test/FileSystem/FileOperations/copyDirRecursiveSpec/alreadyExistsD"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == AlreadyExists)
+
+    it "copyDirRecursive, destination already exists and is a file" $
+      copyDirRecursive' "test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir"
+                        "test/FileSystem/FileOperations/copyDirRecursiveSpec/alreadyExists"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == AlreadyExists)
+
+    it "copyDirRecursive, destination and source same directory" $
+      copyDirRecursive' "test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir"
+                        "test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == AlreadyExists)
+
+    it "copyDirRecursive, wrong input (regular file)" $
+      copyDirRecursive' "test/FileSystem/FileOperations/copyDirRecursiveSpec/wrongInput"
+                        "test/FileSystem/FileOperations/copyDirRecursiveSpec/outputDir"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InappropriateType)
+
+    it "copyDirRecursive, wrong input (symlink to directory)" $
+      copyDirRecursive' "test/FileSystem/FileOperations/copyDirRecursiveSpec/wrongInputSymL"
+                        "test/FileSystem/FileOperations/copyDirRecursiveSpec/outputDir"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InvalidArgument)
+
+    -- custom failures
+    it "copyDirRecursive, destination in source" $
+      copyDirRecursive' "test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir"
+                        "test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir/foo"
+        `shouldThrow`
+        isDestinationInSource
+

test/FileSystem/FileOperations/CopyFileSpec.hs

@@ -0,0 +1,93 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module FileSystem.FileOperations.CopyFileSpec where
+
+
+import Test.Hspec
+import System.IO.Error
+  (
+    ioeGetErrorType
+  )
+import GHC.IO.Exception
+  (
+    IOErrorType(..)
+  )
+import System.Exit
+import System.Process
+import Utils
+
+
+
+copyFileSpec :: Spec
+copyFileSpec =
+  describe "HSFM.FileSystem.FileOperations.copyFile" $ do
+
+    -- successes --
+    it "copyFile, everything clear" $ do
+      copyFile' "test/FileSystem/FileOperations/copyFileSpec/inputFile"
+                "test/FileSystem/FileOperations/copyFileSpec/outputFile"
+      removeFileIfExists "test/FileSystem/FileOperations/copyFileSpec/outputFile"
+
+    it "copyFile, and compare" $ do
+      copyFile' "test/FileSystem/FileOperations/copyFileSpec/inputFile"
+                "test/FileSystem/FileOperations/copyFileSpec/outputFile"
+      (system $ "cmp -s " ++ "test/FileSystem/FileOperations/copyFileSpec/inputFile" ++ " "
+                          ++ "test/FileSystem/FileOperations/copyFileSpec/outputFile")
+        `shouldReturn` ExitSuccess
+      removeFileIfExists "test/FileSystem/FileOperations/copyFileSpec/outputFile"
+
+    -- posix failures --
+    it "copyFile, input file does not exist" $
+      copyFile' "test/FileSystem/FileOperations/copyFileSpec/noSuchFile"
+                "test/FileSystem/FileOperations/copyFileSpec/outputFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    it "copyFile, no permission to write to output directory" $
+      copyFile' "test/FileSystem/FileOperations/copyFileSpec/inputFile"
+                "test/FileSystem/FileOperations/copyFileSpec/outputDirNoWrite/outputFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "copyFile, cannot open output directory" $
+      copyFile' "test/FileSystem/FileOperations/copyFileSpec/inputFile"
+                "test/FileSystem/FileOperations/copyFileSpec/noPerms/outputFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "copyFile, cannot open source directory" $
+      copyFile' "test/FileSystem/FileOperations/copyFileSpec/noPerms/inputFile"
+                "test/FileSystem/FileOperations/copyFileSpec/outputFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "copyFile, wrong input type (symlink)" $
+      copyFile' "test/FileSystem/FileOperations/copyFileSpec/inputFileSymL"
+                "test/FileSystem/FileOperations/copyFileSpec/outputFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InvalidArgument)
+
+    it "copyFile, wrong input type (directory)" $
+      copyFile' "test/FileSystem/FileOperations/copyFileSpec/wrongInput"
+                "test/FileSystem/FileOperations/copyFileSpec/outputFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InappropriateType)
+
+    it "copyFile, output and input are same file" $
+      copyFile' "test/FileSystem/FileOperations/copyFileSpec/inputFile"
+                "test/FileSystem/FileOperations/copyFileSpec/inputFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == AlreadyExists)
+
+    it "copyFile, output file already exists" $
+      copyFile' "test/FileSystem/FileOperations/copyFileSpec/inputFile"
+                "test/FileSystem/FileOperations/copyFileSpec/alreadyExists"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == AlreadyExists)
+
+    it "copyFile, output file already exists and is a dir" $
+      copyFile' "test/FileSystem/FileOperations/copyFileSpec/inputFile"
+                "test/FileSystem/FileOperations/copyFileSpec/alreadyExistsD"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == AlreadyExists)
+

test/FileSystem/FileOperations/CreateDirSpec.hs

@@ -0,0 +1,43 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module FileSystem.FileOperations.CreateDirSpec where
+
+
+import Test.Hspec
+import System.IO.Error
+  (
+    ioeGetErrorType
+  )
+import GHC.IO.Exception
+  (
+    IOErrorType(..)
+  )
+import Utils
+
+
+createDirSpec :: Spec
+createDirSpec =
+  describe "HSFM.FileSystem.FileOperations.createDir" $ do
+
+    -- successes --
+    it "createDir, all fine" $ do
+      createDir' "test/FileSystem/FileOperations/createDirSpec/newDir"
+      removeDirIfExists "test/FileSystem/FileOperations/createDirSpec/newDir"
+
+    -- posix failures --
+    it "createDir, can't write to output directory" $
+      createDir' "test/FileSystem/FileOperations/createDirSpec/noWritePerms/newDir"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "createDir, can't open output directory" $
+      createDir' "test/FileSystem/FileOperations/createDirSpec/noPerms/newDir"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "createDir, destination directory already exists" $
+      createDir' "test/FileSystem/FileOperations/createDirSpec/alreadyExists"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == AlreadyExists)
+
+

test/FileSystem/FileOperations/CreateRegularFileSpec.hs

@@ -0,0 +1,42 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module FileSystem.FileOperations.CreateRegularFileSpec where
+
+
+import Test.Hspec
+import System.IO.Error
+  (
+    ioeGetErrorType
+  )
+import GHC.IO.Exception
+  (
+    IOErrorType(..)
+  )
+import Utils
+
+
+createRegularFileSpec :: Spec
+createRegularFileSpec =
+  describe "HSFM.FileSystem.FileOperations.createRegularFile" $ do
+
+    -- successes --
+    it "createRegularFile, all fine" $ do
+      createRegularFile' "test/FileSystem/FileOperations/createRegularFileSpec/newDir"
+      removeFileIfExists "test/FileSystem/FileOperations/createRegularFileSpec/newDir"
+
+    -- posix failures --
+    it "createRegularFile, can't write to destination directory" $
+      createRegularFile' "test/FileSystem/FileOperations/createRegularFileSpec/noWritePerms/newDir"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "createRegularFile, can't write to destination directory" $
+      createRegularFile' "test/FileSystem/FileOperations/createRegularFileSpec/noPerms/newDir"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "createRegularFile, destination file already exists" $
+      createRegularFile' "test/FileSystem/FileOperations/createRegularFileSpec/alreadyExists"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == AlreadyExists)
+

test/FileSystem/FileOperations/DeleteDirRecursiveSpec.hs

@@ -0,0 +1,86 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module FileSystem.FileOperations.DeleteDirRecursiveSpec where
+
+
+import Test.Hspec
+import System.IO.Error
+  (
+    ioeGetErrorType
+  )
+import System.Posix.Files.ByteString
+  (
+    getSymbolicLinkStatus
+  )
+import GHC.IO.Exception
+  (
+    IOErrorType(..)
+  )
+import Utils
+
+
+
+deleteDirRecursiveSpec :: Spec
+deleteDirRecursiveSpec =
+  describe "HSFM.FileSystem.FileOperations.deleteDirRecursive" $ do
+
+    -- successes --
+    it "deleteDirRecursive, empty directory, all fine" $ do
+      createDir' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/testDir"
+      deleteDirRecursive' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/testDir"
+      getSymbolicLinkStatus "test/FileSystem/FileOperations/deleteDirRecursiveSpec/testDir"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    it "deleteDirRecursive, empty directory with null permissions, all fine" $ do
+      createDir' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/noPerms/testDir"
+      noPerms "test/FileSystem/FileOperations/deleteDirRecursiveSpec/noPerms/testDir"
+      deleteDirRecursive' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/noPerms/testDir"
+
+    it "deleteDirRecursive, non-empty directory, all fine" $ do
+      createDir' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/nonEmpty"
+      createDir' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/nonEmpty/dir1"
+      createDir' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/nonEmpty/dir2"
+      createDir' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/nonEmpty/dir2/dir3"
+      createRegularFile' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/nonEmpty/file1"
+      createRegularFile' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/nonEmpty/dir1/file2"
+      deleteDirRecursive' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/nonEmpty"
+      getSymbolicLinkStatus "test/FileSystem/FileOperations/deleteDirRecursiveSpec/nonEmpty"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    -- posix failures --
+    it "deleteDirRecursive, can't open parent directory" $ do
+      createDir' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/noPerms/foo"
+      noPerms "test/FileSystem/FileOperations/deleteDirRecursiveSpec/noPerms"
+      (deleteDirRecursive' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/noPerms/foo"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied))
+        >> normalDirPerms "test/FileSystem/FileOperations/deleteDirRecursiveSpec/noPerms"
+        >> deleteDir' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/noPerms/foo"
+
+    it "deleteDirRecursive, can't write to parent directory" $ do
+      createDir' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/noWritable/foo"
+      noWritableDirPerms "test/FileSystem/FileOperations/deleteDirRecursiveSpec/noWritable"
+      (deleteDirRecursive' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/noWritable/foo"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied))
+      normalDirPerms "test/FileSystem/FileOperations/deleteDirRecursiveSpec/noWritable"
+      deleteDir' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/noWritable/foo"
+
+    it "deleteDirRecursive, wrong file type (symlink to directory)" $
+      deleteDirRecursive' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/dirSym"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InappropriateType)
+
+    it "deleteDirRecursive, wrong file type (regular file)" $
+      deleteDirRecursive' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/file"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InappropriateType)
+
+    it "deleteDirRecursive, directory does not exist" $
+      deleteDirRecursive' "test/FileSystem/FileOperations/deleteDirRecursiveSpec/doesNotExist"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+

test/FileSystem/FileOperations/DeleteDirSpec.hs

@@ -0,0 +1,82 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module FileSystem.FileOperations.DeleteDirSpec where
+
+
+import Test.Hspec
+import System.IO.Error
+  (
+    ioeGetErrorType
+  )
+import System.Posix.Files.ByteString
+  (
+    getSymbolicLinkStatus
+  )
+import GHC.IO.Exception
+  (
+    IOErrorType(..)
+  )
+import Utils
+
+
+deleteDirSpec :: Spec
+deleteDirSpec =
+  describe "HSFM.FileSystem.FileOperations.deleteDir" $ do
+
+    -- successes --
+    it "deleteDir, empty directory, all fine" $ do
+      createDir' "test/FileSystem/FileOperations/deleteDirSpec/testDir"
+      deleteDir' "test/FileSystem/FileOperations/deleteDirSpec/testDir"
+      getSymbolicLinkStatus "test/FileSystem/FileOperations/deleteDirSpec/testDir"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    it "deleteDir, directory with null permissions, all fine" $ do
+      createDir' "test/FileSystem/FileOperations/deleteDirSpec/noPerms/testDir"
+      noPerms "test/FileSystem/FileOperations/deleteDirSpec/noPerms/testDir"
+      deleteDir' "test/FileSystem/FileOperations/deleteDirSpec/noPerms/testDir"
+      getSymbolicLinkStatus "test/FileSystem/FileOperations/deleteDirSpec/testDir"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    -- posix failures --
+    it "deleteDir, wrong file type (symlink to directory)" $
+      deleteDir' "test/FileSystem/FileOperations/deleteDirSpec/dirSym"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InappropriateType)
+
+    it "deleteDir, wrong file type (regular file)" $
+      deleteDir' "test/FileSystem/FileOperations/deleteDirSpec/file"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InappropriateType)
+
+    it "deleteDir, directory does not exist" $
+      deleteDir' "test/FileSystem/FileOperations/deleteDirSpec/doesNotExist"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    it "deleteDir, directory not empty" $
+      deleteDir' "test/FileSystem/FileOperations/deleteDirSpec/dir"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == UnsatisfiedConstraints)
+
+    it "deleteDir, can't open parent directory" $ do
+      createDir' "test/FileSystem/FileOperations/deleteDirSpec/noPerms/foo"
+      noPerms "test/FileSystem/FileOperations/deleteDirSpec/noPerms"
+      (deleteDir' "test/FileSystem/FileOperations/deleteDirSpec/noPerms/foo"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied))
+        >> normalDirPerms "test/FileSystem/FileOperations/deleteDirSpec/noPerms"
+        >> deleteDir' "test/FileSystem/FileOperations/deleteDirSpec/noPerms/foo"
+
+    it "deleteDir, can't write to parent directory, still fine" $ do
+      createDir' "test/FileSystem/FileOperations/deleteDirSpec/noWritable/foo"
+      noWritableDirPerms "test/FileSystem/FileOperations/deleteDirSpec/noWritable"
+      (deleteDir' "test/FileSystem/FileOperations/deleteDirSpec/noWritable/foo"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied))
+      normalDirPerms "test/FileSystem/FileOperations/deleteDirSpec/noWritable"
+      deleteDir' "test/FileSystem/FileOperations/deleteDirSpec/noWritable/foo"
+
+
+

test/FileSystem/FileOperations/DeleteFileSpec.hs

@@ -0,0 +1,57 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module FileSystem.FileOperations.DeleteFileSpec where
+
+
+import Test.Hspec
+import System.IO.Error
+  (
+    ioeGetErrorType
+  )
+import System.Posix.Files.ByteString
+  (
+    getSymbolicLinkStatus
+  )
+import GHC.IO.Exception
+  (
+    IOErrorType(..)
+  )
+import Utils
+
+
+deleteFileSpec :: Spec
+deleteFileSpec =
+  describe "HSFM.FileSystem.FileOperations.deleteFile" $ do
+
+    -- successes --
+    it "deleteFile, regular file, all fine" $ do
+      createRegularFile' "test/FileSystem/FileOperations/deleteFileSpec/testFile"
+      deleteFile' "test/FileSystem/FileOperations/deleteFileSpec/testFile"
+      getSymbolicLinkStatus "test/FileSystem/FileOperations/deleteFileSpec/testFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    it "deleteFile, symlink, all fine" $ do
+      recreateSymlink' "test/FileSystem/FileOperations/deleteFileSpec/syml"
+                       "test/FileSystem/FileOperations/deleteFileSpec/testFile"
+      deleteFile' "test/FileSystem/FileOperations/deleteFileSpec/testFile"
+      getSymbolicLinkStatus "test/FileSystem/FileOperations/deleteFileSpec/testFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    -- posix failures --
+    it "deleteFile, wrong file type (directory)" $
+      deleteFile' "test/FileSystem/FileOperations/deleteFileSpec/dir"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InappropriateType)
+
+    it "deleteFile, file does not exist" $
+      deleteFile' "test/FileSystem/FileOperations/deleteFileSpec/doesNotExist"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    it "deleteFile, can't read directory" $
+      deleteFile' "test/FileSystem/FileOperations/deleteFileSpec/noPerms/blah"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+

test/FileSystem/FileOperations/GetDirsFilesSpec.hs

@@ -0,0 +1,77 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module FileSystem.FileOperations.GetDirsFilesSpec where
+
+
+import Data.List
+  (
+    sort
+  )
+import Data.Maybe
+  (
+    fromJust
+  )
+import qualified HPath as P
+import Test.Hspec
+import System.IO.Error
+  (
+    ioeGetErrorType
+  )
+import System.Posix.Env.ByteString
+  (
+    getEnv
+  )
+import GHC.IO.Exception
+  (
+    IOErrorType(..)
+  )
+import Utils
+
+
+
+getDirsFilesSpec :: Spec
+getDirsFilesSpec =
+  describe "HSFM.FileSystem.FileOperations.getDirsFiles" $ do
+
+    -- successes --
+    it "getDirsFiles, all fine" $ do
+      pwd <- fromJust <$> getEnv "PWD" >>= P.parseAbs
+      expectedFiles <- mapM P.parseRel ["test/FileSystem/FileOperations/getDirsFilesSpec/.hidden"
+                                       ,"test/FileSystem/FileOperations/getDirsFilesSpec/Lala"
+                                       ,"test/FileSystem/FileOperations/getDirsFilesSpec/dir"
+                                       ,"test/FileSystem/FileOperations/getDirsFilesSpec/dirsym"
+                                       ,"test/FileSystem/FileOperations/getDirsFilesSpec/file"
+                                       ,"test/FileSystem/FileOperations/getDirsFilesSpec/noPerms"
+                                       ,"test/FileSystem/FileOperations/getDirsFilesSpec/syml"]
+      (fmap sort $ getDirsFiles' "test/FileSystem/FileOperations/getDirsFilesSpec")
+        `shouldReturn` fmap (pwd P.</>) expectedFiles
+
+    -- posix failures --
+    it "getDirsFiles, nonexistent directory" $
+      getDirsFiles' "test/FileSystem/FileOperations/getDirsFilesSpec/nothingHere"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    it "getDirsFiles, wrong file type (file)" $
+      getDirsFiles' "test/FileSystem/FileOperations/getDirsFilesSpec/file"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InappropriateType)
+
+    it "getDirsFiles, wrong file type (symlink to file)" $
+      getDirsFiles' "test/FileSystem/FileOperations/getDirsFilesSpec/syml"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InvalidArgument)
+
+    it "getDirsFiles, wrong file type (symlink to dir)" $
+      getDirsFiles' "test/FileSystem/FileOperations/getDirsFilesSpec/dirsym"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InvalidArgument)
+
+    it "getDirsFiles, can't open directory" $
+      getDirsFiles' "test/FileSystem/FileOperations/getDirsFilesSpec/noPerms"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+
+
+

test/FileSystem/FileOperations/GetFileTypeSpec.hs

@@ -0,0 +1,59 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module FileSystem.FileOperations.GetFileTypeSpec where
+
+
+import HSFM.FileSystem.FileOperations
+import Test.Hspec
+import System.IO.Error
+  (
+    ioeGetErrorType
+  )
+import GHC.IO.Exception
+  (
+    IOErrorType(..)
+  )
+import Utils
+
+
+
+getFileTypeSpec :: Spec
+getFileTypeSpec =
+  describe "HSFM.FileSystem.FileOperations.getFileType" $ do
+
+    -- successes --
+    it "getFileType, regular file" $
+      getFileType' "test/FileSystem/FileOperations/getFileTypeSpec/regularfile"
+        `shouldReturn` RegularFile
+
+    it "getFileType, directory" $
+      getFileType' "test/FileSystem/FileOperations/getFileTypeSpec/directory"
+        `shouldReturn` Directory
+
+    it "getFileType, directory with null permissions" $
+      getFileType' "test/FileSystem/FileOperations/getFileTypeSpec/noPerms"
+        `shouldReturn` Directory
+
+    it "getFileType, symlink to file" $
+      getFileType' "test/FileSystem/FileOperations/getFileTypeSpec/symlink"
+        `shouldReturn` SymbolicLink
+
+    it "getFileType, symlink to directory" $
+      getFileType' "test/FileSystem/FileOperations/getFileTypeSpec/symlinkD"
+        `shouldReturn` SymbolicLink
+
+    it "getFileType, broken symlink" $
+      getFileType' "test/FileSystem/FileOperations/getFileTypeSpec/brokenSymlink"
+        `shouldReturn` SymbolicLink
+
+    -- posix failures --
+    it "getFileType, file does not exist" $
+      getFileType' "test/FileSystem/FileOperations/getFileTypeSpec/nothingHere"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    it "getFileType, can't open directory" $
+      getFileType' "test/FileSystem/FileOperations/getFileTypeSpec/noPerms/forz"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+

test/FileSystem/FileOperations/MoveFileSpec.hs

@@ -0,0 +1,83 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module FileSystem.FileOperations.MoveFileSpec where
+
+
+import Test.Hspec
+import HSFM.FileSystem.Errors
+import System.IO.Error
+  (
+    ioeGetErrorType
+  )
+import GHC.IO.Exception
+  (
+    IOErrorType(..)
+  )
+import Utils
+
+
+moveFileSpec :: Spec
+moveFileSpec =
+  describe "HSFM.FileSystem.FileOperations.moveFile" $ do
+
+    -- successes --
+    it "moveFile, all fine" $
+      moveFile' "test/FileSystem/FileOperations/moveFileSpec/myFile"
+                "test/FileSystem/FileOperations/moveFileSpec/movedFile"
+
+    it "moveFile, all fine" $
+      moveFile' "test/FileSystem/FileOperations/moveFileSpec/myFile"
+                "test/FileSystem/FileOperations/moveFileSpec/dir/movedFile"
+
+    it "moveFile, all fine on symlink" $
+      moveFile' "test/FileSystem/FileOperations/moveFileSpec/myFileL"
+                "test/FileSystem/FileOperations/moveFileSpec/movedFile"
+
+    it "moveFile, all fine on directory" $
+      moveFile' "test/FileSystem/FileOperations/moveFileSpec/dir"
+                "test/FileSystem/FileOperations/moveFileSpec/movedFile"
+
+    -- posix failures --
+    it "moveFile, source file does not exist" $
+      moveFile' "test/FileSystem/FileOperations/moveFileSpec/fileDoesNotExist"
+                "test/FileSystem/FileOperations/moveFileSpec/movedFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    it "moveFile, can't write to destination directory" $
+      moveFile' "test/FileSystem/FileOperations/moveFileSpec/myFile"
+                "test/FileSystem/FileOperations/moveFileSpec/noWritePerm/movedFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "moveFile, can't open destination directory" $
+      moveFile' "test/FileSystem/FileOperations/moveFileSpec/myFile"
+                "test/FileSystem/FileOperations/moveFileSpec/noPerms/movedFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "moveFile, can't open source directory" $
+      moveFile' "test/FileSystem/FileOperations/moveFileSpec/noPerms/myFile"
+                "test/FileSystem/FileOperations/moveFileSpec/movedFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    -- custom failures --
+    it "moveFile, destination file already exists" $
+      moveFile' "test/FileSystem/FileOperations/moveFileSpec/myFile"
+                "test/FileSystem/FileOperations/moveFileSpec/alreadyExists"
+        `shouldThrow`
+        isFileDoesExist
+
+    it "moveFile, move from file to dir" $
+      moveFile' "test/FileSystem/FileOperations/moveFileSpec/myFile"
+                "test/FileSystem/FileOperations/moveFileSpec/alreadyExistsD"
+        `shouldThrow`
+        isDirDoesExist
+
+    it "moveFile, source and dest are same file" $
+      moveFile' "test/FileSystem/FileOperations/moveFileSpec/myFile"
+                "test/FileSystem/FileOperations/moveFileSpec/myFile"
+        `shouldThrow`
+        isSameFile
+

test/FileSystem/FileOperations/RecreateSymlinkSpec.hs

@@ -0,0 +1,81 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module FileSystem.FileOperations.RecreateSymlinkSpec where
+
+
+import Test.Hspec
+import System.IO.Error
+  (
+    ioeGetErrorType
+  )
+import GHC.IO.Exception
+  (
+    IOErrorType(..)
+  )
+import Utils
+
+
+recreateSymlinkSpec :: Spec
+recreateSymlinkSpec =
+  describe "HSFM.FileSystem.FileOperations.recreateSymlink" $ do
+
+    -- successes --
+    it "recreateSymLink, all fine" $ do
+      recreateSymlink' "test/FileSystem/FileOperations/recreateSymlinkSpec/myFileL"
+                       "test/FileSystem/FileOperations/recreateSymlinkSpec/movedFile"
+      removeFileIfExists "test/FileSystem/FileOperations/recreateSymlinkSpec/movedFile"
+
+    it "recreateSymLink, all fine" $ do
+      recreateSymlink' "test/FileSystem/FileOperations/recreateSymlinkSpec/myFileL"
+                       "test/FileSystem/FileOperations/recreateSymlinkSpec/dir/movedFile"
+      removeFileIfExists "test/FileSystem/FileOperations/recreateSymlinkSpec/dir/movedFile"
+
+    -- posix failures --
+    it "recreateSymLink, wrong input type (file)" $
+      recreateSymlink' "test/FileSystem/FileOperations/recreateSymlinkSpec/myFile"
+                       "test/FileSystem/FileOperations/recreateSymlinkSpec/movedFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InvalidArgument)
+
+    it "recreateSymLink, wrong input type (directory)" $
+      recreateSymlink' "test/FileSystem/FileOperations/recreateSymlinkSpec/dir"
+                       "test/FileSystem/FileOperations/recreateSymlinkSpec/movedFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == InvalidArgument)
+
+    it "recreateSymLink, can't write to destination directory" $
+      recreateSymlink' "test/FileSystem/FileOperations/recreateSymlinkSpec/myFileL"
+                       "test/FileSystem/FileOperations/recreateSymlinkSpec/noWritePerm/movedFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "recreateSymLink, can't open destination directory" $
+      recreateSymlink' "test/FileSystem/FileOperations/recreateSymlinkSpec/myFileL"
+                       "test/FileSystem/FileOperations/recreateSymlinkSpec/noPerms/movedFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "recreateSymLink, can't open source directory" $
+      recreateSymlink' "test/FileSystem/FileOperations/recreateSymlinkSpec/noPerms/myFileL"
+                       "test/FileSystem/FileOperations/recreateSymlinkSpec/movedFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "recreateSymLink, destination file already exists" $
+      recreateSymlink' "test/FileSystem/FileOperations/recreateSymlinkSpec/myFileL"
+                       "test/FileSystem/FileOperations/recreateSymlinkSpec/alreadyExists"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == AlreadyExists)
+
+    it "recreateSymLink, destination already exists and is a dir" $
+      recreateSymlink' "test/FileSystem/FileOperations/recreateSymlinkSpec/myFileL"
+                       "test/FileSystem/FileOperations/recreateSymlinkSpec/alreadyExistsD"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == AlreadyExists)
+
+    it "recreateSymLink, source and destination are the same file" $
+      recreateSymlink' "test/FileSystem/FileOperations/recreateSymlinkSpec/myFileL"
+                       "test/FileSystem/FileOperations/recreateSymlinkSpec/myFileL"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == AlreadyExists)
+

test/FileSystem/FileOperations/RenameFileSpec.hs

@@ -0,0 +1,83 @@
+{-# LANGUAGE OverloadedStrings #-}
+
+module FileSystem.FileOperations.RenameFileSpec where
+
+
+import Test.Hspec
+import HSFM.FileSystem.Errors
+import System.IO.Error
+  (
+    ioeGetErrorType
+  )
+import GHC.IO.Exception
+  (
+    IOErrorType(..)
+  )
+import Utils
+
+
+renameFileSpec :: Spec
+renameFileSpec =
+  describe "HSFM.FileSystem.FileOperations.renameFile" $ do
+
+    -- successes --
+    it "renameFile, all fine" $
+      renameFile' "test/FileSystem/FileOperations/renameFileSpec/myFile"
+                  "test/FileSystem/FileOperations/renameFileSpec/renamedFile"
+
+    it "renameFile, all fine" $
+      renameFile' "test/FileSystem/FileOperations/renameFileSpec/myFile"
+                  "test/FileSystem/FileOperations/renameFileSpec/dir/renamedFile"
+
+    it "renameFile, all fine on symlink" $
+      renameFile' "test/FileSystem/FileOperations/renameFileSpec/myFileL"
+                  "test/FileSystem/FileOperations/renameFileSpec/renamedFile"
+
+    it "renameFile, all fine on directory" $
+      renameFile' "test/FileSystem/FileOperations/renameFileSpec/dir"
+                  "test/FileSystem/FileOperations/renameFileSpec/renamedFile"
+
+    -- posix failures --
+    it "renameFile, source file does not exist" $
+      renameFile' "test/FileSystem/FileOperations/renameFileSpec/fileDoesNotExist"
+                  "test/FileSystem/FileOperations/renameFileSpec/renamedFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == NoSuchThing)
+
+    it "renameFile, can't write to output directory" $
+      renameFile' "test/FileSystem/FileOperations/renameFileSpec/myFile"
+                  "test/FileSystem/FileOperations/renameFileSpec/noWritePerm/renamedFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "renameFile, can't open output directory" $
+      renameFile' "test/FileSystem/FileOperations/renameFileSpec/myFile"
+                  "test/FileSystem/FileOperations/renameFileSpec/noPerms/renamedFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    it "renameFile, can't open source directory" $
+      renameFile' "test/FileSystem/FileOperations/renameFileSpec/noPerms/myFile"
+                  "test/FileSystem/FileOperations/renameFileSpec/renamedFile"
+        `shouldThrow`
+        (\e -> ioeGetErrorType e == PermissionDenied)
+
+    -- custom failures --
+    it "renameFile, destination file already exists" $
+      renameFile' "test/FileSystem/FileOperations/renameFileSpec/myFile"
+                  "test/FileSystem/FileOperations/renameFileSpec/alreadyExists"
+        `shouldThrow`
+        isFileDoesExist
+
+    it "renameFile, move from file to dir" $
+      renameFile' "test/FileSystem/FileOperations/renameFileSpec/myFile"
+                  "test/FileSystem/FileOperations/renameFileSpec/alreadyExistsD"
+        `shouldThrow`
+        isDirDoesExist
+
+    it "renameFile, source and dest are same file" $
+      renameFile' "test/FileSystem/FileOperations/renameFileSpec/myFile"
+                  "test/FileSystem/FileOperations/renameFileSpec/myFile"
+        `shouldThrow`
+        isSameFile
+

test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir/bar/inputFile3

@@ -0,0 +1,8 @@
+dadasasddas
+sda
+
+!!1
+sda
+
+
+11

test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir/foo/inputFile1

@@ -0,0 +1 @@
+dadasasddas

test/FileSystem/FileOperations/copyDirRecursiveSpec/inputDir/inputFile2

@@ -0,0 +1,4 @@
+dadasasddas
+das
+sda
+sda

test/FileSystem/FileOperations/copyDirRecursiveSpec/noPerms/inputDir/bar/inputFile3

@@ -0,0 +1,8 @@
+dadasasddas
+sda
+
+!!1
+sda
+
+
+11

test/FileSystem/FileOperations/copyDirRecursiveSpec/noPerms/inputDir/foo/inputFile1

@@ -0,0 +1 @@
+dadasasddas

test/FileSystem/FileOperations/copyDirRecursiveSpec/noPerms/inputDir/inputFile2

@@ -0,0 +1,4 @@
+dadasasddas
+das
+sda
+sda

test/FileSystem/FileOperations/copyDirRecursiveSpec/wrongInputSymL

@@ -0,0 +1 @@
+inputDir/

test/FileSystem/FileOperations/copyFileSpec/inputFile

@@ -0,0 +1,2 @@
+abc
+def

test/FileSystem/FileOperations/copyFileSpec/inputFileSymL

@@ -0,0 +1 @@
+inputFile

test/FileSystem/FileOperations/deleteDirRecursiveSpec/dirSym

@@ -0,0 +1 @@
+dir

test/FileSystem/FileOperations/deleteDirSpec/dirSym

@@ -0,0 +1 @@
+dir

test/FileSystem/FileOperations/deleteFileSpec/syml

@@ -0,0 +1 @@
+foo

test/FileSystem/FileOperations/getDirsFilesSpec/dirsym

@@ -0,0 +1 @@
+dir

test/FileSystem/FileOperations/getDirsFilesSpec/syml

@@ -0,0 +1 @@
+Lala

test/FileSystem/FileOperations/getFileTypeSpec/brokenSymlink

@@ -0,0 +1 @@
+broken

test/FileSystem/FileOperations/getFileTypeSpec/symlink

@@ -0,0 +1 @@
+regularfile

test/FileSystem/FileOperations/getFileTypeSpec/symlinkD

@@ -0,0 +1 @@
+directory

test/FileSystem/FileOperations/moveFileSpec/alreadyExists

@@ -0,0 +1,2 @@
+dasklaksd
+sda

test/FileSystem/FileOperations/moveFileSpec/myFile

@@ -0,0 +1,4 @@
+asd
+sda
+
+sda

test/FileSystem/FileOperations/moveFileSpec/myFileL

@@ -0,0 +1 @@
+myFile

test/FileSystem/FileOperations/recreateSymlinkSpec/alreadyExists

@@ -0,0 +1,3 @@
+asdl
+dsa
+sd

test/FileSystem/FileOperations/recreateSymlinkSpec/myFile

@@ -0,0 +1,4 @@
+ads
+sad
+das
+sda

test/FileSystem/FileOperations/recreateSymlinkSpec/myFileL

@@ -0,0 +1 @@
+myFile

test/FileSystem/FileOperations/recreateSymlinkSpec/noPerms/myFile

@@ -0,0 +1,4 @@
+ads
+sad
+das
+sda

test/FileSystem/FileOperations/recreateSymlinkSpec/noPerms/myFileL

@@ -0,0 +1 @@
+myFile

test/FileSystem/FileOperations/renameFileSpec/alreadyExists

@@ -0,0 +1,3 @@
+asdl
+dsa
+sd

test/FileSystem/FileOperations/renameFileSpec/myFile

@@ -0,0 +1,4 @@
+ads
+sad
+das
+sda

test/FileSystem/FileOperations/renameFileSpec/myFileL

@@ -0,0 +1 @@
+myFile