 | pathlib-0.1: A library for safe (file)path manipulation | Source code | Contents | Index |
| Data.Path.Witnessed |
| data PathType spec path => Path spec path object | Source |
| type Absolute w = Path Platform Absolute w | Source |
| type Relative w = Path Platform Relative w | Source |
| type SubPath w = Path Platform Sub w | Source |
| (</>) :: (DirectoryW dir, PathType Platform absrel) => Path Platform absrel dir -> Name -> Path Platform absrel w' | Source |
| (+/+) :: forall spec path dir rel object. (PathType spec path, PathType spec rel, RelativeW rel, DirectoryW dir) => Path spec path dir -> Path spec rel object -> Path spec path object | Source |
| pathSeparators :: [Char] | Source |
| directory :: PathType Platform absrel => Path Platform absrel w -> Split ByteString (Path Platform Relative w) | Source |
| file :: forall spec path dir object. (PathType spec path, PathType spec path, DirectoryW dir) => Path spec path object -> Split (Path spec path dir) ByteString | Source |
| relativeTo :: (PathType spec path, PathType spec rel, RelativeW rel, DirectoryW dir) => Path spec path dir -> Path spec path object -> Maybe (Path spec rel object) | Source |