isEmpty : String -> BoolLa chaîne est-elle vide ?
PréludeChargé par défaut — aucun
import nécessaire.Opérations sur les chaînes
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 CharPremier caractère d'une chaîne (Nothing si vide). Totale, comme List.head — oppi n'a pas de fonctions partielles.
tail : String -> Maybe StringTous les caractères sauf le premier (Nothing si vide). Totale, comme List.tail.
reverse : String -> StringRenverse les caractères d'une chaîne.
cons : Char -> String -> StringAjoute un caractère en tête d'une chaîne.
toList : String -> List CharConvertit une String en une List de caractères.
fromList : List Char -> StringConvertit une List de caractères en une String.
concat : List String -> StringConcatène une liste de chaînes : String.concat ["a", "b"] = "ab". La version spécifique aux chaînes du concat général (Core.Monoid).
showInt : Int -> StringConvertit un Int en sa représentation décimale sous forme de chaîne.
unlines : List String -> StringConcatène une liste de chaînes en ajoutant un retour à la ligne après chacune. unlines ["a", "b"] = "a\nb\n"
unwords : List String -> StringConcatène une liste de chaînes en les séparant par une seule espace. unwords ["a", "b", "c"] = "a b c"