Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Internal types and functions.
- data Path b = MkPath ByteString
- class RelC m
Documentation
Path of some base and type.
Internally is a string. The string can be of two formats only:
- without trailing path separator:
file.txt
,foo/bar.txt
,/foo/bar.txt
- with trailing path separator:
foo/
,/foo/bar/
There are no duplicate
path separators //
, no ..
, no ./
, no ~/
, etc.
Eq (Path b) Source | String equality. The following property holds: show x == show y ≡ x == y |
Ord (Path b) Source | String ordering. The following property holds: show x `compare` show y ≡ x `compare` y |
Show (Path b) Source | Same as The following property holds: x == y ≡ show x == show y |
NFData (Path b) Source |