Move isParentOf to its own section

Этот коммит содержится в:
Julian Ospald 2020-01-20 19:45:30 +01:00
родитель f2986e60db
Коммит db23ad6b38
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 511B62C09D50CD28
1 изменённых файлов: 21 добавлений и 17 удалений

Просмотреть файл

@ -44,9 +44,10 @@ module HPath
,(</>)
,basename
,dirname
,isParentOf
,getAllParents
,stripDir
-- * Path Examination
,isParentOf
-- * Path IO helpers
,withAbsPath
,withRelPath
@ -289,22 +290,6 @@ stripDir (MkPath p) (MkPath l) =
where
p' = addTrailingPathSeparator p
-- | Is p a parent of the given location? Implemented in terms of
-- 'stripDir'. The bases must match.
--
-- >>> (MkPath "/lal/lad") `isParentOf` (MkPath "/lal/lad/fad")
-- True
-- >>> (MkPath "lal/lad") `isParentOf` (MkPath "lal/lad/fad")
-- True
-- >>> (MkPath "/") `isParentOf` (MkPath "/")
-- False
-- >>> (MkPath "/lal/lad/fad") `isParentOf` (MkPath "/lal/lad")
-- False
-- >>> (MkPath "fad") `isParentOf` (MkPath "fad")
-- False
isParentOf :: Path b -> Path b -> Bool
isParentOf p l = isJust (stripDir p l :: Maybe (Path Rel))
-- |Get all parents of a path.
--
@ -356,6 +341,25 @@ basename (MkPath l)
rl = last . splitPath $ l
--------------------------------------------------------------------------------
-- Path Examination
-- | Is p a parent of the given location? Implemented in terms of
-- 'stripDir'. The bases must match.
--
-- >>> (MkPath "/lal/lad") `isParentOf` (MkPath "/lal/lad/fad")
-- True
-- >>> (MkPath "lal/lad") `isParentOf` (MkPath "lal/lad/fad")
-- True
-- >>> (MkPath "/") `isParentOf` (MkPath "/")
-- False
-- >>> (MkPath "/lal/lad/fad") `isParentOf` (MkPath "/lal/lad")
-- False
-- >>> (MkPath "fad") `isParentOf` (MkPath "fad")
-- False
isParentOf :: Path b -> Path b -> Bool
isParentOf p l = isJust (stripDir p l :: Maybe (Path Rel))
--------------------------------------------------------------------------------
-- Path IO helpers