Strings
The str module defines member functions for the native string type and other string manipulation related functions.
The functions available natively in the language can be consulted here.
A string is a sequence of characters. There is no character type in Feral and so are represented as one character strings.
All the given examples assume the following imports:
import('std/str');
let io = import('std/io');
string Member Functions
int Member Functions
len
len() -> int
Returns the number of characters
Example:
io.println('hello'.len());
Gives the output:
5
empty
empty() -> bool
Checks whether the string is empty
Example:
io.println('hello'.empty());
io.println(''.empty());
Gives the output:
false
true
front
front() -> string
Returns the first character of the string, or nil if the string is empty
Example:
io.println('hello'.front());
io.println(''.front());
Gives the output:
h
(nil)
back
string.back() -> string
Returns the last character of the string, or nil if the string is empty
Example:
io.println('hello'.back());
io.println(''.back());
Gives the output:
o
(nil)
push
string.push(str: string) -> string
Appends str to the string and returns the modified string
Example:
let hello = 'hello';
hello.push(', ');
io.println(hello.push('world!'));
Gives the output:
hello, world!
pop
string.pop() -> string
Removes the last character and returns the modified string
Example:
let hello = 'hello';
hello.pop();
io.println(hello.pop());
Gives the output:
hel
insert
string.insert(idx: int, str: string) -> string
Inserts the str string at index idx and returns the modified string
Example:
let hello = 'heo';
hello.insert(2, 'll');
io.println(hello);
Gives the output:
hello
erase
string.erase(idx: int) -> string
Removes one character at index idx and returns the modified string
Example:
let hello = 'helloo';
hello.erase(4);
io.println(hello);
Gives the output:
hello
lastidx
string.lastidx() -> int
Returns the index of the last character. Equivalent to len() - 1
Example:
io.println('hello'.lastidx());
Gives the output:
4
set
string.set(idx: int, char: string) -> string
Replaces the character at index idx with char and returns the modified string
Example:
let hello = 'hello_';
hello.set(5, '!');
io.println(hello);
Gives the output:
hello!
trim
string.trim() -> string
Removes all whitespace characters at the beginning and at the end of the string and returns the modified string
Example:
io.println('_', ' hello '.trim(), '_');
Gives the output:
_hello_
split
string.split(delim: string = ':') -> vector<string>
Splits the string using delim as a single character delimiter and returns a vector of strings
Example:
io.println('hello;world'.split(';'));
Gives the output:
[hello, world]
byt
string.byt() -> int
Converts the first character to its ASCII integer representation. Returns 0 if the string is empty
Example:
io.println('0'.byt());
Gives the output:
48
chr
int.chr() -> string
Converts an integer from its ASCII integer representation to a string
Example:
io.println(48.chr());
Gives the output:
0