úÎidać}      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{| The } operator as a function. The resulting function of < is such that it applies two (possible) different functions U to a single element, and combine both results with the given operator, inside of an ~ container. The operator. The first function. The second function. The resulting function.  Given a list xs1 of pairs (monadic condition, monadic function),   xs1 applies to its argument the first function that $ satisfy the condition, and returns  if no condition was satisfied. EThis function just adds a third component to a two-components tuple. 8Apply a function over the state, and return its result. An € operator.  Given an arrow a ~> b and an arrow c ~> d:   a ~> b <|> c ~> d M = Either a c ~> Either b d { (a ~> b) lifted with Left for Left values. , with -{ O { (c ~> d) lifted with Right for Right values.  Its name comes from the union of  and ‚. UTransforms a simple arrow to the same arrow applied to the two components of a pair. This operator is similar to ƒ", but the argument is used twice.    % Application of the   monad transformer to the „… monad. !Monadic transformer which adds a  environment. 'The state of file system computations.  Currently, a  structure. A path to a possible . PThe file system structure. It stores a directory with files and subdirectories. 3File System Element: Each one of the elements in a . A complete file. )Information about the content of a file. FA file path, composed by the path of the directory which contains it,  and its file name. A list-based directory path. !#The content of a file. Stored in a . "A name for a file. #A name for a directory. $AInternal Application: An application from somewhere over itself. %Translation between † and  . &Translation between   and †. 'Translation between † and . (Translation between  and †. )An empty file data. *An empty file system. +Lift a function over a list of  (File System Elements)  to a function over . , Check if a  contents a . -Run an  & computation, given an initial state. .Just a composition of ‡ and -. %  !"#$%&'()*+,-.%$#"! %&'()*+, - .%   !"#$%&'()*+,-./"Operator for addition of new files/ directories. 03Operator for addition of new file system elements (). 1Operator for search a file. 2KDescension operator. Extract the file system of an immediate subdirectory. 3/Substraction operator. Search and remove a file/directory from a file system. ˆDIf the Bool argument is True, rename a directory, otherwise a file. 4Substitution operator. Provisional implementation. /01234/01234/012345678956789567895676789 :;‰<=>?@ABCDE :;<=>?@ABCDE :;<=>?@ABCDE :;<=>?@ABCDE FGŠHFolding function for s.  Root path Folding operator, with current FilePath reference The initial value The  to fold Result I An usage of H, folding only s, ignoring the † where they are. J%Map a pair of applications (one over #, and the other over  ) through a . FGHIJFGHIJFGHIJ ‹K Create a  from a † to a " real world" file. ŒŽLCreate a complete  from an existing directory. MCreate a complete % from the current working directory. NreleaseEnd fp c fs write in fp the  fs, and execute c at the end. O release fp fs write in fp the  fs. PreleaseHere fs, write in the current working directory the  fs. KLMNOPKLMNOPKLMNOP,Q$Create an empty file with the given ". R!Build a new file with an initial " and content. SGet the name of a . T Rename a  with the given ". UExtract the content of a . VSet the content of a  to the given . W$Get the last modification time of a . X$Set the last modification time of a . YCalculate the size of a . ZMap a function over all the s of a . [PPuts a file in the given directory. It creates the parent directory if missing. Directory where put the . \]"Gets a file from the file system.  It returns  if the  is not found. Path where search the . ^_7Modifies a file with the given application. It returns ‘% if the file was found and modified. `aMoves a file.  It returns ‘( if the file exists and has been moved. Original path of the . New path for the . bc?Writes a file. If the files already exists, it is overwritten. deHWrites a file, changing its last modification time to the current time. 0 If the file already exists, it is overwritten.  $Note that MonadIO instance is needed. fgReads a file. It returns  if the file can' t be found. hiKReturns all directory names and file names located in the given directory.  It returns " if the directory does not exist. jkChecks if a file exists. lmChecks if a directory exists. noKCreates a new directory. If the directory already exists, it does nothing. pq+Removes a directory, with all its content. 3 If the directory does not exist, it does nothing. rs=Removes a file. If the file does not exist, it does nothing. tuRenames a directory.  If the directory can't be found, it returns ’. vwIRenames a file. First, you must specify the directory where the file is.  If the file can't be found, it returns ’. Directory where the file is. Original name.  New name. xy*Copies a file from a location to another.  Returns ‘# if the file was found and copied. z{6Gets the last modification time of a file. It returns  if the file doesn' t exist. |M  "#$%&'(*-.56789HIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|B$#"QRSTUVWXY*JZHI - . %&'([\]^_`abcdghefijklmnopqrstuvwxyz{|,QRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|“   !"#$$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹‰Œ‰Ž‰‘‰’“‰”‰•–—˜™—˜™‰š›—˜œžŸ ĄąŁ€„ЧšŠ§©ȘFileSystem-1.0.0System.FileSystemSystem.FileSystem.UtilsSystem.FileSystem.TypesSystem.FileSystem.OperatorsSystem.FileSystem.ClassSystem.FileSystem.ComputationsSystem.FileSystem.AcrossSystem.FileSystem.IOSystem.FileSystem.Instancesbytestring-0.9.1.8Data.ByteString.Internal ByteStringold-time-1.0.0.6 System.Time ClockTimebindcomboptionstup3apget<|>pairMap$$FSFSTWrapFST unwrapFSTFSStatePathpathListpathFile FileSystem DirectorydirCntFSEFilegetFDgetFNFileDataFDgetCntgetLmtFPathDirPathFileCntFileNameDirNameInApp toDirPath fromDirPathtoFPath fromFPathemptyFDemptyFileSystem modDirCnt isFilePathrunFSTrunFS<:<<:?:=:-:<-:FSMonadgetFSputFSmodifyFSapgetFSputPathgetFl getDirCnt checkFExist checkDExistnewDirrmvPathrmvDirrmvFilernmPathrnmDirrnmFilebuildFileSystemfileSystemListfoldFileSystem foldFiles mapFileSystemtakeFile captureDircapture releaseEndrelease releaseHere emptyFilenewFile getFileName setFileNamegetFileContentsetFileContent getModifTime setModifTimefileSizemapFilesputFileLputFilegetFileLgetFilemodFileLmodFile moveFileLmoveFile fs_writeFileL fs_writeFilewriteFileTimeL writeFileTime fs_readFileL fs_readFilefs_getDirectoryContentsLfs_getDirectoryContentsfs_doesFileExistLfs_doesFileExistfs_doesDirectoryExistLfs_doesDirectoryExistfs_createDirectoryLfs_createDirectoryfs_removeDirectoryLfs_removeDirectoryfs_removeFileL fs_removeFilefs_renameDirectoryLfs_renameDirectoryfs_renameFileL fs_renameFile fs_copyFileL fs_copyFilefs_getModificationTimeLfs_getModificationTimebase Control.Monad=<<Control.Applicative Applicative Data.MaybeNothing Control.Arrow ArrowChoice Data.Functor<$>|||GHC.Base$transformers-0.2.2.0Data.Functor.IdentityIdentityGHC.IOFilePath runIdentity<-:* searchDirCntfileSystemList'AbsPathtakePathgetDirContentsdoesDirectoryExist' capturePathswriteFileIfMissingghc-primGHC.BoolTrueFalse