isEmpty : String -> BoolIs the string empty?
PréludeChargé par défaut — aucun
import nécessaire.String operations
Synopsis
isEmpty : String -> Boolhead : String -> Maybe Chartail : String -> Maybe Stringreverse : String -> Stringcons : Char -> String -> StringtoList : String -> List CharfromList : List Char -> Stringconcat : List String -> StringshowInt : Int -> Stringunlines : List String -> Stringunwords : List String -> String
head : String -> Maybe CharFirst character of a string (Nothing if empty). Total, like List.head — oppi has no partial functions.
tail : String -> Maybe StringAll characters except the first (Nothing if empty). Total, like List.tail.
reverse : String -> StringReverse the characters of a string.
cons : Char -> String -> StringPrepend a character to a string.
toList : String -> List CharConvert a String to a List of characters.
fromList : List Char -> StringConvert a List of characters to a String.
concat : List String -> StringConcatenate a list of strings: String.concat ["a", "b"] = "ab". The String-specific version of the general concat (Core.Monoid).
showInt : Int -> StringConvert an Int to its decimal string representation.
unlines : List String -> StringJoin a list of strings, appending a newline after each one. unlines ["a", "b"] = "a\nb\n"
unwords : List String -> StringJoin a list of strings with single spaces between them. unwords ["a", "b", "c"] = "a b c"