Data.Validity.Path

Its path does not end in /.

Its path is not .

Its path does not contain '..'.

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

Its path does not end in /.

Its path is not .

Its path is not ''

Its path is not .

Its path does not contain '..'.

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

Its path is not ''

Its path does not contain '..'.

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

Orphan instances

Validity (Path Abs File)

Methods

validate :: Path Abs File -> Validation

isValid :: Path Abs File -> Bool

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 '..'.
• Parsing the path and rendering it again results in the same path.

Methods

validate :: Path Abs Dir -> Validation

isValid :: Path Abs Dir -> Bool

Validity (Path Rel File)

Methods

validate :: Path Rel File -> Validation

isValid :: Path Rel File -> Bool

Validity (Path Rel Dir)

Methods

validate :: Path Rel Dir -> Validation

isValid :: Path Rel Dir -> Bool