@declaro/core 2.0.0-beta.9 → 2.0.0-y.0

package/src/typescript/constant-manipulation/snake-case.md

@@ -0,0 +1,496 @@
+The snake case type util was written with the help of Github Copilot (Version: 1.211.0) running GPT 4 Turbo
+
+Example usage:
+
+```ts
+// Example usage:
+type Example = SnakeCase<'My--Wacky--Type'> // "my_wacky_type"
+type AnotherExample = SnakeCase<'  LeadingTrailing  '> // "leading_trailing"
+type CamelCaseExample = SnakeCase<'Camel _-Case0987String  '> // "camel_case_string"
+type ExampleWithNumerals = SnakeCase<'MyVariable2020IsCool'> // "my_variable_2020_is_cool"
+type AnotherExampleWithNumerals = SnakeCase<'2020MyVariableIsCool'> // "2020_my_variable_is_cool"
+```
+
+Below is an export of the chat thread:
+
+````json
+{
+    "requesterUsername": "robbyemmert",
+    "requesterAvatarIconUri": {
+        "$mid": 1,
+        "path": "/robbyemmert",
+        "scheme": "https",
+        "authority": "avatars.githubusercontent.com"
+    },
+    "responderUsername": "GitHub Copilot",
+    "responderAvatarIconUri": {
+        "id": "copilot"
+    },
+    "initialLocation": "panel",
+    "welcomeMessage": ["Hi **@robbyemmert**, how can I help you?"],
+    "requests": [
+        {
+            "message": {
+                "text": "Write a typescript type for manipulating string constants. I want to convert all of the characters that match this: type AllowedSpecialCharacters = ' ' | '_' | '-' to _\n\nHere are a few rules:\n\n- Any subsequent string of special characters must only produce one _. For example My--Wacky--Type should read my_wacky_type.\n- Any starting or trailing special characters should be trimmed The output should be entirely lowercase\n- CamelCase strings should be converted to snake case, inserting a _ between the last lower case letter and first upper case letter\n- You must use only typescript type definitions, no runtime code, as this is meant to manipulate constant names",
+                "parts": [
+                    {
+                        "range": {
+                            "start": 0,
+                            "endExclusive": 666
+                        },
+                        "editorRange": {
+                            "startLineNumber": 1,
+                            "startColumn": 1,
+                            "endLineNumber": 8,
+                            "endColumn": 112
+                        },
+                        "text": "Write a typescript type for manipulating string constants. I want to convert all of the characters that match this: type AllowedSpecialCharacters = ' ' | '_' | '-' to _\n\nHere are a few rules:\n\n- Any subsequent string of special characters must only produce one _. For example My--Wacky--Type should read my_wacky_type.\n- Any starting or trailing special characters should be trimmed The output should be entirely lowercase\n- CamelCase strings should be converted to snake case, inserting a _ between the last lower case letter and first upper case letter\n- You must use only typescript type definitions, no runtime code, as this is meant to manipulate constant names",
+                        "kind": "text"
+                    }
+                ]
+            },
+            "variableData": {
+                "variables": []
+            },
+            "response": [
+                {
+                    "value": "```typescript\ntype LowercaseLetters = 'a' | 'b' | 'c' | 'd' | 'e' | 'f' | 'g' | 'h' | 'i' | 'j' | 'k' | 'l' | 'm' | 'n' | 'o' | 'p' | 'q' | 'r' | 's' | 't' | 'u' | 'v' | 'w' | 'x' | 'y' | 'z';\ntype UppercaseLetters = Uppercase<LowercaseLetters>;\ntype AllowedSpecialCharacters = ' ' | '_' | '-';\ntype Letters = LowercaseLetters | UppercaseLetters;\n\ntype Join<K, P> = K extends string | number ?\n                  (P extends string | number ? `${K}${P}` : never) : never;\n\ntype Replace<S, From extends string, To extends string> = \n    S extends '' ? '' :\n    S extends `${infer P}${From}${infer R}` ? `${P}${To}${Replace<R, From, To>}` :\n    S;\n\ntype Trim<S> = \n    S extends `${AllowedSpecialCharacters}${infer T}` ? Trim<T> :\n    S extends `${infer T}${AllowedSpecialCharacters}` ? Trim<T> :\n    S;\n\ntype CamelToSnakeCase<S, Acc extends string = ''> = \n    S extends `${infer L}${infer R}` ? \n        L extends LowercaseLetters ?\n            `${Acc}${L}` extends `${infer T}${UppercaseLetters}` ?\n                CamelToSnakeCase<R, `${T}_${Lowercase<L>}`> :\n                CamelToSnakeCase<R, `${Acc}${L}`> :\n        L extends UppercaseLetters ? \n            CamelToSnakeCase<R, `${Acc}_${Lowercase<L>}`> :\n        CamelToSnakeCase<R, Acc> :\n    Acc;\n\ntype Normalize<S> = Lowercase<Trim<Replace<Replace<Replace<S, ' ', '_'>, '-', '_'>, '__', '_'>>>;\n\ntype ConvertString<S> = Normalize<CamelToSnakeCase<S>>;\n\n// Example usage:\ntype Example = ConvertString<'My--Wacky--Type'>; // \"my_wacky_type\"\ntype AnotherExample = ConvertString<'  LeadingTrailing  '>; // \"leadingtrailing\"\ntype CamelCaseExample = ConvertString<'CamelCaseString'>; // \"camel_case_string\"\n```",
+                    "isTrusted": {
+                        "enabledCommands": [
+                            "_github.copilot.openRelativePath",
+                            "_github.copilot.openSymbolInFile",
+                            "_github.copilot.openSymbolFromReferences"
+                        ]
+                    },
+                    "supportThemeIcons": false,
+                    "supportHtml": false
+                }
+            ],
+            "result": {
+                "timings": {
+                    "firstProgress": 1168,
+                    "totalElapsed": 14552
+                },
+                "metadata": {
+                    "responseId": "bdc97bdf-bcdd-45da-9a37-a94ce50b5670",
+                    "sessionId": "279a6db1-65ce-488e-a723-90acd0a17cdc",
+                    "agentId": "github.copilot.default"
+                }
+            },
+            "followups": [
+                {
+                    "kind": "reply",
+                    "agentId": "github.copilot.default",
+                    "message": "How can I use the `ConvertString` type to manipulate string constants in TypeScript?"
+                }
+            ],
+            "isCanceled": false,
+            "contentReferences": [
+                {
+                    "kind": "reference",
+                    "reference": {
+                        "uri": {
+                            "$mid": 1,
+                            "fsPath": "/Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "external": "file:///Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "path": "/Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "scheme": "file"
+                        },
+                        "range": {
+                            "startLineNumber": 44,
+                            "startColumn": 1,
+                            "endLineNumber": 78,
+                            "endColumn": 1
+                        }
+                    }
+                }
+            ]
+        },
+        {
+            "message": {
+                "text": "Your code is throwing this error. Can you fix it?\n\nType 'Trim<Replace<Replace<Replace<S, \" \", \"_\">, \"-\", \"_\">, \"__\", \"_\">>' does not satisfy the constraint 'string'.\n  Type '\"\" | Trim<Replace<Replace<S extends `${infer P} ${infer R}` ? `${P}_${Replace<R, \" \", \"_\">}` : S, \"-\", \"_\">, \"__\", \"_\">>' is not assignable to type 'string'.\n    Type 'Trim<Replace<Replace<S extends `${infer P} ${infer R}` ? `${P}_${Replace<R, \" \", \"_\">}` : S, \"-\", \"_\">, \"__\", \"_\">>' is not assignable to type 'string'.\n      Type 'string | Trim<Replace<Replace<S, \"-\", \"_\">, \"__\", \"_\">>' is not assignable to type 'string'.\n        Type 'Trim<Replace<Replace<S, \"-\", \"_\">, \"__\", \"_\">>' is not assignable to type 'string'.\n          Type '\"\" | Trim<Replace<S extends `${infer P}-${infer R}` ? `${P}_${Replace<R, \"-\", \"_\">}` : S, \"__\", \"_\">>' is not assignable to type 'string'.\n            Type 'Trim<Replace<S extends `${infer P}-${infer R}` ? `${P}_${Replace<R, \"-\", \"_\">}` : S, \"__\", \"_\">>' is not assignable to type 'string'.\n              Type 'string | Trim<Replace<S, \"__\", \"_\">>' is not assignable to type 'string'.\n                Type 'Trim<Replace<S, \"__\", \"_\">>' is not assignable to type 'string'.\n                  Type '\"\" | Trim<S extends `${infer P}__${infer R}` ? `${P}_${Replace<R, \"__\", \"_\">}` : S>' is not assignable to type 'string'.\n                    Type 'Trim<S extends `${infer P}__${infer R}` ? `${P}_${Replace<R, \"__\", \"_\">}` : S>' is not assignable to type 'string'.\n                      Type 'string | Trim<S>' is not assignable to type 'string'.\n                        Type 'Trim<S>' is not assignable to type 'string'.\n                          Type 'string | (S extends `${infer T} ` | `${infer T}_` | `${infer T}-` ? Trim<T> : S)' is not assignable to type 'string'.\n                            Type 'S extends `${infer T} ` | `${infer T}_` | `${infer T}-` ? Trim<T> : S' is not assignable to type 'string'.\n                              Type 'string | S' is not assignable to type 'string'.\n                                Type 'S' is not assignable to type 'string'.ts(2344)\nUntitled-3(30, 16): This type parameter might need an `extends string` constraint.",
+                "parts": [
+                    {
+                        "range": {
+                            "start": 0,
+                            "endExclusive": 2172
+                        },
+                        "editorRange": {
+                            "startLineNumber": 1,
+                            "startColumn": 1,
+                            "endLineNumber": 20,
+                            "endColumn": 83
+                        },
+                        "text": "Your code is throwing this error. Can you fix it?\n\nType 'Trim<Replace<Replace<Replace<S, \" \", \"_\">, \"-\", \"_\">, \"__\", \"_\">>' does not satisfy the constraint 'string'.\n  Type '\"\" | Trim<Replace<Replace<S extends `${infer P} ${infer R}` ? `${P}_${Replace<R, \" \", \"_\">}` : S, \"-\", \"_\">, \"__\", \"_\">>' is not assignable to type 'string'.\n    Type 'Trim<Replace<Replace<S extends `${infer P} ${infer R}` ? `${P}_${Replace<R, \" \", \"_\">}` : S, \"-\", \"_\">, \"__\", \"_\">>' is not assignable to type 'string'.\n      Type 'string | Trim<Replace<Replace<S, \"-\", \"_\">, \"__\", \"_\">>' is not assignable to type 'string'.\n        Type 'Trim<Replace<Replace<S, \"-\", \"_\">, \"__\", \"_\">>' is not assignable to type 'string'.\n          Type '\"\" | Trim<Replace<S extends `${infer P}-${infer R}` ? `${P}_${Replace<R, \"-\", \"_\">}` : S, \"__\", \"_\">>' is not assignable to type 'string'.\n            Type 'Trim<Replace<S extends `${infer P}-${infer R}` ? `${P}_${Replace<R, \"-\", \"_\">}` : S, \"__\", \"_\">>' is not assignable to type 'string'.\n              Type 'string | Trim<Replace<S, \"__\", \"_\">>' is not assignable to type 'string'.\n                Type 'Trim<Replace<S, \"__\", \"_\">>' is not assignable to type 'string'.\n                  Type '\"\" | Trim<S extends `${infer P}__${infer R}` ? `${P}_${Replace<R, \"__\", \"_\">}` : S>' is not assignable to type 'string'.\n                    Type 'Trim<S extends `${infer P}__${infer R}` ? `${P}_${Replace<R, \"__\", \"_\">}` : S>' is not assignable to type 'string'.\n                      Type 'string | Trim<S>' is not assignable to type 'string'.\n                        Type 'Trim<S>' is not assignable to type 'string'.\n                          Type 'string | (S extends `${infer T} ` | `${infer T}_` | `${infer T}-` ? Trim<T> : S)' is not assignable to type 'string'.\n                            Type 'S extends `${infer T} ` | `${infer T}_` | `${infer T}-` ? Trim<T> : S' is not assignable to type 'string'.\n                              Type 'string | S' is not assignable to type 'string'.\n                                Type 'S' is not assignable to type 'string'.ts(2344)\nUntitled-3(30, 16): This type parameter might need an `extends string` constraint.",
+                        "kind": "text"
+                    }
+                ]
+            },
+            "variableData": {
+                "variables": []
+            },
+            "response": [
+                {
+                    "value": "The error message you're encountering indicates a type constraint issue within a complex TypeScript type manipulation. The core of the problem lies in TypeScript's inability to guarantee that the result of your type manipulations will always be a `string`. This is a common issue when working with conditional types that perform operations on string literals.\n\nTo address this, you need to ensure that your type manipulations are constrained to operate on strings. This can be achieved by adding an `extends string` constraint to your type parameters where necessary. This tells TypeScript that the type parameter will always be a string, which makes operations like template literal types and string manipulation safe.\n\nHere's a revised version of the problematic part of your type definition, adding `extends string` constraints where needed:\n\n```typescript\ntype Replace<S extends string, From extends string, To extends string> = \n    S extends '' ? '' :\n    S extends `${infer P}${From}${infer R}` ? `${P}${To}${Replace<R, From, To>}` :\n    S;\n\ntype Trim<S extends string> = \n    S extends `${AllowedSpecialCharacters}${infer T}` ? Trim<T> :\n    S extends `${infer T}${AllowedSpecialCharacters}` ? Trim<T> :\n    S;\n\ntype CamelToSnakeCase<S extends string, Acc extends string = ''> = \n    S extends `${infer L}${infer R}` ? \n        L extends LowercaseLetters ?\n            `${Acc}${L}` extends `${infer T}${UppercaseLetters}` ?\n                CamelToSnakeCase<R, `${T}_${Lowercase<L>}`> :\n                CamelToSnakeCase<R, `${Acc}${L}`> :\n        L extends UppercaseLetters ? \n            CamelToSnakeCase<R, `${Acc}_${Lowercase<L>}`> :\n        CamelToSnakeCase<R, Acc> :\n    Acc;\n\ntype Normalize<S extends string> = Lowercase<Trim<Replace<Replace<Replace<S, ' ', '_'>, '-', '_'>, '__', '_'>>>;\n\ntype ConvertString<S extends string> = Normalize<CamelToSnakeCase<S>>;\n```\n\nBy ensuring that `S`, `From`, and `To` in `Replace`, and `S` in `Trim`, `CamelToSnakeCase`, and `Normalize` are constrained to `extends string`, you inform TypeScript that these operations are intended to be used with strings, which resolves the type constraint issues you were facing.",
+                    "isTrusted": {
+                        "enabledCommands": [
+                            "_github.copilot.openRelativePath",
+                            "_github.copilot.openSymbolInFile",
+                            "_github.copilot.openSymbolFromReferences"
+                        ]
+                    },
+                    "supportThemeIcons": false,
+                    "supportHtml": false
+                }
+            ],
+            "result": {
+                "timings": {
+                    "firstProgress": 1176,
+                    "totalElapsed": 14015
+                },
+                "metadata": {
+                    "responseId": "df232007-b0b4-4ddf-b7ac-9c5b2293aeaa",
+                    "sessionId": "279a6db1-65ce-488e-a723-90acd0a17cdc",
+                    "agentId": "github.copilot.default"
+                }
+            },
+            "followups": [
+                {
+                    "kind": "reply",
+                    "agentId": "github.copilot.default",
+                    "message": "How can I use the `ConvertString` type to manipulate string constants in TypeScript?"
+                }
+            ],
+            "isCanceled": false,
+            "contentReferences": [
+                {
+                    "kind": "reference",
+                    "reference": {
+                        "uri": {
+                            "$mid": 1,
+                            "fsPath": "/Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "external": "file:///Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "path": "/Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "scheme": "file"
+                        },
+                        "range": {
+                            "startLineNumber": 44,
+                            "startColumn": 1,
+                            "endLineNumber": 78,
+                            "endColumn": 1
+                        }
+                    }
+                }
+            ]
+        },
+        {
+            "message": {
+                "text": "That works great! Can you update it to support numerals 0-9 as well?",
+                "parts": [
+                    {
+                        "range": {
+                            "start": 0,
+                            "endExclusive": 68
+                        },
+                        "editorRange": {
+                            "startLineNumber": 1,
+                            "startColumn": 1,
+                            "endLineNumber": 1,
+                            "endColumn": 69
+                        },
+                        "text": "That works great! Can you update it to support numerals 0-9 as well?",
+                        "kind": "text"
+                    }
+                ]
+            },
+            "variableData": {
+                "variables": []
+            },
+            "response": [
+                {
+                    "value": "To update the TypeScript type definitions to support numerals 0-9 in addition to the existing functionality, you need to modify the `Letters` type to include numeric characters and adjust any relevant logic to handle these new characters. However, since the original task was focused on manipulating string constants with TypeScript types and did not directly involve handling numerals, I'll assume you're asking to include numerals in the string manipulation process, particularly in the `ConvertString` type.\n\nGiven the context of your request, it seems you want to ensure that numerals are correctly handled in the conversion process, such as in converting CamelCase strings to snake_case and ensuring special characters and numerals are treated correctly. Since TypeScript's type system is not designed to perform runtime string manipulation, the inclusion of numerals is more about ensuring that they are preserved correctly in the output type.\n\nHere's how you can adjust the type definitions to acknowledge numerals:\n\n```typescript\ntype Numerals = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9';\n\n// Adjusting the CamelToSnakeCase type to include Numerals in the Accumulator\ntype CamelToSnakeCase<S extends string, Acc extends string = ''> = \n    S extends `${infer L}${infer R}` ? \n        L extends LowercaseLetters | Numerals ?\n            `${Acc}${L}` extends `${infer T}${UppercaseLetters}` ?\n                CamelToSnakeCase<R, `${T}_${Lowercase<L>}`> :\n                CamelToSnakeCase<R, `${Acc}${L}`> :\n        L extends UppercaseLetters ? \n            CamelToSnakeCase<R, `${Acc}_${Lowercase<L>}`> :\n        CamelToSnakeCase<R, Acc> :\n    Acc;\n\n// No changes needed for Normalize as it already handles strings generically\n\n// The ConvertString type remains the same as it calls CamelToSnakeCase and Normalize\ntype ConvertString<S extends string> = Normalize<CamelToSnakeCase<S>>;\n\n// Example usage with numerals:\ntype ExampleWithNumerals = ConvertString<'MyVariable1IsCool'>; // \"my_variable1_is_cool\"\n```\n\nThis adjustment ensures that numerals are treated as part of the string during the conversion process, preserving them in the output. Note that the primary change was in the `CamelToSnakeCase` type, where we included `Numerals` in the conditional checks to ensure they are correctly appended to the accumulator (`Acc`) and thus preserved in the final output.",
+                    "isTrusted": {
+                        "enabledCommands": [
+                            "_github.copilot.openRelativePath",
+                            "_github.copilot.openSymbolInFile",
+                            "_github.copilot.openSymbolFromReferences"
+                        ]
+                    },
+                    "supportThemeIcons": false,
+                    "supportHtml": false
+                }
+            ],
+            "result": {
+                "timings": {
+                    "firstProgress": 1352,
+                    "totalElapsed": 15533
+                },
+                "metadata": {
+                    "responseId": "4d763411-dbfe-47ee-9aa2-964a7099a474",
+                    "sessionId": "279a6db1-65ce-488e-a723-90acd0a17cdc",
+                    "agentId": "github.copilot.default"
+                }
+            },
+            "followups": [
+                {
+                    "kind": "reply",
+                    "agentId": "github.copilot.default",
+                    "message": "How can I convert a string with special characters and numerals to snake_case using TypeScript type definitions?"
+                }
+            ],
+            "isCanceled": false,
+            "contentReferences": [
+                {
+                    "kind": "reference",
+                    "reference": {
+                        "uri": {
+                            "$mid": 1,
+                            "fsPath": "/Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "external": "file:///Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "path": "/Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "scheme": "file"
+                        },
+                        "range": {
+                            "startLineNumber": 44,
+                            "startColumn": 1,
+                            "endLineNumber": 78,
+                            "endColumn": 1
+                        }
+                    }
+                }
+            ]
+        },
+        {
+            "message": {
+                "text": "Great! Can you update it to treat numerals in the following ways:\n\n- Sequences of numerals should always be together, and should never be separated by a _\n- Numerals should always be separated from other text, as capital letters are",
+                "parts": [
+                    {
+                        "range": {
+                            "start": 0,
+                            "endExclusive": 232
+                        },
+                        "editorRange": {
+                            "startLineNumber": 1,
+                            "startColumn": 1,
+                            "endLineNumber": 4,
+                            "endColumn": 78
+                        },
+                        "text": "Great! Can you update it to treat numerals in the following ways:\n\n- Sequences of numerals should always be together, and should never be separated by a _\n- Numerals should always be separated from other text, as capital letters are",
+                        "kind": "text"
+                    }
+                ]
+            },
+            "variableData": {
+                "variables": []
+            },
+            "response": [
+                {
+                    "value": "To update the TypeScript type definitions to treat numerals according to your new rules, we need to adjust the `CamelToSnakeCase` type. The goal is to ensure that sequences of numerals are always kept together and are separated from other text with an underscore (`_`), similar to how capital letters are treated. This requires a more nuanced approach to handling numerals within the string manipulation logic.\n\nHere's the updated approach in pseudocode before translating it into TypeScript:\n\n1. **Identify Sequences of Numerals**: When a numeral is encountered, check if it's part of a sequence and treat the entire sequence as a single unit.\n2. **Separate Numerals from Text**: Ensure that numerals (or sequences of numerals) are separated from preceding text with an underscore. This is similar to how we handle the transition from lowercase to uppercase letters but applies to the transition between any letter (lowercase or uppercase) and numerals.\n3. **Preserve Existing Logic**: Maintain the existing logic for handling CamelCase conversion and special character normalization.\n\nNow, let's translate this logic into TypeScript type definitions:\n\n```typescript\ntype CamelToSnakeCase<S extends string, Acc extends string = ''> =\n    S extends `${infer L}${infer R}` ?\n        L extends LowercaseLetters | UppercaseLetters ?\n            `${Acc}${L}` extends `${infer T}${UppercaseLetters | Numerals}` ?\n                CamelToSnakeCase<R, `${T}_${Lowercase<L>}`> :\n                CamelToSnakeCase<R, `${Acc}${L}`> :\n        L extends Numerals ?\n            `${Acc}${L}` extends `${infer T}${Numerals}` ?\n                CamelToSnakeCase<R, `${T}${L}`> : // Keep numerals together\n                `${Acc}` extends `${infer T}_${Numerals}` ?\n                    CamelToSnakeCase<R, `${Acc}${L}`> : // If Acc already ends with _ and numerals, just append\n                    CamelToSnakeCase<R, `${Acc}_${L}`> : // Separate numerals from text\n        CamelToSnakeCase<R, Acc> :\n    Acc;\n\n// The Normalize type remains unchanged as it handles strings generically\ntype Normalize<S extends string> = Lowercase<Trim<Replace<Replace<Replace<S, ' ', '_'>, '-', '_'>, '__', '_'>>>;\n\n// The ConvertString type also remains unchanged as it calls CamelToSnakeCase and Normalize\ntype ConvertString<S extends string> = Normalize<CamelToSnakeCase<S>>;\n\n// Example usage with numerals:\ntype ExampleWithNumerals = ConvertString<'MyVariable2020IsCool'>; // \"my_variable_2020_is_cool\"\ntype AnotherExampleWithNumerals = ConvertString<'2020MyVariableIsCool'>; // \"2020_my_variable_is_cool\"\n```\n\nThis updated type definition for `CamelToSnakeCase` now includes logic to:\n- Keep sequences of numerals together without inserting underscores within the sequence.\n- Insert underscores between numerals (or numeral sequences) and other text, treating the transition from text to numerals similarly to the transition from lowercase to uppercase letters.",
+                    "isTrusted": {
+                        "enabledCommands": [
+                            "_github.copilot.openRelativePath",
+                            "_github.copilot.openSymbolInFile",
+                            "_github.copilot.openSymbolFromReferences"
+                        ]
+                    },
+                    "supportThemeIcons": false,
+                    "supportHtml": false
+                }
+            ],
+            "result": {
+                "timings": {
+                    "firstProgress": 1662,
+                    "totalElapsed": 21489
+                },
+                "metadata": {
+                    "responseId": "ec0db9bc-5ff8-4fca-8a05-cfa155d50b31",
+                    "sessionId": "279a6db1-65ce-488e-a723-90acd0a17cdc",
+                    "agentId": "github.copilot.default"
+                }
+            },
+            "followups": [
+                {
+                    "kind": "reply",
+                    "agentId": "github.copilot.default",
+                    "message": "How can I use the ConvertString type to manipulate string constants in my TypeScript code?"
+                }
+            ],
+            "isCanceled": false,
+            "contentReferences": [
+                {
+                    "kind": "reference",
+                    "reference": {
+                        "uri": {
+                            "$mid": 1,
+                            "fsPath": "/Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "external": "file:///Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "path": "/Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "scheme": "file"
+                        },
+                        "range": {
+                            "startLineNumber": 44,
+                            "startColumn": 1,
+                            "endLineNumber": 78,
+                            "endColumn": 1
+                        }
+                    }
+                }
+            ]
+        },
+        {
+            "message": {
+                "text": "Almost there! lower case strings and numerals are not properly separated by a _. For instance, MyVariableIsCool2020 evaluates to my_variable_is_cool2020. It should evaluate to my_variable_is_cool_2020.\n\nHere is my whole code file for context:\n```ts\ntype LowercaseLetters = 'a' | 'b' | 'c' | 'd' | 'e' | 'f' | 'g' | 'h' | 'i' | 'j' | 'k' | 'l' | 'm' | 'n' | 'o' | 'p' | 'q' | 'r' | 's' | 't' | 'u' | 'v' | 'w' | 'x' | 'y' | 'z';\ntype Numerals = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9';\ntype UppercaseLetters = Uppercase<LowercaseLetters>;\ntype AllowedSpecialCharacters = ' ' | '_' | '-';\ntype Letters = LowercaseLetters | UppercaseLetters;\n\ntype Replace<S extends string, From extends string, To extends string> = \n    S extends '' ? '' :\n    S extends `${infer P}${From}${infer R}` ? `${P}${To}${Replace<R, From, To>}` :\n    S;\n\ntype Trim<S extends string> = \n    S extends `${AllowedSpecialCharacters}${infer T}` ? Trim<T> :\n    S extends `${infer T}${AllowedSpecialCharacters}` ? Trim<T> :\n    S;\n\ntype CamelToSnakeCase<S extends string, Acc extends string = ''> =\n    S extends `${infer L}${infer R}` ?\n        L extends LowercaseLetters | UppercaseLetters ?\n            `${Acc}${L}` extends `${infer T}${UppercaseLetters | Numerals}` ?\n                CamelToSnakeCase<R, `${T}_${Lowercase<L>}`> :\n                CamelToSnakeCase<R, `${Acc}${L}`> :\n        L extends Numerals ?\n            `${Acc}${L}` extends `${infer T}${Numerals}` ?\n                CamelToSnakeCase<R, `${T}${L}`> : // Keep numerals together\n                `${Acc}` extends `${infer T}_${Numerals}` ?\n                    CamelToSnakeCase<R, `${Acc}${L}`> : // If Acc already ends with _ and numerals, just append\n                    CamelToSnakeCase<R, `${Acc}_${L}`> : // Separate numerals from text\n        CamelToSnakeCase<R, Acc> :\n    Acc;\n\ntype Normalize<S extends string> = Lowercase<Trim<Replace<Replace<Replace<S, ' ', '_'>, '-', '_'>, '__', '_'>>>;\n\ntype SnakeCase<S extends string> = Normalize<CamelToSnakeCase<S>>;\n\n// Example usage:\ntype Example = SnakeCase<'My--Wacky--Type'>; // \"my_wacky_type\"\ntype AnotherExample = SnakeCase<'  LeadingTrailing  '>; // \"leadingtrailing\"\ntype CamelCaseExample = SnakeCase<'Camel _-Case0987String  '>; // \"camel_case_string\"\ntype ExampleWithNumerals = SnakeCase<'MyVariable2020IsCool'>; // \"my_variable2020_is_cool\" // BUG: Should be \"my_variable_2020_is_cool\ntype AnotherExampleWithNumerals = SnakeCase<'2020MyVariableIsCool'>; // \"2020_my_variable_is_cool\"\n```",
+                "parts": [
+                    {
+                        "range": {
+                            "start": 0,
+                            "endExclusive": 2505
+                        },
+                        "editorRange": {
+                            "startLineNumber": 1,
+                            "startColumn": 1,
+                            "endLineNumber": 46,
+                            "endColumn": 4
+                        },
+                        "text": "Almost there! lower case strings and numerals are not properly separated by a _. For instance, MyVariableIsCool2020 evaluates to my_variable_is_cool2020. It should evaluate to my_variable_is_cool_2020.\n\nHere is my whole code file for context:\n```ts\ntype LowercaseLetters = 'a' | 'b' | 'c' | 'd' | 'e' | 'f' | 'g' | 'h' | 'i' | 'j' | 'k' | 'l' | 'm' | 'n' | 'o' | 'p' | 'q' | 'r' | 's' | 't' | 'u' | 'v' | 'w' | 'x' | 'y' | 'z';\ntype Numerals = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9';\ntype UppercaseLetters = Uppercase<LowercaseLetters>;\ntype AllowedSpecialCharacters = ' ' | '_' | '-';\ntype Letters = LowercaseLetters | UppercaseLetters;\n\ntype Replace<S extends string, From extends string, To extends string> = \n    S extends '' ? '' :\n    S extends `${infer P}${From}${infer R}` ? `${P}${To}${Replace<R, From, To>}` :\n    S;\n\ntype Trim<S extends string> = \n    S extends `${AllowedSpecialCharacters}${infer T}` ? Trim<T> :\n    S extends `${infer T}${AllowedSpecialCharacters}` ? Trim<T> :\n    S;\n\ntype CamelToSnakeCase<S extends string, Acc extends string = ''> =\n    S extends `${infer L}${infer R}` ?\n        L extends LowercaseLetters | UppercaseLetters ?\n            `${Acc}${L}` extends `${infer T}${UppercaseLetters | Numerals}` ?\n                CamelToSnakeCase<R, `${T}_${Lowercase<L>}`> :\n                CamelToSnakeCase<R, `${Acc}${L}`> :\n        L extends Numerals ?\n            `${Acc}${L}` extends `${infer T}${Numerals}` ?\n                CamelToSnakeCase<R, `${T}${L}`> : // Keep numerals together\n                `${Acc}` extends `${infer T}_${Numerals}` ?\n                    CamelToSnakeCase<R, `${Acc}${L}`> : // If Acc already ends with _ and numerals, just append\n                    CamelToSnakeCase<R, `${Acc}_${L}`> : // Separate numerals from text\n        CamelToSnakeCase<R, Acc> :\n    Acc;\n\ntype Normalize<S extends string> = Lowercase<Trim<Replace<Replace<Replace<S, ' ', '_'>, '-', '_'>, '__', '_'>>>;\n\ntype SnakeCase<S extends string> = Normalize<CamelToSnakeCase<S>>;\n\n// Example usage:\ntype Example = SnakeCase<'My--Wacky--Type'>; // \"my_wacky_type\"\ntype AnotherExample = SnakeCase<'  LeadingTrailing  '>; // \"leadingtrailing\"\ntype CamelCaseExample = SnakeCase<'Camel _-Case0987String  '>; // \"camel_case_string\"\ntype ExampleWithNumerals = SnakeCase<'MyVariable2020IsCool'>; // \"my_variable2020_is_cool\" // BUG: Should be \"my_variable_2020_is_cool\ntype AnotherExampleWithNumerals = SnakeCase<'2020MyVariableIsCool'>; // \"2020_my_variable_is_cool\"\n```",
+                        "kind": "text"
+                    }
+                ]
+            },
+            "variableData": {
+                "variables": []
+            },
+            "response": [
+                {
+                    "value": "To ensure that lowercase strings and numerals are properly separated by an underscore (`_`), we need to adjust the `CamelToSnakeCase` type. Specifically, we need to refine the logic that handles the transition from lowercase letters to numerals, ensuring an underscore is inserted between them.\n\nHere's the updated TypeScript code:\n\n```ts\ntype CamelToSnakeCase<S extends string, Acc extends string = ''> =\n    S extends `${infer L}${infer R}` ?\n        L extends LowercaseLetters ?\n            `${Acc}${L}` extends `${infer T}${UppercaseLetters | Numerals}` | `${infer T}${LowercaseLetters}${Numerals}` ?\n                CamelToSnakeCase<R, `${T}_${Lowercase<L>}`> :\n                CamelToSnakeCase<R, `${Acc}${L}`> :\n        L extends UppercaseLetters | Numerals ?\n            `${Acc}${L}` extends `${infer T}${Numerals}` ?\n                CamelToSnakeCase<R, `${T}${L}`> : // Keep numerals together\n                `${Acc}` extends `${infer T}_${Numerals}` | `${infer T}${LowercaseLetters}_${Numerals}` ?\n                    CamelToSnakeCase<R, `${Acc}${L}`> : // If Acc already ends with _ and numerals, just append\n                    CamelToSnakeCase<R, `${Acc}_${L}`> : // Separate numerals from text\n        CamelToSnakeCase<R, Acc> :\n    Acc;\n```\n\nThis update includes a more nuanced check for transitions from lowercase letters directly to numerals, ensuring that an underscore is inserted between them. This should correct the issue with strings like `'MyVariable2020IsCool'` not being converted to `'my_variable_2020_is_cool'` as expected.",
+                    "isTrusted": {
+                        "enabledCommands": [
+                            "_github.copilot.openRelativePath",
+                            "_github.copilot.openSymbolInFile",
+                            "_github.copilot.openSymbolFromReferences"
+                        ]
+                    },
+                    "supportThemeIcons": false,
+                    "supportHtml": false
+                }
+            ],
+            "result": {
+                "timings": {
+                    "firstProgress": 1505,
+                    "totalElapsed": 11512
+                },
+                "metadata": {
+                    "responseId": "ff65519e-e804-422e-9c71-d77bff926c76",
+                    "sessionId": "279a6db1-65ce-488e-a723-90acd0a17cdc",
+                    "agentId": "github.copilot.default"
+                }
+            },
+            "followups": [
+                {
+                    "kind": "reply",
+                    "agentId": "github.copilot.default",
+                    "message": "How can I convert a string from snake_case to CamelCase using TypeScript?"
+                }
+            ],
+            "isCanceled": false,
+            "contentReferences": [
+                {
+                    "kind": "reference",
+                    "reference": {
+                        "uri": {
+                            "$mid": 1,
+                            "fsPath": "/Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "external": "file:///Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "path": "/Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "scheme": "file"
+                        },
+                        "range": {
+                            "startLineNumber": 44,
+                            "startColumn": 1,
+                            "endLineNumber": 78,
+                            "endColumn": 1
+                        }
+                    }
+                }
+            ]
+        },
+        {
+            "message": {
+                "text": "It still doesn't work. Why are lower case strings and numerals still not being separated by a _?",
+                "parts": [
+                    {
+                        "range": {
+                            "start": 0,
+                            "endExclusive": 96
+                        },
+                        "editorRange": {
+                            "startLineNumber": 1,
+                            "startColumn": 1,
+                            "endLineNumber": 1,
+                            "endColumn": 97
+                        },
+                        "text": "It still doesn't work. Why are lower case strings and numerals still not being separated by a _?",
+                        "kind": "text"
+                    }
+                ]
+            },
+            "variableData": {
+                "variables": []
+            },
+            "response": [
+                {
+                    "value": "Given the provided TypeScript code snippet and the issue with lowercase strings and numerals not being properly separated by an underscore (`_`), it seems there might have been a misunderstanding in the context of the question. The provided code snippet does not directly relate to the issue of converting camel case strings to snake case, which was the focus of the previous discussions.\n\nHowever, if the issue is still about the TypeScript type manipulation for converting camel case to snake case, and the provided solution did not work as expected, it's possible that the logic for handling the transition between lowercase letters and numerals was not correctly implemented in the `CamelToSnakeCase` type. To address this, let's refine the logic to ensure lowercase strings and numerals are properly separated by an underscore.\n\nThe key is to adjust the condition that checks for transitions between text and numerals, ensuring that an underscore is inserted not just between uppercase letters and numerals, but also between lowercase letters and numerals. Here's a corrected version of the `CamelToSnakeCase` type that should address the issue:\n\n```typescript\ntype CamelToSnakeCase<S extends string, Acc extends string = ''> =\n    S extends `${infer L}${infer R}` ?\n        L extends LowercaseLetters ?\n            `${Acc}${L}` extends `${infer T}${UppercaseLetters}` | `${infer T}${Numerals}` ?\n                CamelToSnakeCase<R, `${T}_${Lowercase<L>}`> :\n                CamelToSnakeCase<R, `${Acc}${L}`> :\n        L extends UppercaseLetters ?\n            CamelToSnakeCase<R, `${Acc}_${Lowercase<L>}`> :\n        L extends Numerals ?\n            `${Acc}` extends `${infer T}${LowercaseLetters}` ?\n                CamelToSnakeCase<R, `${Acc}_${L}`> : // Ensure numerals are separated from lowercase letters\n                `${Acc}${L}` extends `${infer T}${Numerals}` ?\n                    CamelToSnakeCase<R, `${T}${L}`> : // Keep numerals together\n                    CamelToSnakeCase<R, `${Acc}_${L}`> : // Separate numerals from text\n        CamelToSnakeCase<R, Acc> :\n    Acc;\n```\n\nThis version includes a specific check to ensure that if the accumulator (`Acc`) ends with a lowercase letter and the current character (`L`) is a numeral, an underscore is inserted between them. This should ensure that strings like `'MyVariableIsCool2020'` are correctly converted to `'my_variable_is_cool_2020'`.\n\nIf the issue persists or if it's related to another part of your TypeScript project not shown in the snippets, please provide more context or clarify the specific problem you're encountering.",
+                    "isTrusted": {
+                        "enabledCommands": [
+                            "_github.copilot.openRelativePath",
+                            "_github.copilot.openSymbolInFile",
+                            "_github.copilot.openSymbolFromReferences"
+                        ]
+                    },
+                    "supportThemeIcons": false,
+                    "supportHtml": false
+                }
+            ],
+            "result": {
+                "timings": {
+                    "firstProgress": 1314,
+                    "totalElapsed": 20020
+                },
+                "metadata": {
+                    "responseId": "129b07dc-8911-47fd-898e-4685128e539a",
+                    "sessionId": "279a6db1-65ce-488e-a723-90acd0a17cdc",
+                    "agentId": "github.copilot.default"
+                }
+            },
+            "followups": [
+                {
+                    "kind": "reply",
+                    "agentId": "github.copilot.default",
+                    "message": "How can I convert a camel case string to snake case in TypeScript while properly separating lowercase strings and numerals with an underscore?"
+                }
+            ],
+            "isCanceled": false,
+            "contentReferences": [
+                {
+                    "kind": "reference",
+                    "reference": {
+                        "uri": {
+                            "$mid": 1,
+                            "fsPath": "/Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "external": "file:///Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "path": "/Users/robby/emmert.io/declaro/declaro/lib/db-drizzle/src/model.test.ts",
+                            "scheme": "file"
+                        },
+                        "range": {
+                            "startLineNumber": 44,
+                            "startColumn": 1,
+                            "endLineNumber": 78,
+                            "endColumn": 1
+                        }
+                    }
+                }
+            ]
+        }
+    ]
+}
+````

