Get the first character in a string
String tail( String str )
s The String
Get all but the first character in a String. Useful with Strings.head (3kaya) for iteration over strings.
str = "abcdef"; i = 0; do {
i += Int(head(str)); str = tail(str);
} while (length(str) > 0);
Kaya standard library by Edwin Brady, Chris Morris and others ([email protected]). For further information see http://kayalang.org/
The Kaya standard library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (version 2.1 or any later version) as published by the Free Software Foundation.
Strings.head (3kaya)
Strings.ltruncate (3kaya)