monopati-0.1.4: Well-typed paths

Safe HaskellSafe
LanguageHaskell2010

System.Monopati.Posix.Combinators

Synopsis

Documentation

deeper :: Relative Path To points -> Maybe (Relative Path To points) Source #

Take the next piece of relative path

part :: String -> Outline origin points Source #

Immerse string into a path, filter slashes

parent :: Absolute Path To points -> Maybe (Absolute Path To Directory) Source #

Take parent directory of current pointed entity

(<^>) :: forall origin points. Incompleted origin => Outline origin Directory -> Relative Path To points -> Outline origin points Source #

Add relative path to uncompleted path

(<.^>) :: Current Path To Directory -> Relative Path To points -> Current Path To points Source #

"./etc/" + "usr/local/" + = "./etc/usr/local/"

(<~^>) :: Homeward Path To Directory -> Relative Path To points -> Homeward Path To points Source #

"~/etc/" + "usr/local/" + = "~/etc/usr/local/"

(<-^>) :: Previous Path To Directory -> Relative Path To points -> Previous Path To points Source #

"-/etc/" + "usr/local/" + = "-/etc/usr/local/"

(<^^>) :: Relative Path To Directory -> Relative Path To points -> Relative Path To points Source #

"etc/" + "usr/local/" + = "etc/usr/local/"

(</>) :: forall origin points. Incompleted origin => Absolute Path To Directory -> Outline origin points -> Absolute Path To points Source #

Absolutize uncompleted path

(</.>) :: Absolute Path To Directory -> Current Path To points -> Absolute Path To points Source #

"/usr/local/" + "./etc/" = "/usr/local/etc/"

(</~>) :: Absolute Path To Directory -> Homeward Path To points -> Absolute Path To points Source #

"/usr/local/" + "-/etc/" = "/usr/local/etc/"

(</->) :: Absolute Path To Directory -> Previous Path To points -> Absolute Path To points Source #

"/usr/local/" + "~/etc/" = "/usr/local/etc/"

(</^>) :: Absolute Path To Directory -> Relative Path To points -> Absolute Path To points Source #

"/usr/bin/" + "git" = "/usr/bin/git"