Documentation

Remove a leading period from a String.

>>> removeLeadingPeriod ".jpg"
"jpg"

Just return the String if it doesn't start with a period:

>>> removeLeadingPeriod "hello"
"hello"

Return an empty string if the only character in the string is a period:

>>> removeLeadingPeriod "."
""

Remove at most one period:

>>> removeLeadingPeriod "..bye"
".bye"

Return an extension for a FilePath. Just like takeExtension, but doesn't return the leading period.

>>> getExtension "/some/file.html"
"html"

Empty string is returned for files with no extension:

>>> getExtension "file"
""