Safe Haskell	Safe-Inferred
Language	Haskell2010

Uniform.FileStrings

Contents

Orphan instances

Synopsis

data Abs
data Rel
data File
data Dir
toFilePath :: Path b t -> FilePath
data Path b t
callIO :: IO a -> ErrIO a
type ErrIO = ExceptT Text IO
class Eq (ExtensionType fp) => Extensions fp where
- type ExtensionType fp
- getExtension :: fp -> ExtensionType fp
- removeExtension :: fp -> fp
- addExtension :: ExtensionType fp -> fp -> fp
- (<.>) :: fp -> ExtensionType fp -> fp
- setExtension :: ExtensionType fp -> fp -> fp
- hasExtension :: ExtensionType fp -> fp -> Bool
- prop_add_has :: ExtensionType fp -> fp -> Bool
- prop_add_add_has :: ExtensionType fp -> ExtensionType fp -> fp -> Bool
- prop_set_get :: ExtensionType fp -> fp -> Bool
class Filenames1 fp where
- getImmediateParentDir :: fp -> FilePath
- getParentDir :: fp -> FilePath
- getNakedFileName :: fp -> FilePath
- getNakedDir :: fp -> FilePath
class Filenames4 fp file where
- type FileResultT4 fp file
- addDir :: fp -> file -> FileResultT4 fp file
class Filenames5 dir fil res where
- stripPrefix :: dir -> fil -> Maybe res
class Filenames3 fp file where
- type FileResultT fp file
- (</>), addFileName :: fp -> file -> FileResultT fp file
class Filenames fp fr where
- getFileName :: fp -> fr
newtype Extension = Extension FilePath
takeBaseName' :: FilePath -> FilePath
homeDir :: Path Abs Dir
homeDir2 :: ErrIO (Path Abs Dir)
currentDir :: ErrIO (Path Abs Dir)
setCurrentDir :: Path Abs Dir -> ErrIO ()
stripProperPrefix' :: Path b Dir -> Path b t -> ErrIO (Path Rel t)
stripProperPrefixMaybe :: Path b Dir -> Path b t -> Maybe (Path Rel t)
unPath :: a -> a
makeRelFile :: FilePath -> Path Rel File
makeRelDir :: FilePath -> Path Rel Dir
makeAbsFile :: FilePath -> Path Abs File
makeAbsDir :: FilePath -> Path Abs Dir
makeRelFileT :: Text -> Path Rel File
makeRelDirT :: Text -> Path Rel Dir
makeAbsFileT :: Text -> Path Abs File
makeAbsDirT :: Text -> Path Abs Dir
toShortFilePath :: Path df ar -> FilePath
unExtension :: Extension -> FilePath
makeExtension :: FilePath -> Extension
makeExtensionT :: Text -> Extension
module Uniform.FileIOalgebra
data IOMode
- = ReadMode
- | WriteMode
- | AppendMode
- | ReadWriteMode
closeFile2 :: Handle -> ErrIO ()
listDir' :: (MonadIO m, MonadThrow m) => Path b Dir -> m ([Path Abs Dir], [Path Abs File])
hGetLine :: Handle -> IO Text
hPutStr :: Handle -> Text -> IO ()

Documentation

data Abs #

An absolute path.

Instances

Instances details

Data Abs
Instance details Defined in Path.Posix Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Abs -> c Abs # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Abs # toConstr :: Abs -> Constr # dataTypeOf :: Abs -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Abs) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Abs) # gmapT :: (forall b. Data b => b -> b) -> Abs -> Abs # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Abs -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Abs -> r # gmapQ :: (forall d. Data d => d -> u) -> Abs -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Abs -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Abs -> m Abs # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Abs -> m Abs # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Abs -> m Abs #
FromJSON (Path Abs Dir)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (Path Abs Dir) # parseJSONList :: Value -> Parser [Path Abs Dir] #
FromJSON (Path Abs File)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (Path Abs File) # parseJSONList :: Value -> Parser [Path Abs File] #
FromJSONKey (Path Abs Dir)
Instance details Defined in Path.Posix Methods fromJSONKey :: FromJSONKeyFunction (Path Abs Dir) # fromJSONKeyList :: FromJSONKeyFunction [Path Abs Dir] #
FromJSONKey (Path Abs File)
Instance details Defined in Path.Posix Methods fromJSONKey :: FromJSONKeyFunction (Path Abs File) # fromJSONKeyList :: FromJSONKeyFunction [Path Abs File] #
Read (Path Abs Dir) Source #
Instance details Defined in Uniform.PathShowCase Methods readsPrec :: Int -> ReadS (Path Abs Dir) # readList :: ReadS [Path Abs Dir] # readPrec :: ReadPrec (Path Abs Dir) # readListPrec :: ReadPrec [Path Abs Dir] #
Read (Path Abs File) Source #
Instance details Defined in Uniform.PathShowCase Methods readsPrec :: Int -> ReadS (Path Abs File) # readList :: ReadS [Path Abs File] # readPrec :: ReadPrec (Path Abs File) # readListPrec :: ReadPrec [Path Abs File] #
Show (Path Abs Dir) Source #
Instance details Defined in Uniform.PathShowCase Methods showsPrec :: Int -> Path Abs Dir -> ShowS # show :: Path Abs Dir -> String # showList :: [Path Abs Dir] -> ShowS #
Show (Path Abs File) Source #
Instance details Defined in Uniform.PathShowCase Methods showsPrec :: Int -> Path Abs File -> ShowS # show :: Path Abs File -> String # showList :: [Path Abs File] -> ShowS #
Zeros (Path Abs Dir) Source #
Instance details Defined in Uniform.Filenames Methods zero :: Path Abs Dir # isZero :: Path Abs Dir -> Bool # notZero :: Path Abs Dir -> Bool #
Zeros (Path Abs File) Source #
Instance details Defined in Uniform.Filenames Methods zero :: Path Abs File # isZero :: Path Abs File -> Bool # notZero :: Path Abs File -> Bool #
DirOps (Path Abs Dir) Source #
Instance details Defined in Uniform.FileStrings Methods doesDirExist' :: Path Abs Dir -> ErrIO Bool Source # createDir' :: Path Abs Dir -> ErrIO () Source # createDirIfMissing' :: Path Abs Dir -> ErrIO () Source # renameDir' :: Path Abs Dir -> Path Abs Dir -> ErrIO () Source # getDirectoryDirs' :: Path Abs Dir -> ErrIO [Path Abs Dir] Source # getDirectoryDirsNonHidden' :: Path Abs Dir -> ErrIO [Path Abs Dir] Source # copyDirRecursive :: Path Abs Dir -> Path Abs Dir -> ErrIO () Source # deleteDirRecursive :: Path Abs Dir -> ErrIO () Source #
FileOps2a (Path Abs Dir) (Path Abs File) Source #
Instance details Defined in Uniform.FileStrings Methods getDirContentFiles :: Path Abs Dir -> ErrIO [Path Abs File] Source # getDirContentNonHiddenFiles :: Path Abs Dir -> ErrIO [Path Abs File] Source #

data Rel #

A relative path; one without a root. Note that a .. path component to represent the parent directory is not allowed by this library.

Instances

Instances details

