[ Reference Manual | Alphabetic Index ]

# Strings and Atoms

Built-ins to create, convert and decompose strings and atoms

## Predicates

> append_strings(?String1, ?String2, ?String3)
>   Succeeds if String3 is the concatenation of String1 and String2.
> atom_length(+Atom, -Length)
>   Succeeds if Length is the length of Atom.
> atom_string(?Atom, ?String)
>   Conversion between an atom and a string.
> atomics_to_string(++List, -Dest)
>   Succeeds if Dest is the concatenation of the atomic terms contained in List.
> atomics_to_string(++List, +Glue, -String)
>   String is the string formed by concatenating the elements of List with an instance of Glue beween each of them.
> concat_atom(++List, -Dest)
>   Succeeds if Dest is the concatenation of the atomic terms contained in List. It is more efficient to use atomics_to_string/2 whenever possible.
> concat_atoms(+Src1, +Src2, -Dest)
>   Succeeds if Dest is the concatenation of Src1 and Src2. It is more efficient to use concat_strings/3 whenever possible.
> concat_string(++List, -Dest)
>   Succeeds if Dest is the concatenation of the atomic terms contained in List.
> concat_strings(+Src1, +Src2, -Dest)
>   Succeeds if Dest is the concatenation of Src1 and Src2.
> get_string_code(+Index, +String, -Code)
>   Succeeds if Code is the value of the Index'th character code in String
> integer_atom(?Integer, ?Atom)
>   Conversion between an integer and an atom. It is more efficient to use number_string/2 wherever possible.
> join_string(++List, +Glue, -String)
>   String is the string formed by concatenating the elements of List with an instance of Glue between each of them.
> number_string(?Number, ?String)
>   Conversion between any number and a string.
> split_string(+String, +SepChars, +PadChars, -SubStrings)
>   Decompose String into SubStrings according to separators SepChars and padding characters PadChars.
> string_char(?Index, +String, ?Char)
>   Succeeds if Char is the value of the Index'th character in String
> string_chars(?String, ?Chars)
>   Chars is a list whose elements are the single-character atoms of the characters in the string
> string_code(?Index, +String, ?Code)
>   Succeeds if Code is the value of the Index'th character code in String
> string_codes(?String, ?Codes)
>   Codes is a list whose elements are the character codes of the characters in the string
> string_concat(?String1, ?String2, ?String3)
>   Succeeds if String3 is the concatenation of String1 and String2.
> string_length(+String, -Length)
>   Succeeds if Length is the length of the string String.
> string_list(?String, ?List)
>   List is a list whose elements are the integer codes of the bytes in the string
> string_list(?String, ?List, +Format)
>   Conversion between string in different encodings and a character list
> string_lower(++String, -Upper)
>   Convert string to lower case
> string_upper(++String, -Upper)
>   Convert string to upper case
> sub_string(+String, ?Before, ?Length, ?After, ?SubString)
>   Succeeds if SubString is a substring of String, with length Length, preceded by Before, and followed by After characters
> substring(+String1, +String2, ?Position)
>   Succeeds if String2 is a substring of String1 beginning at position Position.
> substring(+String1, ?Position, ?Length, ?String2)
>   Succeeds if String2 is the substring of String1 starting at position Position and of length Length.
> substring(+String, ?Before, ?Length, ?After, ?SubString)
>   Succeeds if SubString is a substring of String, with length Length, preceded by Before, and followed by After characters
> text_to_string(++Text, -String)
>   Convert different text representations to a string

Generated from stratom.eci on 2020-02-26 22:26