Not empty version of String

Convert a regular string into a not empty string, or Nothing if the string is empty

fromString "" == Nothing
fromString "hello" == Just ( consString 'h' "ello" )

Convert a not empty string into a regular string

toString ( consString 'h' "ello" ) == "hello" toString ( consString 'a' "" ) == "a"

Same as String.length

Same as String.reverse

Same as String.repeat but the string is repeated at least once

Same as String.replace

Same as String.append

Append a regular string to a not empty string

Append a not empty string to a regular string

Same as String.concat

Same as String.split, returns regular strings

Same as String.join

Same as String.words but will not return empty words

Same as String.lines, returns regular strings

Same as String.slice

Same as String.left but will take at least 1 character

Same as String.right but will take at least 1 character

Same as String.dropLeft

Same as String.dropRight

Same as String.contains

Same as String.startsWith

Same as String.endsWith

Same as String.indexes

Alias for indexes.

Same as String.toInt

Same as String.fromInt

Same as String.toFloat

Same as String.fromFloat

Same as String.fromChar

Same as String.cons

Create a not empty string from a char and a regular string

Same as String.uncons, but always returns a value

Get the first character from a not empty string

head ( consString 'h' "ello" ) == 'h'

Get the tail from a not empty string

tail ( consString 'h' "ello" ) == "ello"

Same as String.toList, returns a not empty list

Same as String.fromList, but takes a not empty list

Same as String.toUpper

Same as String.toLower

Same as String.pad

Same as String.padLeft

Same as String.padRight

Same as String.trim

Same as String.trimLeft

Same as String.trimRight

Same as String.map

Same as String.filter

Same as String.foldl

Same as String.foldr

Same as String.any

Same as String.all