commit
9fee9e42da
@ -252,7 +252,7 @@ fromRelFile = toFilePath
|
|||||||
(</>) (Path a) (Path b) = Path (a ++ b)
|
(</>) (Path a) (Path b) = Path (a ++ b)
|
||||||
|
|
||||||
-- | Strip directory from path, making it relative to that directory.
|
-- | Strip directory from path, making it relative to that directory.
|
||||||
-- Returns 'Nothing' if directory is not a parent of the path.
|
-- Throws 'Couldn'tStripPrefixDir' if directory is not a parent of the path.
|
||||||
--
|
--
|
||||||
-- The following properties hold:
|
-- The following properties hold:
|
||||||
--
|
--
|
||||||
@ -266,8 +266,6 @@ fromRelFile = toFilePath
|
|||||||
--
|
--
|
||||||
-- In other words the bases must match.
|
-- In other words the bases must match.
|
||||||
--
|
--
|
||||||
-- Throws: 'Couldn'tStripPrefixDir'
|
|
||||||
--
|
|
||||||
stripDir :: MonadThrow m
|
stripDir :: MonadThrow m
|
||||||
=> Path b Dir -> Path b t -> m (Path Rel t)
|
=> Path b Dir -> Path b t -> m (Path Rel t)
|
||||||
stripDir (Path p) (Path l) =
|
stripDir (Path p) (Path l) =
|
||||||
|
Loading…
Reference in New Issue
Block a user