Pathy.Printer

type Printer = { current :: NonEmptyString, escaper :: Escaper, root :: Maybe NonEmptyString -> String, sep :: NonEmptyString, up :: NonEmptyString }

A Printer defines options for printing paths.

• root is a function used to construct the initial segment of paths.
• current is a representation of the current directory.
• up is a representation of going up to the parent directory.
• sep is the string to separate path segments by.
• escaper specified how to deal with printing reserved names and characters.

posixPrinter :: Printer

A printer for POSIX paths.

windowsPrinter :: Printer

A printer for Windows paths.

printPath :: forall b a. IsRelOrAbs a => IsDirOrFile b => Printer -> SandboxedPath a b -> String

Prints a SandboxedPath into its canonical String representation, using the specified printer. The printed path will always be absolute, as this is the only way to ensure the path is safely referring to the intended location.

unsafePrintPath :: forall b a. IsRelOrAbs a => IsDirOrFile b => Printer -> SandboxedPath a b -> String

Prints a SandboxedPath into its canonical String representation, using the specified printer. This will print a relative path if b ~ Rel, which depending on how the resulting string is used, may be unsafe.

debugPrintPath :: forall b a. Warn (Text "debugPrintPath usage") => IsRelOrAbs a => IsDirOrFile b => Printer -> Path a b -> String

Prints a path exactly according to its representation. This should only be used for debug purposes. Using this function will raise a warning at compile time as a reminder!

newtype Escaper

An Escaper encodes segments or characters which have reserved meaning within names in a path.

Constructors

• Escaper (NonEmptyString -> NonEmptyString)

Instances

• Newtype Escaper _
• Semigroup Escaper
• Monoid Escaper

slashEscaper :: Escaper

An escaper that replaces all '/' characters in a name with '-'s.

dotEscaper :: Escaper

An escaper that replaces names "." and ".." with "$dot" and "$dot$dot".

posixEscaper :: Escaper

An escaper that removes all slashes, converts ".." into "$dot$dot", and converts "." into "$dot".

windowsEscaper :: Escaper

An escaper that attempts to encode all reserved names and characters for windows-style paths.