IO.Filesystem

Contents

• Exported modules and functions
• The File interface
  • A useful monad for manipulating the filesystem as a state
  • Status and PermMask
  • Useful Lenses

Synopsis

• module System.FilePath
• module Definitive
• createDirectoryIfMissing :: Bool -> FilePath -> IO ()
• (</>) :: FilePath -> FilePath -> FilePath
• followSymlink :: FilePath -> IO FilePath
• data FileAttrs
• lastMod :: Lens' FileAttrs (TimeVal Seconds)
• relPath :: Lens' FileAttrs FilePath
• data File
  • = File FileAttrs (Maybe String) (Maybe Bytes)
  • | Directory (Map String File)
• data DirEntry = DirEntry FilePath File
• getFile :: FilePath -> IO File
• resource :: (?programName :: FilePath) => FilePath -> FilePath
• workingDirectory :: IO DirEntry
• data Location
  • = Here
  • | Cache
  • | Owner
  • | Shared
• pathTo :: (?programName :: FilePath) => Location -> FilePath
• getConfig :: (?programName :: FilePath) => IO File
• newtype FS a = FS {
  • runFS :: IO a
  }
• data Filesystem
• file :: String -> Lens' Filesystem File
• modTime :: FilePath -> IO (TimeVal Seconds)
• type PermMask = (Bool, Bool, Bool)
• data FilePermissions
• ownerPerms :: Lens' FilePermissions PermMask
• groupPerms :: Lens' FilePermissions PermMask
• otherPerms :: Lens' FilePermissions PermMask
• readPerm :: Lens' PermMask Bool
• writePerm :: Lens' PermMask Bool
• executePerm :: Lens' PermMask Bool
• runPermissionState :: FilePath -> State FilePermissions a -> IO a
• modifyPermissions :: FilePath -> (FilePermissions -> FilePermissions) -> IO ()
• getPermissions :: FilePath -> IO FilePermissions
• contents :: Traversal' File (Maybe String, Maybe Bytes)
• fileAttrs :: Traversal' File FileAttrs
• children :: Traversal' File (Map String File)
• child :: Traversal' File File
• descendant :: Fold' File File
• subEntry :: Traversal' DirEntry DirEntry
• anyEntry :: Fold' DirEntry DirEntry
• entryName :: Lens' DirEntry String
• entryFile :: Lens' DirEntry File
• named :: (String -> Bool) -> Traversal' DirEntry DirEntry
• withExtension :: String -> Traversal' DirEntry DirEntry
• fileName :: Lens' DirEntry String
• entry :: Lens' DirEntry File
• text :: Traversal' File String
• bytes :: Traversal' File Bytes

Exported modules and functions

The File interface

A useful monad for manipulating the filesystem as a state

runFS $ (file "x.bmp".bytes.serial.from bmp) ^>= \r ->
    file "foo".bytes.serial.from jpg =- r

Status and PermMask

Useful Lenses