package/src/typescript/constant-manipulation/snake-case.ts

@@ -0,0 +1,76 @@
+/**
+ * This util converts typescript constants to snake case.
+ *
+ * Why would anyone do this to themselves? Because now we can take constants defined in one place in one case (i.e. a data type called "User") and we can automatically infer strongly typed dirivative types (i.e. snake case table name) without needing to generate code.
+ *
+ * Limitations:
+ * - This utility is designed to work with typescript constants, not arbitrary strings.
+ * - This utility supports only the English alphabet, numerals, and a few special characters (-_ ).
+ *
+ * Note: This was built with the help of AI (Github Copilot). See adjacent md file for info.
+ *
+ */
+
+type LowercaseLetters =
+    | 'a'
+    | 'b'
+    | 'c'
+    | 'd'
+    | 'e'
+    | 'f'
+    | 'g'
+    | 'h'
+    | 'i'
+    | 'j'
+    | 'k'
+    | 'l'
+    | 'm'
+    | 'n'
+    | 'o'
+    | 'p'
+    | 'q'
+    | 'r'
+    | 's'
+    | 't'
+    | 'u'
+    | 'v'
+    | 'w'
+    | 'x'
+    | 'y'
+    | 'z'
+type Numerals = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
+type UppercaseLetters = Uppercase<LowercaseLetters>
+type AllowedSpecialCharacters = ' ' | '_' | '-'
+type Letters = LowercaseLetters | UppercaseLetters
+
+type Replace<S extends string, From extends string, To extends string> = S extends ''
+    ? ''
+    : S extends `${infer P}${From}${infer R}`
+    ? `${P}${To}${Replace<R, From, To>}`
+    : S
+
+type Trim<S extends string> = S extends `${AllowedSpecialCharacters}${infer T}`
+    ? Trim<T>
+    : S extends `${infer T}${AllowedSpecialCharacters}`
+    ? Trim<T>
+    : S
+
+type CamelToSnakeCase<S extends string, Acc extends string = ''> = S extends `${infer L}${infer R}`
+    ? L extends LowercaseLetters
+        ? `${Acc}${L}` extends `${infer T}${UppercaseLetters}` | `${infer T}${Numerals}`
+            ? CamelToSnakeCase<R, `${T}_${Lowercase<L>}`>
+            : CamelToSnakeCase<R, `${Acc}${L}`>
+        : L extends UppercaseLetters
+        ? CamelToSnakeCase<R, `${Acc}_${Lowercase<L>}`>
+        : L extends Numerals
+        ? `${Acc}` extends `${infer T}${LowercaseLetters}`
+            ? CamelToSnakeCase<R, `${Acc}_${L}`>
+            : `${Acc}${L}` extends `${infer T}${Numerals}`
+            ? CamelToSnakeCase<R, `${T}${L}`>
+            : CamelToSnakeCase<R, `${Acc}_${L}`>
+        : CamelToSnakeCase<R, Acc>
+    : Acc
+
+type Normalize<S extends string> = Lowercase<Trim<Replace<Replace<Replace<S, ' ', '_'>, '-', '_'>, '__', '_'>>>
+
+export type SnakeCase<S extends string> = Normalize<CamelToSnakeCase<S>>

package/src/typescript/index.ts

@@ -5,3 +5,4 @@ export * from './classes'
 export * from './fetch'
 export * from './promises'
 export * from './baseModel'
+export * from './constant-manipulation/snake-case'

package/src/typescript/objects.ts

@@ -1,8 +1,4 @@
-export type UnionToIntersection<T> = (
-    T extends any ? (x: T) => any : never
-) extends (x: infer R) => any
-    ? R
-    : never
+export type UnionToIntersection<T> = (T extends any ? (x: T) => any : never) extends (x: infer R) => any ? R : never
 export default {}
 
 export type DeepPartial<T> = T extends object
@@ -10,3 +6,10 @@ export type DeepPartial<T> = T extends object
           [P in keyof T]?: DeepPartial<T[P]>
       }
     : T
+
+/**
+ * Merge two object types without using an intersection type. Intersection types preserve the original types of the objects causing confusion, while this type will merge the types of the objects.
+ */
+export type Merge<A, B> = {
+    [key in keyof A | keyof B]: key extends keyof B ? B[key] : key extends keyof A ? A[key] : never
+}