Constructs a sub-file of this file by appending a new path component.
The string representation of the absolute location of this file.
Returns the name part of the file and drops the extension (if any).
Returns a tuple consisting of the file's name (without extension), and the extension (period dropped).
Lists all children of this directory which satisfy a predicate.
Lists all children of this directory which satisfy a predicate. Returns an empty sequence if this file does not denote a directory.
a filter predicate to select children
Lists all children of this directory.
Lists all children of this directory. Returns an empty sequence if this file does not denote a directory.
Returns the extension of the file (period dropped).
Returns the extension of the file (period dropped). Returns and empty string if no extension is given.
Returns the extension of the file (period dropped) in lower case letters.
Returns the extension of the file (period dropped) in lower case letters. Returns and empty string if no extension is given.
Returns the name part of the file.
The string representation of this file.
Creates from this file a new file instance relative to a given parent
directory.
Creates from this file a new file instance relative to a given parent
directory.
Throws an exception if if parent
does not constitute a parent directory.
Creates from this file a new file instance relative to a given parent
directory.
Creates from this file a new file instance relative to a given parent
directory.
Some
if this file is relative to parent
, None
if parent
does not constitute a parent directory
Replaces the extension by a given string.
Replaces the extension by a given string. If the file did not have any extension, it will be added by this call.
the extension to use in replacement. May or may not contain a leading period.
Replaces the name part of this file, keeping the parent directory.