1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
-- ldgallery - A static generator which turns a collection of tagged
-- pictures into a searchable web gallery.
--
-- Copyright (C) 2019 Pacien TRAN-GIRARD
--
-- This program is free software: you can redistribute it and/or modify
-- it under the terms of the GNU Affero General Public License as
-- published by the Free Software Foundation, either version 3 of the
-- License, or (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-- GNU Affero General Public License for more details.
--
-- You should have received a copy of the GNU Affero General Public License
-- along with this program. If not, see <https://www.gnu.org/licenses/>.
{-# LANGUAGE
DuplicateRecordFields
, DeriveGeneric
#-}
module Files
( FileName, LocalPath, WebPath, Path
, (</>), (</), (/>), localPath, webPath
, FSNode(..), AnchoredFSNode(..)
, nodePath, nodeName, isHidden, flattenDir, filterDir, readDirectory
, ensureParentDir
) where
import Control.Monad (filterM, mapM)
import Data.Bool (bool)
import Data.List (isPrefixOf, length, deleteBy)
import Data.Function ((&))
import System.Directory (doesDirectoryExist, listDirectory, createDirectoryIfMissing)
import qualified System.FilePath
import qualified System.FilePath.Posix
type FileName = String
type LocalPath = String
type WebPath = String
-- | Reversed path component list
type Path = [FileName]
(</>) :: Path -> Path -> Path
l </> r = r ++ l
(</) :: Path -> FileName -> Path
path </ file = file:path
(/>) :: FileName -> Path -> Path
file /> path = path ++ [file]
localPath :: Path -> LocalPath
localPath = System.FilePath.joinPath . reverse
webPath :: Path -> WebPath
webPath = System.FilePath.Posix.joinPath . reverse
data FSNode = File Path | Dir Path [FSNode] deriving Show
data AnchoredFSNode = AnchoredFSNode
{ anchor :: LocalPath
, root :: FSNode } deriving Show
nodePath :: FSNode -> Path
nodePath (File path) = path
nodePath (Dir path _) = path
nodeName :: FSNode -> FileName
nodeName = head . nodePath
isHidden :: FSNode -> Bool
isHidden node = "." `isPrefixOf` filename && length filename > 1
where filename = nodeName node
-- | DFS with intermediate dirs first.
flattenDir :: FSNode -> [FSNode]
flattenDir file@(File _) = [file]
flattenDir dir@(Dir _ items) = dir:(concatMap flattenDir items)
-- | Filters a dir tree. The root is always returned.
filterDir :: (FSNode -> Bool) -> AnchoredFSNode -> AnchoredFSNode
filterDir cond (AnchoredFSNode anchor root) =
AnchoredFSNode anchor (filterNode root)
where
filterNode :: FSNode -> FSNode
filterNode file@(File _) = file
filterNode (Dir path items) =
filter cond items & map filterNode & Dir path
readDirectory :: LocalPath -> IO AnchoredFSNode
readDirectory root = mkNode [] >>= return . AnchoredFSNode root
where
mkNode :: Path -> IO FSNode
mkNode path =
(doesDirectoryExist $ localPath (root /> path))
>>= bool (mkFileNode path) (mkDirNode path)
mkFileNode :: Path -> IO FSNode
mkFileNode path = return $ File path
mkDirNode :: Path -> IO FSNode
mkDirNode path =
(listDirectory $ localPath (root /> path))
>>= mapM (mkNode . ((</) path))
>>= return . Dir path
ensureParentDir :: (FileName -> a -> IO b) -> FileName -> a -> IO b
ensureParentDir writer filePath a =
createDirectoryIfMissing True parentDir
>> writer filePath a
where
parentDir = System.FilePath.dropFileName filePath
|