function implode

String ::= sep::String lst::[String]

In file: String.sv

function explode

[String] ::= sep::String str::String

In file: String.sv

function explodeNormal

[String] ::= sep::String str::String

In file: String.sv

function explodeSingle

[String] ::= str::String

In file: String.sv

function indexOf

Integer ::= needle::String haystack::String

In file: String.sv

function lastIndexOf

Integer ::= needle::String haystack::String

In file: String.sv

function substring

String ::= start::Integer endl::Integer str::String

In file: String.sv

function startsWith

Boolean ::= pre::String s::String

In file: String.sv

function endsWith

Boolean ::= post::String s::String

In file: String.sv

function substitute

String ::= search::String replace::String str::String

In file: String.sv

function replicate

String ::= n::Integer s::String

In file: String.sv

function isDigit

Boolean ::= str::String

In file: String.sv

function isAlpha

Boolean ::= str::String

In file: String.sv

function isSpace

Boolean ::= str::String

In file: String.sv

function isLower

Boolean ::= str::String

In file: String.sv

function isUpper

Boolean ::= str::String

In file: String.sv

function toIntSafe

Maybe<Integer> ::= str::String

In file: String.sv

function sconcat

String ::= lst::[String]

In file: String.sv

function sflatMap

String ::= f::(String ::= a) lst::[a]

In file: String.sv

function compareString

Integer ::= l::String r::String

In file: String.sv

function stringConcat

String ::= s1::String s2::String

In file: String.sv

function stringEq

Boolean ::= s1::String s2::String

In file: String.sv

function stringLte

Boolean ::= s1::String s2::String

In file: String.sv

function charsToString

String ::= chars::[Integer]

In file: String.sv

function stringToChars

[Integer] ::= str::String

In file: String.sv

function escapeString

String ::= s::String

In file: String.sv

function unescapeString

String ::= s::String

In file: String.sv