# Documentation

Init.System.FilePath

Instances For
Equations
Equations
Equations

The character that separates directories. In the case where more than one character is possible, pathSeparator is the 'ideal' one.

Equations

The list of all possible separators.

Equations

File extension character

Equations
Equations
Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
Equations
Equations
• = if then sub else { toString := p.toString ++ ++ sub.toString }
Equations
Equations
Equations
Equations
• One or more equations did not get rendered due to their size.

Extracts the stem (non-extension) part of p.fileName.

Equations
• One or more equations did not get rendered due to their size.
Equations
• One or more equations did not get rendered due to their size.
Equations
• = match with | none => { toString := fname } | some p => p / fname
Equations
• One or more equations did not get rendered due to their size.
Equations
Equations
Equations
@[inline]
Equations

The character that is used to separate the entries in the \$PATH (or %PATH%) environment variable.

Equations
Equations