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 = let parts := String.split str fun chr => chr == Char.ofNat 95 || chr == Char.ofNat 45; String.join (List.map (fun x => String.capitalize x) parts)

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

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

Equations

• Lake.toUpperCamelCase (Lean.Name.str p s) = Lean.Name.mkStr (Lake.toUpperCamelCase p) (Lake.toUpperCamelCaseString s)
• Lake.toUpperCamelCase name = name