Data.Validity.Path

Documentation

Orphan instances

Validity (Path Abs File)

An absolute path to a file is valid if:

• Its path is an absolute path
• Its path does not have 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 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)

A relative path to a file is valid if:

• Its path is a relative path
• Its path does not have a trailing path separator
• Its path is valid according to FilePaths definition.
• Its path is not .
• Its path does not contain '..'.
• Parsing the path and rendering it again results in the same path.

Methods

validate :: Path Rel File -> Validation

isValid :: Path Rel File -> Bool

Validity (Path Rel Dir)

A relative path to a directory is valid if:

• Its path is a relative path
• Its path has a trailing path separator
• Its path is valid according to FilePaths definition.
• Its path is not .
• Its path does not contain '..'.
• Parsing the path and rendering it again results in the same path.

Methods

validate :: Path Rel Dir -> Validation

isValid :: Path Rel Dir -> Bool