hasufell
/
hpath
1
1
Fork 0
Code Issues 8 Pull Requests Releases Wiki Activity

Improve a few property definitions 

The properties for stripDir and parent used the name 'parent' as a
variable.

The properties for filename and dirname seemed to be wrong and also used
'parent' as a variable.
This commit is contained in:
Michael Sloan 2015-10-08 02:58:17 -07:00
parent 62278a77e6
commit 1841d7451c
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Path.hs
View File

@ -236,7 +236,7 @@ toFilePath (Path l) = l
--
-- The following properties hold:
--
-- @stripDir parent (parent \<\/> child) = child@
-- @stripDir x (x \<\/> y) = y@
--
-- Cases which are proven not possible:
--
@ -266,7 +266,7 @@ isParentOf p l =
--
-- The following properties hold:
--
-- @parent (parent \<\/> child) == parent@
-- @parent (x \<\/> y) == x@
--
-- On the root, getting the parent is idempotent:
--
@ -280,7 +280,7 @@ parent (Path fp) =
--
-- The following properties hold:
--
-- @filename (parent \<\/> filename a) == a@
-- @filename (p \<\/> a) == filename a@
--
filename :: Path b File -> Path Rel File
filename (Path l) =
@ -290,7 +290,7 @@ filename (Path l) =
--
-- The following properties hold:
--
-- @dirname (parent \<\/> dirname a) == a@
-- @dirname (p \<\/> a) == dirname a@
--
dirname :: Path b Dir -> Path Rel Dir
dirname (Path l) =