source
def Lake.toUpperCamelCaseString (str : String) :
String

Converts a snake case, kebab case, or lower camel case `String` to upper camel case.

Equations

- Lake.toUpperCamelCaseString str = String.join (List.map (fun (x : String) => x.capitalize) (str.splitToList fun (chr : Char) => chr == '_' || chr == '-'))

Instances For

source
def Lake.toUpperCamelCase (name : Lean.Name) :
Lean.Name

Converts a snake case, kebab case, or lower camel case `Name` to upper camel case.

Equations

- Lake.toUpperCamelCase (p.str s) = (Lake.toUpperCamelCase p).mkStr (Lake.toUpperCamelCaseString s)
- Lake.toUpperCamelCase name = name

Instances For