Utils.String

Definitions

tail : String -> String

Visibility: export

splitBy : Char -> String -> (String, String)

Visibility: export

utf8_pack : List Bits8 -> Maybe String

Visibility: public export

utf8_unpack : String -> List Bits8

Visibility: public export