Data.String
- Package
- purescript-strings
- Repository
- purescript/purescript-strings
Wraps the functions of Javascript's String
object.
A String represents a sequence of characters.
For details of the underlying implementation, see String Reference at MDN.
#Replacement Source
newtype Replacement
A newtype used in cases to specify a replacement for a pattern.
Constructors
Instances
#charCodeAt Source
charCodeAt :: Int -> String -> Maybe Int
Returns the numeric Unicode value of the character at the given index, if the index is within bounds.
#stripPrefix Source
stripPrefix :: Pattern -> String -> Maybe String
If the string starts with the given prefix, return the portion of the string left after removing it, as a Just value. Otherwise, return Nothing.
stripPrefix (Pattern "http:") "http://purescript.org" == Just "//purescript.org"
stripPrefix (Pattern "http:") "https://purescript.org" == Nothing
#stripSuffix Source
stripSuffix :: Pattern -> String -> Maybe String
If the string ends with the given suffix, return the portion of the string left after removing it, as a Just value. Otherwise, return Nothing.
stripSuffix (Pattern ".exe") "psc.exe" == Just "psc"
stripSuffix (Pattern ".exe") "psc" == Nothing
#fromCharArray Source
fromCharArray :: Array Char -> String
Converts an array of characters into a string.
#lastIndexOf Source
lastIndexOf :: Pattern -> String -> Maybe Int
Returns the index of the last occurrence of the first string in the
second string. Returns Nothing
if there is no match.
#localeCompare Source
localeCompare :: String -> String -> Ordering
Locale-aware sort order comparison.
#replace Source
replace :: Pattern -> Replacement -> String -> String
Replaces the first occurence of the first argument with the second argument.
#replaceAll Source
replaceAll :: Pattern -> Replacement -> String -> String
Replaces all occurences of the first argument with the second argument.
#toCharArray Source
toCharArray :: String -> Array Char
Converts the string into an array of characters.
#trim Source
trim :: String -> String
Removes whitespace from the beginning and end of a string, including whitespace characters and line terminators.