hpath-0.7.0: Support for well-typed paths

Safe HaskellSafe
LanguageHaskell2010

HPath.Internal

Description

Internal types and functions.

Synopsis

Documentation

data Path b Source

Path of some base and type.

Internally is a string. The string can be of two formats only:

  1. without trailing path separator: file.txt, foo/bar.txt, /foo/bar.txt
  2. with trailing path separator: foo/, /foo/bar/

There are no duplicate path separators //, no .., no ./, no ~/, etc.

Constructors

MkPath ByteString 

Instances

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 toFilePath.

The following property holds:

x == y ≡ show x == show y
NFData (Path b) Source 

class RelC m Source

Instances