:: String -> [String] package:Agda

splitCommas :: String -> [String]
Agda Agda.Interaction.Library.Parse
Break a comma-separated string. Result strings are trimmed.
splitOnDots :: String -> [String]
Agda Agda.Syntax.Parser.Parser
Breaks up a string into substrings. Returns every maximal subsequence of zero or more characters distinct from .. 
splitOnDots ""         == [""]
splitOnDots "foo.bar"  == ["foo", "bar"]
splitOnDots ".foo.bar" == ["", "foo", "bar"]
splitOnDots "foo.bar." == ["foo", "bar", ""]
splitOnDots "foo..bar" == ["foo", "", "bar"]