Documentation

Init.System.FilePath

Instances For
    Equations
    Equations

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

    Equations
    Instances For

      The list of all possible separators.

      Equations
      Instances For

        File extension character

        Equations
        Instances For
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            Equations
            Instances For
              Equations
              • p.isRelative = !p.isAbsolute
              Instances For
                Equations
                Instances For
                  Equations
                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For

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

                      Equations
                      • One or more equations did not get rendered due to their size.
                      Instances For
                        Equations
                        • One or more equations did not get rendered due to their size.
                        Instances For
                          Equations
                          • p.withFileName fname = match p.parent with | none => { toString := fname } | some p => p / fname
                          Instances For

                            Appends the extension ext to a path p.

                            ext should not contain a leading ., as this function adds one. If ext is the empty string, no . is added.

                            Unlike System.FilePath.withExtension, this does not remove any existing extension.

                            Equations
                            • p.addExtension ext = match p.fileName with | none => p | some fname => p.withFileName (if ext.isEmpty = true then fname else fname ++ "." ++ ext)
                            Instances For

                              Replace the current extension in a path p with ext.

                              ext should not contain a ., as this function adds one. If ext is the empty string, no . is added.

                              Instances For
                                Equations
                                Instances For
                                  Equations
                                  Instances For
                                    @[reducible, inline]
                                    Equations
                                    Instances For

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

                                      Equations
                                      Instances For
                                        Equations
                                        Instances For