Add isSpecialDirectoryEntry

Este commit está contenido en:
Julian Ospald 2020-01-18 18:43:55 +01:00
padre 1f4e289903
commit 22ddeeadcc
No se encontró ninguna clave conocida en la base de datos para esta firma
ID de clave GPG: 511B62C09D50CD28
Se han modificado 1 ficheros con 16 adiciones y 0 borrados

Ver fichero

@ -73,6 +73,7 @@ module System.Posix.FilePath (
, isAbsolute
, isValid
, makeValid
, isSpecialDirectoryEntry
, isFileName
, hasParentDir
, hiddenFile
@ -724,6 +725,21 @@ makeValid path
| otherwise = BS.map (\x -> if x == _nul then _underscore else x) path
-- | Is a FilePath valid, i.e. could you create a file like it?
--
-- >>> isSpecialDirectoryEntry "."
-- True
-- >>> isSpecialDirectoryEntry ".."
-- True
-- >>> isSpecialDirectoryEntry "/random_ path:*"
-- False
isSpecialDirectoryEntry :: RawFilePath -> Bool
isSpecialDirectoryEntry filepath
| BS.pack [_period, _period] == filepath = True
| BS.pack [_period] == filepath = True
| otherwise = False
-- | Is the given path a valid filename? This includes
-- "." and "..".
--