Idris2Doc : Libraries.Utils.String
Definitions
stripSurrounds : Nat -> Nat -> String -> String- Totality: total
Visibility: export stripQuotes : String -> String- Totality: total
Visibility: export lowerFirst : String -> Bool- Totality: total
Visibility: export escapeStringUnix : String -> String- Totality: total
Visibility: export escapeStringChez : String -> String- Totality: total
Visibility: export