Music.Theory.String

String functions.

Documentation

str_eq_ci :: String -> String -> Bool

Case-insensitive ==.

map (str_eq_ci "ci") (words "CI ci Ci cI")

filter_cr :: String -> String

Remove r.

delete_trailing_whitespace :: String -> String

Delete trailing Char where isSpace holds.

delete_trailing_whitespace "   str   " == "   str"
delete_trailing_whitespace "\t\n        \t\n" == ""

unwords_nil :: [String] -> String

Variant of unwords that does not write spaces for NIL elements.

unwords_nil [] == ""
unwords_nil ["a"] == "a"
unwords_nil ["a",""] == "a"
unwords_nil ["a","b"] == "a b"
unwords_nil ["a","","b"] == "a b"
unwords_nil ["a","","","b"] == "a b"
unwords_nil ["a","b",""] == "a b"
unwords_nil ["a","b","",""] == "a b"
unwords_nil ["","a","b"] == "a b"
unwords_nil ["","","a","b"] == "a b"

unlines_nil :: [String] -> String

Variant of unlines that does not write empty lines for NIL elements.

unlinesNoTrailingNewline :: [String] -> String

unlines without a trailing newline.

unlines (words "a b c") == "a\nb\nc\n"
unlinesNoTrailingNewline (words "a b c") == "a\nb\nc"

capitalise :: String -> String

Capitalise first character of word.

capitalise "freqShift" == "FreqShift"

unCapitalise :: String -> String

Downcase first character of word.

unCapitalise "FreqShift" == "freqShift"

on_lines :: (String -> String) -> String -> String

Apply function at each line of string.

on_lines reverse "ab\ncde\nfg" == "ba\nedc\ngf\n"