Data Rel
Instance details Defined in Path.Posix Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Rel -> c Rel # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Rel # toConstr :: Rel -> Constr # dataTypeOf :: Rel -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Rel) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Rel) # gmapT :: (forall b. Data b => b -> b) -> Rel -> Rel # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Rel -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Rel -> r # gmapQ :: (forall d. Data d => d -> u) -> Rel -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Rel -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Rel -> m Rel # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Rel -> m Rel # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Rel -> m Rel #
FromJSON (Path Rel Dir)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (Path Rel Dir) # parseJSONList :: Value -> Parser [Path Rel Dir] #
FromJSON (Path Rel File)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (Path Rel File) # parseJSONList :: Value -> Parser [Path Rel File] #
FromJSONKey (Path Rel Dir)
Instance details Defined in Path.Posix Methods fromJSONKey :: FromJSONKeyFunction (Path Rel Dir) # fromJSONKeyList :: FromJSONKeyFunction [Path Rel Dir] #
FromJSONKey (Path Rel File)
Instance details Defined in Path.Posix Methods fromJSONKey :: FromJSONKeyFunction (Path Rel File) # fromJSONKeyList :: FromJSONKeyFunction [Path Rel File] #
Read (Path Rel Dir) Source #
Instance details Defined in Uniform.PathShowCase Methods readsPrec :: Int -> ReadS (Path Rel Dir) # readList :: ReadS [Path Rel Dir] # readPrec :: ReadPrec (Path Rel Dir) # readListPrec :: ReadPrec [Path Rel Dir] #
Read (Path Rel File) Source #
Instance details Defined in Uniform.PathShowCase Methods readsPrec :: Int -> ReadS (Path Rel File) # readList :: ReadS [Path Rel File] # readPrec :: ReadPrec (Path Rel File) # readListPrec :: ReadPrec [Path Rel File] #
Show (Path Rel Dir) Source #
Instance details Defined in Uniform.PathShowCase Methods showsPrec :: Int -> Path Rel Dir -> ShowS # show :: Path Rel Dir -> String # showList :: [Path Rel Dir] -> ShowS #
Show (Path Rel File) Source #
Instance details Defined in Uniform.PathShowCase Methods showsPrec :: Int -> Path Rel File -> ShowS # show :: Path Rel File -> String # showList :: [Path Rel File] -> ShowS #
Zeros (Path Rel Dir) Source #
Instance details Defined in Uniform.Filenames Methods zero :: Path Rel Dir # isZero :: Path Rel Dir -> Bool # notZero :: Path Rel Dir -> Bool #
Zeros (Path Rel File) Source #
Instance details Defined in Uniform.Filenames Methods zero :: Path Rel File # isZero :: Path Rel File -> Bool # notZero :: Path Rel File -> Bool #
DirOps (Path Rel Dir) Source #
Instance details Defined in Uniform.FileStrings Methods doesDirExist' :: Path Rel Dir -> ErrIO Bool Source # createDir' :: Path Rel Dir -> ErrIO () Source # createDirIfMissing' :: Path Rel Dir -> ErrIO () Source # renameDir' :: Path Rel Dir -> Path Rel Dir -> ErrIO () Source # getDirectoryDirs' :: Path Rel Dir -> ErrIO [Path Rel Dir] Source # getDirectoryDirsNonHidden' :: Path Rel Dir -> ErrIO [Path Rel Dir] Source # copyDirRecursive :: Path Rel Dir -> Path Rel Dir -> ErrIO () Source # deleteDirRecursive :: Path Rel Dir -> ErrIO () Source #
FileOps2a (Path Rel Dir) (Path Rel File) Source #
Instance details Defined in Uniform.FileStrings Methods getDirContentFiles :: Path Rel Dir -> ErrIO [Path Rel File] Source # getDirContentNonHiddenFiles :: Path Rel Dir -> ErrIO [Path Rel File] Source #
Filenames (Path ar File) (Path Rel File) Source #
Instance details Defined in Uniform.Filenames Methods getFileName :: Path ar File -> Path Rel File Source #
Filenames3 (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT (Path b Dir) (Path Rel t) Source # Methods (</>) :: Path b Dir -> Path Rel t -> FileResultT (Path b Dir) (Path Rel t) Source # addFileName :: Path b Dir -> Path Rel t -> FileResultT (Path b Dir) (Path Rel t) Source #
Filenames4 (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT4 (Path b Dir) (Path Rel t) Source # Methods addDir :: Path b Dir -> Path Rel t -> FileResultT4 (Path b Dir) (Path Rel t) Source #
Filenames5 (Path b Dir) (Path b t) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames Methods stripPrefix :: Path b Dir -> Path b t -> Maybe (Path Rel t) Source #
type FileResultT (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames type FileResultT (Path b Dir) (Path Rel t) = Path b t
type FileResultT4 (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames type FileResultT4 (Path b Dir) (Path Rel t) = Path b t

data File #

A file path.

Instances

Instances details

Data File
Instance details Defined in Path.Posix Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> File -> c File # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c File # toConstr :: File -> Constr # dataTypeOf :: File -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c File) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c File) # gmapT :: (forall b. Data b => b -> b) -> File -> File # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> File -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> File -> r # gmapQ :: (forall d. Data d => d -> u) -> File -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> File -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> File -> m File # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> File -> m File # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> File -> m File #
FromJSON (SomeBase File)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (SomeBase File) # parseJSONList :: Value -> Parser [SomeBase File] #
AnyPath (SomeBase File)	Since: path-io-1.8.0
Instance details Defined in Path.IO Associated Types type AbsPath (SomeBase File) # type RelPath (SomeBase File) # Methods canonicalizePath :: MonadIO m => SomeBase File -> m (AbsPath (SomeBase File)) # makeAbsolute :: MonadIO m => SomeBase File -> m (AbsPath (SomeBase File)) # makeRelative :: MonadThrow m => Path Abs Dir -> SomeBase File -> m (RelPath (SomeBase File)) # makeRelativeToCurrentDir :: MonadIO m => SomeBase File -> m (RelPath (SomeBase File)) #
FromJSON (Path Abs File)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (Path Abs File) # parseJSONList :: Value -> Parser [Path Abs File] #
FromJSON (Path Rel File)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (Path Rel File) # parseJSONList :: Value -> Parser [Path Rel File] #
FromJSONKey (Path Abs File)
Instance details Defined in Path.Posix Methods fromJSONKey :: FromJSONKeyFunction (Path Abs File) # fromJSONKeyList :: FromJSONKeyFunction [Path Abs File] #
FromJSONKey (Path Rel File)
Instance details Defined in Path.Posix Methods fromJSONKey :: FromJSONKeyFunction (Path Rel File) # fromJSONKeyList :: FromJSONKeyFunction [Path Rel File] #
Read (Path Abs File) Source #
Instance details Defined in Uniform.PathShowCase Methods readsPrec :: Int -> ReadS (Path Abs File) # readList :: ReadS [Path Abs File] # readPrec :: ReadPrec (Path Abs File) # readListPrec :: ReadPrec [Path Abs File] #
Read (Path Rel File) Source #
Instance details Defined in Uniform.PathShowCase Methods readsPrec :: Int -> ReadS (Path Rel File) # readList :: ReadS [Path Rel File] # readPrec :: ReadPrec (Path Rel File) # readListPrec :: ReadPrec [Path Rel File] #
Show (Path Abs File) Source #
Instance details Defined in Uniform.PathShowCase Methods showsPrec :: Int -> Path Abs File -> ShowS # show :: Path Abs File -> String # showList :: [Path Abs File] -> ShowS #
Show (Path Rel File) Source #
Instance details Defined in Uniform.PathShowCase Methods showsPrec :: Int -> Path Rel File -> ShowS # show :: Path Rel File -> String # showList :: [Path Rel File] -> ShowS #
AnyPath (Path b File)
Instance details Defined in Path.IO Associated Types type AbsPath (Path b File) # type RelPath (Path b File) # Methods canonicalizePath :: MonadIO m => Path b File -> m (AbsPath (Path b File)) # makeAbsolute :: MonadIO m => Path b File -> m (AbsPath (Path b File)) # makeRelative :: MonadThrow m => Path Abs Dir -> Path b File -> m (RelPath (Path b File)) # makeRelativeToCurrentDir :: MonadIO m => Path b File -> m (RelPath (Path b File)) #
Zeros (Path Abs File) Source #
Instance details Defined in Uniform.Filenames Methods zero :: Path Abs File # isZero :: Path Abs File -> Bool # notZero :: Path Abs File -> Bool #
Zeros (Path Rel File) Source #
Instance details Defined in Uniform.Filenames Methods zero :: Path Rel File # isZero :: Path Rel File -> Bool # notZero :: Path Rel File -> Bool #
Show (Path ar File) => FileOps (Path ar File) Source #
Instance details Defined in Uniform.FileStrings Methods doesFileExist' :: Path ar File -> ErrIO Bool Source # copyOneFile :: Path ar File -> Path ar File -> ErrIO () Source # copyOneFileOver :: Path ar File -> Path ar File -> ErrIO () Source # renameOneFile :: Path ar File -> Path ar File -> ErrIO () Source # deleteFile :: Path ar File -> ErrIO () Source # getDirCont :: Path ar File -> ErrIO [Path ar File] Source # getDirContNonHidden :: Path ar File -> ErrIO [Path ar File] Source # getMD5 :: Path ar File -> ErrIO (Maybe Text) Source # getAppConfigDirectory :: ErrIO (Path ar File) Source # getSymbolicLinkStatus :: Path ar File -> ErrIO FileStatus Source # getFileAccess :: Path ar File -> (Bool, Bool, Bool) -> ErrIO Bool Source # getFileModificationTime :: Path ar File -> ErrIO EpochTime Source # getFileModificationUTCTime :: Path ar File -> ErrIO UTCTime Source # openFile2handle :: Path ar File -> IOMode -> ErrIO Handle Source #
Extensions (Path ar File) Source #
Instance details Defined in Uniform.Filenames Associated Types type ExtensionType (Path ar File) Source # Methods getExtension :: Path ar File -> ExtensionType (Path ar File) Source # removeExtension :: Path ar File -> Path ar File Source # addExtension :: ExtensionType (Path ar File) -> Path ar File -> Path ar File Source # (<.>) :: Path ar File -> ExtensionType (Path ar File) -> Path ar File Source # setExtension :: ExtensionType (Path ar File) -> Path ar File -> Path ar File Source # hasExtension :: ExtensionType (Path ar File) -> Path ar File -> Bool Source # prop_add_has :: ExtensionType (Path ar File) -> Path ar File -> Bool Source # prop_add_add_has :: ExtensionType (Path ar File) -> ExtensionType (Path ar File) -> Path ar File -> Bool Source # prop_set_get :: ExtensionType (Path ar File) -> Path ar File -> Bool Source #
Filenames1 (Path ar File) Source #
Instance details Defined in Uniform.Filenames Methods getImmediateParentDir :: Path ar File -> FilePath Source # getParentDir :: Path ar File -> FilePath Source # getNakedFileName :: Path ar File -> FilePath Source # getNakedDir :: Path ar File -> FilePath Source #
Show (Path ar File) => FileOps2 (Path ar File) ByteString Source #
Instance details Defined in Uniform.FileStrings Methods writeFile2 :: Path ar File -> ByteString -> ErrIO () Source # readFile2 :: Path ar File -> ErrIO ByteString Source # appendFile2 :: Path ar File -> ByteString -> ErrIO () Source # writeFileOrCreate2 :: Path ar File -> ByteString -> ErrIO () Source # readFileOrZero2 :: Path ar File -> ErrIO ByteString Source #
Show (Path ar File) => FileOps2 (Path ar File) Text Source #
Instance details Defined in Uniform.FileStrings Methods writeFile2 :: Path ar File -> Text -> ErrIO () Source # readFile2 :: Path ar File -> ErrIO Text Source # appendFile2 :: Path ar File -> Text -> ErrIO () Source # writeFileOrCreate2 :: Path ar File -> Text -> ErrIO () Source # readFileOrZero2 :: Path ar File -> ErrIO Text Source #
Show (Path ar File) => FileOps2 (Path ar File) String Source #
Instance details Defined in Uniform.FileStrings Methods writeFile2 :: Path ar File -> String -> ErrIO () Source # readFile2 :: Path ar File -> ErrIO String Source # appendFile2 :: Path ar File -> String -> ErrIO () Source # writeFileOrCreate2 :: Path ar File -> String -> ErrIO () Source # readFileOrZero2 :: Path ar File -> ErrIO String Source #
FileOps2a (Path Abs Dir) (Path Abs File) Source #
Instance details Defined in Uniform.FileStrings Methods getDirContentFiles :: Path Abs Dir -> ErrIO [Path Abs File] Source # getDirContentNonHiddenFiles :: Path Abs Dir -> ErrIO [Path Abs File] Source #
FileOps2a (Path Rel Dir) (Path Rel File) Source #
Instance details Defined in Uniform.FileStrings Methods getDirContentFiles :: Path Rel Dir -> ErrIO [Path Rel File] Source # getDirContentNonHiddenFiles :: Path Rel Dir -> ErrIO [Path Rel File] Source #
Filenames (Path ar File) (Path Rel File) Source #
Instance details Defined in Uniform.Filenames Methods getFileName :: Path ar File -> Path Rel File Source #
type AbsPath (SomeBase File)
Instance details Defined in Path.IO type AbsPath (SomeBase File) = Path Abs File
type RelPath (SomeBase File)
Instance details Defined in Path.IO type RelPath (SomeBase File) = Path Rel File
type AbsPath (Path b File)
Instance details Defined in Path.IO type AbsPath (Path b File) = Path Abs File
type RelPath (Path b File)
Instance details Defined in Path.IO type RelPath (Path b File) = Path Rel File
type ExtensionType (Path ar File) Source #
Instance details Defined in Uniform.Filenames type ExtensionType (Path ar File) = Extension

data Dir #

A directory path.

Instances

Instances details

Data Dir
Instance details Defined in Path.Posix Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Dir -> c Dir # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Dir # toConstr :: Dir -> Constr # dataTypeOf :: Dir -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Dir) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Dir) # gmapT :: (forall b. Data b => b -> b) -> Dir -> Dir # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Dir -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Dir -> r # gmapQ :: (forall d. Data d => d -> u) -> Dir -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Dir -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Dir -> m Dir # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Dir -> m Dir # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Dir -> m Dir #
FromJSON (SomeBase Dir)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (SomeBase Dir) # parseJSONList :: Value -> Parser [SomeBase Dir] #
AnyPath (SomeBase Dir)	Since: path-io-1.8.0
Instance details Defined in Path.IO Associated Types type AbsPath (SomeBase Dir) # type RelPath (SomeBase Dir) # Methods canonicalizePath :: MonadIO m => SomeBase Dir -> m (AbsPath (SomeBase Dir)) # makeAbsolute :: MonadIO m => SomeBase Dir -> m (AbsPath (SomeBase Dir)) # makeRelative :: MonadThrow m => Path Abs Dir -> SomeBase Dir -> m (RelPath (SomeBase Dir)) # makeRelativeToCurrentDir :: MonadIO m => SomeBase Dir -> m (RelPath (SomeBase Dir)) #
FromJSON (Path Abs Dir)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (Path Abs Dir) # parseJSONList :: Value -> Parser [Path Abs Dir] #
FromJSON (Path Rel Dir)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (Path Rel Dir) # parseJSONList :: Value -> Parser [Path Rel Dir] #
FromJSONKey (Path Abs Dir)
Instance details Defined in Path.Posix Methods fromJSONKey :: FromJSONKeyFunction (Path Abs Dir) # fromJSONKeyList :: FromJSONKeyFunction [Path Abs Dir] #
FromJSONKey (Path Rel Dir)
Instance details Defined in Path.Posix Methods fromJSONKey :: FromJSONKeyFunction (Path Rel Dir) # fromJSONKeyList :: FromJSONKeyFunction [Path Rel Dir] #
Read (Path Abs Dir) Source #
Instance details Defined in Uniform.PathShowCase Methods readsPrec :: Int -> ReadS (Path Abs Dir) # readList :: ReadS [Path Abs Dir] # readPrec :: ReadPrec (Path Abs Dir) # readListPrec :: ReadPrec [Path Abs Dir] #
Read (Path Rel Dir) Source #
Instance details Defined in Uniform.PathShowCase Methods readsPrec :: Int -> ReadS (Path Rel Dir) # readList :: ReadS [Path Rel Dir] # readPrec :: ReadPrec (Path Rel Dir) # readListPrec :: ReadPrec [Path Rel Dir] #
Show (Path Abs Dir) Source #
Instance details Defined in Uniform.PathShowCase Methods showsPrec :: Int -> Path Abs Dir -> ShowS # show :: Path Abs Dir -> String # showList :: [Path Abs Dir] -> ShowS #
Show (Path Rel Dir) Source #
Instance details Defined in Uniform.PathShowCase Methods showsPrec :: Int -> Path Rel Dir -> ShowS # show :: Path Rel Dir -> String # showList :: [Path Rel Dir] -> ShowS #
AnyPath (Path b Dir)
Instance details Defined in Path.IO Associated Types type AbsPath (Path b Dir) # type RelPath (Path b Dir) # Methods canonicalizePath :: MonadIO m => Path b Dir -> m (AbsPath (Path b Dir)) # makeAbsolute :: MonadIO m => Path b Dir -> m (AbsPath (Path b Dir)) # makeRelative :: MonadThrow m => Path Abs Dir -> Path b Dir -> m (RelPath (Path b Dir)) # makeRelativeToCurrentDir :: MonadIO m => Path b Dir -> m (RelPath (Path b Dir)) #
Zeros (Path Abs Dir) Source #
Instance details Defined in Uniform.Filenames Methods zero :: Path Abs Dir # isZero :: Path Abs Dir -> Bool # notZero :: Path Abs Dir -> Bool #
Zeros (Path Rel Dir) Source #
Instance details Defined in Uniform.Filenames Methods zero :: Path Rel Dir # isZero :: Path Rel Dir -> Bool # notZero :: Path Rel Dir -> Bool #
DirOps (Path Abs Dir) Source #
Instance details Defined in Uniform.FileStrings Methods doesDirExist' :: Path Abs Dir -> ErrIO Bool Source # createDir' :: Path Abs Dir -> ErrIO () Source # createDirIfMissing' :: Path Abs Dir -> ErrIO () Source # renameDir' :: Path Abs Dir -> Path Abs Dir -> ErrIO () Source # getDirectoryDirs' :: Path Abs Dir -> ErrIO [Path Abs Dir] Source # getDirectoryDirsNonHidden' :: Path Abs Dir -> ErrIO [Path Abs Dir] Source # copyDirRecursive :: Path Abs Dir -> Path Abs Dir -> ErrIO () Source # deleteDirRecursive :: Path Abs Dir -> ErrIO () Source #
DirOps (Path Rel Dir) Source #
Instance details Defined in Uniform.FileStrings Methods doesDirExist' :: Path Rel Dir -> ErrIO Bool Source # createDir' :: Path Rel Dir -> ErrIO () Source # createDirIfMissing' :: Path Rel Dir -> ErrIO () Source # renameDir' :: Path Rel Dir -> Path Rel Dir -> ErrIO () Source # getDirectoryDirs' :: Path Rel Dir -> ErrIO [Path Rel Dir] Source # getDirectoryDirsNonHidden' :: Path Rel Dir -> ErrIO [Path Rel Dir] Source # copyDirRecursive :: Path Rel Dir -> Path Rel Dir -> ErrIO () Source # deleteDirRecursive :: Path Rel Dir -> ErrIO () Source #
Filenames1 (Path ar Dir) Source #
Instance details Defined in Uniform.Filenames Methods getImmediateParentDir :: Path ar Dir -> FilePath Source # getParentDir :: Path ar Dir -> FilePath Source # getNakedFileName :: Path ar Dir -> FilePath Source # getNakedDir :: Path ar Dir -> FilePath Source #
Filenames3 (Path b Dir) FilePath Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT (Path b Dir) FilePath Source # Methods (</>) :: Path b Dir -> FilePath -> FileResultT (Path b Dir) FilePath Source # addFileName :: Path b Dir -> FilePath -> FileResultT (Path b Dir) FilePath Source #
Filenames4 (Path b Dir) FilePath Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT4 (Path b Dir) FilePath Source # Methods addDir :: Path b Dir -> FilePath -> FileResultT4 (Path b Dir) FilePath Source #
FileOps2a (Path Abs Dir) (Path Abs File) Source #
Instance details Defined in Uniform.FileStrings Methods getDirContentFiles :: Path Abs Dir -> ErrIO [Path Abs File] Source # getDirContentNonHiddenFiles :: Path Abs Dir -> ErrIO [Path Abs File] Source #
FileOps2a (Path Rel Dir) (Path Rel File) Source #
Instance details Defined in Uniform.FileStrings Methods getDirContentFiles :: Path Rel Dir -> ErrIO [Path Rel File] Source # getDirContentNonHiddenFiles :: Path Rel Dir -> ErrIO [Path Rel File] Source #
Filenames3 (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT (Path b Dir) (Path Rel t) Source # Methods (</>) :: Path b Dir -> Path Rel t -> FileResultT (Path b Dir) (Path Rel t) Source # addFileName :: Path b Dir -> Path Rel t -> FileResultT (Path b Dir) (Path Rel t) Source #
Filenames4 (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT4 (Path b Dir) (Path Rel t) Source # Methods addDir :: Path b Dir -> Path Rel t -> FileResultT4 (Path b Dir) (Path Rel t) Source #
Filenames5 (Path b Dir) (Path b t) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames Methods stripPrefix :: Path b Dir -> Path b t -> Maybe (Path Rel t) Source #
type AbsPath (SomeBase Dir)
Instance details Defined in Path.IO type AbsPath (SomeBase Dir) = Path Abs Dir
type RelPath (SomeBase Dir)
Instance details Defined in Path.IO type RelPath (SomeBase Dir) = Path Rel Dir
type AbsPath (Path b Dir)
Instance details Defined in Path.IO type AbsPath (Path b Dir) = Path Abs Dir
type RelPath (Path b Dir)
Instance details Defined in Path.IO type RelPath (Path b Dir) = Path Rel Dir
type FileResultT (Path b Dir) FilePath Source #
Instance details Defined in Uniform.Filenames type FileResultT (Path b Dir) FilePath = Path b File
type FileResultT4 (Path b Dir) FilePath Source #
Instance details Defined in Uniform.Filenames type FileResultT4 (Path b Dir) FilePath = Path b Dir
type FileResultT (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames type FileResultT (Path b Dir) (Path Rel t) = Path b t
type FileResultT4 (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames type FileResultT4 (Path b Dir) (Path Rel t) = Path b t

toFilePath :: Path b t -> FilePath #

Convert to a FilePath type.

All directories have a trailing slash, so if you want no trailing slash, you can use dropTrailingPathSeparator from the filepath package.

data Path b t #

Path of some base and type.

The type variables are:

b — base, the base location of the path; absolute or relative.
t — type, whether file or directory.

Internally is a string. The string can be of two formats only:

File format: file.txt, foo/bar.txt, /foo/bar.txt
Directory format: foo/, /foo/bar/

All directories end in a trailing separator. There are no duplicate path separators //, no .., no ./, no ~/, etc.

Instances

Instances details

(Typeable b, Typeable t) => Lift (Path b t :: TYPE LiftedRep)
Instance details Defined in Path.Internal.Posix Methods lift :: Quote m => Path b t -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Path b t -> Code m (Path b t) #
FromJSON (Path Abs Dir)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (Path Abs Dir) # parseJSONList :: Value -> Parser [Path Abs Dir] #
FromJSON (Path Abs File)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (Path Abs File) # parseJSONList :: Value -> Parser [Path Abs File] #
FromJSON (Path Rel Dir)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (Path Rel Dir) # parseJSONList :: Value -> Parser [Path Rel Dir] #
FromJSON (Path Rel File)
Instance details Defined in Path.Posix Methods parseJSON :: Value -> Parser (Path Rel File) # parseJSONList :: Value -> Parser [Path Rel File] #
FromJSONKey (Path Abs Dir)
Instance details Defined in Path.Posix Methods fromJSONKey :: FromJSONKeyFunction (Path Abs Dir) # fromJSONKeyList :: FromJSONKeyFunction [Path Abs Dir] #
FromJSONKey (Path Abs File)
Instance details Defined in Path.Posix Methods fromJSONKey :: FromJSONKeyFunction (Path Abs File) # fromJSONKeyList :: FromJSONKeyFunction [Path Abs File] #
FromJSONKey (Path Rel Dir)
Instance details Defined in Path.Posix Methods fromJSONKey :: FromJSONKeyFunction (Path Rel Dir) # fromJSONKeyList :: FromJSONKeyFunction [Path Rel Dir] #
FromJSONKey (Path Rel File)
Instance details Defined in Path.Posix Methods fromJSONKey :: FromJSONKeyFunction (Path Rel File) # fromJSONKeyList :: FromJSONKeyFunction [Path Rel File] #
ToJSON (Path b t)
Instance details Defined in Path.Internal.Posix Methods toJSON :: Path b t -> Value # toEncoding :: Path b t -> Encoding # toJSONList :: [Path b t] -> Value # toEncodingList :: [Path b t] -> Encoding #
ToJSONKey (Path b t)
Instance details Defined in Path.Internal.Posix Methods toJSONKey :: ToJSONKeyFunction (Path b t) # toJSONKeyList :: ToJSONKeyFunction [Path b t] #
(Data b, Data t) => Data (Path b t)
Instance details Defined in Path.Internal.Posix Methods gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Path b t -> c (Path b t) # gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Path b t) # toConstr :: Path b t -> Constr # dataTypeOf :: Path b t -> DataType # dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (Path b t)) # dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (Path b t)) # gmapT :: (forall b0. Data b0 => b0 -> b0) -> Path b t -> Path b t # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Path b t -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Path b t -> r # gmapQ :: (forall d. Data d => d -> u) -> Path b t -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Path b t -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Path b t -> m (Path b t) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Path b t -> m (Path b t) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Path b t -> m (Path b t) #
Generic (Path b t)
Instance details Defined in Path.Internal.Posix Associated Types type Rep (Path b t) :: Type -> Type # Methods from :: Path b t -> Rep (Path b t) x # to :: Rep (Path b t) x -> Path b t #
Read (Path Abs Dir) Source #
Instance details Defined in Uniform.PathShowCase Methods readsPrec :: Int -> ReadS (Path Abs Dir) # readList :: ReadS [Path Abs Dir] # readPrec :: ReadPrec (Path Abs Dir) # readListPrec :: ReadPrec [Path Abs Dir] #
Read (Path Abs File) Source #
Instance details Defined in Uniform.PathShowCase Methods readsPrec :: Int -> ReadS (Path Abs File) # readList :: ReadS [Path Abs File] # readPrec :: ReadPrec (Path Abs File) # readListPrec :: ReadPrec [Path Abs File] #
Read (Path Rel Dir) Source #
Instance details Defined in Uniform.PathShowCase Methods readsPrec :: Int -> ReadS (Path Rel Dir) # readList :: ReadS [Path Rel Dir] # readPrec :: ReadPrec (Path Rel Dir) # readListPrec :: ReadPrec [Path Rel Dir] #
Read (Path Rel File) Source #
Instance details Defined in Uniform.PathShowCase Methods readsPrec :: Int -> ReadS (Path Rel File) # readList :: ReadS [Path Rel File] # readPrec :: ReadPrec (Path Rel File) # readListPrec :: ReadPrec [Path Rel File] #
Show (Path Abs Dir) Source #
Instance details Defined in Uniform.PathShowCase Methods showsPrec :: Int -> Path Abs Dir -> ShowS # show :: Path Abs Dir -> String # showList :: [Path Abs Dir] -> ShowS #
Show (Path Abs File) Source #
Instance details Defined in Uniform.PathShowCase Methods showsPrec :: Int -> Path Abs File -> ShowS # show :: Path Abs File -> String # showList :: [Path Abs File] -> ShowS #
Show (Path Rel Dir) Source #
Instance details Defined in Uniform.PathShowCase Methods showsPrec :: Int -> Path Rel Dir -> ShowS # show :: Path Rel Dir -> String # showList :: [Path Rel Dir] -> ShowS #
Show (Path Rel File) Source #
Instance details Defined in Uniform.PathShowCase Methods showsPrec :: Int -> Path Rel File -> ShowS # show :: Path Rel File -> String # showList :: [Path Rel File] -> ShowS #
Show (Path b t)	Same as 'show . Path.toFilePath'. The following property holds: x == y ≡ show x == show y
Instance details Defined in Path.Internal.Posix Methods showsPrec :: Int -> Path b t -> ShowS # show :: Path b t -> String # showList :: [Path b t] -> ShowS #
NFData (Path b t)
Instance details Defined in Path.Internal.Posix Methods rnf :: Path b t -> () #
Eq (Path b t)	String equality. The following property holds: show x == show y ≡ x == y
Instance details Defined in Path.Internal.Posix Methods (==) :: Path b t -> Path b t -> Bool # (/=) :: Path b t -> Path b t -> Bool #
Ord (Path b t)	String ordering. The following property holds: show x `compare` show y ≡ x `compare` y
Instance details Defined in Path.Internal.Posix Methods compare :: Path b t -> Path b t -> Ordering # (<) :: Path b t -> Path b t -> Bool # (<=) :: Path b t -> Path b t -> Bool # (>) :: Path b t -> Path b t -> Bool # (>=) :: Path b t -> Path b t -> Bool # max :: Path b t -> Path b t -> Path b t # min :: Path b t -> Path b t -> Path b t #
Hashable (Path b t)
Instance details Defined in Path.Internal.Posix Methods hashWithSalt :: Int -> Path b t -> Int # hash :: Path b t -> Int #
AnyPath (Path b Dir)
Instance details Defined in Path.IO Associated Types type AbsPath (Path b Dir) # type RelPath (Path b Dir) # Methods canonicalizePath :: MonadIO m => Path b Dir -> m (AbsPath (Path b Dir)) # makeAbsolute :: MonadIO m => Path b Dir -> m (AbsPath (Path b Dir)) # makeRelative :: MonadThrow m => Path Abs Dir -> Path b Dir -> m (RelPath (Path b Dir)) # makeRelativeToCurrentDir :: MonadIO m => Path b Dir -> m (RelPath (Path b Dir)) #
AnyPath (Path b File)
Instance details Defined in Path.IO Associated Types type AbsPath (Path b File) # type RelPath (Path b File) # Methods canonicalizePath :: MonadIO m => Path b File -> m (AbsPath (Path b File)) # makeAbsolute :: MonadIO m => Path b File -> m (AbsPath (Path b File)) # makeRelative :: MonadThrow m => Path Abs Dir -> Path b File -> m (RelPath (Path b File)) # makeRelativeToCurrentDir :: MonadIO m => Path b File -> m (RelPath (Path b File)) #
Zeros (Path Abs Dir) Source #
Instance details Defined in Uniform.Filenames Methods zero :: Path Abs Dir # isZero :: Path Abs Dir -> Bool # notZero :: Path Abs Dir -> Bool #
Zeros (Path Abs File) Source #
Instance details Defined in Uniform.Filenames Methods zero :: Path Abs File # isZero :: Path Abs File -> Bool # notZero :: Path Abs File -> Bool #
Zeros (Path Rel Dir) Source #
Instance details Defined in Uniform.Filenames Methods zero :: Path Rel Dir # isZero :: Path Rel Dir -> Bool # notZero :: Path Rel Dir -> Bool #
Zeros (Path Rel File) Source #
Instance details Defined in Uniform.Filenames Methods zero :: Path Rel File # isZero :: Path Rel File -> Bool # notZero :: Path Rel File -> Bool #
DirOps (Path Abs Dir) Source #
Instance details Defined in Uniform.FileStrings Methods doesDirExist' :: Path Abs Dir -> ErrIO Bool Source # createDir' :: Path Abs Dir -> ErrIO () Source # createDirIfMissing' :: Path Abs Dir -> ErrIO () Source # renameDir' :: Path Abs Dir -> Path Abs Dir -> ErrIO () Source # getDirectoryDirs' :: Path Abs Dir -> ErrIO [Path Abs Dir] Source # getDirectoryDirsNonHidden' :: Path Abs Dir -> ErrIO [Path Abs Dir] Source # copyDirRecursive :: Path Abs Dir -> Path Abs Dir -> ErrIO () Source # deleteDirRecursive :: Path Abs Dir -> ErrIO () Source #
DirOps (Path Rel Dir) Source #
Instance details Defined in Uniform.FileStrings Methods doesDirExist' :: Path Rel Dir -> ErrIO Bool Source # createDir' :: Path Rel Dir -> ErrIO () Source # createDirIfMissing' :: Path Rel Dir -> ErrIO () Source # renameDir' :: Path Rel Dir -> Path Rel Dir -> ErrIO () Source # getDirectoryDirs' :: Path Rel Dir -> ErrIO [Path Rel Dir] Source # getDirectoryDirsNonHidden' :: Path Rel Dir -> ErrIO [Path Rel Dir] Source # copyDirRecursive :: Path Rel Dir -> Path Rel Dir -> ErrIO () Source # deleteDirRecursive :: Path Rel Dir -> ErrIO () Source #
Show (Path ar File) => FileOps (Path ar File) Source #
Instance details Defined in Uniform.FileStrings Methods doesFileExist' :: Path ar File -> ErrIO Bool Source # copyOneFile :: Path ar File -> Path ar File -> ErrIO () Source # copyOneFileOver :: Path ar File -> Path ar File -> ErrIO () Source # renameOneFile :: Path ar File -> Path ar File -> ErrIO () Source # deleteFile :: Path ar File -> ErrIO () Source # getDirCont :: Path ar File -> ErrIO [Path ar File] Source # getDirContNonHidden :: Path ar File -> ErrIO [Path ar File] Source # getMD5 :: Path ar File -> ErrIO (Maybe Text) Source # getAppConfigDirectory :: ErrIO (Path ar File) Source # getSymbolicLinkStatus :: Path ar File -> ErrIO FileStatus Source # getFileAccess :: Path ar File -> (Bool, Bool, Bool) -> ErrIO Bool Source # getFileModificationTime :: Path ar File -> ErrIO EpochTime Source # getFileModificationUTCTime :: Path ar File -> ErrIO UTCTime Source # openFile2handle :: Path ar File -> IOMode -> ErrIO Handle Source #
FileSystemOps (Path ar df) Source #
Instance details Defined in Uniform.FileStrings Methods getPermissions' :: Path ar df -> ErrIO Permissions Source # checkSymbolicLink :: Path ar df -> ErrIO Bool Source #
Extensions (Path ar File) Source #
Instance details Defined in Uniform.Filenames Associated Types type ExtensionType (Path ar File) Source # Methods getExtension :: Path ar File -> ExtensionType (Path ar File) Source # removeExtension :: Path ar File -> Path ar File Source # addExtension :: ExtensionType (Path ar File) -> Path ar File -> Path ar File Source # (<.>) :: Path ar File -> ExtensionType (Path ar File) -> Path ar File Source # setExtension :: ExtensionType (Path ar File) -> Path ar File -> Path ar File Source # hasExtension :: ExtensionType (Path ar File) -> Path ar File -> Bool Source # prop_add_has :: ExtensionType (Path ar File) -> Path ar File -> Bool Source # prop_add_add_has :: ExtensionType (Path ar File) -> ExtensionType (Path ar File) -> Path ar File -> Bool Source # prop_set_get :: ExtensionType (Path ar File) -> Path ar File -> Bool Source #
Filenames1 (Path ar Dir) Source #
Instance details Defined in Uniform.Filenames Methods getImmediateParentDir :: Path ar Dir -> FilePath Source # getParentDir :: Path ar Dir -> FilePath Source # getNakedFileName :: Path ar Dir -> FilePath Source # getNakedDir :: Path ar Dir -> FilePath Source #
Filenames1 (Path ar File) Source #
Instance details Defined in Uniform.Filenames Methods getImmediateParentDir :: Path ar File -> FilePath Source # getParentDir :: Path ar File -> FilePath Source # getNakedFileName :: Path ar File -> FilePath Source # getNakedDir :: Path ar File -> FilePath Source #
NiceStrings (Path a b) Source #
Instance details Defined in Uniform.PathShowCase Methods shownice :: Path a b -> Text # showNice :: Path a b -> Text # showlong :: Path a b -> Text #
PrettyStrings (Path a b) Source #
Instance details Defined in Uniform.PathShowCase Methods showPretty :: Path a b -> Text #
Show (Path ar File) => FileOps2 (Path ar File) ByteString Source #
Instance details Defined in Uniform.FileStrings Methods writeFile2 :: Path ar File -> ByteString -> ErrIO () Source # readFile2 :: Path ar File -> ErrIO ByteString Source # appendFile2 :: Path ar File -> ByteString -> ErrIO () Source # writeFileOrCreate2 :: Path ar File -> ByteString -> ErrIO () Source # readFileOrZero2 :: Path ar File -> ErrIO ByteString Source #
Show (Path ar File) => FileOps2 (Path ar File) Text Source #
Instance details Defined in Uniform.FileStrings Methods writeFile2 :: Path ar File -> Text -> ErrIO () Source # readFile2 :: Path ar File -> ErrIO Text Source # appendFile2 :: Path ar File -> Text -> ErrIO () Source # writeFileOrCreate2 :: Path ar File -> Text -> ErrIO () Source # readFileOrZero2 :: Path ar File -> ErrIO Text Source #
Show (Path ar File) => FileOps2 (Path ar File) String Source #
Instance details Defined in Uniform.FileStrings Methods writeFile2 :: Path ar File -> String -> ErrIO () Source # readFile2 :: Path ar File -> ErrIO String Source # appendFile2 :: Path ar File -> String -> ErrIO () Source # writeFileOrCreate2 :: Path ar File -> String -> ErrIO () Source # readFileOrZero2 :: Path ar File -> ErrIO String Source #
Filenames3 (Path b Dir) FilePath Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT (Path b Dir) FilePath Source # Methods (</>) :: Path b Dir -> FilePath -> FileResultT (Path b Dir) FilePath Source # addFileName :: Path b Dir -> FilePath -> FileResultT (Path b Dir) FilePath Source #
Filenames4 (Path b Dir) FilePath Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT4 (Path b Dir) FilePath Source # Methods addDir :: Path b Dir -> FilePath -> FileResultT4 (Path b Dir) FilePath Source #
FileOps2a (Path Abs Dir) (Path Abs File) Source #
Instance details Defined in Uniform.FileStrings Methods getDirContentFiles :: Path Abs Dir -> ErrIO [Path Abs File] Source # getDirContentNonHiddenFiles :: Path Abs Dir -> ErrIO [Path Abs File] Source #
FileOps2a (Path Rel Dir) (Path Rel File) Source #
Instance details Defined in Uniform.FileStrings Methods getDirContentFiles :: Path Rel Dir -> ErrIO [Path Rel File] Source # getDirContentNonHiddenFiles :: Path Rel Dir -> ErrIO [Path Rel File] Source #
Filenames (Path ar File) (Path Rel File) Source #
Instance details Defined in Uniform.Filenames Methods getFileName :: Path ar File -> Path Rel File Source #
Filenames3 (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT (Path b Dir) (Path Rel t) Source # Methods (</>) :: Path b Dir -> Path Rel t -> FileResultT (Path b Dir) (Path Rel t) Source # addFileName :: Path b Dir -> Path Rel t -> FileResultT (Path b Dir) (Path Rel t) Source #
Filenames4 (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT4 (Path b Dir) (Path Rel t) Source # Methods addDir :: Path b Dir -> Path Rel t -> FileResultT4 (Path b Dir) (Path Rel t) Source #
Filenames5 (Path b Dir) (Path b t) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames Methods stripPrefix :: Path b Dir -> Path b t -> Maybe (Path Rel t) Source #
type Rep (Path b t)
Instance details Defined in Path.Internal.Posix type Rep (Path b t) = D1 ('MetaData "Path" "Path.Internal.Posix" "path-0.9.2-IwXRFnwJdXx4po24p4fYDK" 'True) (C1 ('MetaCons "Path" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)))
type AbsPath (Path b Dir)
Instance details Defined in Path.IO type AbsPath (Path b Dir) = Path Abs Dir
type AbsPath (Path b File)
Instance details Defined in Path.IO type AbsPath (Path b File) = Path Abs File
type RelPath (Path b Dir)
Instance details Defined in Path.IO type RelPath (Path b Dir) = Path Rel Dir
type RelPath (Path b File)
Instance details Defined in Path.IO type RelPath (Path b File) = Path Rel File
type ExtensionType (Path ar File) Source #
Instance details Defined in Uniform.Filenames type ExtensionType (Path ar File) = Extension
type FileResultT (Path b Dir) FilePath Source #
Instance details Defined in Uniform.Filenames type FileResultT (Path b Dir) FilePath = Path b File
type FileResultT4 (Path b Dir) FilePath Source #
Instance details Defined in Uniform.Filenames type FileResultT4 (Path b Dir) FilePath = Path b Dir
type FileResultT (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames type FileResultT (Path b Dir) (Path Rel t) = Path b t
type FileResultT4 (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames type FileResultT4 (Path b Dir) (Path Rel t) = Path b t

callIO :: IO a -> ErrIO a #

this is using catch to grab all errors

type ErrIO = ExceptT Text IO #

class Eq (ExtensionType fp) => Extensions fp where Source #

Minimal complete definition

getExtension, removeExtension, addExtension

Associated Types

type ExtensionType fp Source #

Methods

getExtension :: fp -> ExtensionType fp Source #

removeExtension :: fp -> fp Source #

addExtension :: ExtensionType fp -> fp -> fp Source #

(<.>) :: fp -> ExtensionType fp -> fp Source #

setExtension :: ExtensionType fp -> fp -> fp Source #

hasExtension :: ExtensionType fp -> fp -> Bool Source #

prop_add_has :: ExtensionType fp -> fp -> Bool Source #

prop_add_add_has :: ExtensionType fp -> ExtensionType fp -> fp -> Bool Source #

prop_set_get :: ExtensionType fp -> fp -> Bool Source #

Instances

Instances details

Extensions FilePath Source #
Instance details Defined in Uniform.Filenames Associated Types type ExtensionType FilePath Source # Methods getExtension :: FilePath -> ExtensionType FilePath Source # removeExtension :: FilePath -> FilePath Source # addExtension :: ExtensionType FilePath -> FilePath -> FilePath Source # (<.>) :: FilePath -> ExtensionType FilePath -> FilePath Source # setExtension :: ExtensionType FilePath -> FilePath -> FilePath Source # hasExtension :: ExtensionType FilePath -> FilePath -> Bool Source # prop_add_has :: ExtensionType FilePath -> FilePath -> Bool Source # prop_add_add_has :: ExtensionType FilePath -> ExtensionType FilePath -> FilePath -> Bool Source # prop_set_get :: ExtensionType FilePath -> FilePath -> Bool Source #
Extensions (Path ar File) Source #
Instance details Defined in Uniform.Filenames Associated Types type ExtensionType (Path ar File) Source # Methods getExtension :: Path ar File -> ExtensionType (Path ar File) Source # removeExtension :: Path ar File -> Path ar File Source # addExtension :: ExtensionType (Path ar File) -> Path ar File -> Path ar File Source # (<.>) :: Path ar File -> ExtensionType (Path ar File) -> Path ar File Source # setExtension :: ExtensionType (Path ar File) -> Path ar File -> Path ar File Source # hasExtension :: ExtensionType (Path ar File) -> Path ar File -> Bool Source # prop_add_has :: ExtensionType (Path ar File) -> Path ar File -> Bool Source # prop_add_add_has :: ExtensionType (Path ar File) -> ExtensionType (Path ar File) -> Path ar File -> Bool Source # prop_set_get :: ExtensionType (Path ar File) -> Path ar File -> Bool Source #

class Filenames1 fp where Source #

Methods

getImmediateParentDir :: fp -> FilePath Source #

gets the name of the dir immediately above

getParentDir :: fp -> FilePath Source #

the parent dir of file

getNakedFileName :: fp -> FilePath Source #

filename without extension

getNakedDir :: fp -> FilePath Source #

get the last dir

Instances

Instances details

Filenames1 FilePath Source #
Instance details Defined in Uniform.Filenames Methods getImmediateParentDir :: FilePath -> FilePath Source # getParentDir :: FilePath -> FilePath Source # getNakedFileName :: FilePath -> FilePath Source # getNakedDir :: FilePath -> FilePath Source #
Filenames1 (Path ar Dir) Source #
Instance details Defined in Uniform.Filenames Methods getImmediateParentDir :: Path ar Dir -> FilePath Source # getParentDir :: Path ar Dir -> FilePath Source # getNakedFileName :: Path ar Dir -> FilePath Source # getNakedDir :: Path ar Dir -> FilePath Source #
Filenames1 (Path ar File) Source #
Instance details Defined in Uniform.Filenames Methods getImmediateParentDir :: Path ar File -> FilePath Source # getParentDir :: Path ar File -> FilePath Source # getNakedFileName :: Path ar File -> FilePath Source # getNakedDir :: Path ar File -> FilePath Source #

class Filenames4 fp file where Source #

Associated Types

type FileResultT4 fp file Source #

Methods

addDir :: fp -> file -> FileResultT4 fp file Source #

Instances

Instances details

Filenames4 FilePath FilePath Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT4 FilePath FilePath Source # Methods addDir :: FilePath -> FilePath -> FileResultT4 FilePath FilePath Source #
Filenames4 (Path b Dir) FilePath Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT4 (Path b Dir) FilePath Source # Methods addDir :: Path b Dir -> FilePath -> FileResultT4 (Path b Dir) FilePath Source #
Filenames4 (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT4 (Path b Dir) (Path Rel t) Source # Methods addDir :: Path b Dir -> Path Rel t -> FileResultT4 (Path b Dir) (Path Rel t) Source #

class Filenames5 dir fil res where Source #

Methods

stripPrefix :: dir -> fil -> Maybe res Source #

strip the

Instances

Instances details

Filenames5 (Path b Dir) (Path b t) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames Methods stripPrefix :: Path b Dir -> Path b t -> Maybe (Path Rel t) Source #

class Filenames3 fp file where Source #

Minimal complete definition

addFileName

Associated Types

type FileResultT fp file Source #

Methods

(</>) :: fp -> file -> FileResultT fp file Source #

addFileName :: fp -> file -> FileResultT fp file Source #

Instances

Instances details

Filenames3 FilePath FilePath Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT FilePath FilePath Source # Methods (</>) :: FilePath -> FilePath -> FileResultT FilePath FilePath Source # addFileName :: FilePath -> FilePath -> FileResultT FilePath FilePath Source #
Filenames3 (Path b Dir) FilePath Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT (Path b Dir) FilePath Source # Methods (</>) :: Path b Dir -> FilePath -> FileResultT (Path b Dir) FilePath Source # addFileName :: Path b Dir -> FilePath -> FileResultT (Path b Dir) FilePath Source #
Filenames3 (Path b Dir) (Path Rel t) Source #
Instance details Defined in Uniform.Filenames Associated Types type FileResultT (Path b Dir) (Path Rel t) Source # Methods (</>) :: Path b Dir -> Path Rel t -> FileResultT (Path b Dir) (Path Rel t) Source # addFileName :: Path b Dir -> Path Rel t -> FileResultT (Path b Dir) (Path Rel t) Source #

class Filenames fp fr where Source #

Methods

getFileName :: fp -> fr Source #

Instances

Instances details

Filenames FilePath FilePath Source #
Instance details Defined in Uniform.Filenames Methods getFileName :: FilePath -> FilePath Source #
Filenames (Path ar File) (Path Rel File) Source #
Instance details Defined in Uniform.Filenames Methods getFileName :: Path ar File -> Path Rel File Source #

newtype Extension Source #

Constructors

Extension FilePath

Instances

Instances details

Read Extension Source #
Instance details Defined in Uniform.Filenames Methods readsPrec :: Int -> ReadS Extension # readList :: ReadS [Extension] # readPrec :: ReadPrec Extension # readListPrec :: ReadPrec [Extension] #
Show Extension Source #
Instance details Defined in Uniform.Filenames Methods showsPrec :: Int -> Extension -> ShowS # show :: Extension -> String # showList :: [Extension] -> ShowS #
Eq Extension Source #
Instance details Defined in Uniform.Filenames Methods (==) :: Extension -> Extension -> Bool # (/=) :: Extension -> Extension -> Bool #
Ord Extension Source #
Instance details Defined in Uniform.Filenames Methods compare :: Extension -> Extension -> Ordering # (<) :: Extension -> Extension -> Bool # (<=) :: Extension -> Extension -> Bool # (>) :: Extension -> Extension -> Bool # (>=) :: Extension -> Extension -> Bool # max :: Extension -> Extension -> Extension # min :: Extension -> Extension -> Extension #

takeBaseName' :: FilePath -> FilePath Source #

homeDir :: Path Abs Dir Source #

homeDir2 :: ErrIO (Path Abs Dir) Source #

currentDir :: ErrIO (Path Abs Dir) Source #

setCurrentDir :: Path Abs Dir -> ErrIO () Source #

stripProperPrefix' :: Path b Dir -> Path b t -> ErrIO (Path Rel t) Source #

stripProperPrefixMaybe :: Path b Dir -> Path b t -> Maybe (Path Rel t) Source #

unPath :: a -> a Source #

makeRelFile :: FilePath -> Path Rel File Source #

makeRelDir :: FilePath -> Path Rel Dir Source #

makeAbsFile :: FilePath -> Path Abs File Source #

makeAbsDir :: FilePath -> Path Abs Dir Source #

makeRelFileT :: Text -> Path Rel File Source #

makeRelDirT :: Text -> Path Rel Dir Source #

makeAbsFileT :: Text -> Path Abs File Source #

makeAbsDirT :: Text -> Path Abs Dir Source #

toShortFilePath :: Path df ar -> FilePath Source #

unExtension :: Extension -> FilePath Source #

makeExtension :: FilePath -> Extension Source #

makeExtensionT :: Text -> Extension Source #

module Uniform.FileIOalgebra

data IOMode #

See openFile

Constructors

ReadMode
WriteMode
AppendMode
ReadWriteMode

Instances

Instances details

Enum IOMode	Since: base-4.2.0.0
Instance details Defined in GHC.IO.IOMode Methods succ :: IOMode -> IOMode # pred :: IOMode -> IOMode # toEnum :: Int -> IOMode # fromEnum :: IOMode -> Int # enumFrom :: IOMode -> [IOMode] # enumFromThen :: IOMode -> IOMode -> [IOMode] # enumFromTo :: IOMode -> IOMode -> [IOMode] # enumFromThenTo :: IOMode -> IOMode -> IOMode -> [IOMode] #
Ix IOMode	Since: base-4.2.0.0
Instance details Defined in GHC.IO.IOMode Methods range :: (IOMode, IOMode) -> [IOMode] # index :: (IOMode, IOMode) -> IOMode -> Int # unsafeIndex :: (IOMode, IOMode) -> IOMode -> Int # inRange :: (IOMode, IOMode) -> IOMode -> Bool # rangeSize :: (IOMode, IOMode) -> Int # unsafeRangeSize :: (IOMode, IOMode) -> Int #
Read IOMode	Since: base-4.2.0.0
Instance details Defined in GHC.IO.IOMode Methods readsPrec :: Int -> ReadS IOMode # readList :: ReadS [IOMode] # readPrec :: ReadPrec IOMode # readListPrec :: ReadPrec [IOMode] #
Show IOMode	Since: base-4.2.0.0
Instance details Defined in GHC.IO.IOMode Methods showsPrec :: Int -> IOMode -> ShowS # show :: IOMode -> String # showList :: [IOMode] -> ShowS #
Eq IOMode	Since: base-4.2.0.0
Instance details Defined in GHC.IO.IOMode Methods (==) :: IOMode -> IOMode -> Bool # (/=) :: IOMode -> IOMode -> Bool #
Ord IOMode	Since: base-4.2.0.0
Instance details Defined in GHC.IO.IOMode Methods compare :: IOMode -> IOMode -> Ordering # (<) :: IOMode -> IOMode -> Bool # (<=) :: IOMode -> IOMode -> Bool # (>) :: IOMode -> IOMode -> Bool # (>=) :: IOMode -> IOMode -> Bool # max :: IOMode -> IOMode -> IOMode # min :: IOMode -> IOMode -> IOMode #

closeFile2 :: Handle -> ErrIO () Source #

listDir' Source #

Arguments

:: (MonadIO m, MonadThrow m)
=> Path b Dir	Directory to list
-> m ([Path Abs Dir], [Path Abs File])	Sub-directories and files

hGetLine :: Handle -> IO Text #

Read a single line from a handle.

hPutStr :: Handle -> Text -> IO () #

Write a string to a handle.

Orphan instances

DirOps FilePath Source #
Instance details Methods doesDirExist' :: FilePath -> ErrIO Bool Source # createDir' :: FilePath -> ErrIO () Source # createDirIfMissing' :: FilePath -> ErrIO () Source # renameDir' :: FilePath -> FilePath -> ErrIO () Source # getDirectoryDirs' :: FilePath -> ErrIO [FilePath] Source # getDirectoryDirsNonHidden' :: FilePath -> ErrIO [FilePath] Source # copyDirRecursive :: FilePath -> FilePath -> ErrIO () Source # deleteDirRecursive :: FilePath -> ErrIO () Source #
FileHandles ByteString Source #
Instance details Methods write2handle :: Handle -> ByteString -> ErrIO () Source # readLine4handle :: Handle -> ErrIO ByteString Source #
FileHandles Text Source #
Instance details Methods write2handle :: Handle -> Text -> ErrIO () Source # readLine4handle :: Handle -> ErrIO Text Source #
FileHandles String Source #
Instance details Methods write2handle :: Handle -> String -> ErrIO () Source # readLine4handle :: Handle -> ErrIO String Source #
FileOps FilePath Source #
Instance details Methods doesFileExist' :: FilePath -> ErrIO Bool Source # copyOneFile :: FilePath -> FilePath -> ErrIO () Source # copyOneFileOver :: FilePath -> FilePath -> ErrIO () Source # renameOneFile :: FilePath -> FilePath -> ErrIO () Source # deleteFile :: FilePath -> ErrIO () Source # getDirCont :: FilePath -> ErrIO [FilePath] Source # getDirContNonHidden :: FilePath -> ErrIO [FilePath] Source # getMD5 :: FilePath -> ErrIO (Maybe Text) Source # getAppConfigDirectory :: ErrIO FilePath Source # getSymbolicLinkStatus :: FilePath -> ErrIO FileStatus Source # getFileAccess :: FilePath -> (Bool, Bool, Bool) -> ErrIO Bool Source # getFileModificationTime :: FilePath -> ErrIO EpochTime Source # getFileModificationUTCTime :: FilePath -> ErrIO UTCTime Source # openFile2handle :: FilePath -> IOMode -> ErrIO Handle Source #
FileSystemOps FilePath Source #
Instance details Methods getPermissions' :: FilePath -> ErrIO Permissions Source # checkSymbolicLink :: FilePath -> ErrIO Bool Source #
FileOps2 FilePath ByteString Source #
Instance details Methods writeFile2 :: FilePath -> ByteString -> ErrIO () Source # readFile2 :: FilePath -> ErrIO ByteString Source # appendFile2 :: FilePath -> ByteString -> ErrIO () Source # writeFileOrCreate2 :: FilePath -> ByteString -> ErrIO () Source # readFileOrZero2 :: FilePath -> ErrIO ByteString Source #
FileOps2 FilePath Text Source #
Instance details Methods writeFile2 :: FilePath -> Text -> ErrIO () Source # readFile2 :: FilePath -> ErrIO Text Source # appendFile2 :: FilePath -> Text -> ErrIO () Source # writeFileOrCreate2 :: FilePath -> Text -> ErrIO () Source # readFileOrZero2 :: FilePath -> ErrIO Text Source #
FileOps2a FilePath FilePath Source #
Instance details Methods getDirContentFiles :: FilePath -> ErrIO [FilePath] Source # getDirContentNonHiddenFiles :: FilePath -> ErrIO [FilePath] Source #
FileHandles [Text] Source #
Instance details Methods write2handle :: Handle -> [Text] -> ErrIO () Source # readLine4handle :: Handle -> ErrIO [Text] Source #
DirOps (Path Abs Dir) Source #
Instance details Methods doesDirExist' :: Path Abs Dir -> ErrIO Bool Source # createDir' :: Path Abs Dir -> ErrIO () Source # createDirIfMissing' :: Path Abs Dir -> ErrIO () Source # renameDir' :: Path Abs Dir -> Path Abs Dir -> ErrIO () Source # getDirectoryDirs' :: Path Abs Dir -> ErrIO [Path Abs Dir] Source # getDirectoryDirsNonHidden' :: Path Abs Dir -> ErrIO [Path Abs Dir] Source # copyDirRecursive :: Path Abs Dir -> Path Abs Dir -> ErrIO () Source # deleteDirRecursive :: Path Abs Dir -> ErrIO () Source #
DirOps (Path Rel Dir) Source #
Instance details Methods doesDirExist' :: Path Rel Dir -> ErrIO Bool Source # createDir' :: Path Rel Dir -> ErrIO () Source # createDirIfMissing' :: Path Rel Dir -> ErrIO () Source # renameDir' :: Path Rel Dir -> Path Rel Dir -> ErrIO () Source # getDirectoryDirs' :: Path Rel Dir -> ErrIO [Path Rel Dir] Source # getDirectoryDirsNonHidden' :: Path Rel Dir -> ErrIO [Path Rel Dir] Source # copyDirRecursive :: Path Rel Dir -> Path Rel Dir -> ErrIO () Source # deleteDirRecursive :: Path Rel Dir -> ErrIO () Source #
Show (Path ar File) => FileOps (Path ar File) Source #
Instance details Methods doesFileExist' :: Path ar File -> ErrIO Bool Source # copyOneFile :: Path ar File -> Path ar File -> ErrIO () Source # copyOneFileOver :: Path ar File -> Path ar File -> ErrIO () Source # renameOneFile :: Path ar File -> Path ar File -> ErrIO () Source # deleteFile :: Path ar File -> ErrIO () Source # getDirCont :: Path ar File -> ErrIO [Path ar File] Source # getDirContNonHidden :: Path ar File -> ErrIO [Path ar File] Source # getMD5 :: Path ar File -> ErrIO (Maybe Text) Source # getAppConfigDirectory :: ErrIO (Path ar File) Source # getSymbolicLinkStatus :: Path ar File -> ErrIO FileStatus Source # getFileAccess :: Path ar File -> (Bool, Bool, Bool) -> ErrIO Bool Source # getFileModificationTime :: Path ar File -> ErrIO EpochTime Source # getFileModificationUTCTime :: Path ar File -> ErrIO UTCTime Source # openFile2handle :: Path ar File -> IOMode -> ErrIO Handle Source #
FileSystemOps (Path ar df) Source #
Instance details Methods getPermissions' :: Path ar df -> ErrIO Permissions Source # checkSymbolicLink :: Path ar df -> ErrIO Bool Source #
Show (Path ar File) => FileOps2 (Path ar File) ByteString Source #
Instance details Methods writeFile2 :: Path ar File -> ByteString -> ErrIO () Source # readFile2 :: Path ar File -> ErrIO ByteString Source # appendFile2 :: Path ar File -> ByteString -> ErrIO () Source # writeFileOrCreate2 :: Path ar File -> ByteString -> ErrIO () Source # readFileOrZero2 :: Path ar File -> ErrIO ByteString Source #
Show (Path ar File) => FileOps2 (Path ar File) Text Source #
Instance details Methods writeFile2 :: Path ar File -> Text -> ErrIO () Source # readFile2 :: Path ar File -> ErrIO Text Source # appendFile2 :: Path ar File -> Text -> ErrIO () Source # writeFileOrCreate2 :: Path ar File -> Text -> ErrIO () Source # readFileOrZero2 :: Path ar File -> ErrIO Text Source #
Show (Path ar File) => FileOps2 (Path ar File) String Source #
Instance details Methods writeFile2 :: Path ar File -> String -> ErrIO () Source # readFile2 :: Path ar File -> ErrIO String Source # appendFile2 :: Path ar File -> String -> ErrIO () Source # writeFileOrCreate2 :: Path ar File -> String -> ErrIO () Source # readFileOrZero2 :: Path ar File -> ErrIO String Source #
FileOps2a (Path Abs Dir) (Path Abs File) Source #
Instance details Methods getDirContentFiles :: Path Abs Dir -> ErrIO [Path Abs File] Source # getDirContentNonHiddenFiles :: Path Abs Dir -> ErrIO [Path Abs File] Source #
FileOps2a (Path Rel Dir) (Path Rel File) Source #
Instance details Methods getDirContentFiles :: Path Rel Dir -> ErrIO [Path Rel File] Source # getDirContentNonHiddenFiles :: Path Rel Dir -> ErrIO [Path Rel File] Source #