License	BSD-style
Maintainer	foundation
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Foundation.VFS

Contents

FilePath
- conversion

Description

Synopsis

class Path path where
- type PathEnt path
- type PathPrefix path
- type PathSuffix path
- (</>) :: path -> PathEnt path -> path
- splitPath :: path -> ( PathPrefix path, [ PathEnt path], PathSuffix path)
- buildPath :: ( PathPrefix path, [ PathEnt path], PathSuffix path) -> path
filename :: ( Path path, Monoid ( PathEnt path)) => path -> PathEnt path
parent :: Path path => path -> path
prefix :: Path path => path -> PathPrefix path
suffix :: Path path => path -> PathSuffix path
data FilePath
data FileName
filePathToString :: FilePath -> String
filePathToLString :: FilePath -> [ Char ]

Documentation

class Path path where Source #

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

Associated Types

type PathEnt path Source #

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 Source #

the associated prefix of the given path

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

type PathSuffix path Source #

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 Source #

join a path entity to a given path

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

split the path into the associated elements

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

build the path from the associated elements

Instances

Instances details

Path FilePath Source #
Instance details Defined in Foundation.VFS.FilePath Associated Types type PathEnt FilePath Source # type PathPrefix FilePath Source # type PathSuffix FilePath Source # Methods (</>) :: FilePath -> PathEnt FilePath -> FilePath Source # splitPath :: FilePath -> ( PathPrefix FilePath , [ PathEnt FilePath ], PathSuffix FilePath ) Source # buildPath :: ( PathPrefix FilePath , [ PathEnt FilePath ], PathSuffix FilePath ) -> FilePath Source #
Path URI Source #
Instance details Defined in Foundation.VFS.URI Associated Types type PathEnt URI Source # type PathPrefix URI Source # type PathSuffix URI Source # Methods (</>) :: URI -> PathEnt URI -> URI Source # splitPath :: URI -> ( PathPrefix URI , [ PathEnt URI ], PathSuffix URI ) Source # buildPath :: ( PathPrefix URI , [ PathEnt URI ], PathSuffix URI ) -> URI Source #

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

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 :: Path path => path -> path Source #

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

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

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

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

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

data FilePath Source #

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:
"/"
" file path"
"."
".."
"work haskell hs-foundation"
unauthorised
"path//"

Instances

Instances details

Eq FilePath Source #
Instance details Defined in Foundation.VFS.FilePath Methods (==) :: FilePath -> FilePath -> Bool Source # (/=) :: FilePath -> FilePath -> Bool Source #
Ord FilePath Source #
Instance details Defined in Foundation.VFS.FilePath Methods compare :: FilePath -> FilePath -> Ordering Source # (<) :: FilePath -> FilePath -> Bool Source # (<=) :: FilePath -> FilePath -> Bool Source # (>) :: FilePath -> FilePath -> Bool Source # (>=) :: FilePath -> FilePath -> Bool Source # max :: FilePath -> FilePath -> FilePath Source # min :: FilePath -> FilePath -> FilePath Source #
Show FilePath Source #
Instance details Defined in Foundation.VFS.FilePath Methods showsPrec :: Int -> FilePath -> ShowS Source # show :: FilePath -> String Source # showList :: [ FilePath ] -> ShowS Source #
IsString FilePath Source #
Instance details Defined in Foundation.VFS.FilePath Methods fromString :: String -> FilePath Source #
Path FilePath Source #
Instance details Defined in Foundation.VFS.FilePath Associated Types type PathEnt FilePath Source # type PathPrefix FilePath Source # type PathSuffix FilePath Source # Methods (</>) :: FilePath -> PathEnt FilePath -> FilePath Source # splitPath :: FilePath -> ( PathPrefix FilePath , [ PathEnt FilePath ], PathSuffix FilePath ) Source # buildPath :: ( PathPrefix FilePath , [ PathEnt FilePath ], PathSuffix FilePath ) -> FilePath Source #
type PathEnt FilePath Source #
Instance details Defined in Foundation.VFS.FilePath type PathEnt FilePath = FileName
type PathPrefix FilePath Source #
Instance details Defined in Foundation.VFS.FilePath type PathPrefix FilePath = Relativity
type PathSuffix FilePath Source #
Instance details Defined in Foundation.VFS.FilePath type PathSuffix FilePath = ()

data FileName Source #

A filename (or path entity) in the FilePath

Authorised
""
"."
".."
"foundation"
Unauthorised
"/"
"file/"
"/file"
"file/path"

Instances

Instances details

Eq FileName Source #
Instance details Defined in Foundation.VFS.FilePath Methods (==) :: FileName -> FileName -> Bool Source # (/=) :: FileName -> FileName -> Bool Source #
Show FileName Source #
Instance details Defined in Foundation.VFS.FilePath Methods showsPrec :: Int -> FileName -> ShowS Source # show :: FileName -> String Source # showList :: [ FileName ] -> ShowS Source #
IsString FileName Source #
Instance details Defined in Foundation.VFS.FilePath Methods fromString :: String -> FileName Source #
Semigroup FileName Source #
Instance details Defined in Foundation.VFS.FilePath Methods (<>) :: FileName -> FileName -> FileName Source # sconcat :: NonEmpty FileName -> FileName Source # stimes :: Integral b => b -> FileName -> FileName Source #
Monoid FileName Source #
Instance details Defined in Foundation.VFS.FilePath Methods mempty :: FileName Source # mappend :: FileName -> FileName -> FileName Source # mconcat :: [ FileName ] -> FileName Source #

conversion

filePathToString :: FilePath -> String Source #

filePathToLString :: FilePath -> [ Char ] Source #

conversion of a FilePath into a list of Char

this function may throw exceptions