System.Monopati

Documentation

data Path (reference :: Reference) (points :: Points)

These two phantom paramaters needs for static analysis

Constructors

Path

Fields

• path :: Stack String

Instances

Show (Path Absolute points)

Defined in System.Monopati

Methods

showsPrec :: Int -> Path Absolute points -> ShowS

show :: Path Absolute points -> String

showList :: [Path Absolute points] -> ShowS

Show (Path Relative points)

Defined in System.Monopati

Methods

showsPrec :: Int -> Path Relative points -> ShowS

show :: Path Relative points -> String

showList :: [Path Relative points] -> ShowS

data Points

Path may points to a directory or a file

Constructors

Directory

File

data Reference

Relative paths defined in direct order, absolute - in reverse

Constructors

Absolute

Relative

part :: String -> Path referece points

Immerse some string into a path component

points :: Path Absolute points -> String

next :: Path Relative points -> String

(<^>) :: Path Relative Directory -> Path Relative points -> Path Relative points

Concatenate Relative and Relative paths

(</>) :: Path Absolute Directory -> Path Relative points -> Path Absolute points

Concatenate Absolute and Relative paths