Foundation.VFS

Path type class

defines the Path associated types and basic functions to implement related to the path manipulation

# TODO, add missing enhancement:

splitExtension :: PathEnt path -> (PathEnt path, PathEnt path)
addExtension  :: PathEnt path -> PathEnt path -> PathEnt path
(.) :: path -> PathEnt path -> path
(-.) :: path -> PathEnt path -> path

get the filename of the given path

If there is no filename, you will receive the mempty of the PathEnt

>>> filename ("foo.hs" :: FilePath)foo.hs

>>> filename ("foo/bar/baz.hs" :: FilePath)baz.hs

parent is only going to drop the filename.

if you actually want to reference to the parent directory, simply uses:

parent "." = "." <> ".."

>>> parent ("foo.hs" :: FilePath).

>>> parent ("foo/bar/baz.hs" :: FilePath)foo/bar

get the path prefix information

>>> prefix ("/home/tab" :: FilePath)Absolute

>>> prefix ("home/tab" :: FilePath)Relative

or for URI (TODO, not yet accurate)

prefix "http://github.com/vincenthz/hs-foundation?w=1"
   == URISchema http Nothing Nothing "github.com" Nothing

get the path suffix information

>>> suffix ("/home/tab" :: FilePath)()

or for URI (TODO, not yet accurate)

suffix "http://github.com/vincenthz/hs-foundation?w=1"
   == URISuffix (["w", "1"], Nothing)

FilePath is a collection of FileName

TODO: Eq and Ord are implemented using Show This is not very efficient and would need to be improved Also, it is possible the ordering is not necessary what we want in this case.

A FilePath is one of the following:

• An Absolute:

• starts with one of the follwing "/"

• A relative:

• don't start with a "/"

• authorised:

• "/"

• "filepath"

• "."

• ".."

• "workhaskellhs-foundation"

• unauthorised

• "path//"

A filename (or path entity) in the FilePath

• Authorised

• ""

• "."

• ".."

• "foundation"

• Unauthorised

• "/"

• "file/"

• "/file"

• "file/path"