Data.Validity.Path

Its path is not .

Its path does not contain '..'.

The path contains no UTF16 Surrogate codepoints

Parsing the path and rendering it again results in the same path.

Its path does not end in /.

Its path is not .

Its path does not contain '..'.

The path contains no UTF16 Surrogate codepoints

Parsing the path and rendering it again results in the same path.

Its path does not contain '..'.

The path contains no UTF16 Surrogate codepoints

Parsing the path and rendering it again results in the same path.

Orphan instances

Validity (Path Abs File)

Methods

validate :: Path Abs File -> Validation

Validity (Path Abs Dir)

An absolute path to a directory is valid if:

• Its path is an absolute path
• Its path has a trailing path separator
• Its path is valid according to FilePaths definition.
• Its path does not contain '..'.
• The path contains no UTF16 Surrogate codepoints
• Parsing the path and rendering it again results in the same path.

Methods

validate :: Path Abs Dir -> Validation

Validity (Path Rel File)

Methods

validate :: Path Rel File -> Validation

Validity (Path Rel Dir)

Methods

validate :: Path Rel Dir -> Validation