On this page
Data.String
Copyright | (c) The University of Glasgow 2007 |
---|---|
License | BSD-style (see the file libraries/base/LICENSE) |
Maintainer | libraries@haskell.org |
Stability | experimental |
Portability | portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Contents
Description
The String
type and associated operations.
A String
is a list of characters. String constants in Haskell are values of type String
.
See Data.List for operations on lists.
Class for string-like datastructures; used by the overloaded string extension (-XOverloadedStrings in GHC).
Methods
fromString :: String -> a Source
Instances
a ~ Char => IsString [a] |
Since: base-2.1 |
Defined in Data.String MethodsfromString :: String -> [a] Source |
|
IsString a => IsString (Identity a) | Since: base-4.9.0.0 |
Defined in Data.String MethodsfromString :: String -> Identity a Source |
|
IsString a => IsString (Const a b) | Since: base-4.9.0.0 |
Defined in Data.String MethodsfromString :: String -> Const a b Source |
Functions on strings
lines :: String -> [String] Source
lines
breaks a string up into a list of strings at newline characters. The resulting strings do not contain newlines.
Note that after splitting the string at newline characters, the last part of the string is considered a line even if it doesn't end with a newline. For example,
>>> lines ""
[]
>>> lines "\n"
[""]
>>> lines "one"
["one"]
>>> lines "one\n"
["one"]
>>> lines "one\n\n"
["one",""]
>>> lines "one\ntwo"
["one","two"]
>>> lines "one\ntwo\n"
["one","two"]
Thus lines s
contains at least as many elements as newlines in s
.
words :: String -> [String] Source
words
breaks a string up into a list of words, which were delimited by white space.
>>> words "Lorem ipsum\ndolor"
["Lorem","ipsum","dolor"]
unlines :: [String] -> String Source
unlines
is an inverse operation to lines
. It joins lines, after appending a terminating newline to each.
>>> unlines ["Hello", "World", "!"]
"Hello\nWorld\n!\n"
unwords :: [String] -> String Source
unwords
is an inverse operation to words
. It joins words with separating spaces.
>>> unwords ["Lorem", "ipsum", "dolor"]
"Lorem ipsum dolor"
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.10.2/docs/html/libraries/base-4.14.1.0/Data-String.html