Foundation.VFS.Path

Path class

class Path path where

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 ```

Minimal complete definition

(</>), splitPath, buildPath

Associated Types

type PathEnt path

the associated PathEntity of the given path this type is the minimal element contained in the Path a Path is not a collection but it is possible to see this associated type equivalent to the Element type family

type PathPrefix path

the associated prefix of the given path

in the case of a FilePath, it is a void (i.e. `()`) in the case of an URI, it is the schema, host, port...

type PathSuffix path

the associated suffix of the given path

in the case of the FilePath, it is a void (i.e. `()`) in the case of the URI, it is a the query, the fragment

Methods

(</>) :: path -> PathEnt path -> path

join a path entity to a given path

splitPath :: path -> (PathPrefix path, [PathEnt path], PathSuffix path)

split the path into the associated elements

buildPath :: (PathPrefix path, [PathEnt path], PathSuffix path) -> path

build the path from the associated elements

Instances

Path URI

Associated Types

type PathEnt URI :: *

type PathPrefix URI :: *

type PathSuffix URI :: *

Methods

(</>) :: URI -> PathEnt URI -> URI

splitPath :: URI -> (PathPrefix URI, [PathEnt URI], PathSuffix URI)

buildPath :: (PathPrefix URI, [PathEnt URI], PathSuffix URI) -> URI

Path FilePath

Associated Types

type PathEnt FilePath :: *

type PathPrefix FilePath :: *

type PathSuffix FilePath :: *

Methods

(</>) :: FilePath -> PathEnt FilePath -> FilePath

splitPath :: FilePath -> (PathPrefix FilePath, [PathEnt FilePath], PathSuffix FilePath)

buildPath :: (PathPrefix FilePath, [PathEnt FilePath], PathSuffix FilePath) -> FilePath

parent :: Path path => path -> path

parent is only going to drop the filename.

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

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

filename :: (Path path, Monoid (PathEnt path)) => path -> PathEnt path

get the filename of the given path

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

prefix :: Path path => path -> PathPrefix path

get the path prefix information

``` prefix "hometab" == () ```

or for URI (TODO, not yet accurate)

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

suffix :: Path path => path -> PathSuffix path

get the path suffix information

``` suffix "hometab" == () ```

or for URI (TODO, not yet accurate)

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