[ 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.
concat_atom(++List, -Dest)
Succeeds if Dest is the concatenation of the atomic terms contained in List. It is more efficient to use concat_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.
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_code(+Index, +String, -Code)
Succeeds if Code is the value of the Index'th byte in String
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
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

Generated from stratom.eci on 2017-07-09 15:37